Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.7K May 14 01:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 01:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 19:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 19:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 08:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 33K May 12 20:42 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 1590446640118

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

Filename model.pnml
Petri model created: 128 places, 93 transitions, 366 arcs.
AT ITER 0 NEW BEST:: SOT 9765 SOS 8121 HAS SOPS 8121 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6656.121
AT ITER 2 NEW BEST:: SOT 9746 SOS 8109 HAS SOPS 8109 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6644.109
AT ITER 3 NEW BEST:: SOT 9746 SOS 8047 HAS SOPS 8047 HAS SOUS 6634 HAS SOUPS 6634 WITH SCORE 6642.047
AT ITER 4 NEW BEST:: SOT 9623 SOS 7975 HAS SOPS 7975 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6561.975
AT ITER 9 NEW BEST:: SOT 9520 SOS 7881 HAS SOPS 7881 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.881
AT ITER 10 NEW BEST:: SOT 9478 SOS 7837 HAS SOPS 7837 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6447.837
AT ITER 11 NEW BEST:: SOT 9478 SOS 7837 HAS SOPS 7837 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6445.837
AT ITER 12 NEW BEST:: SOT 9335 SOS 7493 HAS SOPS 7493 HAS SOUS 6204 HAS SOUPS 6204 WITH SCORE 6211.493
AT ITER 13 NEW BEST:: SOT 9276 SOS 7446 HAS SOPS 7446 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6175.446
AT ITER 15 NEW BEST:: SOT 9272 SOS 7450 HAS SOPS 7450 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6171.45
AT ITER 18 NEW BEST:: SOT 9243 SOS 7428 HAS SOPS 7428 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6156.428
AT ITER 21 NEW BEST:: SOT 9141 SOS 7266 HAS SOPS 7266 HAS SOUS 6027 HAS SOUPS 6027 WITH SCORE 6034.266
AT ITER 27 NEW BEST:: SOT 9116 SOS 7241 HAS SOPS 7241 HAS SOUS 6007 HAS SOUPS 6007 WITH SCORE 6014.241
AT ITER 28 NEW BEST:: SOT 9097 SOS 7222 HAS SOPS 7222 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 5995.222
AT ITER 31 NEW BEST:: SOT 9097 SOS 7208 HAS SOPS 7208 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 5995.208
AT ITER 32 NEW BEST:: SOT 9095 SOS 7206 HAS SOPS 7206 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5993.206
AT ITER 33 NEW BEST:: SOT 9090 SOS 7201 HAS SOPS 7201 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5986.201
AT ITER 35 NEW BEST:: SOT 9079 SOS 7190 HAS SOPS 7190 HAS SOUS 5968 HAS SOUPS 5968 WITH SCORE 5975.19
AT ITER 36 NEW BEST:: SOT 9040 SOS 7107 HAS SOPS 7107 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5892.107
AT ITER 39 NEW BEST:: SOT 9019 SOS 7008 HAS SOPS 7008 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5850.008
AT ITER 41 NEW BEST:: SOT 9019 SOS 6997 HAS SOPS 6997 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5849.997
AT ITER 44 NEW BEST:: SOT 9019 SOS 6938 HAS SOPS 6938 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5846.938
AT ITER 45 NEW BEST:: SOT 8963 SOS 6834 HAS SOPS 6834 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5757.834
AT ITER 46 NEW BEST:: SOT 8904 SOS 6775 HAS SOPS 6775 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.775
AT ITER 47 NEW BEST:: SOT 8889 SOS 6760 HAS SOPS 6760 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5671.76
AT ITER 48 NEW BEST:: SOT 8804 SOS 6675 HAS SOPS 6675 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5553.675
AT ITER 50 NEW BEST:: SOT 8784 SOS 6655 HAS SOPS 6655 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5533.655
AT ITER 57 NEW BEST:: SOT 8670 SOS 6427 HAS SOPS 6427 HAS SOUS 5338 HAS SOUPS 5338 WITH SCORE 5344.427
AT ITER 59 NEW BEST:: SOT 8604 SOS 6361 HAS SOPS 6361 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5298.361
AT ITER 65 NEW BEST:: SOT 8642 SOS 6311 HAS SOPS 6311 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5285.311
AT ITER 71 NEW BEST:: SOT 8618 SOS 6262 HAS SOPS 6262 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5248.262
AT ITER 72 NEW BEST:: SOT 8573 SOS 6217 HAS SOPS 6217 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5203.217
AT ITER 74 NEW BEST:: SOT 8573 SOS 6050 HAS SOPS 6050 HAS SOUS 5192 HAS SOUPS 5192 WITH SCORE 5198.05
AT ITER 76 NEW BEST:: SOT 8504 SOS 5981 HAS SOPS 5981 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5147.981
AT ITER 77 NEW BEST:: SOT 8448 SOS 5890 HAS SOPS 5890 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5060.89
AT ITER 80 NEW BEST:: SOT 8448 SOS 5770 HAS SOPS 5770 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5060.77
AT ITER 81 NEW BEST:: SOT 8411 SOS 5659 HAS SOPS 5659 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5004.659
AT ITER 85 NEW BEST:: SOT 8396 SOS 5644 HAS SOPS 5644 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4989.644
AT ITER 91 NEW BEST:: SOT 8304 SOS 5550 HAS SOPS 5550 HAS SOUS 4846 HAS SOUPS 4846 WITH SCORE 4851.55
AT ITER 92 NEW BEST:: SOT 8282 SOS 5516 HAS SOPS 5516 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4817.516
AT ITER 94 NEW BEST:: SOT 8279 SOS 5513 HAS SOPS 5513 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4814.513
AT ITER 96 NEW BEST:: SOT 8279 SOS 5504 HAS SOPS 5504 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4765.504
AT ITER 98 NEW BEST:: SOT 8279 SOS 5491 HAS SOPS 5491 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4756.491
AT ITER 102 NEW BEST:: SOT 8279 SOS 5491 HAS SOPS 5491 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4755.491
AT ITER 107 NEW BEST:: SOT 8273 SOS 5506 HAS SOPS 5506 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4751.506
AT ITER 112 NEW BEST:: SOT 8281 SOS 5353 HAS SOPS 5353 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4719.353
AT ITER 117 NEW BEST:: SOT 8268 SOS 5340 HAS SOPS 5340 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4706.34
AT ITER 121 NEW BEST:: SOT 8252 SOS 5337 HAS SOPS 5337 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4703.337
AT ITER 124 NEW BEST:: SOT 8252 SOS 5330 HAS SOPS 5330 HAS SOUS 4685 HAS SOUPS 4685 WITH SCORE 4690.33
AT ITER 127 NEW BEST:: SOT 8247 SOS 5325 HAS SOPS 5325 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4685.325
AT ITER 128 NEW BEST:: SOT 8207 SOS 5299 HAS SOPS 5299 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4644.299
AT ITER 129 NEW BEST:: SOT 8178 SOS 5248 HAS SOPS 5248 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4594.248
AT ITER 133 NEW BEST:: SOT 8176 SOS 5184 HAS SOPS 5184 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.184
AT ITER 135 NEW BEST:: SOT 8175 SOS 5179 HAS SOPS 5179 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4576.179
AT ITER 141 NEW BEST:: SOT 8208 SOS 5159 HAS SOPS 5159 HAS SOUS 4568 HAS SOUPS 4568 WITH SCORE 4573.159
AT ITER 144 NEW BEST:: SOT 8119 SOS 5070 HAS SOPS 5070 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4492.07
AT ITER 152 NEW BEST:: SOT 8115 SOS 5066 HAS SOPS 5066 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4488.066
AT ITER 154 NEW BEST:: SOT 8111 SOS 5046 HAS SOPS 5046 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4480.046
AT ITER 156 NEW BEST:: SOT 8110 SOS 4991 HAS SOPS 4991 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4473.991
AT ITER 162 NEW BEST:: SOT 8106 SOS 4985 HAS SOPS 4985 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4467.985
AT ITER 170 NEW BEST:: SOT 8061 SOS 4940 HAS SOPS 4940 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4422.94
AT ITER 171 NEW BEST:: SOT 8052 SOS 4931 HAS SOPS 4931 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4401.931
AT ITER 172 NEW BEST:: SOT 8045 SOS 4934 HAS SOPS 4934 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4392.934
AT ITER 178 NEW BEST:: SOT 8023 SOS 4898 HAS SOPS 4898 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4356.898
AT ITER 189 NEW BEST:: SOT 8024 SOS 4872 HAS SOPS 4872 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4330.872
AT ITER 191 NEW BEST:: SOT 7989 SOS 4837 HAS SOPS 4837 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4284.837
AT ITER 193 NEW BEST:: SOT 7940 SOS 4775 HAS SOPS 4775 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4264.775
AT ITER 195 NEW BEST:: SOT 7940 SOS 4760 HAS SOPS 4760 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4249.76
AT ITER 196 NEW BEST:: SOT 7937 SOS 4757 HAS SOPS 4757 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4246.757
AT ITER 201 NEW BEST:: SOT 7878 SOS 4658 HAS SOPS 4658 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.658
AT ITER 202 NEW BEST:: SOT 7872 SOS 4717 HAS SOPS 4717 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4135.717
AT ITER 204 NEW BEST:: SOT 7872 SOS 4708 HAS SOPS 4708 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4126.708
AT ITER 205 NEW BEST:: SOT 7889 SOS 4700 HAS SOPS 4700 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4118.7
AT ITER 206 NEW BEST:: SOT 7888 SOS 4695 HAS SOPS 4695 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4116.695
AT ITER 212 NEW BEST:: SOT 7870 SOS 4662 HAS SOPS 4662 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.662
AT ITER 213 NEW BEST:: SOT 7861 SOS 4653 HAS SOPS 4653 HAS SOUS 4070 HAS SOUPS 4070 WITH SCORE 4074.653
AT ITER 214 NEW BEST:: SOT 7861 SOS 4662 HAS SOPS 4662 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4069.662
AT ITER 217 NEW BEST:: SOT 7857 SOS 4633 HAS SOPS 4633 HAS SOUS 4036 HAS SOUPS 4036 WITH SCORE 4040.633
AT ITER 234 NEW BEST:: SOT 7857 SOS 4632 HAS SOPS 4632 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4039.632
AT ITER 235 NEW BEST:: SOT 7816 SOS 4536 HAS SOPS 4536 HAS SOUS 3964 HAS SOUPS 3964 WITH SCORE 3968.536
AT ITER 237 NEW BEST:: SOT 7805 SOS 4522 HAS SOPS 4522 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3954.522
AT ITER 255 NEW BEST:: SOT 7807 SOS 4509 HAS SOPS 4509 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3941.509
AT ITER 266 NEW BEST:: SOT 7817 SOS 4483 HAS SOPS 4483 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3924.483
AT ITER 268 NEW BEST:: SOT 7817 SOS 4517 HAS SOPS 4517 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.517
AT ITER 286 NEW BEST:: SOT 7816 SOS 4516 HAS SOPS 4516 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3900.516
AT ITER 294 NEW BEST:: SOT 7773 SOS 4458 HAS SOPS 4458 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3842.458
AT ITER 295 NEW BEST:: SOT 7773 SOS 4361 HAS SOPS 4361 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3812.361
AT ITER 301 NEW BEST:: SOT 7740 SOS 4359 HAS SOPS 4359 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3810.359
AT ITER 305 NEW BEST:: SOT 7740 SOS 4324 HAS SOPS 4324 HAS SOUS 3797 HAS SOUPS 3797 WITH SCORE 3801.324
AT ITER 317 NEW BEST:: SOT 7696 SOS 4324 HAS SOPS 4324 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3797.324
AT ITER 325 NEW BEST:: SOT 7695 SOS 4319 HAS SOPS 4319 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3795.319
AT ITER 330 NEW BEST:: SOT 7698 SOS 4327 HAS SOPS 4327 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3793.327
AT ITER 331 NEW BEST:: SOT 7689 SOS 4255 HAS SOPS 4255 HAS SOUS 3771 HAS SOUPS 3771 WITH SCORE 3775.255
AT ITER 339 NEW BEST:: SOT 7690 SOS 4246 HAS SOPS 4246 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3766.246
AT ITER 343 NEW BEST:: SOT 7684 SOS 4226 HAS SOPS 4226 HAS SOUS 3742 HAS SOUPS 3742 WITH SCORE 3746.226
AT ITER 344 NEW BEST:: SOT 7677 SOS 4205 HAS SOPS 4205 HAS SOUS 3721 HAS SOUPS 3721 WITH SCORE 3725.205
AT ITER 352 NEW BEST:: SOT 7674 SOS 4132 HAS SOPS 4132 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3682.132
AT ITER 353 NEW BEST:: SOT 7670 SOS 4124 HAS SOPS 4124 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3674.124
AT ITER 357 NEW BEST:: SOT 7669 SOS 4124 HAS SOPS 4124 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.124
AT ITER 358 NEW BEST:: SOT 7669 SOS 4116 HAS SOPS 4116 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3668.116
AT ITER 361 NEW BEST:: SOT 7655 SOS 4114 HAS SOPS 4114 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3666.114
AT ITER 362 NEW BEST:: SOT 7661 SOS 4082 HAS SOPS 4082 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3649.082
AT ITER 366 NEW BEST:: SOT 7644 SOS 4049 HAS SOPS 4049 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3616.049
AT ITER 367 NEW BEST:: SOT 7620 SOS 4017 HAS SOPS 4017 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3584.017
AT ITER 400 NEW BEST:: SOT 7617 SOS 4015 HAS SOPS 4015 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3579.015
AT ITER 411 NEW BEST:: SOT 7624 SOS 4007 HAS SOPS 4007 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.007
AT ITER 429 NEW BEST:: SOT 7603 SOS 4097 HAS SOPS 4097 HAS SOUS 3556 HAS SOUPS 3556 WITH SCORE 3560.097
AT ITER 433 NEW BEST:: SOT 7603 SOS 4081 HAS SOPS 4081 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3553.081
AT ITER 437 NEW BEST:: SOT 7626 SOS 4078 HAS SOPS 4078 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3550.078
AT ITER 439 NEW BEST:: SOT 7614 SOS 4063 HAS SOPS 4063 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.063
AT ITER 444 NEW BEST:: SOT 7654 SOS 3843 HAS SOPS 3843 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3525.843
AT ITER 450 NEW BEST:: SOT 7636 SOS 3825 HAS SOPS 3825 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3507.825
AT ITER 453 NEW BEST:: SOT 7610 SOS 3818 HAS SOPS 3818 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3500.818
AT ITER 455 NEW BEST:: SOT 7600 SOS 3784 HAS SOPS 3784 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3473.784
AT ITER 467 NEW BEST:: SOT 7596 SOS 3783 HAS SOPS 3783 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3472.783
AT ITER 478 NEW BEST:: SOT 7585 SOS 3747 HAS SOPS 3747 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3458.747
AT ITER 486 NEW BEST:: SOT 7569 SOS 3733 HAS SOPS 3733 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3437.733
AT ITER 489 NEW BEST:: SOT 7569 SOS 3725 HAS SOPS 3725 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3435.725
AT ITER 501 NEW BEST:: SOT 7569 SOS 3723 HAS SOPS 3723 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3433.723
AT ITER 502 NEW BEST:: SOT 7567 SOS 3717 HAS SOPS 3717 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3429.717
AT ITER 510 NEW BEST:: SOT 7562 SOS 3706 HAS SOPS 3706 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3418.706
AT ITER 515 NEW BEST:: SOT 7525 SOS 3628 HAS SOPS 3628 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3340.628
AT ITER 527 NEW BEST:: SOT 7487 SOS 3568 HAS SOPS 3568 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3292.568
AT ITER 531 NEW BEST:: SOT 7469 SOS 3535 HAS SOPS 3535 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.535
AT ITER 539 NEW BEST:: SOT 7465 SOS 3525 HAS SOPS 3525 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3270.525
AT ITER 540 NEW BEST:: SOT 7438 SOS 3490 HAS SOPS 3490 HAS SOUS 3245 HAS SOUPS 3245 WITH SCORE 3248.49
AT ITER 548 NEW BEST:: SOT 7408 SOS 3447 HAS SOPS 3447 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3220.447
AT ITER 550 NEW BEST:: SOT 7408 SOS 3446 HAS SOPS 3446 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3219.446
AT ITER 574 NEW BEST:: SOT 7357 SOS 3389 HAS SOPS 3389 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3180.389
AT ITER 583 NEW BEST:: SOT 7349 SOS 3381 HAS SOPS 3381 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3172.381
AT ITER 586 NEW BEST:: SOT 7341 SOS 3373 HAS SOPS 3373 HAS SOUS 3161 HAS SOUPS 3161 WITH SCORE 3164.373
AT ITER 590 NEW BEST:: SOT 7329 SOS 3356 HAS SOPS 3356 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.356
AT ITER 591 NEW BEST:: SOT 7326 SOS 3338 HAS SOPS 3338 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3129.338
AT ITER 592 NEW BEST:: SOT 7326 SOS 3330 HAS SOPS 3330 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.33
AT ITER 598 NEW BEST:: SOT 7315 SOS 3340 HAS SOPS 3340 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3119.34
AT ITER 610 NEW BEST:: SOT 7315 SOS 3337 HAS SOPS 3337 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.337
AT ITER 617 NEW BEST:: SOT 7321 SOS 3344 HAS SOPS 3344 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3105.344
AT ITER 619 NEW BEST:: SOT 7321 SOS 3341 HAS SOPS 3341 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.341
AT ITER 637 NEW BEST:: SOT 7311 SOS 3321 HAS SOPS 3321 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.321
AT ITER 659 NEW BEST:: SOT 7289 SOS 3314 HAS SOPS 3314 HAS SOUS 3067 HAS SOUPS 3067 WITH SCORE 3070.314
AT ITER 669 NEW BEST:: SOT 7279 SOS 3295 HAS SOPS 3295 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.295
AT ITER 674 NEW BEST:: SOT 7279 SOS 3294 HAS SOPS 3294 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3050.294
AT ITER 682 NEW BEST:: SOT 7279 SOS 3292 HAS SOPS 3292 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3049.292
AT ITER 683 NEW BEST:: SOT 7277 SOS 3283 HAS SOPS 3283 HAS SOUS 3041 HAS SOUPS 3041 WITH SCORE 3044.283
AT ITER 690 NEW BEST:: SOT 7274 SOS 3280 HAS SOPS 3280 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.28
AT ITER 702 NEW BEST:: SOT 7266 SOS 3273 HAS SOPS 3273 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.273
AT ITER 714 NEW BEST:: SOT 7276 SOS 3259 HAS SOPS 3259 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.259
AT ITER 721 NEW BEST:: SOT 7274 SOS 3284 HAS SOPS 3284 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3016.284
AT ITER 727 NEW BEST:: SOT 7244 SOS 3224 HAS SOPS 3224 HAS SOUS 2930 HAS SOUPS 2930 WITH SCORE 2933.224
AT ITER 744 NEW BEST:: SOT 7244 SOS 3209 HAS SOPS 3209 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.209
AT ITER 745 NEW BEST:: SOT 7236 SOS 3201 HAS SOPS 3201 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2917.201
AT ITER 752 NEW BEST:: SOT 7244 SOS 3200 HAS SOPS 3200 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.2
AT ITER 782 NEW BEST:: SOT 7242 SOS 3220 HAS SOPS 3220 HAS SOUS 2912 HAS SOUPS 2912 WITH SCORE 2915.22
AT ITER 788 NEW BEST:: SOT 7224 SOS 3206 HAS SOPS 3206 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.206
AT ITER 795 NEW BEST:: SOT 7256 SOS 3214 HAS SOPS 3214 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2900.214
AT ITER 802 NEW BEST:: SOT 7250 SOS 3208 HAS SOPS 3208 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2892.208
AT ITER 811 NEW BEST:: SOT 7230 SOS 3183 HAS SOPS 3183 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2867.183
AT ITER 817 NEW BEST:: SOT 7230 SOS 3176 HAS SOPS 3176 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.176
AT ITER 828 NEW BEST:: SOT 7228 SOS 3173 HAS SOPS 3173 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2857.173
AT ITER 840 NEW BEST:: SOT 7212 SOS 3156 HAS SOPS 3156 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.156
AT ITER 855 NEW BEST:: SOT 7198 SOS 3136 HAS SOPS 3136 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2820.136
AT ITER 879 NEW BEST:: SOT 7196 SOS 3133 HAS SOPS 3133 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2817.133
AT ITER 908 NEW BEST:: SOT 7194 SOS 3129 HAS SOPS 3129 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.129
AT ITER 912 NEW BEST:: SOT 7192 SOS 3127 HAS SOPS 3127 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.127
AT ITER 914 NEW BEST:: SOT 7182 SOS 3117 HAS SOPS 3117 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2791.117
AT ITER 930 NEW BEST:: SOT 7183 SOS 3116 HAS SOPS 3116 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2790.116
AT ITER 933 NEW BEST:: SOT 7192 SOS 3125 HAS SOPS 3125 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.125
AT ITER 937 NEW BEST:: SOT 7192 SOS 3113 HAS SOPS 3113 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.113
AT ITER 952 NEW BEST:: SOT 7190 SOS 3109 HAS SOPS 3109 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2773.109
AT ITER 971 NEW BEST:: SOT 7184 SOS 3104 HAS SOPS 3104 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.104
AT ITER 972 NEW BEST:: SOT 7184 SOS 3102 HAS SOPS 3102 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.102
AT ITER 995 NEW BEST:: SOT 7178 SOS 3061 HAS SOPS 3061 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.061
AT ITER 998 NEW BEST:: SOT 7178 SOS 3060 HAS SOPS 3060 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2751.06
AT ITER 1006 NEW BEST:: SOT 7158 SOS 3046 HAS SOPS 3046 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2737.046
AT ITER 1016 NEW BEST:: SOT 7119 SOS 2987 HAS SOPS 2987 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2673.987
AT ITER 1050 NEW BEST:: SOT 7113 SOS 2979 HAS SOPS 2979 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2665.979
AT ITER 1068 NEW BEST:: SOT 7100 SOS 2963 HAS SOPS 2963 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2647.963
AT ITER 1081 NEW BEST:: SOT 7087 SOS 2950 HAS SOPS 2950 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.95
AT ITER 1087 NEW BEST:: SOT 7086 SOS 2949 HAS SOPS 2949 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.949
AT ITER 1119 NEW BEST:: SOT 7086 SOS 2924 HAS SOPS 2924 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.924
AT ITER 1129 NEW BEST:: SOT 7077 SOS 2915 HAS SOPS 2915 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.915
AT ITER 1134 NEW BEST:: SOT 7086 SOS 2864 HAS SOPS 2864 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.864
AT ITER 1142 NEW BEST:: SOT 7107 SOS 2860 HAS SOPS 2860 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2551.86
AT ITER 1152 NEW BEST:: SOT 7096 SOS 2846 HAS SOPS 2846 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2542.846
AT ITER 1164 NEW BEST:: SOT 7097 SOS 2836 HAS SOPS 2836 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.836
AT ITER 1165 NEW BEST:: SOT 7082 SOS 2821 HAS SOPS 2821 HAS SOUS 2511 HAS SOUPS 2511 WITH SCORE 2513.821
AT ITER 1182 NEW BEST:: SOT 7080 SOS 2820 HAS SOPS 2820 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.82
AT ITER 1185 NEW BEST:: SOT 7073 SOS 2811 HAS SOPS 2811 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2501.811
AT ITER 1232 NEW BEST:: SOT 7056 SOS 2796 HAS SOPS 2796 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.796
AT ITER 1324 NEW BEST:: SOT 7020 SOS 2752 HAS SOPS 2752 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.752
AT ITER 1325 NEW BEST:: SOT 7014 SOS 2677 HAS SOPS 2677 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2440.677
AT ITER 1330 NEW BEST:: SOT 7007 SOS 2656 HAS SOPS 2656 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.656
AT ITER 1338 NEW BEST:: SOT 7014 SOS 2655 HAS SOPS 2655 HAS SOUS 2431 HAS SOUPS 2431 WITH SCORE 2433.655
AT ITER 1347 NEW BEST:: SOT 7006 SOS 2647 HAS SOPS 2647 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2425.647
AT ITER 1349 NEW BEST:: SOT 7004 SOS 2639 HAS SOPS 2639 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.639
AT ITER 1372 NEW BEST:: SOT 7002 SOS 2635 HAS SOPS 2635 HAS SOUS 2417 HAS SOUPS 2417 WITH SCORE 2419.635
AT ITER 1395 NEW BEST:: SOT 6999 SOS 2625 HAS SOPS 2625 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.625
AT ITER 1405 NEW BEST:: SOT 6990 SOS 2615 HAS SOPS 2615 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.615
AT ITER 1424 NEW BEST:: SOT 6985 SOS 2610 HAS SOPS 2610 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.61
AT ITER 1435 NEW BEST:: SOT 6978 SOS 2603 HAS SOPS 2603 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2380.603
AT ITER 1444 NEW BEST:: SOT 6970 SOS 2594 HAS SOPS 2594 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2371.594
AT ITER 1470 NEW BEST:: SOT 6966 SOS 2588 HAS SOPS 2588 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.588
AT ITER 1475 NEW BEST:: SOT 6954 SOS 2572 HAS SOPS 2572 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2345.572
AT ITER 1485 NEW BEST:: SOT 6955 SOS 2570 HAS SOPS 2570 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.57
AT ITER 1498 NEW BEST:: SOT 6955 SOS 2570 HAS SOPS 2570 HAS SOUS 2338 HAS SOUPS 2338 WITH SCORE 2340.57
AT ITER 1524 NEW BEST:: SOT 6959 SOS 2569 HAS SOPS 2569 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.569
AT ITER 1525 NEW BEST:: SOT 6956 SOS 2566 HAS SOPS 2566 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.566
AT ITER 1528 NEW BEST:: SOT 6952 SOS 2524 HAS SOPS 2524 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.524
AT ITER 1550 NEW BEST:: SOT 6951 SOS 2522 HAS SOPS 2522 HAS SOUS 2315 HAS SOUPS 2315 WITH SCORE 2317.522
AT ITER 1558 NEW BEST:: SOT 6948 SOS 2513 HAS SOPS 2513 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.513
AT ITER 1560 NEW BEST:: SOT 6944 SOS 2509 HAS SOPS 2509 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.509
AT ITER 1567 NEW BEST:: SOT 6931 SOS 2510 HAS SOPS 2510 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2283.51
AT ITER 1568 NEW BEST:: SOT 6931 SOS 2495 HAS SOPS 2495 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.495
AT ITER 1588 NEW BEST:: SOT 6929 SOS 2486 HAS SOPS 2486 HAS SOUS 2274 HAS SOUPS 2274 WITH SCORE 2276.486
AT ITER 1611 NEW BEST:: SOT 6921 SOS 2478 HAS SOPS 2478 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.478
AT ITER 1635 NEW BEST:: SOT 6917 SOS 2470 HAS SOPS 2470 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2260.47
AT ITER 1643 NEW BEST:: SOT 6904 SOS 2454 HAS SOPS 2454 HAS SOUS 2242 HAS SOUPS 2242 WITH SCORE 2244.454
AT ITER 1651 NEW BEST:: SOT 6900 SOS 2445 HAS SOPS 2445 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.445
AT ITER 1685 NEW BEST:: SOT 6894 SOS 2440 HAS SOPS 2440 HAS SOUS 2227 HAS SOUPS 2227 WITH SCORE 2229.44
AT ITER 1724 NEW BEST:: SOT 6890 SOS 2441 HAS SOPS 2441 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2216.441
AT ITER 1731 NEW BEST:: SOT 6888 SOS 2433 HAS SOPS 2433 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.433
AT ITER 1750 NEW BEST:: SOT 6882 SOS 2427 HAS SOPS 2427 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.427
AT ITER 1775 NEW BEST:: SOT 6874 SOS 2395 HAS SOPS 2395 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2186.395
AT ITER 1805 NEW BEST:: SOT 6875 SOS 2393 HAS SOPS 2393 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.393
AT ITER 1813 NEW BEST:: SOT 6872 SOS 2390 HAS SOPS 2390 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.39
AT ITER 1823 NEW BEST:: SOT 6872 SOS 2388 HAS SOPS 2388 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.388
AT ITER 1830 NEW BEST:: SOT 6866 SOS 2379 HAS SOPS 2379 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2172.379
AT ITER 1831 NEW BEST:: SOT 6865 SOS 2378 HAS SOPS 2378 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.378
AT ITER 1833 NEW BEST:: SOT 6868 SOS 2380 HAS SOPS 2380 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.38
AT ITER 1837 NEW BEST:: SOT 6867 SOS 2374 HAS SOPS 2374 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.374
AT ITER 1844 NEW BEST:: SOT 6862 SOS 2368 HAS SOPS 2368 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.368
AT ITER 1879 NEW BEST:: SOT 6861 SOS 2366 HAS SOPS 2366 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2158.366
AT ITER 1905 NEW BEST:: SOT 6861 SOS 2365 HAS SOPS 2365 HAS SOUS 2155 HAS SOUPS 2155 WITH SCORE 2157.365
AT ITER 1906 NEW BEST:: SOT 6859 SOS 2363 HAS SOPS 2363 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.363
AT ITER 1958 NEW BEST:: SOT 6856 SOS 2360 HAS SOPS 2360 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.36
AT ITER 1991 NEW BEST:: SOT 6851 SOS 2349 HAS SOPS 2349 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.349
AT ITER 2003 NEW BEST:: SOT 6847 SOS 2348 HAS SOPS 2348 HAS SOUS 2143 HAS SOUPS 2143 WITH SCORE 2145.348
AT ITER 2017 NEW BEST:: SOT 6852 SOS 2346 HAS SOPS 2346 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2143.346
AT ITER 2019 NEW BEST:: SOT 6861 SOS 2355 HAS SOPS 2355 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.355
AT ITER 2026 NEW BEST:: SOT 6852 SOS 2348 HAS SOPS 2348 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.348
AT ITER 2052 NEW BEST:: SOT 6850 SOS 2344 HAS SOPS 2344 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.344
AT ITER 2081 NEW BEST:: SOT 6834 SOS 2320 HAS SOPS 2320 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2111.32
AT ITER 2104 NEW BEST:: SOT 6834 SOS 2301 HAS SOPS 2301 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.301
AT ITER 2115 NEW BEST:: SOT 6831 SOS 2297 HAS SOPS 2297 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.297
AT ITER 2118 NEW BEST:: SOT 6831 SOS 2298 HAS SOPS 2298 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2097.298
AT ITER 2202 NEW BEST:: SOT 6833 SOS 2294 HAS SOPS 2294 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2093.294
AT ITER 2218 NEW BEST:: SOT 6829 SOS 2286 HAS SOPS 2286 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2085.286
AT ITER 2316 NEW BEST:: SOT 6826 SOS 2282 HAS SOPS 2282 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2081.282
AT ITER 2325 NEW BEST:: SOT 6816 SOS 2272 HAS SOPS 2272 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.272
AT ITER 2336 NEW BEST:: SOT 6804 SOS 2255 HAS SOPS 2255 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.255
AT ITER 2418 NEW BEST:: SOT 6801 SOS 2246 HAS SOPS 2246 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2048.246
AT ITER 2437 NEW BEST:: SOT 6798 SOS 2242 HAS SOPS 2242 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.242
AT ITER 2524 NEW BEST:: SOT 6798 SOS 2240 HAS SOPS 2240 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.24
AT ITER 2578 NEW BEST:: SOT 6793 SOS 2238 HAS SOPS 2238 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.238
AT ITER 2582 NEW BEST:: SOT 6803 SOS 2237 HAS SOPS 2237 HAS SOUS 2037 HAS SOUPS 2037 WITH SCORE 2039.237
AT ITER 2616 NEW BEST:: SOT 6803 SOS 2236 HAS SOPS 2236 HAS SOUS 2033 HAS SOUPS 2033 WITH SCORE 2035.236
AT ITER 2619 NEW BEST:: SOT 6798 SOS 2228 HAS SOPS 2228 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2027.228
AT ITER 2627 NEW BEST:: SOT 6786 SOS 2209 HAS SOPS 2209 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.209
AT ITER 2664 NEW BEST:: SOT 6785 SOS 2208 HAS SOPS 2208 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.208
AT ITER 2667 NEW BEST:: SOT 6785 SOS 2208 HAS SOPS 2208 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.208
AT ITER 2682 NEW BEST:: SOT 6783 SOS 2206 HAS SOPS 2206 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2001.206
AT ITER 2690 NEW BEST:: SOT 6781 SOS 2204 HAS SOPS 2204 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.204
AT ITER 2704 NEW BEST:: SOT 6781 SOS 2203 HAS SOPS 2203 HAS SOUS 1997 HAS SOUPS 1997 WITH SCORE 1999.203
AT ITER 2743 NEW BEST:: SOT 6780 SOS 2201 HAS SOPS 2201 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.201
AT ITER 2909 NEW BEST:: SOT 6780 SOS 2172 HAS SOPS 2172 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1967.172
AT ITER 2937 NEW BEST:: SOT 6776 SOS 2147 HAS SOPS 2147 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.147
AT ITER 2940 NEW BEST:: SOT 6776 SOS 2146 HAS SOPS 2146 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1954.146
AT ITER 2956 NEW BEST:: SOT 6779 SOS 2145 HAS SOPS 2145 HAS SOUS 1951 HAS SOUPS 1951 WITH SCORE 1953.145
AT ITER 2965 NEW BEST:: SOT 6772 SOS 2138 HAS SOPS 2138 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.138
AT ITER 2971 NEW BEST:: SOT 6778 SOS 2126 HAS SOPS 2126 HAS SOUS 1936 HAS SOUPS 1936 WITH SCORE 1938.126
AT ITER 2981 NEW BEST:: SOT 6781 SOS 2122 HAS SOPS 2122 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.122
AT ITER 3008 NEW BEST:: SOT 6781 SOS 2114 HAS SOPS 2114 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.114
AT ITER 3029 NEW BEST:: SOT 6788 SOS 2111 HAS SOPS 2111 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.111
AT ITER 3036 NEW BEST:: SOT 6788 SOS 2108 HAS SOPS 2108 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.108
AT ITER 3092 NEW BEST:: SOT 6777 SOS 2097 HAS SOPS 2097 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.097
AT ITER 3124 NEW BEST:: SOT 6774 SOS 2093 HAS SOPS 2093 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1924.093
AT ITER 3128 NEW BEST:: SOT 6767 SOS 2097 HAS SOPS 2097 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.097
AT ITER 3150 NEW BEST:: SOT 6755 SOS 2084 HAS SOPS 2084 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.084
AT ITER 3224 NEW BEST:: SOT 6741 SOS 2071 HAS SOPS 2071 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.071
AT ITER 3255 NEW BEST:: SOT 6739 SOS 2068 HAS SOPS 2068 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.068
AT ITER 3338 NEW BEST:: SOT 6733 SOS 2066 HAS SOPS 2066 HAS SOUS 1890 HAS SOUPS 1890 WITH SCORE 1892.066
AT ITER 3362 NEW BEST:: SOT 6731 SOS 2063 HAS SOPS 2063 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.063
AT ITER 3363 NEW BEST:: SOT 6727 SOS 2055 HAS SOPS 2055 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1882.055
AT ITER 3407 NEW BEST:: SOT 6725 SOS 2043 HAS SOPS 2043 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1876.043
AT ITER 3419 NEW BEST:: SOT 6727 SOS 2042 HAS SOPS 2042 HAS SOUS 1869 HAS SOUPS 1869 WITH SCORE 1871.042
AT ITER 3461 NEW BEST:: SOT 6729 SOS 2040 HAS SOPS 2040 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1869.04
AT ITER 3616 NEW BEST:: SOT 6720 SOS 2038 HAS SOPS 2038 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.038
AT ITER 3648 NEW BEST:: SOT 6720 SOS 2036 HAS SOPS 2036 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1864.036
AT ITER 3674 NEW BEST:: SOT 6721 SOS 2030 HAS SOPS 2030 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1858.03
AT ITER 3678 NEW BEST:: SOT 6725 SOS 2047 HAS SOPS 2047 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.047
AT ITER 3732 NEW BEST:: SOT 6716 SOS 2013 HAS SOPS 2013 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.013
AT ITER 3777 NEW BEST:: SOT 6716 SOS 2012 HAS SOPS 2012 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.012
AT ITER 3851 NEW BEST:: SOT 6716 SOS 2009 HAS SOPS 2009 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.009
AT ITER 3870 NEW BEST:: SOT 6715 SOS 2007 HAS SOPS 2007 HAS SOUS 1825 HAS SOUPS 1825 WITH SCORE 1827.007
AT ITER 3899 NEW BEST:: SOT 6714 SOS 2004 HAS SOPS 2004 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1825.004
AT ITER 3941 NEW BEST:: SOT 6713 SOS 2003 HAS SOPS 2003 HAS SOUS 1822 HAS SOUPS 1822 WITH SCORE 1824.003
AT ITER 4030 NEW BEST:: SOT 6713 SOS 1995 HAS SOPS 1995 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1815.995
AT ITER 4033 NEW BEST:: SOT 6712 SOS 1994 HAS SOPS 1994 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1814.994
AT ITER 4041 NEW BEST:: SOT 6703 SOS 1985 HAS SOPS 1985 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1805.985
AT ITER 4124 NEW BEST:: SOT 6713 SOS 1971 HAS SOPS 1971 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1796.971
AT ITER 4166 NEW BEST:: SOT 6714 SOS 1969 HAS SOPS 1969 HAS SOUS 1793 HAS SOUPS 1793 WITH SCORE 1794.969
AT ITER 4169 NEW BEST:: SOT 6713 SOS 1967 HAS SOPS 1967 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1792.967
AT ITER 4293 NEW BEST:: SOT 6716 SOS 1969 HAS SOPS 1969 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.969
AT ITER 4304 NEW BEST:: SOT 6714 SOS 1968 HAS SOPS 1968 HAS SOUS 1788 HAS SOUPS 1788 WITH SCORE 1789.968
AT ITER 4311 NEW BEST:: SOT 6704 SOS 1955 HAS SOPS 1955 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1782.955
AT ITER 4357 NEW BEST:: SOT 6702 SOS 1954 HAS SOPS 1954 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1781.954
AT ITER 4393 NEW BEST:: SOT 6702 SOS 1954 HAS SOPS 1954 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1780.954
AT ITER 4464 NEW BEST:: SOT 6699 SOS 1948 HAS SOPS 1948 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1774.948
AT ITER 4475 NEW BEST:: SOT 6701 SOS 1947 HAS SOPS 1947 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1773.947
AT ITER 4561 NEW BEST:: SOT 6700 SOS 1946 HAS SOPS 1946 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1773.946
AT ITER 4562 NEW BEST:: SOT 6701 SOS 1945 HAS SOPS 1945 HAS SOUS 1771 HAS SOUPS 1771 WITH SCORE 1772.945
AT ITER 4563 NEW BEST:: SOT 6695 SOS 1939 HAS SOPS 1939 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1766.939
AT ITER 4585 NEW BEST:: SOT 6694 SOS 1938 HAS SOPS 1938 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1764.938
AT ITER 4587 NEW BEST:: SOT 6695 SOS 1937 HAS SOPS 1937 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1763.937
AT ITER 4656 NEW BEST:: SOT 6694 SOS 1936 HAS SOPS 1936 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1763.936
AT ITER 4724 NEW BEST:: SOT 6693 SOS 1932 HAS SOPS 1932 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1761.932
AT ITER 4781 NEW BEST:: SOT 6693 SOS 1928 HAS SOPS 1928 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1761.928
AT ITER 4782 NEW BEST:: SOT 6695 SOS 1927 HAS SOPS 1927 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1761.927
AT ITER 4813 NEW BEST:: SOT 6692 SOS 1920 HAS SOPS 1920 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1754.92
AT ITER 4885 NEW BEST:: SOT 6692 SOS 1918 HAS SOPS 1918 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1752.918
AT ITER 5070 NEW BEST:: SOT 6695 SOS 1915 HAS SOPS 1915 HAS SOUS 1741 HAS SOUPS 1741 WITH SCORE 1742.915
AT ITER 5084 NEW BEST:: SOT 6695 SOS 1913 HAS SOPS 1913 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1740.913
AT ITER 5140 NEW BEST:: SOT 6692 SOS 1910 HAS SOPS 1910 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.91
AT ITER 5176 NEW BEST:: SOT 6691 SOS 1909 HAS SOPS 1909 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1735.909
AT ITER 5180 NEW BEST:: SOT 6695 SOS 1910 HAS SOPS 1910 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1734.91
AT ITER 5182 NEW BEST:: SOT 6693 SOS 1908 HAS SOPS 1908 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1732.908
AT ITER 5295 NEW BEST:: SOT 6692 SOS 1906 HAS SOPS 1906 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1729.906
AT ITER 5303 NEW BEST:: SOT 6689 SOS 1902 HAS SOPS 1902 HAS SOUS 1727 HAS SOUPS 1727 WITH SCORE 1728.902
AT ITER 5356 NEW BEST:: SOT 6688 SOS 1901 HAS SOPS 1901 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1727.901
AT ITER 5431 NEW BEST:: SOT 6687 SOS 1899 HAS SOPS 1899 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1723.899
AT ITER 5619 NEW BEST:: SOT 6698 SOS 1904 HAS SOPS 1904 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.904
AT ITER 5627 NEW BEST:: SOT 6701 SOS 1904 HAS SOPS 1904 HAS SOUS 1718 HAS SOUPS 1718 WITH SCORE 1719.904
AT ITER 5638 NEW BEST:: SOT 6699 SOS 1898 HAS SOPS 1898 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1716.898
AT ITER 5692 NEW BEST:: SOT 6696 SOS 1895 HAS SOPS 1895 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1713.895
AT ITER 5731 NEW BEST:: SOT 6691 SOS 1890 HAS SOPS 1890 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1708.89
AT ITER 5744 NEW BEST:: SOT 6691 SOS 1889 HAS SOPS 1889 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1706.889
AT ITER 5800 NEW BEST:: SOT 6692 SOS 1889 HAS SOPS 1889 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.889
AT ITER 5805 NEW BEST:: SOT 6693 SOS 1890 HAS SOPS 1890 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1700.89
AT ITER 5869 NEW BEST:: SOT 6689 SOS 1893 HAS SOPS 1893 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1696.893
AT ITER 5896 NEW BEST:: SOT 6680 SOS 1884 HAS SOPS 1884 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1695.884
AT ITER 5919 NEW BEST:: SOT 6668 SOS 1872 HAS SOPS 1872 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1689.872
AT ITER 5953 NEW BEST:: SOT 6668 SOS 1871 HAS SOPS 1871 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1688.871
AT ITER 5971 NEW BEST:: SOT 6666 SOS 1868 HAS SOPS 1868 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1685.868
AT ITER 6002 NEW BEST:: SOT 6665 SOS 1865 HAS SOPS 1865 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1683.865
AT ITER 6340 NEW BEST:: SOT 6664 SOS 1864 HAS SOPS 1864 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1683.864
AT ITER 6383 NEW BEST:: SOT 6657 SOS 1858 HAS SOPS 1858 HAS SOUS 1679 HAS SOUPS 1679 WITH SCORE 1680.858
AT ITER 6421 NEW BEST:: SOT 6657 SOS 1856 HAS SOPS 1856 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1678.856
AT ITER 6503 NEW BEST:: SOT 6656 SOS 1855 HAS SOPS 1855 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1678.855
AT ITER 6547 NEW BEST:: SOT 6656 SOS 1854 HAS SOPS 1854 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1677.854
AT ITER 6559 NEW BEST:: SOT 6652 SOS 1849 HAS SOPS 1849 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1672.849
AT ITER 6579 NEW BEST:: SOT 6652 SOS 1848 HAS SOPS 1848 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1672.848
AT ITER 6588 NEW BEST:: SOT 6651 SOS 1847 HAS SOPS 1847 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1671.847
AT ITER 6758 NEW BEST:: SOT 6648 SOS 1842 HAS SOPS 1842 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1666.842
AT ITER 6766 NEW BEST:: SOT 6649 SOS 1840 HAS SOPS 1840 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1666.84
AT ITER 6770 NEW BEST:: SOT 6651 SOS 1840 HAS SOPS 1840 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1663.84
AT ITER 6966 NEW BEST:: SOT 6649 SOS 1834 HAS SOPS 1834 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1657.834
AT ITER 7093 NEW BEST:: SOT 6649 SOS 1832 HAS SOPS 1832 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1653.832
AT ITER 7102 NEW BEST:: SOT 6648 SOS 1830 HAS SOPS 1830 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1651.83
AT ITER 7146 NEW BEST:: SOT 6648 SOS 1829 HAS SOPS 1829 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1651.829
AT ITER 7231 NEW BEST:: SOT 6644 SOS 1825 HAS SOPS 1825 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1647.825
AT ITER 7263 NEW BEST:: SOT 6633 SOS 1809 HAS SOPS 1809 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1631.809
AT ITER 7346 NEW BEST:: SOT 6625 SOS 1799 HAS SOPS 1799 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.799
AT ITER 7404 NEW BEST:: SOT 6621 SOS 1792 HAS SOPS 1792 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1615.792
AT ITER 7851 NEW BEST:: SOT 6619 SOS 1790 HAS SOPS 1790 HAS SOUS 1612 HAS SOUPS 1612 WITH SCORE 1613.79
AT ITER 7865 NEW BEST:: SOT 6619 SOS 1788 HAS SOPS 1788 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1612.788
AT ITER 7967 NEW BEST:: SOT 6619 SOS 1785 HAS SOPS 1785 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1612.785
AT ITER 8039 NEW BEST:: SOT 6620 SOS 1771 HAS SOPS 1771 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1606.771
AT ITER 8206 NEW BEST:: SOT 6618 SOS 1765 HAS SOPS 1765 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1601.765
AT ITER 8214 NEW BEST:: SOT 6618 SOS 1761 HAS SOPS 1761 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1600.761
AT ITER 8281 NEW BEST:: SOT 6618 SOS 1758 HAS SOPS 1758 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1598.758
AT ITER 8374 NEW BEST:: SOT 6617 SOS 1757 HAS SOPS 1757 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1597.757
AT ITER 8557 NEW BEST:: SOT 6618 SOS 1756 HAS SOPS 1756 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1597.756
AT ITER 8607 NEW BEST:: SOT 6617 SOS 1755 HAS SOPS 1755 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1596.755
AT ITER 8642 NEW BEST:: SOT 6613 SOS 1751 HAS SOPS 1751 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1592.751
AT ITER 8648 NEW BEST:: SOT 6613 SOS 1749 HAS SOPS 1749 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1590.749
AT ITER 8817 NEW BEST:: SOT 6612 SOS 1746 HAS SOPS 1746 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1587.746
AT ITER 8931 NEW BEST:: SOT 6611 SOS 1743 HAS SOPS 1743 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1585.743
AT ITER 9004 NEW BEST:: SOT 6607 SOS 1739 HAS SOPS 1739 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.739
AT ITER 9204 NEW BEST:: SOT 6603 SOS 1733 HAS SOPS 1733 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1575.733
AT ITER 9296 NEW BEST:: SOT 6601 SOS 1730 HAS SOPS 1730 HAS SOUS 1571 HAS SOUPS 1571 WITH SCORE 1572.73
AT ITER 9299 NEW BEST:: SOT 6597 SOS 1729 HAS SOPS 1729 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1571.729
AT ITER 9310 NEW BEST:: SOT 6594 SOS 1724 HAS SOPS 1724 HAS SOUS 1565 HAS SOUPS 1565 WITH SCORE 1566.724
AT ITER 9371 NEW BEST:: SOT 6593 SOS 1720 HAS SOPS 1720 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1564.72
AT ITER 9438 NEW BEST:: SOT 6590 SOS 1717 HAS SOPS 1717 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1561.717
AT ITER 9538 NEW BEST:: SOT 6592 SOS 1716 HAS SOPS 1716 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1561.716
AT ITER 9881 NEW BEST:: SOT 6591 SOS 1714 HAS SOPS 1714 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1559.714
AT ITER 9909 NEW BEST:: SOT 6590 SOS 1713 HAS SOPS 1713 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1558.713
STATE_SPACE STATES 2048000000000000001 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 56 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 48844800000000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590446645105

--------------------
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="ShieldPPPt-PT-005A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-005A, 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 r207-tajo-159033469800640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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