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.r003-oct2-167813590900456.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590900456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 8.2K Feb 25 18:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 18:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 17:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 18:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 149K Feb 25 18:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 18:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 18:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 43K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678472929166

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=AutoFlight-PT-06a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 06a
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: 157 places, 155 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 18714 SOS 13096 HAS SOPS 13096 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9170.096
AT ITER 3 NEW BEST:: SOT 18613 SOS 13046 HAS SOPS 13024 HAS SOUS 9092 HAS SOUPS 9070 WITH SCORE 9083.046
AT ITER 5 NEW BEST:: SOT 18596 SOS 13040 HAS SOPS 13018 HAS SOUS 9087 HAS SOUPS 9065 WITH SCORE 9078.04
AT ITER 6 NEW BEST:: SOT 18572 SOS 13039 HAS SOPS 13017 HAS SOUS 9086 HAS SOUPS 9064 WITH SCORE 9077.039
AT ITER 9 NEW BEST:: SOT 18558 SOS 13025 HAS SOPS 13003 HAS SOUS 9086 HAS SOUPS 9064 WITH SCORE 9077.025
AT ITER 10 NEW BEST:: SOT 18558 SOS 12947 HAS SOPS 12925 HAS SOUS 9086 HAS SOUPS 9064 WITH SCORE 9076.947
AT ITER 11 NEW BEST:: SOT 18558 SOS 12923 HAS SOPS 12901 HAS SOUS 9085 HAS SOUPS 9063 WITH SCORE 9075.923
AT ITER 12 NEW BEST:: SOT 18558 SOS 12863 HAS SOPS 12841 HAS SOUS 9062 HAS SOUPS 9040 WITH SCORE 9052.863
AT ITER 13 NEW BEST:: SOT 18520 SOS 12749 HAS SOPS 12727 HAS SOUS 8986 HAS SOUPS 8964 WITH SCORE 8976.749
AT ITER 14 NEW BEST:: SOT 18509 SOS 12523 HAS SOPS 12488 HAS SOUS 8843 HAS SOUPS 8808 WITH SCORE 8820.523
AT ITER 15 NEW BEST:: SOT 18509 SOS 12418 HAS SOPS 12405 HAS SOUS 8821 HAS SOUPS 8808 WITH SCORE 8820.418
AT ITER 17 NEW BEST:: SOT 18509 SOS 12414 HAS SOPS 12401 HAS SOUS 8821 HAS SOUPS 8808 WITH SCORE 8820.414
AT ITER 18 NEW BEST:: SOT 18595 SOS 12258 HAS SOPS 12245 HAS SOUS 8732 HAS SOUPS 8719 WITH SCORE 8731.258
AT ITER 19 NEW BEST:: SOT 18275 SOS 12001 HAS SOPS 11988 HAS SOUS 8521 HAS SOUPS 8508 WITH SCORE 8520.001
AT ITER 22 NEW BEST:: SOT 18067 SOS 11737 HAS SOPS 11532 HAS SOUS 8247 HAS SOUPS 8147 WITH SCORE 8158.737
AT ITER 25 NEW BEST:: SOT 18067 SOS 11630 HAS SOPS 11425 HAS SOUS 8234 HAS SOUPS 8134 WITH SCORE 8145.63
AT ITER 29 NEW BEST:: SOT 17768 SOS 11331 HAS SOPS 11125 HAS SOUS 8064 HAS SOUPS 7964 WITH SCORE 7975.331
AT ITER 30 NEW BEST:: SOT 17768 SOS 11311 HAS SOPS 11105 HAS SOUS 8063 HAS SOUPS 7963 WITH SCORE 7974.311
AT ITER 36 NEW BEST:: SOT 17694 SOS 11156 HAS SOPS 10950 HAS SOUS 7935 HAS SOUPS 7835 WITH SCORE 7846.156
AT ITER 39 NEW BEST:: SOT 17638 SOS 11099 HAS SOPS 10893 HAS SOUS 7898 HAS SOUPS 7798 WITH SCORE 7809.099
AT ITER 40 NEW BEST:: SOT 17592 SOS 11053 HAS SOPS 10847 HAS SOUS 7852 HAS SOUPS 7752 WITH SCORE 7763.053
AT ITER 43 NEW BEST:: SOT 17592 SOS 10884 HAS SOPS 10678 HAS SOUS 7742 HAS SOUPS 7642 WITH SCORE 7652.884
AT ITER 45 NEW BEST:: SOT 17462 SOS 10846 HAS SOPS 10548 HAS SOUS 7605 HAS SOUPS 7439 WITH SCORE 7449.846
AT ITER 47 NEW BEST:: SOT 17420 SOS 10776 HAS SOPS 10478 HAS SOUS 7563 HAS SOUPS 7397 WITH SCORE 7407.776
AT ITER 48 NEW BEST:: SOT 17420 SOS 10748 HAS SOPS 10453 HAS SOUS 7562 HAS SOUPS 7396 WITH SCORE 7406.748
AT ITER 51 NEW BEST:: SOT 17386 SOS 10317 HAS SOPS 10022 HAS SOUS 7545 HAS SOUPS 7379 WITH SCORE 7389.317
AT ITER 52 NEW BEST:: SOT 17397 SOS 10339 HAS SOPS 10044 HAS SOUS 7534 HAS SOUPS 7368 WITH SCORE 7378.339
AT ITER 54 NEW BEST:: SOT 17397 SOS 10209 HAS SOPS 9914 HAS SOUS 7472 HAS SOUPS 7306 WITH SCORE 7316.209
AT ITER 57 NEW BEST:: SOT 17397 SOS 10160 HAS SOPS 9865 HAS SOUS 7471 HAS SOUPS 7305 WITH SCORE 7315.16
AT ITER 59 NEW BEST:: SOT 17370 SOS 10132 HAS SOPS 9837 HAS SOUS 7447 HAS SOUPS 7281 WITH SCORE 7291.132
AT ITER 61 NEW BEST:: SOT 17370 SOS 10116 HAS SOPS 9821 HAS SOUS 7439 HAS SOUPS 7273 WITH SCORE 7283.116
AT ITER 62 NEW BEST:: SOT 17086 SOS 9832 HAS SOPS 9536 HAS SOUS 7324 HAS SOUPS 7158 WITH SCORE 7167.832
AT ITER 64 NEW BEST:: SOT 17085 SOS 9788 HAS SOPS 9492 HAS SOUS 7308 HAS SOUPS 7142 WITH SCORE 7151.788
AT ITER 67 NEW BEST:: SOT 16915 SOS 9440 HAS SOPS 9150 HAS SOUS 7054 HAS SOUPS 6888 WITH SCORE 6897.44
AT ITER 70 NEW BEST:: SOT 16853 SOS 9302 HAS SOPS 9012 HAS SOUS 6986 HAS SOUPS 6820 WITH SCORE 6829.302
AT ITER 72 NEW BEST:: SOT 16653 SOS 9234 HAS SOPS 8894 HAS SOUS 6914 HAS SOUPS 6698 WITH SCORE 6707.234
AT ITER 74 NEW BEST:: SOT 16467 SOS 9080 HAS SOPS 8740 HAS SOUS 6817 HAS SOUPS 6601 WITH SCORE 6610.08
AT ITER 80 NEW BEST:: SOT 16442 SOS 8868 HAS SOPS 8528 HAS SOUS 6743 HAS SOUPS 6527 WITH SCORE 6535.868
AT ITER 82 NEW BEST:: SOT 16442 SOS 8831 HAS SOPS 8491 HAS SOUS 6706 HAS SOUPS 6490 WITH SCORE 6498.831
AT ITER 84 NEW BEST:: SOT 16378 SOS 8767 HAS SOPS 8427 HAS SOUS 6686 HAS SOUPS 6470 WITH SCORE 6478.767
AT ITER 88 NEW BEST:: SOT 16377 SOS 8728 HAS SOPS 8388 HAS SOUS 6664 HAS SOUPS 6448 WITH SCORE 6456.728
AT ITER 91 NEW BEST:: SOT 16402 SOS 8527 HAS SOPS 8187 HAS SOUS 6629 HAS SOUPS 6413 WITH SCORE 6421.527
AT ITER 98 NEW BEST:: SOT 16298 SOS 8423 HAS SOPS 8083 HAS SOUS 6525 HAS SOUPS 6309 WITH SCORE 6317.423
AT ITER 110 NEW BEST:: SOT 16282 SOS 8407 HAS SOPS 8067 HAS SOUS 6509 HAS SOUPS 6293 WITH SCORE 6301.407
AT ITER 111 NEW BEST:: SOT 16319 SOS 8362 HAS SOPS 8022 HAS SOUS 6468 HAS SOUPS 6252 WITH SCORE 6260.362
AT ITER 112 NEW BEST:: SOT 16321 SOS 8360 HAS SOPS 8020 HAS SOUS 6466 HAS SOUPS 6250 WITH SCORE 6258.36
AT ITER 114 NEW BEST:: SOT 16321 SOS 8327 HAS SOPS 7998 HAS SOUS 6455 HAS SOUPS 6239 WITH SCORE 6247.327
AT ITER 115 NEW BEST:: SOT 16321 SOS 8327 HAS SOPS 7979 HAS SOUS 6455 HAS SOUPS 6220 WITH SCORE 6228.327
AT ITER 116 NEW BEST:: SOT 16305 SOS 8311 HAS SOPS 7963 HAS SOUS 6455 HAS SOUPS 6220 WITH SCORE 6228.311
AT ITER 128 NEW BEST:: SOT 16134 SOS 8051 HAS SOPS 7703 HAS SOUS 6315 HAS SOUPS 6080 WITH SCORE 6088.051
AT ITER 129 NEW BEST:: SOT 16134 SOS 7790 HAS SOPS 7442 HAS SOUS 6315 HAS SOUPS 6080 WITH SCORE 6087.79
AT ITER 132 NEW BEST:: SOT 16134 SOS 7698 HAS SOPS 7350 HAS SOUS 6207 HAS SOUPS 5972 WITH SCORE 5979.698
AT ITER 134 NEW BEST:: SOT 16070 SOS 7634 HAS SOPS 7286 HAS SOUS 6179 HAS SOUPS 5944 WITH SCORE 5951.634
AT ITER 146 NEW BEST:: SOT 16102 SOS 7621 HAS SOPS 7273 HAS SOUS 6166 HAS SOUPS 5931 WITH SCORE 5938.621
AT ITER 153 NEW BEST:: SOT 15908 SOS 7488 HAS SOPS 7140 HAS SOUS 6071 HAS SOUPS 5836 WITH SCORE 5843.488
AT ITER 155 NEW BEST:: SOT 15629 SOS 6916 HAS SOPS 6568 HAS SOUS 5729 HAS SOUPS 5494 WITH SCORE 5500.916
AT ITER 156 NEW BEST:: SOT 15589 SOS 6875 HAS SOPS 6527 HAS SOUS 5688 HAS SOUPS 5453 WITH SCORE 5459.875
AT ITER 158 NEW BEST:: SOT 15537 SOS 6797 HAS SOPS 6449 HAS SOUS 5636 HAS SOUPS 5401 WITH SCORE 5407.797
AT ITER 167 NEW BEST:: SOT 15536 SOS 6782 HAS SOPS 6434 HAS SOUS 5621 HAS SOUPS 5386 WITH SCORE 5392.782
AT ITER 170 NEW BEST:: SOT 15404 SOS 6691 HAS SOPS 6276 HAS SOUS 5519 HAS SOUPS 5228 WITH SCORE 5234.691
AT ITER 186 NEW BEST:: SOT 15269 SOS 6486 HAS SOPS 6053 HAS SOUS 5358 HAS SOUPS 5049 WITH SCORE 5055.486
AT ITER 190 NEW BEST:: SOT 15269 SOS 6484 HAS SOPS 6051 HAS SOUS 5356 HAS SOUPS 5047 WITH SCORE 5053.484
AT ITER 192 NEW BEST:: SOT 15257 SOS 6555 HAS SOPS 6122 HAS SOUS 5355 HAS SOUPS 5046 WITH SCORE 5052.555
AT ITER 195 NEW BEST:: SOT 15249 SOS 6446 HAS SOPS 6013 HAS SOUS 5307 HAS SOUPS 4998 WITH SCORE 5004.446
AT ITER 196 NEW BEST:: SOT 15249 SOS 6446 HAS SOPS 6013 HAS SOUS 5306 HAS SOUPS 4997 WITH SCORE 5003.446
AT ITER 200 NEW BEST:: SOT 15217 SOS 6414 HAS SOPS 5981 HAS SOUS 5283 HAS SOUPS 4974 WITH SCORE 4980.414
AT ITER 201 NEW BEST:: SOT 15238 SOS 6292 HAS SOPS 5859 HAS SOUS 5197 HAS SOUPS 4888 WITH SCORE 4894.292
AT ITER 205 NEW BEST:: SOT 15237 SOS 6290 HAS SOPS 5857 HAS SOUS 5195 HAS SOUPS 4886 WITH SCORE 4892.29
AT ITER 214 NEW BEST:: SOT 15258 SOS 6349 HAS SOPS 5855 HAS SOUS 5254 HAS SOUPS 4884 WITH SCORE 4890.349
AT ITER 218 NEW BEST:: SOT 15242 SOS 6325 HAS SOPS 5831 HAS SOUS 5254 HAS SOUPS 4884 WITH SCORE 4890.325
AT ITER 223 NEW BEST:: SOT 15188 SOS 6260 HAS SOPS 5766 HAS SOUS 5174 HAS SOUPS 4804 WITH SCORE 4810.26
AT ITER 225 NEW BEST:: SOT 15140 SOS 6243 HAS SOPS 5749 HAS SOUS 5132 HAS SOUPS 4762 WITH SCORE 4768.243
AT ITER 232 NEW BEST:: SOT 15140 SOS 6223 HAS SOPS 5729 HAS SOUS 5104 HAS SOUPS 4734 WITH SCORE 4740.223
AT ITER 238 NEW BEST:: SOT 15125 SOS 6202 HAS SOPS 5708 HAS SOUS 5089 HAS SOUPS 4719 WITH SCORE 4725.202
AT ITER 250 NEW BEST:: SOT 15117 SOS 6194 HAS SOPS 5700 HAS SOUS 5081 HAS SOUPS 4711 WITH SCORE 4717.194
AT ITER 251 NEW BEST:: SOT 15115 SOS 6136 HAS SOPS 5642 HAS SOUS 5057 HAS SOUPS 4687 WITH SCORE 4693.136
AT ITER 254 NEW BEST:: SOT 15114 SOS 5917 HAS SOPS 5423 HAS SOUS 4922 HAS SOUPS 4552 WITH SCORE 4557.917
AT ITER 263 NEW BEST:: SOT 15128 SOS 5931 HAS SOPS 5436 HAS SOUS 4907 HAS SOUPS 4536 WITH SCORE 4541.931
AT ITER 265 NEW BEST:: SOT 15127 SOS 5930 HAS SOPS 5435 HAS SOUS 4906 HAS SOUPS 4535 WITH SCORE 4540.93
AT ITER 266 NEW BEST:: SOT 15074 SOS 5862 HAS SOPS 5367 HAS SOUS 4864 HAS SOUPS 4493 WITH SCORE 4498.862
AT ITER 269 NEW BEST:: SOT 15081 SOS 5843 HAS SOPS 5348 HAS SOUS 4845 HAS SOUPS 4474 WITH SCORE 4479.843
AT ITER 277 NEW BEST:: SOT 15064 SOS 5826 HAS SOPS 5331 HAS SOUS 4828 HAS SOUPS 4457 WITH SCORE 4462.826
AT ITER 283 NEW BEST:: SOT 15055 SOS 5813 HAS SOPS 5318 HAS SOUS 4815 HAS SOUPS 4444 WITH SCORE 4449.813
AT ITER 286 NEW BEST:: SOT 15022 SOS 5827 HAS SOPS 5332 HAS SOUS 4805 HAS SOUPS 4434 WITH SCORE 4439.827
AT ITER 290 NEW BEST:: SOT 15025 SOS 5830 HAS SOPS 5335 HAS SOUS 4804 HAS SOUPS 4433 WITH SCORE 4438.83
AT ITER 295 NEW BEST:: SOT 15025 SOS 5828 HAS SOPS 5312 HAS SOUS 4802 HAS SOUPS 4410 WITH SCORE 4415.828
AT ITER 297 NEW BEST:: SOT 15035 SOS 5773 HAS SOPS 5257 HAS SOUS 4801 HAS SOUPS 4409 WITH SCORE 4414.773
AT ITER 300 NEW BEST:: SOT 15037 SOS 5775 HAS SOPS 5259 HAS SOUS 4797 HAS SOUPS 4405 WITH SCORE 4410.775
AT ITER 308 NEW BEST:: SOT 15062 SOS 5713 HAS SOPS 5197 HAS SOUS 4726 HAS SOUPS 4334 WITH SCORE 4339.713
AT ITER 315 NEW BEST:: SOT 15041 SOS 5677 HAS SOPS 5158 HAS SOUS 4687 HAS SOUPS 4292 WITH SCORE 4297.677
AT ITER 319 NEW BEST:: SOT 15035 SOS 5668 HAS SOPS 5145 HAS SOUS 4684 HAS SOUPS 4285 WITH SCORE 4290.668
AT ITER 340 NEW BEST:: SOT 15035 SOS 5642 HAS SOPS 5119 HAS SOUS 4658 HAS SOUPS 4259 WITH SCORE 4264.642
AT ITER 342 NEW BEST:: SOT 14931 SOS 5560 HAS SOPS 5037 HAS SOUS 4643 HAS SOUPS 4244 WITH SCORE 4249.56
AT ITER 345 NEW BEST:: SOT 14921 SOS 5554 HAS SOPS 5027 HAS SOUS 4637 HAS SOUPS 4234 WITH SCORE 4239.554
AT ITER 351 NEW BEST:: SOT 14931 SOS 5564 HAS SOPS 5013 HAS SOUS 4647 HAS SOUPS 4220 WITH SCORE 4225.564
AT ITER 358 NEW BEST:: SOT 14930 SOS 5562 HAS SOPS 5011 HAS SOUS 4645 HAS SOUPS 4218 WITH SCORE 4223.562
AT ITER 360 NEW BEST:: SOT 14929 SOS 5560 HAS SOPS 5009 HAS SOUS 4643 HAS SOUPS 4216 WITH SCORE 4221.56
AT ITER 375 NEW BEST:: SOT 14926 SOS 5557 HAS SOPS 5006 HAS SOUS 4640 HAS SOUPS 4213 WITH SCORE 4218.557
AT ITER 380 NEW BEST:: SOT 14918 SOS 5549 HAS SOPS 4998 HAS SOUS 4632 HAS SOUPS 4205 WITH SCORE 4210.549
AT ITER 386 NEW BEST:: SOT 14918 SOS 5550 HAS SOPS 4999 HAS SOUS 4627 HAS SOUPS 4200 WITH SCORE 4205.55
AT ITER 389 NEW BEST:: SOT 14972 SOS 5525 HAS SOPS 4974 HAS SOUS 4624 HAS SOUPS 4197 WITH SCORE 4202.525
AT ITER 395 NEW BEST:: SOT 14967 SOS 5512 HAS SOPS 4961 HAS SOUS 4611 HAS SOUPS 4184 WITH SCORE 4189.512
AT ITER 404 NEW BEST:: SOT 14935 SOS 5478 HAS SOPS 4927 HAS SOUS 4577 HAS SOUPS 4150 WITH SCORE 4155.478
AT ITER 416 NEW BEST:: SOT 14917 SOS 5458 HAS SOPS 4927 HAS SOUS 4557 HAS SOUPS 4150 WITH SCORE 4155.458
AT ITER 421 NEW BEST:: SOT 14915 SOS 5451 HAS SOPS 4903 HAS SOUS 4550 HAS SOUPS 4126 WITH SCORE 4131.451
AT ITER 422 NEW BEST:: SOT 14905 SOS 5441 HAS SOPS 4893 HAS SOUS 4540 HAS SOUPS 4116 WITH SCORE 4121.441
AT ITER 428 NEW BEST:: SOT 14774 SOS 5421 HAS SOPS 4873 HAS SOUS 4523 HAS SOUPS 4099 WITH SCORE 4104.421
AT ITER 431 NEW BEST:: SOT 14766 SOS 5401 HAS SOPS 4865 HAS SOUS 4516 HAS SOUPS 4091 WITH SCORE 4096.401
AT ITER 441 NEW BEST:: SOT 14703 SOS 5300 HAS SOPS 4764 HAS SOUS 4457 HAS SOUPS 4032 WITH SCORE 4037.3
AT ITER 445 NEW BEST:: SOT 14702 SOS 5287 HAS SOPS 4750 HAS SOUS 4443 HAS SOUPS 4018 WITH SCORE 4023.287
AT ITER 446 NEW BEST:: SOT 14753 SOS 5292 HAS SOPS 4651 HAS SOUS 4441 HAS SOUPS 3973 WITH SCORE 3978.292
AT ITER 452 NEW BEST:: SOT 14753 SOS 5330 HAS SOPS 4642 HAS SOUS 4479 HAS SOUPS 3964 WITH SCORE 3969.33
AT ITER 456 NEW BEST:: SOT 14703 SOS 5316 HAS SOPS 4628 HAS SOUS 4466 HAS SOUPS 3951 WITH SCORE 3956.316
AT ITER 461 NEW BEST:: SOT 14700 SOS 5312 HAS SOPS 4625 HAS SOUS 4462 HAS SOUPS 3948 WITH SCORE 3953.312
AT ITER 468 NEW BEST:: SOT 14698 SOS 5310 HAS SOPS 4623 HAS SOUS 4460 HAS SOUPS 3946 WITH SCORE 3951.31
AT ITER 486 NEW BEST:: SOT 14694 SOS 5315 HAS SOPS 4619 HAS SOUS 4456 HAS SOUPS 3942 WITH SCORE 3947.315
AT ITER 490 NEW BEST:: SOT 14687 SOS 5308 HAS SOPS 4613 HAS SOUS 4450 HAS SOUPS 3936 WITH SCORE 3941.308
AT ITER 494 NEW BEST:: SOT 14687 SOS 5284 HAS SOPS 4589 HAS SOUS 4438 HAS SOUPS 3924 WITH SCORE 3929.284
AT ITER 495 NEW BEST:: SOT 14687 SOS 5285 HAS SOPS 4589 HAS SOUS 4438 HAS SOUPS 3923 WITH SCORE 3928.285
AT ITER 498 NEW BEST:: SOT 14679 SOS 5269 HAS SOPS 4581 HAS SOUS 4430 HAS SOUPS 3923 WITH SCORE 3928.269
AT ITER 501 NEW BEST:: SOT 14649 SOS 5239 HAS SOPS 4551 HAS SOUS 4390 HAS SOUPS 3883 WITH SCORE 3888.239
AT ITER 507 NEW BEST:: SOT 14614 SOS 5204 HAS SOPS 4491 HAS SOUS 4364 HAS SOUPS 3832 WITH SCORE 3837.204
AT ITER 517 NEW BEST:: SOT 14655 SOS 5209 HAS SOPS 4485 HAS SOUS 4364 HAS SOUPS 3821 WITH SCORE 3826.209
AT ITER 532 NEW BEST:: SOT 14655 SOS 5168 HAS SOPS 4444 HAS SOUS 4326 HAS SOUPS 3783 WITH SCORE 3788.168
AT ITER 535 NEW BEST:: SOT 14629 SOS 5133 HAS SOPS 4409 HAS SOUS 4309 HAS SOUPS 3766 WITH SCORE 3771.133
AT ITER 541 NEW BEST:: SOT 14642 SOS 5224 HAS SOPS 4469 HAS SOUS 4337 HAS SOUPS 3763 WITH SCORE 3768.224
AT ITER 543 NEW BEST:: SOT 14639 SOS 5197 HAS SOPS 4455 HAS SOUS 4326 HAS SOUPS 3752 WITH SCORE 3757.197
AT ITER 547 NEW BEST:: SOT 14537 SOS 5151 HAS SOPS 4409 HAS SOUS 4288 HAS SOUPS 3714 WITH SCORE 3719.151
AT ITER 553 NEW BEST:: SOT 14533 SOS 5155 HAS SOPS 4405 HAS SOUS 4288 HAS SOUPS 3710 WITH SCORE 3715.155
AT ITER 562 NEW BEST:: SOT 14524 SOS 5150 HAS SOPS 4387 HAS SOUS 4295 HAS SOUPS 3704 WITH SCORE 3709.15
AT ITER 567 NEW BEST:: SOT 14524 SOS 5198 HAS SOPS 4435 HAS SOUS 4278 HAS SOUPS 3687 WITH SCORE 3692.198
AT ITER 568 NEW BEST:: SOT 14522 SOS 5194 HAS SOPS 4431 HAS SOUS 4275 HAS SOUPS 3684 WITH SCORE 3689.194
AT ITER 571 NEW BEST:: SOT 14522 SOS 5188 HAS SOPS 4428 HAS SOUS 4275 HAS SOUPS 3684 WITH SCORE 3689.188
AT ITER 577 NEW BEST:: SOT 14532 SOS 5178 HAS SOPS 4418 HAS SOUS 4265 HAS SOUPS 3674 WITH SCORE 3679.178
AT ITER 578 NEW BEST:: SOT 14533 SOS 5168 HAS SOPS 4408 HAS SOUS 4261 HAS SOUPS 3670 WITH SCORE 3675.168
AT ITER 592 NEW BEST:: SOT 14531 SOS 5166 HAS SOPS 4406 HAS SOUS 4261 HAS SOUPS 3670 WITH SCORE 3675.166
AT ITER 607 NEW BEST:: SOT 14539 SOS 5158 HAS SOPS 4398 HAS SOUS 4253 HAS SOUPS 3662 WITH SCORE 3667.158
AT ITER 614 NEW BEST:: SOT 14538 SOS 5157 HAS SOPS 4397 HAS SOUS 4253 HAS SOUPS 3662 WITH SCORE 3667.157
AT ITER 616 NEW BEST:: SOT 14534 SOS 5142 HAS SOPS 4382 HAS SOUS 4246 HAS SOUPS 3655 WITH SCORE 3660.142
AT ITER 617 NEW BEST:: SOT 14530 SOS 5137 HAS SOPS 4377 HAS SOUS 4243 HAS SOUPS 3652 WITH SCORE 3657.137
AT ITER 621 NEW BEST:: SOT 14527 SOS 5093 HAS SOPS 4333 HAS SOUS 4221 HAS SOUPS 3630 WITH SCORE 3635.093
AT ITER 622 NEW BEST:: SOT 14526 SOS 5092 HAS SOPS 4333 HAS SOUS 4220 HAS SOUPS 3630 WITH SCORE 3635.092
AT ITER 623 NEW BEST:: SOT 14501 SOS 5121 HAS SOPS 4362 HAS SOUS 4186 HAS SOUPS 3596 WITH SCORE 3601.121
AT ITER 627 NEW BEST:: SOT 14501 SOS 5091 HAS SOPS 4317 HAS SOUS 4171 HAS SOUPS 3566 WITH SCORE 3571.091
AT ITER 640 NEW BEST:: SOT 14510 SOS 5082 HAS SOPS 4308 HAS SOUS 4171 HAS SOUPS 3566 WITH SCORE 3571.082
AT ITER 643 NEW BEST:: SOT 14515 SOS 5041 HAS SOPS 4267 HAS SOUS 4157 HAS SOUPS 3552 WITH SCORE 3557.041
AT ITER 652 NEW BEST:: SOT 14479 SOS 4952 HAS SOPS 4250 HAS SOUS 4086 HAS SOUPS 3535 WITH SCORE 3539.952
AT ITER 660 NEW BEST:: SOT 14479 SOS 4954 HAS SOPS 4248 HAS SOUS 4086 HAS SOUPS 3533 WITH SCORE 3537.954
AT ITER 663 NEW BEST:: SOT 14495 SOS 4954 HAS SOPS 4248 HAS SOUS 4071 HAS SOUPS 3518 WITH SCORE 3522.954
AT ITER 666 NEW BEST:: SOT 14493 SOS 4992 HAS SOPS 4286 HAS SOUS 4069 HAS SOUPS 3516 WITH SCORE 3520.992
AT ITER 675 NEW BEST:: SOT 14486 SOS 4981 HAS SOPS 4267 HAS SOUS 4058 HAS SOUPS 3501 WITH SCORE 3505.981
AT ITER 683 NEW BEST:: SOT 14466 SOS 4961 HAS SOPS 4247 HAS SOUS 4058 HAS SOUPS 3501 WITH SCORE 3505.961
AT ITER 697 NEW BEST:: SOT 14444 SOS 4971 HAS SOPS 4244 HAS SOUS 4047 HAS SOUPS 3490 WITH SCORE 3494.971
AT ITER 728 NEW BEST:: SOT 14441 SOS 4967 HAS SOPS 4242 HAS SOUS 4045 HAS SOUPS 3488 WITH SCORE 3492.967
AT ITER 740 NEW BEST:: SOT 14439 SOS 4959 HAS SOPS 4234 HAS SOUS 4039 HAS SOUPS 3482 WITH SCORE 3486.959
AT ITER 744 NEW BEST:: SOT 14433 SOS 4947 HAS SOPS 4222 HAS SOUS 4030 HAS SOUPS 3473 WITH SCORE 3477.947
AT ITER 761 NEW BEST:: SOT 14417 SOS 4923 HAS SOPS 4206 HAS SOUS 4014 HAS SOUPS 3465 WITH SCORE 3469.923
AT ITER 779 NEW BEST:: SOT 14416 SOS 4920 HAS SOPS 4203 HAS SOUS 4012 HAS SOUPS 3463 WITH SCORE 3467.92
AT ITER 787 NEW BEST:: SOT 14415 SOS 4919 HAS SOPS 4202 HAS SOUS 4011 HAS SOUPS 3462 WITH SCORE 3466.919
AT ITER 812 NEW BEST:: SOT 14443 SOS 4906 HAS SOPS 4189 HAS SOUS 3994 HAS SOUPS 3445 WITH SCORE 3449.906
AT ITER 829 NEW BEST:: SOT 14447 SOS 4903 HAS SOPS 4186 HAS SOUS 3991 HAS SOUPS 3442 WITH SCORE 3446.903
AT ITER 861 NEW BEST:: SOT 14437 SOS 4881 HAS SOPS 4164 HAS SOUS 3973 HAS SOUPS 3424 WITH SCORE 3428.881
AT ITER 869 NEW BEST:: SOT 14429 SOS 4863 HAS SOPS 4146 HAS SOUS 3955 HAS SOUPS 3406 WITH SCORE 3410.863
AT ITER 877 NEW BEST:: SOT 14429 SOS 4864 HAS SOPS 4147 HAS SOUS 3951 HAS SOUPS 3402 WITH SCORE 3406.864
AT ITER 882 NEW BEST:: SOT 14430 SOS 4914 HAS SOPS 4120 HAS SOUS 3952 HAS SOUPS 3375 WITH SCORE 3379.914
AT ITER 893 NEW BEST:: SOT 14424 SOS 4896 HAS SOPS 4102 HAS SOUS 3940 HAS SOUPS 3363 WITH SCORE 3367.896
AT ITER 902 NEW BEST:: SOT 14414 SOS 4886 HAS SOPS 4100 HAS SOUS 3929 HAS SOUPS 3352 WITH SCORE 3356.886
AT ITER 904 NEW BEST:: SOT 14392 SOS 4859 HAS SOPS 4073 HAS SOUS 3917 HAS SOUPS 3340 WITH SCORE 3344.859
AT ITER 910 NEW BEST:: SOT 14389 SOS 4841 HAS SOPS 4055 HAS SOUS 3911 HAS SOUPS 3334 WITH SCORE 3338.841
AT ITER 912 NEW BEST:: SOT 14382 SOS 4834 HAS SOPS 4045 HAS SOUS 3905 HAS SOUPS 3328 WITH SCORE 3332.834
AT ITER 931 NEW BEST:: SOT 14375 SOS 4820 HAS SOPS 4031 HAS SOUS 3898 HAS SOUPS 3321 WITH SCORE 3325.82
AT ITER 932 NEW BEST:: SOT 14319 SOS 4740 HAS SOPS 3951 HAS SOUS 3856 HAS SOUPS 3279 WITH SCORE 3283.74
AT ITER 936 NEW BEST:: SOT 14323 SOS 4673 HAS SOPS 3884 HAS SOUS 3855 HAS SOUPS 3278 WITH SCORE 3282.673
AT ITER 941 NEW BEST:: SOT 14190 SOS 4588 HAS SOPS 3716 HAS SOUS 3752 HAS SOUPS 3110 WITH SCORE 3114.588
AT ITER 985 NEW BEST:: SOT 14186 SOS 4612 HAS SOPS 3719 HAS SOUS 3747 HAS SOUPS 3105 WITH SCORE 3109.612
AT ITER 995 NEW BEST:: SOT 14168 SOS 4566 HAS SOPS 3673 HAS SOUS 3721 HAS SOUPS 3079 WITH SCORE 3083.566
AT ITER 1011 NEW BEST:: SOT 14169 SOS 4567 HAS SOPS 3671 HAS SOUS 3722 HAS SOUPS 3077 WITH SCORE 3081.567
AT ITER 1020 NEW BEST:: SOT 14151 SOS 4549 HAS SOPS 3635 HAS SOUS 3722 HAS SOUPS 3059 WITH SCORE 3063.549
AT ITER 1039 NEW BEST:: SOT 14141 SOS 4538 HAS SOPS 3624 HAS SOUS 3711 HAS SOUPS 3048 WITH SCORE 3052.538
AT ITER 1063 NEW BEST:: SOT 14118 SOS 4537 HAS SOPS 3600 HAS SOUS 3710 HAS SOUPS 3024 WITH SCORE 3028.537
AT ITER 1067 NEW BEST:: SOT 14115 SOS 4463 HAS SOPS 3526 HAS SOUS 3699 HAS SOUPS 3013 WITH SCORE 3017.463
AT ITER 1074 NEW BEST:: SOT 14111 SOS 4439 HAS SOPS 3502 HAS SOUS 3691 HAS SOUPS 3005 WITH SCORE 3009.439
AT ITER 1085 NEW BEST:: SOT 14132 SOS 4371 HAS SOPS 3434 HAS SOUS 3687 HAS SOUPS 3001 WITH SCORE 3005.371
AT ITER 1111 NEW BEST:: SOT 14164 SOS 4360 HAS SOPS 3423 HAS SOUS 3685 HAS SOUPS 2999 WITH SCORE 3003.36
AT ITER 1155 NEW BEST:: SOT 14149 SOS 4345 HAS SOPS 3423 HAS SOUS 3670 HAS SOUPS 2999 WITH SCORE 3003.345
AT ITER 1166 NEW BEST:: SOT 14138 SOS 4304 HAS SOPS 3393 HAS SOUS 3640 HAS SOUPS 2980 WITH SCORE 2984.304
AT ITER 1168 NEW BEST:: SOT 14138 SOS 4301 HAS SOPS 3390 HAS SOUS 3637 HAS SOUPS 2977 WITH SCORE 2981.301
AT ITER 1169 NEW BEST:: SOT 14138 SOS 4300 HAS SOPS 3390 HAS SOUS 3636 HAS SOUPS 2977 WITH SCORE 2981.3
AT ITER 1213 NEW BEST:: SOT 14125 SOS 4276 HAS SOPS 3401 HAS SOUS 3588 HAS SOUPS 2964 WITH SCORE 2968.276
AT ITER 1227 NEW BEST:: SOT 14129 SOS 4276 HAS SOPS 3401 HAS SOUS 3587 HAS SOUPS 2963 WITH SCORE 2967.276
AT ITER 1243 NEW BEST:: SOT 14111 SOS 4258 HAS SOPS 3401 HAS SOUS 3569 HAS SOUPS 2963 WITH SCORE 2967.258
AT ITER 1264 NEW BEST:: SOT 14111 SOS 4257 HAS SOPS 3400 HAS SOUS 3568 HAS SOUPS 2962 WITH SCORE 2966.257
AT ITER 1265 NEW BEST:: SOT 14111 SOS 4215 HAS SOPS 3358 HAS SOUS 3560 HAS SOUPS 2954 WITH SCORE 2958.215
AT ITER 1273 NEW BEST:: SOT 14106 SOS 4205 HAS SOPS 3348 HAS SOUS 3555 HAS SOUPS 2949 WITH SCORE 2953.205
AT ITER 1286 NEW BEST:: SOT 14117 SOS 4216 HAS SOPS 3332 HAS SOUS 3579 HAS SOUPS 2946 WITH SCORE 2950.216
AT ITER 1330 NEW BEST:: SOT 14111 SOS 4210 HAS SOPS 3326 HAS SOUS 3576 HAS SOUPS 2943 WITH SCORE 2947.21
AT ITER 1341 NEW BEST:: SOT 14110 SOS 4208 HAS SOPS 3325 HAS SOUS 3574 HAS SOUPS 2942 WITH SCORE 2946.208
AT ITER 1409 NEW BEST:: SOT 14116 SOS 4200 HAS SOPS 3317 HAS SOUS 3566 HAS SOUPS 2934 WITH SCORE 2938.2
AT ITER 1411 NEW BEST:: SOT 14111 SOS 4193 HAS SOPS 3310 HAS SOUS 3559 HAS SOUPS 2927 WITH SCORE 2931.193
AT ITER 1424 NEW BEST:: SOT 14113 SOS 4226 HAS SOPS 3303 HAS SOUS 3574 HAS SOUPS 2920 WITH SCORE 2924.226
AT ITER 1463 NEW BEST:: SOT 14143 SOS 4241 HAS SOPS 3318 HAS SOUS 3560 HAS SOUPS 2906 WITH SCORE 2910.241
AT ITER 1475 NEW BEST:: SOT 14141 SOS 4236 HAS SOPS 3313 HAS SOUS 3558 HAS SOUPS 2904 WITH SCORE 2908.236
AT ITER 1496 NEW BEST:: SOT 14140 SOS 4235 HAS SOPS 3311 HAS SOUS 3563 HAS SOUPS 2902 WITH SCORE 2906.235
AT ITER 1502 NEW BEST:: SOT 14137 SOS 4238 HAS SOPS 3308 HAS SOUS 3560 HAS SOUPS 2899 WITH SCORE 2903.238
AT ITER 1539 NEW BEST:: SOT 14134 SOS 4235 HAS SOPS 3302 HAS SOUS 3557 HAS SOUPS 2893 WITH SCORE 2897.235
AT ITER 1620 NEW BEST:: SOT 14105 SOS 4206 HAS SOPS 3254 HAS SOUS 3548 HAS SOUPS 2865 WITH SCORE 2869.206
AT ITER 1632 NEW BEST:: SOT 14105 SOS 4206 HAS SOPS 3247 HAS SOUS 3541 HAS SOUPS 2858 WITH SCORE 2862.206
AT ITER 1637 NEW BEST:: SOT 14103 SOS 4196 HAS SOPS 3245 HAS SOUS 3532 HAS SOUPS 2856 WITH SCORE 2860.196
AT ITER 1660 NEW BEST:: SOT 14103 SOS 4196 HAS SOPS 3244 HAS SOUS 3531 HAS SOUPS 2855 WITH SCORE 2859.196
AT ITER 1663 NEW BEST:: SOT 14053 SOS 4194 HAS SOPS 3242 HAS SOUS 3529 HAS SOUPS 2853 WITH SCORE 2857.194
AT ITER 1668 NEW BEST:: SOT 14046 SOS 4187 HAS SOPS 3235 HAS SOUS 3522 HAS SOUPS 2846 WITH SCORE 2850.187
AT ITER 1691 NEW BEST:: SOT 14034 SOS 4133 HAS SOPS 3181 HAS SOUS 3492 HAS SOUPS 2816 WITH SCORE 2820.133
AT ITER 1729 NEW BEST:: SOT 14033 SOS 4132 HAS SOPS 3180 HAS SOUS 3491 HAS SOUPS 2815 WITH SCORE 2819.132
AT ITER 1742 NEW BEST:: SOT 14031 SOS 4130 HAS SOPS 3176 HAS SOUS 3487 HAS SOUPS 2811 WITH SCORE 2815.13
AT ITER 1749 NEW BEST:: SOT 14027 SOS 4120 HAS SOPS 3166 HAS SOUS 3478 HAS SOUPS 2802 WITH SCORE 2806.12
AT ITER 1757 NEW BEST:: SOT 14011 SOS 4093 HAS SOPS 3166 HAS SOUS 3462 HAS SOUPS 2802 WITH SCORE 2806.093
AT ITER 1764 NEW BEST:: SOT 13993 SOS 4064 HAS SOPS 3152 HAS SOUS 3433 HAS SOUPS 2788 WITH SCORE 2792.064
AT ITER 1768 NEW BEST:: SOT 13993 SOS 4055 HAS SOPS 3146 HAS SOUS 3430 HAS SOUPS 2785 WITH SCORE 2789.055
AT ITER 1775 NEW BEST:: SOT 13993 SOS 4052 HAS SOPS 3143 HAS SOUS 3428 HAS SOUPS 2783 WITH SCORE 2787.052
AT ITER 1781 NEW BEST:: SOT 13992 SOS 4051 HAS SOPS 3140 HAS SOUS 3425 HAS SOUPS 2780 WITH SCORE 2784.051
AT ITER 1786 NEW BEST:: SOT 13992 SOS 4043 HAS SOPS 3132 HAS SOUS 3423 HAS SOUPS 2778 WITH SCORE 2782.043
AT ITER 1802 NEW BEST:: SOT 13984 SOS 4027 HAS SOPS 3132 HAS SOUS 3407 HAS SOUPS 2778 WITH SCORE 2782.027
AT ITER 1821 NEW BEST:: SOT 13942 SOS 3999 HAS SOPS 3118 HAS SOUS 3379 HAS SOUPS 2764 WITH SCORE 2767.999
AT ITER 1837 NEW BEST:: SOT 13922 SOS 3959 HAS SOPS 3078 HAS SOUS 3349 HAS SOUPS 2734 WITH SCORE 2737.959
AT ITER 1839 NEW BEST:: SOT 13920 SOS 3951 HAS SOPS 3072 HAS SOUS 3345 HAS SOUPS 2730 WITH SCORE 2733.951
AT ITER 1844 NEW BEST:: SOT 13928 SOS 3941 HAS SOPS 3062 HAS SOUS 3331 HAS SOUPS 2716 WITH SCORE 2719.941
AT ITER 1861 NEW BEST:: SOT 13923 SOS 3936 HAS SOPS 3057 HAS SOUS 3326 HAS SOUPS 2711 WITH SCORE 2714.936
AT ITER 1863 NEW BEST:: SOT 13923 SOS 3930 HAS SOPS 3051 HAS SOUS 3325 HAS SOUPS 2710 WITH SCORE 2713.93
AT ITER 1868 NEW BEST:: SOT 13920 SOS 3962 HAS SOPS 3048 HAS SOUS 3357 HAS SOUPS 2707 WITH SCORE 2710.962
AT ITER 1880 NEW BEST:: SOT 13920 SOS 3960 HAS SOPS 3046 HAS SOUS 3357 HAS SOUPS 2707 WITH SCORE 2710.96
AT ITER 1940 NEW BEST:: SOT 13919 SOS 3958 HAS SOPS 3046 HAS SOUS 3356 HAS SOUPS 2707 WITH SCORE 2710.958
AT ITER 1957 NEW BEST:: SOT 13892 SOS 3912 HAS SOPS 3030 HAS SOUS 3321 HAS SOUPS 2691 WITH SCORE 2694.912
AT ITER 1967 NEW BEST:: SOT 13892 SOS 3909 HAS SOPS 3027 HAS SOUS 3318 HAS SOUPS 2688 WITH SCORE 2691.909
AT ITER 1971 NEW BEST:: SOT 13868 SOS 3885 HAS SOPS 3003 HAS SOUS 3305 HAS SOUPS 2675 WITH SCORE 2678.885
AT ITER 1985 NEW BEST:: SOT 13867 SOS 3884 HAS SOPS 3001 HAS SOUS 3304 HAS SOUPS 2673 WITH SCORE 2676.884
AT ITER 1990 NEW BEST:: SOT 13864 SOS 3894 HAS SOPS 2999 HAS SOUS 3314 HAS SOUPS 2671 WITH SCORE 2674.894
AT ITER 1994 NEW BEST:: SOT 13860 SOS 3890 HAS SOPS 2991 HAS SOUS 3314 HAS SOUPS 2667 WITH SCORE 2670.89
AT ITER 2039 NEW BEST:: SOT 13860 SOS 3886 HAS SOPS 2991 HAS SOUS 3310 HAS SOUPS 2667 WITH SCORE 2670.886
AT ITER 2072 NEW BEST:: SOT 13874 SOS 3900 HAS SOPS 3005 HAS SOUS 3302 HAS SOUPS 2659 WITH SCORE 2662.9
AT ITER 2081 NEW BEST:: SOT 13875 SOS 3885 HAS SOPS 2990 HAS SOUS 3295 HAS SOUPS 2652 WITH SCORE 2655.885
AT ITER 2094 NEW BEST:: SOT 13874 SOS 3884 HAS SOPS 2989 HAS SOUS 3295 HAS SOUPS 2652 WITH SCORE 2655.884
AT ITER 2124 NEW BEST:: SOT 13868 SOS 3875 HAS SOPS 2980 HAS SOUS 3289 HAS SOUPS 2646 WITH SCORE 2649.875
AT ITER 2128 NEW BEST:: SOT 13868 SOS 3861 HAS SOPS 2966 HAS SOUS 3284 HAS SOUPS 2641 WITH SCORE 2644.861
AT ITER 2139 NEW BEST:: SOT 13864 SOS 3852 HAS SOPS 2962 HAS SOUS 3280 HAS SOUPS 2637 WITH SCORE 2640.852
AT ITER 2182 NEW BEST:: SOT 13926 SOS 3914 HAS SOPS 2959 HAS SOUS 3342 HAS SOUPS 2634 WITH SCORE 2637.914
AT ITER 2200 NEW BEST:: SOT 13922 SOS 3912 HAS SOPS 2957 HAS SOUS 3340 HAS SOUPS 2632 WITH SCORE 2635.912
AT ITER 2214 NEW BEST:: SOT 13922 SOS 3912 HAS SOPS 2953 HAS SOUS 3340 HAS SOUPS 2628 WITH SCORE 2631.912
AT ITER 2244 NEW BEST:: SOT 13916 SOS 3910 HAS SOPS 2951 HAS SOUS 3338 HAS SOUPS 2626 WITH SCORE 2629.91
AT ITER 2294 NEW BEST:: SOT 13910 SOS 3904 HAS SOPS 2945 HAS SOUS 3335 HAS SOUPS 2623 WITH SCORE 2626.904
AT ITER 2354 NEW BEST:: SOT 13909 SOS 3905 HAS SOPS 2946 HAS SOUS 3334 HAS SOUPS 2622 WITH SCORE 2625.905
AT ITER 2369 NEW BEST:: SOT 13907 SOS 3900 HAS SOPS 2941 HAS SOUS 3332 HAS SOUPS 2620 WITH SCORE 2623.9
AT ITER 2399 NEW BEST:: SOT 13907 SOS 3900 HAS SOPS 2941 HAS SOUS 3330 HAS SOUPS 2618 WITH SCORE 2621.9
AT ITER 2408 NEW BEST:: SOT 13903 SOS 3888 HAS SOPS 2929 HAS SOUS 3326 HAS SOUPS 2614 WITH SCORE 2617.888
AT ITER 2423 NEW BEST:: SOT 13909 SOS 3892 HAS SOPS 2933 HAS SOUS 3323 HAS SOUPS 2611 WITH SCORE 2614.892
AT ITER 2431 NEW BEST:: SOT 13905 SOS 3888 HAS SOPS 2929 HAS SOUS 3315 HAS SOUPS 2603 WITH SCORE 2606.888
AT ITER 2438 NEW BEST:: SOT 13905 SOS 3883 HAS SOPS 2924 HAS SOUS 3310 HAS SOUPS 2598 WITH SCORE 2601.883
AT ITER 2452 NEW BEST:: SOT 13906 SOS 3868 HAS SOPS 2909 HAS SOUS 3295 HAS SOUPS 2583 WITH SCORE 2586.868
AT ITER 2487 NEW BEST:: SOT 13922 SOS 3876 HAS SOPS 2917 HAS SOUS 3294 HAS SOUPS 2582 WITH SCORE 2585.876
AT ITER 2558 NEW BEST:: SOT 13913 SOS 3864 HAS SOPS 2905 HAS SOUS 3285 HAS SOUPS 2573 WITH SCORE 2576.864
AT ITER 2589 NEW BEST:: SOT 13925 SOS 3906 HAS SOPS 2908 HAS SOUS 3294 HAS SOUPS 2569 WITH SCORE 2572.906
AT ITER 2593 NEW BEST:: SOT 13956 SOS 3906 HAS SOPS 2879 HAS SOUS 3292 HAS SOUPS 2538 WITH SCORE 2541.906
AT ITER 2607 NEW BEST:: SOT 13942 SOS 3892 HAS SOPS 2879 HAS SOUS 3292 HAS SOUPS 2538 WITH SCORE 2541.892
AT ITER 2612 NEW BEST:: SOT 13942 SOS 3889 HAS SOPS 2876 HAS SOUS 3290 HAS SOUPS 2536 WITH SCORE 2539.889
AT ITER 2620 NEW BEST:: SOT 13930 SOS 3857 HAS SOPS 2869 HAS SOUS 3258 HAS SOUPS 2529 WITH SCORE 2532.857
AT ITER 2625 NEW BEST:: SOT 13930 SOS 3848 HAS SOPS 2869 HAS SOUS 3258 HAS SOUPS 2529 WITH SCORE 2532.848
AT ITER 2644 NEW BEST:: SOT 13908 SOS 3827 HAS SOPS 2848 HAS SOUS 3243 HAS SOUPS 2514 WITH SCORE 2517.827
AT ITER 2723 NEW BEST:: SOT 13906 SOS 3817 HAS SOPS 2838 HAS SOUS 3238 HAS SOUPS 2509 WITH SCORE 2512.817
AT ITER 2752 NEW BEST:: SOT 13901 SOS 3814 HAS SOPS 2830 HAS SOUS 3230 HAS SOUPS 2501 WITH SCORE 2504.814
AT ITER 2762 NEW BEST:: SOT 13885 SOS 3805 HAS SOPS 2821 HAS SOUS 3222 HAS SOUPS 2493 WITH SCORE 2496.805
AT ITER 2774 NEW BEST:: SOT 13882 SOS 3800 HAS SOPS 2816 HAS SOUS 3219 HAS SOUPS 2490 WITH SCORE 2493.8
AT ITER 2807 NEW BEST:: SOT 13878 SOS 3780 HAS SOPS 2796 HAS SOUS 3211 HAS SOUPS 2482 WITH SCORE 2485.78
AT ITER 2808 NEW BEST:: SOT 13878 SOS 3780 HAS SOPS 2794 HAS SOUS 3211 HAS SOUPS 2480 WITH SCORE 2483.78
AT ITER 2835 NEW BEST:: SOT 13876 SOS 3778 HAS SOPS 2791 HAS SOUS 3210 HAS SOUPS 2478 WITH SCORE 2481.778
AT ITER 2842 NEW BEST:: SOT 13875 SOS 3775 HAS SOPS 2788 HAS SOUS 3208 HAS SOUPS 2476 WITH SCORE 2479.775
AT ITER 2862 NEW BEST:: SOT 13871 SOS 3771 HAS SOPS 2784 HAS SOUS 3204 HAS SOUPS 2472 WITH SCORE 2475.771
AT ITER 2918 NEW BEST:: SOT 13871 SOS 3772 HAS SOPS 2782 HAS SOUS 3205 HAS SOUPS 2470 WITH SCORE 2473.772
AT ITER 2982 NEW BEST:: SOT 13877 SOS 3788 HAS SOPS 2782 HAS SOUS 3209 HAS SOUPS 2469 WITH SCORE 2472.788
AT ITER 2983 NEW BEST:: SOT 13878 SOS 3784 HAS SOPS 2778 HAS SOUS 3205 HAS SOUPS 2465 WITH SCORE 2468.784
AT ITER 2994 NEW BEST:: SOT 13880 SOS 3780 HAS SOPS 2774 HAS SOUS 3203 HAS SOUPS 2463 WITH SCORE 2466.78
AT ITER 3044 NEW BEST:: SOT 13880 SOS 3770 HAS SOPS 2764 HAS SOUS 3193 HAS SOUPS 2453 WITH SCORE 2456.77
AT ITER 3104 NEW BEST:: SOT 13868 SOS 3757 HAS SOPS 2751 HAS SOUS 3186 HAS SOUPS 2446 WITH SCORE 2449.757
AT ITER 3111 NEW BEST:: SOT 13866 SOS 3759 HAS SOPS 2749 HAS SOUS 3188 HAS SOUPS 2444 WITH SCORE 2447.759
AT ITER 3168 NEW BEST:: SOT 13864 SOS 3757 HAS SOPS 2747 HAS SOUS 3186 HAS SOUPS 2442 WITH SCORE 2445.757
AT ITER 3183 NEW BEST:: SOT 13864 SOS 3749 HAS SOPS 2743 HAS SOUS 3182 HAS SOUPS 2442 WITH SCORE 2445.749
AT ITER 3191 NEW BEST:: SOT 13865 SOS 3750 HAS SOPS 2741 HAS SOUS 3183 HAS SOUPS 2440 WITH SCORE 2443.75
AT ITER 3195 NEW BEST:: SOT 13869 SOS 3754 HAS SOPS 2745 HAS SOUS 3177 HAS SOUPS 2434 WITH SCORE 2437.754
AT ITER 3212 NEW BEST:: SOT 13869 SOS 3752 HAS SOPS 2745 HAS SOUS 3175 HAS SOUPS 2434 WITH SCORE 2437.752
AT ITER 3230 NEW BEST:: SOT 13865 SOS 3748 HAS SOPS 2738 HAS SOUS 3168 HAS SOUPS 2427 WITH SCORE 2430.748
AT ITER 3258 NEW BEST:: SOT 13854 SOS 3723 HAS SOPS 2713 HAS SOUS 3153 HAS SOUPS 2412 WITH SCORE 2415.723
AT ITER 3281 NEW BEST:: SOT 13854 SOS 3723 HAS SOPS 2713 HAS SOUS 3146 HAS SOUPS 2405 WITH SCORE 2408.723
AT ITER 3284 NEW BEST:: SOT 13900 SOS 3788 HAS SOPS 2753 HAS SOUS 3170 HAS SOUPS 2404 WITH SCORE 2407.788
AT ITER 3286 NEW BEST:: SOT 13891 SOS 3779 HAS SOPS 2744 HAS SOUS 3161 HAS SOUPS 2395 WITH SCORE 2398.779
AT ITER 3469 NEW BEST:: SOT 13888 SOS 3776 HAS SOPS 2744 HAS SOUS 3161 HAS SOUPS 2395 WITH SCORE 2398.776
AT ITER 3582 NEW BEST:: SOT 13899 SOS 3787 HAS SOPS 2766 HAS SOUS 3160 HAS SOUPS 2394 WITH SCORE 2397.787
AT ITER 3633 NEW BEST:: SOT 13869 SOS 3757 HAS SOPS 2762 HAS SOUS 3105 HAS SOUPS 2365 WITH SCORE 2368.757
AT ITER 3650 NEW BEST:: SOT 13866 SOS 3750 HAS SOPS 2755 HAS SOUS 3102 HAS SOUPS 2362 WITH SCORE 2365.75
AT ITER 3659 NEW BEST:: SOT 13852 SOS 3736 HAS SOPS 2755 HAS SOUS 3090 HAS SOUPS 2362 WITH SCORE 2365.736
AT ITER 3664 NEW BEST:: SOT 13849 SOS 3748 HAS SOPS 2767 HAS SOUS 3088 HAS SOUPS 2360 WITH SCORE 2363.748
AT ITER 3670 NEW BEST:: SOT 13846 SOS 3736 HAS SOPS 2758 HAS SOUS 3082 HAS SOUPS 2354 WITH SCORE 2357.736
AT ITER 3758 NEW BEST:: SOT 13854 SOS 3756 HAS SOPS 2757 HAS SOUS 3087 HAS SOUPS 2352 WITH SCORE 2355.756
AT ITER 3766 NEW BEST:: SOT 13864 SOS 3767 HAS SOPS 2776 HAS SOUS 3084 HAS SOUPS 2349 WITH SCORE 2352.767
AT ITER 3821 NEW BEST:: SOT 13858 SOS 3777 HAS SOPS 2786 HAS SOUS 3078 HAS SOUPS 2343 WITH SCORE 2346.777
AT ITER 3861 NEW BEST:: SOT 13857 SOS 3775 HAS SOPS 2785 HAS SOUS 3076 HAS SOUPS 2342 WITH SCORE 2345.775
AT ITER 3914 NEW BEST:: SOT 13859 SOS 3774 HAS SOPS 2785 HAS SOUS 3075 HAS SOUPS 2342 WITH SCORE 2345.774
AT ITER 3937 NEW BEST:: SOT 13859 SOS 3772 HAS SOPS 2783 HAS SOUS 3073 HAS SOUPS 2340 WITH SCORE 2343.772
AT ITER 3954 NEW BEST:: SOT 13859 SOS 3765 HAS SOPS 2783 HAS SOUS 3066 HAS SOUPS 2340 WITH SCORE 2343.765
AT ITER 3964 NEW BEST:: SOT 13859 SOS 3764 HAS SOPS 2782 HAS SOUS 3066 HAS SOUPS 2340 WITH SCORE 2343.764
AT ITER 3975 NEW BEST:: SOT 13903 SOS 3721 HAS SOPS 2706 HAS SOUS 3077 HAS SOUPS 2318 WITH SCORE 2321.721
AT ITER 4084 NEW BEST:: SOT 13903 SOS 3719 HAS SOPS 2704 HAS SOUS 3071 HAS SOUPS 2312 WITH SCORE 2315.719
AT ITER 4133 NEW BEST:: SOT 13898 SOS 3709 HAS SOPS 2694 HAS SOUS 3066 HAS SOUPS 2307 WITH SCORE 2310.709
AT ITER 4198 NEW BEST:: SOT 13890 SOS 3701 HAS SOPS 2694 HAS SOUS 3058 HAS SOUPS 2307 WITH SCORE 2310.701
AT ITER 4209 NEW BEST:: SOT 13874 SOS 3707 HAS SOPS 2700 HAS SOUS 3056 HAS SOUPS 2305 WITH SCORE 2308.707
AT ITER 4281 NEW BEST:: SOT 13868 SOS 3713 HAS SOPS 2706 HAS SOUS 3055 HAS SOUPS 2304 WITH SCORE 2307.713
AT ITER 4301 NEW BEST:: SOT 13866 SOS 3711 HAS SOPS 2704 HAS SOUS 3053 HAS SOUPS 2302 WITH SCORE 2305.711
AT ITER 4311 NEW BEST:: SOT 13865 SOS 3708 HAS SOPS 2702 HAS SOUS 3051 HAS SOUPS 2300 WITH SCORE 2303.708
AT ITER 4315 NEW BEST:: SOT 13863 SOS 3700 HAS SOPS 2696 HAS SOUS 3047 HAS SOUPS 2296 WITH SCORE 2299.7
AT ITER 4345 NEW BEST:: SOT 13860 SOS 3697 HAS SOPS 2690 HAS SOUS 3047 HAS SOUPS 2293 WITH SCORE 2296.697
AT ITER 4392 NEW BEST:: SOT 13870 SOS 3722 HAS SOPS 2689 HAS SOUS 3057 HAS SOUPS 2292 WITH SCORE 2295.722
AT ITER 4394 NEW BEST:: SOT 13868 SOS 3722 HAS SOPS 2689 HAS SOUS 3053 HAS SOUPS 2288 WITH SCORE 2291.722
AT ITER 4402 NEW BEST:: SOT 13872 SOS 3732 HAS SOPS 2699 HAS SOUS 3049 HAS SOUPS 2284 WITH SCORE 2287.732
AT ITER 4415 NEW BEST:: SOT 13872 SOS 3728 HAS SOPS 2699 HAS SOUS 3049 HAS SOUPS 2284 WITH SCORE 2287.728
AT ITER 4522 NEW BEST:: SOT 13872 SOS 3727 HAS SOPS 2698 HAS SOUS 3048 HAS SOUPS 2283 WITH SCORE 2286.727
AT ITER 4538 NEW BEST:: SOT 13870 SOS 3722 HAS SOPS 2693 HAS SOUS 3045 HAS SOUPS 2280 WITH SCORE 2283.722
AT ITER 4706 NEW BEST:: SOT 13869 SOS 3721 HAS SOPS 2693 HAS SOUS 3045 HAS SOUPS 2280 WITH SCORE 2283.721
AT ITER 4711 NEW BEST:: SOT 13870 SOS 3722 HAS SOPS 2687 HAS SOUS 3047 HAS SOUPS 2275 WITH SCORE 2278.722
AT ITER 4732 NEW BEST:: SOT 13867 SOS 3719 HAS SOPS 2684 HAS SOUS 3044 HAS SOUPS 2272 WITH SCORE 2275.719
AT ITER 4738 NEW BEST:: SOT 13864 SOS 3719 HAS SOPS 2681 HAS SOUS 3041 HAS SOUPS 2269 WITH SCORE 2272.719
AT ITER 4741 NEW BEST:: SOT 13864 SOS 3719 HAS SOPS 2680 HAS SOUS 3040 HAS SOUPS 2268 WITH SCORE 2271.719
AT ITER 4794 NEW BEST:: SOT 13864 SOS 3716 HAS SOPS 2677 HAS SOUS 3040 HAS SOUPS 2268 WITH SCORE 2271.716
AT ITER 4799 NEW BEST:: SOT 13864 SOS 3713 HAS SOPS 2676 HAS SOUS 3038 HAS SOUPS 2268 WITH SCORE 2271.713
AT ITER 4827 NEW BEST:: SOT 13859 SOS 3708 HAS SOPS 2666 HAS SOUS 3028 HAS SOUPS 2258 WITH SCORE 2261.708
AT ITER 4829 NEW BEST:: SOT 13858 SOS 3704 HAS SOPS 2666 HAS SOUS 3027 HAS SOUPS 2258 WITH SCORE 2261.704
AT ITER 4837 NEW BEST:: SOT 13854 SOS 3670 HAS SOPS 2632 HAS SOUS 3021 HAS SOUPS 2252 WITH SCORE 2255.67
AT ITER 4893 NEW BEST:: SOT 13854 SOS 3659 HAS SOPS 2621 HAS SOUS 3010 HAS SOUPS 2241 WITH SCORE 2244.659
AT ITER 4896 NEW BEST:: SOT 13850 SOS 3651 HAS SOPS 2613 HAS SOUS 3006 HAS SOUPS 2237 WITH SCORE 2240.651
AT ITER 4902 NEW BEST:: SOT 13849 SOS 3646 HAS SOPS 2612 HAS SOUS 3004 HAS SOUPS 2236 WITH SCORE 2239.646
AT ITER 4907 NEW BEST:: SOT 13851 SOS 3658 HAS SOPS 2610 HAS SOUS 3007 HAS SOUPS 2234 WITH SCORE 2237.658
AT ITER 4936 NEW BEST:: SOT 13851 SOS 3646 HAS SOPS 2598 HAS SOUS 3007 HAS SOUPS 2234 WITH SCORE 2237.646
AT ITER 5020 NEW BEST:: SOT 13851 SOS 3648 HAS SOPS 2600 HAS SOUS 3004 HAS SOUPS 2231 WITH SCORE 2234.648
AT ITER 5085 NEW BEST:: SOT 13851 SOS 3640 HAS SOPS 2596 HAS SOUS 3000 HAS SOUPS 2231 WITH SCORE 2234.64
AT ITER 5101 NEW BEST:: SOT 13841 SOS 3637 HAS SOPS 2593 HAS SOUS 2997 HAS SOUPS 2228 WITH SCORE 2231.637
AT ITER 5126 NEW BEST:: SOT 13841 SOS 3632 HAS SOPS 2593 HAS SOUS 2997 HAS SOUPS 2228 WITH SCORE 2231.632
AT ITER 5139 NEW BEST:: SOT 13838 SOS 3629 HAS SOPS 2580 HAS SOUS 3004 HAS SOUPS 2225 WITH SCORE 2228.629
AT ITER 5171 NEW BEST:: SOT 13830 SOS 3607 HAS SOPS 2558 HAS SOUS 2989 HAS SOUPS 2210 WITH SCORE 2213.607
AT ITER 5242 NEW BEST:: SOT 13819 SOS 3582 HAS SOPS 2547 HAS SOUS 2969 HAS SOUPS 2204 WITH SCORE 2207.582
AT ITER 5414 NEW BEST:: SOT 13807 SOS 3570 HAS SOPS 2535 HAS SOUS 2963 HAS SOUPS 2198 WITH SCORE 2201.57
AT ITER 5453 NEW BEST:: SOT 13815 SOS 3597 HAS SOPS 2525 HAS SOUS 2965 HAS SOUPS 2190 WITH SCORE 2193.597
AT ITER 5546 NEW BEST:: SOT 13802 SOS 3595 HAS SOPS 2523 HAS SOUS 2965 HAS SOUPS 2190 WITH SCORE 2193.595
AT ITER 5569 NEW BEST:: SOT 13798 SOS 3591 HAS SOPS 2517 HAS SOUS 2963 HAS SOUPS 2186 WITH SCORE 2189.591
AT ITER 5671 NEW BEST:: SOT 13798 SOS 3573 HAS SOPS 2499 HAS SOUS 2945 HAS SOUPS 2168 WITH SCORE 2171.573
AT ITER 5752 NEW BEST:: SOT 13801 SOS 3572 HAS SOPS 2498 HAS SOUS 2944 HAS SOUPS 2167 WITH SCORE 2170.572
AT ITER 5796 NEW BEST:: SOT 13802 SOS 3569 HAS SOPS 2495 HAS SOUS 2941 HAS SOUPS 2164 WITH SCORE 2167.569
AT ITER 5816 NEW BEST:: SOT 13794 SOS 3561 HAS SOPS 2495 HAS SOUS 2933 HAS SOUPS 2164 WITH SCORE 2167.561
AT ITER 5947 NEW BEST:: SOT 13793 SOS 3535 HAS SOPS 2469 HAS SOUS 2923 HAS SOUPS 2154 WITH SCORE 2157.535
AT ITER 6023 NEW BEST:: SOT 13759 SOS 3506 HAS SOPS 2469 HAS SOUS 2894 HAS SOUPS 2154 WITH SCORE 2157.506
AT ITER 6092 NEW BEST:: SOT 13753 SOS 3506 HAS SOPS 2469 HAS SOUS 2893 HAS SOUPS 2153 WITH SCORE 2156.506
AT ITER 6119 NEW BEST:: SOT 13753 SOS 3501 HAS SOPS 2469 HAS SOUS 2893 HAS SOUPS 2153 WITH SCORE 2156.501
AT ITER 6153 NEW BEST:: SOT 13751 SOS 3498 HAS SOPS 2466 HAS SOUS 2891 HAS SOUPS 2151 WITH SCORE 2154.498
AT ITER 6201 NEW BEST:: SOT 13746 SOS 3492 HAS SOPS 2456 HAS SOUS 2881 HAS SOUPS 2141 WITH SCORE 2144.492
AT ITER 6241 NEW BEST:: SOT 13746 SOS 3490 HAS SOPS 2454 HAS SOUS 2881 HAS SOUPS 2141 WITH SCORE 2144.49
AT ITER 6289 NEW BEST:: SOT 13744 SOS 3483 HAS SOPS 2453 HAS SOUS 2878 HAS SOUPS 2140 WITH SCORE 2143.483
AT ITER 6312 NEW BEST:: SOT 13740 SOS 3479 HAS SOPS 2449 HAS SOUS 2878 HAS SOUPS 2140 WITH SCORE 2143.479
AT ITER 6477 NEW BEST:: SOT 13735 SOS 3474 HAS SOPS 2439 HAS SOUS 2875 HAS SOUPS 2130 WITH SCORE 2133.474
AT ITER 6490 NEW BEST:: SOT 13731 SOS 3458 HAS SOPS 2439 HAS SOUS 2871 HAS SOUPS 2130 WITH SCORE 2133.458
AT ITER 6541 NEW BEST:: SOT 13731 SOS 3456 HAS SOPS 2437 HAS SOUS 2869 HAS SOUPS 2128 WITH SCORE 2131.456
AT ITER 6566 NEW BEST:: SOT 13723 SOS 3452 HAS SOPS 2433 HAS SOUS 2865 HAS SOUPS 2124 WITH SCORE 2127.452
AT ITER 6773 NEW BEST:: SOT 13723 SOS 3450 HAS SOPS 2433 HAS SOUS 2865 HAS SOUPS 2124 WITH SCORE 2127.45
AT ITER 6855 NEW BEST:: SOT 13703 SOS 3426 HAS SOPS 2422 HAS SOUS 2848 HAS SOUPS 2120 WITH SCORE 2123.426
AT ITER 6945 NEW BEST:: SOT 13703 SOS 3429 HAS SOPS 2419 HAS SOUS 2851 HAS SOUPS 2117 WITH SCORE 2120.429
AT ITER 6967 NEW BEST:: SOT 13702 SOS 3426 HAS SOPS 2416 HAS SOUS 2850 HAS SOUPS 2116 WITH SCORE 2119.426
AT ITER 6979 NEW BEST:: SOT 13696 SOS 3420 HAS SOPS 2410 HAS SOUS 2845 HAS SOUPS 2111 WITH SCORE 2114.42
AT ITER 7097 NEW BEST:: SOT 13687 SOS 3411 HAS SOPS 2401 HAS SOUS 2845 HAS SOUPS 2111 WITH SCORE 2114.411
AT ITER 7109 NEW BEST:: SOT 13689 SOS 3404 HAS SOPS 2391 HAS SOUS 2843 HAS SOUPS 2106 WITH SCORE 2109.404
AT ITER 7112 NEW BEST:: SOT 13673 SOS 3388 HAS SOPS 2375 HAS SOUS 2827 HAS SOUPS 2090 WITH SCORE 2093.388
AT ITER 7254 NEW BEST:: SOT 13671 SOS 3386 HAS SOPS 2371 HAS SOUS 2823 HAS SOUPS 2086 WITH SCORE 2089.386
AT ITER 7286 NEW BEST:: SOT 13671 SOS 3384 HAS SOPS 2369 HAS SOUS 2823 HAS SOUPS 2086 WITH SCORE 2089.384
AT ITER 7309 NEW BEST:: SOT 13670 SOS 3383 HAS SOPS 2367 HAS SOUS 2822 HAS SOUPS 2085 WITH SCORE 2088.383
AT ITER 7376 NEW BEST:: SOT 13669 SOS 3377 HAS SOPS 2361 HAS SOUS 2820 HAS SOUPS 2083 WITH SCORE 2086.377
AT ITER 7388 NEW BEST:: SOT 13662 SOS 3356 HAS SOPS 2361 HAS SOUS 2813 HAS SOUPS 2083 WITH SCORE 2086.356
AT ITER 7391 NEW BEST:: SOT 13662 SOS 3347 HAS SOPS 2352 HAS SOUS 2806 HAS SOUPS 2076 WITH SCORE 2079.347
AT ITER 7468 NEW BEST:: SOT 13659 SOS 3342 HAS SOPS 2349 HAS SOUS 2801 HAS SOUPS 2073 WITH SCORE 2076.342
AT ITER 7542 NEW BEST:: SOT 13654 SOS 3337 HAS SOPS 2344 HAS SOUS 2796 HAS SOUPS 2068 WITH SCORE 2071.337
AT ITER 7575 NEW BEST:: SOT 13648 SOS 3327 HAS SOPS 2334 HAS SOUS 2791 HAS SOUPS 2063 WITH SCORE 2066.327
AT ITER 7641 NEW BEST:: SOT 13648 SOS 3327 HAS SOPS 2332 HAS SOUS 2791 HAS SOUPS 2061 WITH SCORE 2064.327
AT ITER 7802 NEW BEST:: SOT 13648 SOS 3324 HAS SOPS 2332 HAS SOUS 2788 HAS SOUPS 2061 WITH SCORE 2064.324
AT ITER 7809 NEW BEST:: SOT 13646 SOS 3317 HAS SOPS 2325 HAS SOUS 2783 HAS SOUPS 2056 WITH SCORE 2059.317
AT ITER 7907 NEW BEST:: SOT 13646 SOS 3313 HAS SOPS 2321 HAS SOUS 2779 HAS SOUPS 2052 WITH SCORE 2055.313
AT ITER 7971 NEW BEST:: SOT 13646 SOS 3316 HAS SOPS 2324 HAS SOUS 2777 HAS SOUPS 2050 WITH SCORE 2053.316
AT ITER 8119 NEW BEST:: SOT 13647 SOS 3320 HAS SOPS 2328 HAS SOUS 2774 HAS SOUPS 2047 WITH SCORE 2050.32
AT ITER 8208 NEW BEST:: SOT 13646 SOS 3318 HAS SOPS 2326 HAS SOUS 2773 HAS SOUPS 2046 WITH SCORE 2049.318
AT ITER 8266 NEW BEST:: SOT 13628 SOS 3300 HAS SOPS 2320 HAS SOUS 2755 HAS SOUPS 2040 WITH SCORE 2043.3
AT ITER 8293 NEW BEST:: SOT 13626 SOS 3302 HAS SOPS 2318 HAS SOUS 2757 HAS SOUPS 2038 WITH SCORE 2041.302
AT ITER 8352 NEW BEST:: SOT 13612 SOS 3292 HAS SOPS 2308 HAS SOUS 2751 HAS SOUPS 2032 WITH SCORE 2035.292
AT ITER 8399 NEW BEST:: SOT 13612 SOS 3279 HAS SOPS 2308 HAS SOUS 2751 HAS SOUPS 2032 WITH SCORE 2035.279
AT ITER 8618 NEW BEST:: SOT 13612 SOS 3278 HAS SOPS 2308 HAS SOUS 2751 HAS SOUPS 2032 WITH SCORE 2035.278
AT ITER 8695 NEW BEST:: SOT 13609 SOS 3273 HAS SOPS 2303 HAS SOUS 2747 HAS SOUPS 2028 WITH SCORE 2031.273
AT ITER 8756 NEW BEST:: SOT 13609 SOS 3271 HAS SOPS 2299 HAS SOUS 2747 HAS SOUPS 2026 WITH SCORE 2029.271
AT ITER 8866 NEW BEST:: SOT 13608 SOS 3268 HAS SOPS 2299 HAS SOUS 2744 HAS SOUPS 2026 WITH SCORE 2029.268
AT ITER 8876 NEW BEST:: SOT 13609 SOS 3267 HAS SOPS 2298 HAS SOUS 2742 HAS SOUPS 2024 WITH SCORE 2027.267
AT ITER 9029 NEW BEST:: SOT 13609 SOS 3263 HAS SOPS 2294 HAS SOUS 2742 HAS SOUPS 2024 WITH SCORE 2027.263
AT ITER 9274 NEW BEST:: SOT 13603 SOS 3259 HAS SOPS 2290 HAS SOUS 2739 HAS SOUPS 2021 WITH SCORE 2024.259
AT ITER 9401 NEW BEST:: SOT 13601 SOS 3256 HAS SOPS 2287 HAS SOUS 2738 HAS SOUPS 2020 WITH SCORE 2023.256
AT ITER 9450 NEW BEST:: SOT 13600 SOS 3254 HAS SOPS 2287 HAS SOUS 2736 HAS SOUPS 2020 WITH SCORE 2023.254
AT ITER 9556 NEW BEST:: SOT 13599 SOS 3253 HAS SOPS 2287 HAS SOUS 2735 HAS SOUPS 2020 WITH SCORE 2023.253
AT ITER 9584 NEW BEST:: SOT 13596 SOS 3247 HAS SOPS 2284 HAS SOUS 2732 HAS SOUPS 2017 WITH SCORE 2020.247
AT ITER 9732 NEW BEST:: SOT 13596 SOS 3244 HAS SOPS 2283 HAS SOUS 2731 HAS SOUPS 2016 WITH SCORE 2019.244
AT ITER 9769 NEW BEST:: SOT 13595 SOS 3242 HAS SOPS 2281 HAS SOUS 2730 HAS SOUPS 2015 WITH SCORE 2018.242
STATE_SPACE STATES 1371919681 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 39 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 30942959041 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472935207

--------------------
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="AutoFlight-PT-06a"
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 AutoFlight-PT-06a, 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 r003-oct2-167813590900456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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