Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508500449.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 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-smll-158897508500449
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 10:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 43K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589158091781

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 06a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 1 NEW BEST:: SOT 18673 SOS 13095 HAS SOPS 13095 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9169.095
AT ITER 2 NEW BEST:: SOT 18682 SOS 12999 HAS SOPS 12939 HAS SOUS 9131 HAS SOUPS 9071 WITH SCORE 9083.999
AT ITER 3 NEW BEST:: SOT 18541 SOS 12858 HAS SOPS 12798 HAS SOUS 9024 HAS SOUPS 8964 WITH SCORE 8976.858
AT ITER 5 NEW BEST:: SOT 18422 SOS 12767 HAS SOPS 12679 HAS SOUS 8933 HAS SOUPS 8845 WITH SCORE 8857.767
AT ITER 10 NEW BEST:: SOT 18341 SOS 12686 HAS SOPS 12598 HAS SOUS 8852 HAS SOUPS 8764 WITH SCORE 8776.686
AT ITER 11 NEW BEST:: SOT 18341 SOS 12686 HAS SOPS 12598 HAS SOUS 8833 HAS SOUPS 8745 WITH SCORE 8757.686
AT ITER 13 NEW BEST:: SOT 17925 SOS 12042 HAS SOPS 11954 HAS SOUS 8474 HAS SOUPS 8386 WITH SCORE 8398.042
AT ITER 15 NEW BEST:: SOT 17925 SOS 11831 HAS SOPS 11743 HAS SOUS 8346 HAS SOUPS 8258 WITH SCORE 8269.831
AT ITER 18 NEW BEST:: SOT 17861 SOS 11767 HAS SOPS 11679 HAS SOUS 8304 HAS SOUPS 8216 WITH SCORE 8227.767
AT ITER 19 NEW BEST:: SOT 17861 SOS 11563 HAS SOPS 11475 HAS SOUS 8192 HAS SOUPS 8104 WITH SCORE 8115.563
AT ITER 20 NEW BEST:: SOT 17818 SOS 11434 HAS SOPS 11346 HAS SOUS 8106 HAS SOUPS 8018 WITH SCORE 8029.434
AT ITER 21 NEW BEST:: SOT 17773 SOS 11148 HAS SOPS 11060 HAS SOUS 7950 HAS SOUPS 7862 WITH SCORE 7873.148
AT ITER 23 NEW BEST:: SOT 17773 SOS 11121 HAS SOPS 11033 HAS SOUS 7936 HAS SOUPS 7848 WITH SCORE 7859.121
AT ITER 24 NEW BEST:: SOT 17773 SOS 11008 HAS SOPS 10920 HAS SOUS 7935 HAS SOUPS 7847 WITH SCORE 7858.008
AT ITER 27 NEW BEST:: SOT 17768 SOS 11042 HAS SOPS 10914 HAS SOUS 7969 HAS SOUPS 7841 WITH SCORE 7852.042
AT ITER 29 NEW BEST:: SOT 17604 SOS 10881 HAS SOPS 10753 HAS SOUS 7847 HAS SOUPS 7719 WITH SCORE 7729.881
AT ITER 33 NEW BEST:: SOT 17495 SOS 10772 HAS SOPS 10644 HAS SOUS 7782 HAS SOUPS 7654 WITH SCORE 7664.772
AT ITER 34 NEW BEST:: SOT 17467 SOS 10754 HAS SOPS 10616 HAS SOUS 7764 HAS SOUPS 7626 WITH SCORE 7636.754
AT ITER 35 NEW BEST:: SOT 17247 SOS 10534 HAS SOPS 10396 HAS SOUS 7672 HAS SOUPS 7534 WITH SCORE 7544.534
AT ITER 42 NEW BEST:: SOT 17179 SOS 10394 HAS SOPS 10235 HAS SOUS 7536 HAS SOUPS 7377 WITH SCORE 7387.394
AT ITER 45 NEW BEST:: SOT 17143 SOS 10358 HAS SOPS 10199 HAS SOUS 7512 HAS SOUPS 7353 WITH SCORE 7363.358
AT ITER 50 NEW BEST:: SOT 17074 SOS 10253 HAS SOPS 9957 HAS SOUS 7396 HAS SOUPS 7174 WITH SCORE 7184.253
AT ITER 51 NEW BEST:: SOT 17066 SOS 10245 HAS SOPS 9949 HAS SOUS 7388 HAS SOUPS 7166 WITH SCORE 7176.245
AT ITER 52 NEW BEST:: SOT 16982 SOS 10160 HAS SOPS 9864 HAS SOUS 7367 HAS SOUPS 7145 WITH SCORE 7155.16
AT ITER 55 NEW BEST:: SOT 16982 SOS 10114 HAS SOPS 9818 HAS SOUS 7344 HAS SOUPS 7122 WITH SCORE 7132.114
AT ITER 56 NEW BEST:: SOT 16734 SOS 10022 HAS SOPS 9726 HAS SOUS 7326 HAS SOUPS 7104 WITH SCORE 7114.022
AT ITER 57 NEW BEST:: SOT 16548 SOS 9594 HAS SOPS 9298 HAS SOUS 6988 HAS SOUPS 6766 WITH SCORE 6775.594
AT ITER 59 NEW BEST:: SOT 16505 SOS 9313 HAS SOPS 9017 HAS SOUS 6906 HAS SOUPS 6684 WITH SCORE 6693.313
AT ITER 68 NEW BEST:: SOT 16499 SOS 9307 HAS SOPS 9011 HAS SOUS 6880 HAS SOUPS 6658 WITH SCORE 6667.307
AT ITER 74 NEW BEST:: SOT 16493 SOS 9300 HAS SOPS 9004 HAS SOUS 6863 HAS SOUPS 6641 WITH SCORE 6650.3
AT ITER 87 NEW BEST:: SOT 16492 SOS 9273 HAS SOPS 8977 HAS SOUS 6862 HAS SOUPS 6640 WITH SCORE 6649.273
AT ITER 89 NEW BEST:: SOT 16492 SOS 8697 HAS SOPS 8401 HAS SOUS 6861 HAS SOUPS 6639 WITH SCORE 6647.697
AT ITER 92 NEW BEST:: SOT 16373 SOS 8665 HAS SOPS 8369 HAS SOUS 6829 HAS SOUPS 6607 WITH SCORE 6615.665
AT ITER 95 NEW BEST:: SOT 16373 SOS 8615 HAS SOPS 8319 HAS SOUS 6829 HAS SOUPS 6607 WITH SCORE 6615.615
AT ITER 99 NEW BEST:: SOT 16373 SOS 8549 HAS SOPS 8253 HAS SOUS 6810 HAS SOUPS 6588 WITH SCORE 6596.549
AT ITER 104 NEW BEST:: SOT 16367 SOS 8539 HAS SOPS 8243 HAS SOUS 6804 HAS SOUPS 6582 WITH SCORE 6590.539
AT ITER 107 NEW BEST:: SOT 16397 SOS 8449 HAS SOPS 8153 HAS SOUS 6802 HAS SOUPS 6580 WITH SCORE 6588.449
AT ITER 109 NEW BEST:: SOT 16143 SOS 8162 HAS SOPS 7866 HAS SOUS 6619 HAS SOUPS 6397 WITH SCORE 6405.162
AT ITER 110 NEW BEST:: SOT 16143 SOS 8157 HAS SOPS 7861 HAS SOUS 6619 HAS SOUPS 6397 WITH SCORE 6405.157
AT ITER 111 NEW BEST:: SOT 16127 SOS 8148 HAS SOPS 7844 HAS SOUS 6610 HAS SOUPS 6380 WITH SCORE 6388.148
AT ITER 115 NEW BEST:: SOT 16127 SOS 8191 HAS SOPS 7887 HAS SOUS 6594 HAS SOUPS 6364 WITH SCORE 6372.191
AT ITER 118 NEW BEST:: SOT 16109 SOS 8065 HAS SOPS 7761 HAS SOUS 6514 HAS SOUPS 6284 WITH SCORE 6292.065
AT ITER 123 NEW BEST:: SOT 16109 SOS 8065 HAS SOPS 7761 HAS SOUS 6511 HAS SOUPS 6281 WITH SCORE 6289.065
AT ITER 130 NEW BEST:: SOT 16109 SOS 7965 HAS SOPS 7661 HAS SOUS 6487 HAS SOUPS 6257 WITH SCORE 6264.965
AT ITER 131 NEW BEST:: SOT 16174 SOS 7943 HAS SOPS 7639 HAS SOUS 6487 HAS SOUPS 6257 WITH SCORE 6264.943
AT ITER 135 NEW BEST:: SOT 16214 SOS 7921 HAS SOPS 7617 HAS SOUS 6476 HAS SOUPS 6246 WITH SCORE 6253.921
AT ITER 141 NEW BEST:: SOT 16014 SOS 7637 HAS SOPS 7333 HAS SOUS 6247 HAS SOUPS 6017 WITH SCORE 6024.637
AT ITER 153 NEW BEST:: SOT 16006 SOS 7629 HAS SOPS 7325 HAS SOUS 6239 HAS SOUPS 6009 WITH SCORE 6016.629
AT ITER 155 NEW BEST:: SOT 15974 SOS 7597 HAS SOPS 7292 HAS SOUS 6238 HAS SOUPS 6007 WITH SCORE 6014.597
AT ITER 159 NEW BEST:: SOT 15946 SOS 7569 HAS SOPS 7264 HAS SOUS 6190 HAS SOUPS 5959 WITH SCORE 5966.569
AT ITER 170 NEW BEST:: SOT 15835 SOS 7522 HAS SOPS 7153 HAS SOUS 6136 HAS SOUPS 5848 WITH SCORE 5855.522
AT ITER 182 NEW BEST:: SOT 15898 SOS 7422 HAS SOPS 7053 HAS SOUS 6081 HAS SOUPS 5793 WITH SCORE 5800.422
AT ITER 185 NEW BEST:: SOT 15817 SOS 7341 HAS SOPS 6972 HAS SOUS 5992 HAS SOUPS 5704 WITH SCORE 5711.341
AT ITER 186 NEW BEST:: SOT 15697 SOS 7181 HAS SOPS 6812 HAS SOUS 5912 HAS SOUPS 5624 WITH SCORE 5631.181
AT ITER 187 NEW BEST:: SOT 15658 SOS 7186 HAS SOPS 6817 HAS SOUS 5873 HAS SOUPS 5585 WITH SCORE 5592.186
AT ITER 194 NEW BEST:: SOT 15601 SOS 7032 HAS SOPS 6663 HAS SOUS 5776 HAS SOUPS 5488 WITH SCORE 5495.032
AT ITER 195 NEW BEST:: SOT 15509 SOS 6956 HAS SOPS 6591 HAS SOUS 5704 HAS SOUPS 5416 WITH SCORE 5422.956
AT ITER 200 NEW BEST:: SOT 15427 SOS 6874 HAS SOPS 6509 HAS SOUS 5663 HAS SOUPS 5375 WITH SCORE 5381.874
AT ITER 204 NEW BEST:: SOT 15425 SOS 6872 HAS SOPS 6507 HAS SOUS 5661 HAS SOUPS 5373 WITH SCORE 5379.872
AT ITER 205 NEW BEST:: SOT 15425 SOS 6869 HAS SOPS 6504 HAS SOUS 5658 HAS SOUPS 5370 WITH SCORE 5376.869
AT ITER 211 NEW BEST:: SOT 15371 SOS 6815 HAS SOPS 6450 HAS SOUS 5577 HAS SOUPS 5289 WITH SCORE 5295.815
AT ITER 222 NEW BEST:: SOT 15365 SOS 6820 HAS SOPS 6444 HAS SOUS 5577 HAS SOUPS 5283 WITH SCORE 5289.82
AT ITER 225 NEW BEST:: SOT 15354 SOS 6809 HAS SOPS 6433 HAS SOUS 5566 HAS SOUPS 5272 WITH SCORE 5278.809
AT ITER 230 NEW BEST:: SOT 15337 SOS 6813 HAS SOPS 6403 HAS SOUS 5553 HAS SOUPS 5242 WITH SCORE 5248.813
AT ITER 240 NEW BEST:: SOT 15337 SOS 6801 HAS SOPS 6397 HAS SOUS 5547 HAS SOUPS 5242 WITH SCORE 5248.801
AT ITER 241 NEW BEST:: SOT 15333 SOS 6793 HAS SOPS 6389 HAS SOUS 5539 HAS SOUPS 5234 WITH SCORE 5240.793
AT ITER 244 NEW BEST:: SOT 15319 SOS 6765 HAS SOPS 6361 HAS SOUS 5511 HAS SOUPS 5206 WITH SCORE 5212.765
AT ITER 248 NEW BEST:: SOT 15177 SOS 6757 HAS SOPS 6353 HAS SOUS 5503 HAS SOUPS 5198 WITH SCORE 5204.757
AT ITER 253 NEW BEST:: SOT 15169 SOS 6749 HAS SOPS 6345 HAS SOUS 5495 HAS SOUPS 5190 WITH SCORE 5196.749
AT ITER 258 NEW BEST:: SOT 15141 SOS 6677 HAS SOPS 6273 HAS SOUS 5423 HAS SOUPS 5118 WITH SCORE 5124.677
AT ITER 262 NEW BEST:: SOT 15071 SOS 6547 HAS SOPS 6143 HAS SOUS 5353 HAS SOUPS 5048 WITH SCORE 5054.547
AT ITER 270 NEW BEST:: SOT 15071 SOS 6543 HAS SOPS 6139 HAS SOUS 5351 HAS SOUPS 5046 WITH SCORE 5052.543
AT ITER 276 NEW BEST:: SOT 15065 SOS 6501 HAS SOPS 6097 HAS SOUS 5335 HAS SOUPS 5030 WITH SCORE 5036.501
AT ITER 277 NEW BEST:: SOT 15026 SOS 6468 HAS SOPS 6064 HAS SOUS 5300 HAS SOUPS 4995 WITH SCORE 5001.468
AT ITER 279 NEW BEST:: SOT 15020 SOS 6453 HAS SOPS 6049 HAS SOUS 5289 HAS SOUPS 4984 WITH SCORE 4990.453
AT ITER 281 NEW BEST:: SOT 15013 SOS 6408 HAS SOPS 6004 HAS SOUS 5282 HAS SOUPS 4977 WITH SCORE 4983.408
AT ITER 289 NEW BEST:: SOT 14983 SOS 6338 HAS SOPS 5934 HAS SOUS 5252 HAS SOUPS 4947 WITH SCORE 4953.338
AT ITER 294 NEW BEST:: SOT 14956 SOS 6357 HAS SOPS 5856 HAS SOUS 5224 HAS SOUPS 4869 WITH SCORE 4875.357
AT ITER 295 NEW BEST:: SOT 14956 SOS 6337 HAS SOPS 5836 HAS SOUS 5214 HAS SOUPS 4859 WITH SCORE 4865.337
AT ITER 307 NEW BEST:: SOT 14948 SOS 6329 HAS SOPS 5828 HAS SOUS 5198 HAS SOUPS 4843 WITH SCORE 4849.329
AT ITER 310 NEW BEST:: SOT 14904 SOS 6399 HAS SOPS 5898 HAS SOUS 5196 HAS SOUPS 4841 WITH SCORE 4847.399
AT ITER 313 NEW BEST:: SOT 14875 SOS 6370 HAS SOPS 5869 HAS SOUS 5167 HAS SOUPS 4812 WITH SCORE 4818.37
AT ITER 317 NEW BEST:: SOT 14868 SOS 6359 HAS SOPS 5858 HAS SOUS 5163 HAS SOUPS 4808 WITH SCORE 4814.359
AT ITER 326 NEW BEST:: SOT 14864 SOS 6318 HAS SOPS 5817 HAS SOUS 5154 HAS SOUPS 4799 WITH SCORE 4805.318
AT ITER 329 NEW BEST:: SOT 14868 SOS 6303 HAS SOPS 5802 HAS SOUS 5149 HAS SOUPS 4794 WITH SCORE 4800.303
AT ITER 330 NEW BEST:: SOT 14868 SOS 6257 HAS SOPS 5756 HAS SOUS 5103 HAS SOUPS 4748 WITH SCORE 4754.257
AT ITER 331 NEW BEST:: SOT 14868 SOS 6177 HAS SOPS 5659 HAS SOUS 5086 HAS SOUPS 4714 WITH SCORE 4720.177
AT ITER 343 NEW BEST:: SOT 14867 SOS 6172 HAS SOPS 5658 HAS SOUS 5083 HAS SOUPS 4713 WITH SCORE 4719.172
AT ITER 346 NEW BEST:: SOT 14743 SOS 6008 HAS SOPS 5621 HAS SOUS 5017 HAS SOUPS 4704 WITH SCORE 4710.008
AT ITER 350 NEW BEST:: SOT 14739 SOS 5998 HAS SOPS 5611 HAS SOUS 5013 HAS SOUPS 4700 WITH SCORE 4705.998
AT ITER 366 NEW BEST:: SOT 14713 SOS 5958 HAS SOPS 5571 HAS SOUS 4973 HAS SOUPS 4660 WITH SCORE 4665.958
AT ITER 367 NEW BEST:: SOT 14711 SOS 5899 HAS SOPS 5512 HAS SOUS 4964 HAS SOUPS 4651 WITH SCORE 4656.899
AT ITER 371 NEW BEST:: SOT 14702 SOS 5891 HAS SOPS 5504 HAS SOUS 4956 HAS SOUPS 4643 WITH SCORE 4648.891
AT ITER 380 NEW BEST:: SOT 14684 SOS 5873 HAS SOPS 5486 HAS SOUS 4943 HAS SOUPS 4630 WITH SCORE 4635.873
AT ITER 385 NEW BEST:: SOT 14673 SOS 5886 HAS SOPS 5499 HAS SOUS 4929 HAS SOUPS 4616 WITH SCORE 4621.886
AT ITER 393 NEW BEST:: SOT 14673 SOS 5872 HAS SOPS 5478 HAS SOUS 4922 HAS SOUPS 4602 WITH SCORE 4607.872
AT ITER 394 NEW BEST:: SOT 14579 SOS 5681 HAS SOPS 5287 HAS SOUS 4827 HAS SOUPS 4507 WITH SCORE 4512.681
AT ITER 404 NEW BEST:: SOT 14491 SOS 5731 HAS SOPS 5199 HAS SOUS 4758 HAS SOUPS 4419 WITH SCORE 4424.731
AT ITER 430 NEW BEST:: SOT 14479 SOS 5719 HAS SOPS 5173 HAS SOUS 4723 HAS SOUPS 4393 WITH SCORE 4398.719
AT ITER 431 NEW BEST:: SOT 14484 SOS 5682 HAS SOPS 5136 HAS SOUS 4652 HAS SOUPS 4322 WITH SCORE 4327.682
AT ITER 440 NEW BEST:: SOT 14484 SOS 5688 HAS SOPS 5118 HAS SOUS 4646 HAS SOUPS 4310 WITH SCORE 4315.688
AT ITER 443 NEW BEST:: SOT 14476 SOS 5727 HAS SOPS 5102 HAS SOUS 4614 HAS SOUPS 4278 WITH SCORE 4283.727
AT ITER 444 NEW BEST:: SOT 14475 SOS 5726 HAS SOPS 5101 HAS SOUS 4613 HAS SOUPS 4277 WITH SCORE 4282.726
AT ITER 446 NEW BEST:: SOT 14475 SOS 5716 HAS SOPS 5091 HAS SOUS 4608 HAS SOUPS 4272 WITH SCORE 4277.716
AT ITER 457 NEW BEST:: SOT 14475 SOS 5705 HAS SOPS 5080 HAS SOUS 4597 HAS SOUPS 4261 WITH SCORE 4266.705
AT ITER 461 NEW BEST:: SOT 14475 SOS 5690 HAS SOPS 5080 HAS SOUS 4597 HAS SOUPS 4261 WITH SCORE 4266.69
AT ITER 469 NEW BEST:: SOT 14470 SOS 5685 HAS SOPS 5075 HAS SOUS 4592 HAS SOUPS 4256 WITH SCORE 4261.685
AT ITER 484 NEW BEST:: SOT 14474 SOS 5653 HAS SOPS 5043 HAS SOUS 4577 HAS SOUPS 4241 WITH SCORE 4246.653
AT ITER 506 NEW BEST:: SOT 14474 SOS 5768 HAS SOPS 5007 HAS SOUS 4581 HAS SOUPS 4205 WITH SCORE 4210.768
AT ITER 517 NEW BEST:: SOT 14417 SOS 5711 HAS SOPS 4950 HAS SOUS 4546 HAS SOUPS 4170 WITH SCORE 4175.711
AT ITER 547 NEW BEST:: SOT 14468 SOS 5700 HAS SOPS 4875 HAS SOUS 4536 HAS SOUPS 4096 WITH SCORE 4101.7
AT ITER 550 NEW BEST:: SOT 14445 SOS 5677 HAS SOPS 4889 HAS SOUS 4481 HAS SOUPS 4078 WITH SCORE 4083.677
AT ITER 560 NEW BEST:: SOT 14429 SOS 5661 HAS SOPS 4873 HAS SOUS 4473 HAS SOUPS 4070 WITH SCORE 4075.661
AT ITER 573 NEW BEST:: SOT 14408 SOS 5640 HAS SOPS 4852 HAS SOUS 4463 HAS SOUPS 4060 WITH SCORE 4065.64
AT ITER 575 NEW BEST:: SOT 14405 SOS 5637 HAS SOPS 4849 HAS SOUS 4457 HAS SOUPS 4054 WITH SCORE 4059.637
AT ITER 583 NEW BEST:: SOT 14385 SOS 5730 HAS SOPS 4942 HAS SOUS 4437 HAS SOUPS 4034 WITH SCORE 4039.73
AT ITER 585 NEW BEST:: SOT 14338 SOS 5683 HAS SOPS 4895 HAS SOUS 4368 HAS SOUPS 3965 WITH SCORE 3970.683
AT ITER 598 NEW BEST:: SOT 14304 SOS 5671 HAS SOPS 4883 HAS SOUS 4358 HAS SOUPS 3955 WITH SCORE 3960.671
AT ITER 613 NEW BEST:: SOT 14304 SOS 5629 HAS SOPS 4841 HAS SOUS 4354 HAS SOUPS 3951 WITH SCORE 3956.629
AT ITER 622 NEW BEST:: SOT 14303 SOS 5611 HAS SOPS 4839 HAS SOUS 4336 HAS SOUPS 3949 WITH SCORE 3954.611
AT ITER 631 NEW BEST:: SOT 14256 SOS 5564 HAS SOPS 4792 HAS SOUS 4322 HAS SOUPS 3935 WITH SCORE 3940.564
AT ITER 639 NEW BEST:: SOT 14253 SOS 5561 HAS SOPS 4789 HAS SOUS 4316 HAS SOUPS 3929 WITH SCORE 3934.561
AT ITER 648 NEW BEST:: SOT 14253 SOS 5507 HAS SOPS 4735 HAS SOUS 4316 HAS SOUPS 3929 WITH SCORE 3934.507
AT ITER 649 NEW BEST:: SOT 14249 SOS 5502 HAS SOPS 4730 HAS SOUS 4311 HAS SOUPS 3924 WITH SCORE 3929.502
AT ITER 650 NEW BEST:: SOT 14213 SOS 5498 HAS SOPS 4726 HAS SOUS 4303 HAS SOUPS 3916 WITH SCORE 3921.498
AT ITER 655 NEW BEST:: SOT 14206 SOS 5491 HAS SOPS 4726 HAS SOUS 4303 HAS SOUPS 3916 WITH SCORE 3921.491
AT ITER 658 NEW BEST:: SOT 14204 SOS 5489 HAS SOPS 4724 HAS SOUS 4295 HAS SOUPS 3908 WITH SCORE 3913.489
AT ITER 664 NEW BEST:: SOT 14204 SOS 5488 HAS SOPS 4723 HAS SOUS 4294 HAS SOUPS 3907 WITH SCORE 3912.488
AT ITER 672 NEW BEST:: SOT 14152 SOS 5459 HAS SOPS 4618 HAS SOUS 4209 HAS SOUPS 3789 WITH SCORE 3794.459
AT ITER 675 NEW BEST:: SOT 14151 SOS 5457 HAS SOPS 4616 HAS SOUS 4207 HAS SOUPS 3787 WITH SCORE 3792.457
AT ITER 689 NEW BEST:: SOT 14151 SOS 5397 HAS SOPS 4556 HAS SOUS 4207 HAS SOUPS 3787 WITH SCORE 3792.397
AT ITER 712 NEW BEST:: SOT 14151 SOS 5418 HAS SOPS 4542 HAS SOUS 4200 HAS SOUPS 3773 WITH SCORE 3778.418
AT ITER 731 NEW BEST:: SOT 14167 SOS 5395 HAS SOPS 4519 HAS SOUS 4182 HAS SOUPS 3755 WITH SCORE 3760.395
AT ITER 733 NEW BEST:: SOT 14167 SOS 5353 HAS SOPS 4477 HAS SOUS 4182 HAS SOUPS 3755 WITH SCORE 3760.353
AT ITER 735 NEW BEST:: SOT 14122 SOS 5330 HAS SOPS 4454 HAS SOUS 4163 HAS SOUPS 3736 WITH SCORE 3741.33
AT ITER 736 NEW BEST:: SOT 14110 SOS 5315 HAS SOPS 4439 HAS SOUS 4148 HAS SOUPS 3721 WITH SCORE 3726.315
AT ITER 737 NEW BEST:: SOT 14025 SOS 5248 HAS SOPS 4407 HAS SOUS 4081 HAS SOUPS 3689 WITH SCORE 3694.248
AT ITER 748 NEW BEST:: SOT 13973 SOS 5154 HAS SOPS 4313 HAS SOUS 3987 HAS SOUPS 3595 WITH SCORE 3600.154
AT ITER 750 NEW BEST:: SOT 13961 SOS 5142 HAS SOPS 4301 HAS SOUS 3981 HAS SOUPS 3589 WITH SCORE 3594.142
AT ITER 763 NEW BEST:: SOT 13956 SOS 5067 HAS SOPS 4226 HAS SOUS 3969 HAS SOUPS 3577 WITH SCORE 3582.067
AT ITER 764 NEW BEST:: SOT 13955 SOS 5063 HAS SOPS 4223 HAS SOUS 3967 HAS SOUPS 3575 WITH SCORE 3580.063
AT ITER 765 NEW BEST:: SOT 13924 SOS 4999 HAS SOPS 4208 HAS SOUS 3952 HAS SOUPS 3560 WITH SCORE 3564.999
AT ITER 785 NEW BEST:: SOT 13912 SOS 4983 HAS SOPS 4192 HAS SOUS 3936 HAS SOUPS 3544 WITH SCORE 3548.983
AT ITER 796 NEW BEST:: SOT 13901 SOS 4898 HAS SOPS 4170 HAS SOUS 3930 HAS SOUPS 3538 WITH SCORE 3542.898
AT ITER 801 NEW BEST:: SOT 13898 SOS 4911 HAS SOPS 4183 HAS SOUS 3927 HAS SOUPS 3535 WITH SCORE 3539.911
AT ITER 810 NEW BEST:: SOT 13867 SOS 4849 HAS SOPS 4155 HAS SOUS 3879 HAS SOUPS 3507 WITH SCORE 3511.849
AT ITER 817 NEW BEST:: SOT 13861 SOS 4843 HAS SOPS 4149 HAS SOUS 3879 HAS SOUPS 3507 WITH SCORE 3511.843
AT ITER 831 NEW BEST:: SOT 13863 SOS 4895 HAS SOPS 4153 HAS SOUS 3858 HAS SOUPS 3486 WITH SCORE 3490.895
AT ITER 836 NEW BEST:: SOT 13843 SOS 4875 HAS SOPS 4133 HAS SOUS 3848 HAS SOUPS 3476 WITH SCORE 3480.875
AT ITER 851 NEW BEST:: SOT 13842 SOS 4870 HAS SOPS 4080 HAS SOUS 3829 HAS SOUPS 3429 WITH SCORE 3433.87
AT ITER 855 NEW BEST:: SOT 13839 SOS 4867 HAS SOPS 4077 HAS SOUS 3823 HAS SOUPS 3423 WITH SCORE 3427.867
AT ITER 857 NEW BEST:: SOT 13867 SOS 4883 HAS SOPS 4093 HAS SOUS 3815 HAS SOUPS 3415 WITH SCORE 3419.883
AT ITER 859 NEW BEST:: SOT 13807 SOS 4825 HAS SOPS 4035 HAS SOUS 3792 HAS SOUPS 3392 WITH SCORE 3396.825
AT ITER 876 NEW BEST:: SOT 13803 SOS 4818 HAS SOPS 4034 HAS SOUS 3791 HAS SOUPS 3391 WITH SCORE 3395.818
AT ITER 898 NEW BEST:: SOT 13801 SOS 4818 HAS SOPS 4034 HAS SOUS 3790 HAS SOUPS 3390 WITH SCORE 3394.818
AT ITER 901 NEW BEST:: SOT 13770 SOS 4890 HAS SOPS 4126 HAS SOUS 3761 HAS SOUPS 3381 WITH SCORE 3385.89
AT ITER 932 NEW BEST:: SOT 13767 SOS 4887 HAS SOPS 4124 HAS SOUS 3758 HAS SOUPS 3379 WITH SCORE 3383.887
AT ITER 938 NEW BEST:: SOT 13769 SOS 4838 HAS SOPS 4075 HAS SOUS 3739 HAS SOUPS 3360 WITH SCORE 3364.838
AT ITER 984 NEW BEST:: SOT 13769 SOS 4836 HAS SOPS 4073 HAS SOUS 3739 HAS SOUPS 3360 WITH SCORE 3364.836
AT ITER 986 NEW BEST:: SOT 13775 SOS 4859 HAS SOPS 4067 HAS SOUS 3745 HAS SOUPS 3354 WITH SCORE 3358.859
AT ITER 1003 NEW BEST:: SOT 13763 SOS 4851 HAS SOPS 4059 HAS SOUS 3733 HAS SOUPS 3342 WITH SCORE 3346.851
AT ITER 1018 NEW BEST:: SOT 13757 SOS 4845 HAS SOPS 4047 HAS SOUS 3730 HAS SOUPS 3339 WITH SCORE 3343.845
AT ITER 1032 NEW BEST:: SOT 13767 SOS 4852 HAS SOPS 4062 HAS SOUS 3707 HAS SOUPS 3324 WITH SCORE 3328.852
AT ITER 1048 NEW BEST:: SOT 13812 SOS 4788 HAS SOPS 3998 HAS SOUS 3698 HAS SOUPS 3315 WITH SCORE 3319.788
AT ITER 1059 NEW BEST:: SOT 13806 SOS 4769 HAS SOPS 3979 HAS SOUS 3679 HAS SOUPS 3296 WITH SCORE 3300.769
AT ITER 1077 NEW BEST:: SOT 13810 SOS 4771 HAS SOPS 3977 HAS SOUS 3681 HAS SOUPS 3294 WITH SCORE 3298.771
AT ITER 1099 NEW BEST:: SOT 13826 SOS 4790 HAS SOPS 3966 HAS SOUS 3687 HAS SOUPS 3290 WITH SCORE 3294.79
AT ITER 1101 NEW BEST:: SOT 13797 SOS 4761 HAS SOPS 3908 HAS SOUS 3649 HAS SOUPS 3252 WITH SCORE 3256.761
AT ITER 1125 NEW BEST:: SOT 13793 SOS 4757 HAS SOPS 3904 HAS SOUS 3641 HAS SOUPS 3244 WITH SCORE 3248.757
AT ITER 1137 NEW BEST:: SOT 13793 SOS 4740 HAS SOPS 3887 HAS SOUS 3641 HAS SOUPS 3244 WITH SCORE 3248.74
AT ITER 1179 NEW BEST:: SOT 13793 SOS 4740 HAS SOPS 3887 HAS SOUS 3640 HAS SOUPS 3243 WITH SCORE 3247.74
AT ITER 1200 NEW BEST:: SOT 13777 SOS 4730 HAS SOPS 3877 HAS SOUS 3632 HAS SOUPS 3235 WITH SCORE 3239.73
AT ITER 1206 NEW BEST:: SOT 13765 SOS 4714 HAS SOPS 3861 HAS SOUS 3628 HAS SOUPS 3231 WITH SCORE 3235.714
AT ITER 1216 NEW BEST:: SOT 13746 SOS 4689 HAS SOPS 3847 HAS SOUS 3604 HAS SOUPS 3218 WITH SCORE 3222.689
AT ITER 1219 NEW BEST:: SOT 13736 SOS 4678 HAS SOPS 3836 HAS SOUS 3592 HAS SOUPS 3206 WITH SCORE 3210.678
AT ITER 1220 NEW BEST:: SOT 13739 SOS 4665 HAS SOPS 3823 HAS SOUS 3583 HAS SOUPS 3197 WITH SCORE 3201.665
AT ITER 1224 NEW BEST:: SOT 13727 SOS 4609 HAS SOPS 3811 HAS SOUS 3527 HAS SOUPS 3185 WITH SCORE 3189.609
AT ITER 1264 NEW BEST:: SOT 13733 SOS 4583 HAS SOPS 3785 HAS SOUS 3521 HAS SOUPS 3179 WITH SCORE 3183.583
AT ITER 1284 NEW BEST:: SOT 13731 SOS 4573 HAS SOPS 3785 HAS SOUS 3519 HAS SOUPS 3179 WITH SCORE 3183.573
AT ITER 1326 NEW BEST:: SOT 13718 SOS 4584 HAS SOPS 3768 HAS SOUS 3521 HAS SOUPS 3162 WITH SCORE 3166.584
AT ITER 1361 NEW BEST:: SOT 13716 SOS 4571 HAS SOPS 3755 HAS SOUS 3514 HAS SOUPS 3155 WITH SCORE 3159.571
AT ITER 1367 NEW BEST:: SOT 13716 SOS 4570 HAS SOPS 3754 HAS SOUS 3514 HAS SOUPS 3155 WITH SCORE 3159.57
AT ITER 1384 NEW BEST:: SOT 13713 SOS 4567 HAS SOPS 3751 HAS SOUS 3508 HAS SOUPS 3149 WITH SCORE 3153.567
AT ITER 1386 NEW BEST:: SOT 13710 SOS 4564 HAS SOPS 3748 HAS SOUS 3505 HAS SOUPS 3146 WITH SCORE 3150.564
AT ITER 1410 NEW BEST:: SOT 13756 SOS 4681 HAS SOPS 3741 HAS SOUS 3622 HAS SOUPS 3139 WITH SCORE 3143.681
AT ITER 1421 NEW BEST:: SOT 13764 SOS 4678 HAS SOPS 3738 HAS SOUS 3617 HAS SOUPS 3134 WITH SCORE 3138.678
AT ITER 1480 NEW BEST:: SOT 13755 SOS 4669 HAS SOPS 3729 HAS SOUS 3608 HAS SOUPS 3125 WITH SCORE 3129.669
AT ITER 1506 NEW BEST:: SOT 13743 SOS 4657 HAS SOPS 3729 HAS SOUS 3608 HAS SOUPS 3125 WITH SCORE 3129.657
AT ITER 1510 NEW BEST:: SOT 13740 SOS 4648 HAS SOPS 3720 HAS SOUS 3602 HAS SOUPS 3119 WITH SCORE 3123.648
AT ITER 1523 NEW BEST:: SOT 13739 SOS 4645 HAS SOPS 3718 HAS SOUS 3600 HAS SOUPS 3117 WITH SCORE 3121.645
AT ITER 1530 NEW BEST:: SOT 13734 SOS 4653 HAS SOPS 3726 HAS SOUS 3590 HAS SOUPS 3107 WITH SCORE 3111.653
AT ITER 1538 NEW BEST:: SOT 13733 SOS 4652 HAS SOPS 3724 HAS SOUS 3588 HAS SOUPS 3105 WITH SCORE 3109.652
AT ITER 1542 NEW BEST:: SOT 13719 SOS 4647 HAS SOPS 3719 HAS SOUS 3575 HAS SOUPS 3092 WITH SCORE 3096.647
AT ITER 1546 NEW BEST:: SOT 13711 SOS 4639 HAS SOPS 3711 HAS SOUS 3575 HAS SOUPS 3092 WITH SCORE 3096.639
AT ITER 1551 NEW BEST:: SOT 13712 SOS 4643 HAS SOPS 3703 HAS SOUS 3583 HAS SOUPS 3088 WITH SCORE 3092.643
AT ITER 1564 NEW BEST:: SOT 13686 SOS 4612 HAS SOPS 3662 HAS SOUS 3576 HAS SOUPS 3071 WITH SCORE 3075.612
AT ITER 1575 NEW BEST:: SOT 13686 SOS 4683 HAS SOPS 3617 HAS SOUS 3560 HAS SOUPS 3026 WITH SCORE 3030.683
AT ITER 1598 NEW BEST:: SOT 13672 SOS 4669 HAS SOPS 3603 HAS SOUS 3551 HAS SOUPS 3017 WITH SCORE 3021.669
AT ITER 1657 NEW BEST:: SOT 13664 SOS 4665 HAS SOPS 3599 HAS SOUS 3547 HAS SOUPS 3013 WITH SCORE 3017.665
AT ITER 1659 NEW BEST:: SOT 13664 SOS 4644 HAS SOPS 3599 HAS SOUS 3526 HAS SOUPS 3013 WITH SCORE 3017.644
AT ITER 1668 NEW BEST:: SOT 13646 SOS 4628 HAS SOPS 3583 HAS SOUS 3513 HAS SOUPS 3000 WITH SCORE 3004.628
AT ITER 1690 NEW BEST:: SOT 13646 SOS 4620 HAS SOPS 3575 HAS SOUS 3505 HAS SOUPS 2992 WITH SCORE 2996.62
AT ITER 1701 NEW BEST:: SOT 13648 SOS 4594 HAS SOPS 3549 HAS SOUS 3479 HAS SOUPS 2966 WITH SCORE 2970.594
AT ITER 1721 NEW BEST:: SOT 13661 SOS 4584 HAS SOPS 3539 HAS SOUS 3469 HAS SOUPS 2956 WITH SCORE 2960.584
AT ITER 1726 NEW BEST:: SOT 13661 SOS 4579 HAS SOPS 3539 HAS SOUS 3464 HAS SOUPS 2956 WITH SCORE 2960.579
AT ITER 1752 NEW BEST:: SOT 13642 SOS 4560 HAS SOPS 3514 HAS SOUS 3452 HAS SOUPS 2944 WITH SCORE 2948.56
AT ITER 1764 NEW BEST:: SOT 13631 SOS 4549 HAS SOPS 3503 HAS SOUS 3430 HAS SOUPS 2922 WITH SCORE 2926.549
AT ITER 1765 NEW BEST:: SOT 13619 SOS 4540 HAS SOPS 3494 HAS SOUS 3421 HAS SOUPS 2913 WITH SCORE 2917.54
AT ITER 1769 NEW BEST:: SOT 13614 SOS 4537 HAS SOPS 3491 HAS SOUS 3418 HAS SOUPS 2910 WITH SCORE 2914.537
AT ITER 1837 NEW BEST:: SOT 13612 SOS 4538 HAS SOPS 3492 HAS SOUS 3417 HAS SOUPS 2909 WITH SCORE 2913.538
AT ITER 1849 NEW BEST:: SOT 13612 SOS 4537 HAS SOPS 3492 HAS SOUS 3416 HAS SOUPS 2909 WITH SCORE 2913.537
AT ITER 1867 NEW BEST:: SOT 13610 SOS 4534 HAS SOPS 3489 HAS SOUS 3414 HAS SOUPS 2907 WITH SCORE 2911.534
AT ITER 1871 NEW BEST:: SOT 13607 SOS 4531 HAS SOPS 3483 HAS SOUS 3411 HAS SOUPS 2901 WITH SCORE 2905.531
AT ITER 1916 NEW BEST:: SOT 13595 SOS 4525 HAS SOPS 3477 HAS SOUS 3405 HAS SOUPS 2895 WITH SCORE 2899.525
AT ITER 1943 NEW BEST:: SOT 13589 SOS 4523 HAS SOPS 3475 HAS SOUS 3399 HAS SOUPS 2889 WITH SCORE 2893.523
AT ITER 1949 NEW BEST:: SOT 13591 SOS 4515 HAS SOPS 3467 HAS SOUS 3395 HAS SOUPS 2885 WITH SCORE 2889.515
AT ITER 1983 NEW BEST:: SOT 13588 SOS 4497 HAS SOPS 3449 HAS SOUS 3389 HAS SOUPS 2879 WITH SCORE 2883.497
AT ITER 2024 NEW BEST:: SOT 13588 SOS 4495 HAS SOPS 3447 HAS SOUS 3388 HAS SOUPS 2878 WITH SCORE 2882.495
AT ITER 2028 NEW BEST:: SOT 13591 SOS 4498 HAS SOPS 3450 HAS SOUS 3386 HAS SOUPS 2876 WITH SCORE 2880.498
AT ITER 2057 NEW BEST:: SOT 13582 SOS 4488 HAS SOPS 3442 HAS SOUS 3376 HAS SOUPS 2868 WITH SCORE 2872.488
AT ITER 2131 NEW BEST:: SOT 13582 SOS 4458 HAS SOPS 3442 HAS SOUS 3371 HAS SOUPS 2868 WITH SCORE 2872.458
AT ITER 2153 NEW BEST:: SOT 13578 SOS 4452 HAS SOPS 3436 HAS SOUS 3365 HAS SOUPS 2862 WITH SCORE 2866.452
AT ITER 2159 NEW BEST:: SOT 13585 SOS 4453 HAS SOPS 3437 HAS SOUS 3364 HAS SOUPS 2861 WITH SCORE 2865.453
AT ITER 2164 NEW BEST:: SOT 13585 SOS 4447 HAS SOPS 3431 HAS SOUS 3360 HAS SOUPS 2857 WITH SCORE 2861.447
AT ITER 2167 NEW BEST:: SOT 13585 SOS 4421 HAS SOPS 3405 HAS SOUS 3360 HAS SOUPS 2857 WITH SCORE 2861.421
AT ITER 2234 NEW BEST:: SOT 13580 SOS 4415 HAS SOPS 3399 HAS SOUS 3355 HAS SOUPS 2852 WITH SCORE 2856.415
AT ITER 2247 NEW BEST:: SOT 13626 SOS 4485 HAS SOPS 3445 HAS SOUS 3365 HAS SOUPS 2838 WITH SCORE 2842.485
AT ITER 2251 NEW BEST:: SOT 13618 SOS 4482 HAS SOPS 3437 HAS SOUS 3362 HAS SOUPS 2830 WITH SCORE 2834.482
AT ITER 2253 NEW BEST:: SOT 13617 SOS 4469 HAS SOPS 3435 HAS SOUS 3360 HAS SOUPS 2828 WITH SCORE 2832.469
AT ITER 2272 NEW BEST:: SOT 13615 SOS 4467 HAS SOPS 3433 HAS SOUS 3356 HAS SOUPS 2824 WITH SCORE 2828.467
AT ITER 2284 NEW BEST:: SOT 13606 SOS 4458 HAS SOPS 3424 HAS SOUS 3338 HAS SOUPS 2806 WITH SCORE 2810.458
AT ITER 2321 NEW BEST:: SOT 13600 SOS 4449 HAS SOPS 3415 HAS SOUS 3329 HAS SOUPS 2797 WITH SCORE 2801.449
AT ITER 2359 NEW BEST:: SOT 13596 SOS 4445 HAS SOPS 3414 HAS SOUS 3325 HAS SOUPS 2796 WITH SCORE 2800.445
AT ITER 2361 NEW BEST:: SOT 13596 SOS 4433 HAS SOPS 3402 HAS SOUS 3325 HAS SOUPS 2796 WITH SCORE 2800.433
AT ITER 2370 NEW BEST:: SOT 13593 SOS 4427 HAS SOPS 3396 HAS SOUS 3321 HAS SOUPS 2792 WITH SCORE 2796.427
AT ITER 2396 NEW BEST:: SOT 13584 SOS 4400 HAS SOPS 3378 HAS SOUS 3303 HAS SOUPS 2783 WITH SCORE 2787.4
AT ITER 2399 NEW BEST:: SOT 13571 SOS 4415 HAS SOPS 3382 HAS SOUS 3312 HAS SOUPS 2781 WITH SCORE 2785.415
AT ITER 2443 NEW BEST:: SOT 13566 SOS 4435 HAS SOPS 3402 HAS SOUS 3307 HAS SOUPS 2776 WITH SCORE 2780.435
AT ITER 2445 NEW BEST:: SOT 13562 SOS 4431 HAS SOPS 3399 HAS SOUS 3303 HAS SOUPS 2773 WITH SCORE 2777.431
AT ITER 2477 NEW BEST:: SOT 13578 SOS 4411 HAS SOPS 3379 HAS SOUS 3295 HAS SOUPS 2765 WITH SCORE 2769.411
AT ITER 2493 NEW BEST:: SOT 13583 SOS 4396 HAS SOPS 3371 HAS SOUS 3293 HAS SOUPS 2763 WITH SCORE 2767.396
AT ITER 2528 NEW BEST:: SOT 13583 SOS 4396 HAS SOPS 3369 HAS SOUS 3291 HAS SOUPS 2761 WITH SCORE 2765.396
AT ITER 2547 NEW BEST:: SOT 13577 SOS 4346 HAS SOPS 3319 HAS SOUS 3291 HAS SOUPS 2761 WITH SCORE 2765.346
AT ITER 2554 NEW BEST:: SOT 13573 SOS 4342 HAS SOPS 3310 HAS SOUS 3283 HAS SOUPS 2753 WITH SCORE 2757.342
AT ITER 2571 NEW BEST:: SOT 13573 SOS 4340 HAS SOPS 3310 HAS SOUS 3281 HAS SOUPS 2753 WITH SCORE 2757.34
AT ITER 2603 NEW BEST:: SOT 13568 SOS 4330 HAS SOPS 3300 HAS SOUS 3276 HAS SOUPS 2748 WITH SCORE 2752.33
AT ITER 2615 NEW BEST:: SOT 13561 SOS 4323 HAS SOPS 3286 HAS SOUS 3262 HAS SOUPS 2734 WITH SCORE 2738.323
AT ITER 2627 NEW BEST:: SOT 13515 SOS 4270 HAS SOPS 3287 HAS SOUS 3243 HAS SOUPS 2732 WITH SCORE 2736.27
AT ITER 2640 NEW BEST:: SOT 13513 SOS 4264 HAS SOPS 3281 HAS SOUS 3239 HAS SOUPS 2728 WITH SCORE 2732.264
AT ITER 2672 NEW BEST:: SOT 13514 SOS 4247 HAS SOPS 3264 HAS SOUS 3232 HAS SOUPS 2721 WITH SCORE 2725.247
AT ITER 2715 NEW BEST:: SOT 13508 SOS 4241 HAS SOPS 3257 HAS SOUS 3226 HAS SOUPS 2714 WITH SCORE 2718.241
AT ITER 2736 NEW BEST:: SOT 13506 SOS 4243 HAS SOPS 3255 HAS SOUS 3226 HAS SOUPS 2712 WITH SCORE 2716.243
AT ITER 2775 NEW BEST:: SOT 13532 SOS 4248 HAS SOPS 3230 HAS SOUS 3235 HAS SOUPS 2691 WITH SCORE 2695.248
AT ITER 2790 NEW BEST:: SOT 13524 SOS 4240 HAS SOPS 3222 HAS SOUS 3232 HAS SOUPS 2688 WITH SCORE 2692.24
AT ITER 2794 NEW BEST:: SOT 13524 SOS 4240 HAS SOPS 3214 HAS SOUS 3232 HAS SOUPS 2680 WITH SCORE 2684.24
AT ITER 2801 NEW BEST:: SOT 13523 SOS 4243 HAS SOPS 3212 HAS SOUS 3235 HAS SOUPS 2678 WITH SCORE 2682.243
AT ITER 2846 NEW BEST:: SOT 13519 SOS 4234 HAS SOPS 3203 HAS SOUS 3229 HAS SOUPS 2672 WITH SCORE 2676.234
AT ITER 2863 NEW BEST:: SOT 13519 SOS 4233 HAS SOPS 3202 HAS SOUS 3228 HAS SOUPS 2671 WITH SCORE 2675.233
AT ITER 2866 NEW BEST:: SOT 13519 SOS 4233 HAS SOPS 3202 HAS SOUS 3217 HAS SOUPS 2660 WITH SCORE 2664.233
AT ITER 2951 NEW BEST:: SOT 13519 SOS 4231 HAS SOPS 3200 HAS SOUS 3216 HAS SOUPS 2659 WITH SCORE 2663.231
AT ITER 2954 NEW BEST:: SOT 13523 SOS 4235 HAS SOPS 3208 HAS SOUS 3209 HAS SOUPS 2652 WITH SCORE 2656.235
AT ITER 2955 NEW BEST:: SOT 13515 SOS 4221 HAS SOPS 3194 HAS SOUS 3194 HAS SOUPS 2637 WITH SCORE 2641.221
AT ITER 2966 NEW BEST:: SOT 13513 SOS 4220 HAS SOPS 3194 HAS SOUS 3193 HAS SOUPS 2637 WITH SCORE 2641.22
AT ITER 2973 NEW BEST:: SOT 13511 SOS 4215 HAS SOPS 3189 HAS SOUS 3190 HAS SOUPS 2634 WITH SCORE 2638.215
AT ITER 2990 NEW BEST:: SOT 13507 SOS 4211 HAS SOPS 3181 HAS SOUS 3189 HAS SOUPS 2633 WITH SCORE 2637.211
AT ITER 3001 NEW BEST:: SOT 13494 SOS 4198 HAS SOPS 3168 HAS SOUS 3183 HAS SOUPS 2627 WITH SCORE 2631.198
AT ITER 3015 NEW BEST:: SOT 13494 SOS 4198 HAS SOPS 3168 HAS SOUS 3182 HAS SOUPS 2626 WITH SCORE 2630.198
AT ITER 3030 NEW BEST:: SOT 13488 SOS 4182 HAS SOPS 3156 HAS SOUS 3166 HAS SOUPS 2614 WITH SCORE 2618.182
AT ITER 3031 NEW BEST:: SOT 13500 SOS 4150 HAS SOPS 3133 HAS SOUS 3164 HAS SOUPS 2612 WITH SCORE 2616.15
AT ITER 3170 NEW BEST:: SOT 13551 SOS 4165 HAS SOPS 3148 HAS SOUS 3157 HAS SOUPS 2605 WITH SCORE 2609.165
AT ITER 3174 NEW BEST:: SOT 13545 SOS 4159 HAS SOPS 3138 HAS SOUS 3149 HAS SOUPS 2597 WITH SCORE 2601.159
AT ITER 3181 NEW BEST:: SOT 13542 SOS 4156 HAS SOPS 3135 HAS SOUS 3139 HAS SOUPS 2587 WITH SCORE 2591.156
AT ITER 3189 NEW BEST:: SOT 13541 SOS 4155 HAS SOPS 3133 HAS SOUS 3137 HAS SOUPS 2585 WITH SCORE 2589.155
AT ITER 3225 NEW BEST:: SOT 13550 SOS 4166 HAS SOPS 3130 HAS SOUS 3148 HAS SOUPS 2582 WITH SCORE 2586.166
AT ITER 3235 NEW BEST:: SOT 13546 SOS 4158 HAS SOPS 3123 HAS SOUS 3141 HAS SOUPS 2575 WITH SCORE 2579.158
AT ITER 3272 NEW BEST:: SOT 13548 SOS 4156 HAS SOPS 3121 HAS SOUS 3139 HAS SOUPS 2573 WITH SCORE 2577.156
AT ITER 3276 NEW BEST:: SOT 13545 SOS 4123 HAS SOPS 3108 HAS SOUS 3135 HAS SOUPS 2569 WITH SCORE 2573.123
AT ITER 3312 NEW BEST:: SOT 13549 SOS 4112 HAS SOPS 3097 HAS SOUS 3133 HAS SOUPS 2567 WITH SCORE 2571.112
AT ITER 3323 NEW BEST:: SOT 13530 SOS 4107 HAS SOPS 3092 HAS SOUS 3126 HAS SOUPS 2560 WITH SCORE 2564.107
AT ITER 3331 NEW BEST:: SOT 13526 SOS 4091 HAS SOPS 3092 HAS SOUS 3122 HAS SOUPS 2560 WITH SCORE 2564.091
AT ITER 3392 NEW BEST:: SOT 13526 SOS 4094 HAS SOPS 3086 HAS SOUS 3125 HAS SOUPS 2554 WITH SCORE 2558.094
AT ITER 3412 NEW BEST:: SOT 13513 SOS 4087 HAS SOPS 3079 HAS SOUS 3124 HAS SOUPS 2553 WITH SCORE 2557.087
AT ITER 3444 NEW BEST:: SOT 13514 SOS 4086 HAS SOPS 3078 HAS SOUS 3123 HAS SOUPS 2552 WITH SCORE 2556.086
AT ITER 3466 NEW BEST:: SOT 13503 SOS 4053 HAS SOPS 3045 HAS SOUS 3112 HAS SOUPS 2541 WITH SCORE 2545.053
AT ITER 3471 NEW BEST:: SOT 13502 SOS 4016 HAS SOPS 3044 HAS SOUS 3075 HAS SOUPS 2540 WITH SCORE 2544.016
AT ITER 3489 NEW BEST:: SOT 13485 SOS 3899 HAS SOPS 2927 HAS SOUS 3014 HAS SOUPS 2479 WITH SCORE 2482.899
AT ITER 3586 NEW BEST:: SOT 13485 SOS 3897 HAS SOPS 2925 HAS SOUS 3013 HAS SOUPS 2478 WITH SCORE 2481.897
AT ITER 3604 NEW BEST:: SOT 13483 SOS 3895 HAS SOPS 2923 HAS SOUS 3011 HAS SOUPS 2476 WITH SCORE 2479.895
AT ITER 3713 NEW BEST:: SOT 13476 SOS 3860 HAS SOPS 2922 HAS SOUS 3003 HAS SOUPS 2475 WITH SCORE 2478.86
AT ITER 3721 NEW BEST:: SOT 13478 SOS 3868 HAS SOPS 2918 HAS SOUS 3003 HAS SOUPS 2472 WITH SCORE 2475.868
AT ITER 3732 NEW BEST:: SOT 13481 SOS 3878 HAS SOPS 2916 HAS SOUS 3013 HAS SOUPS 2470 WITH SCORE 2473.878
AT ITER 3748 NEW BEST:: SOT 13481 SOS 3874 HAS SOPS 2912 HAS SOUS 3011 HAS SOUPS 2468 WITH SCORE 2471.874
AT ITER 3765 NEW BEST:: SOT 13479 SOS 3872 HAS SOPS 2926 HAS SOUS 2991 HAS SOUPS 2464 WITH SCORE 2467.872
AT ITER 3815 NEW BEST:: SOT 13478 SOS 3857 HAS SOPS 2911 HAS SOUS 2988 HAS SOUPS 2461 WITH SCORE 2464.857
AT ITER 3825 NEW BEST:: SOT 13462 SOS 3841 HAS SOPS 2895 HAS SOUS 2983 HAS SOUPS 2456 WITH SCORE 2459.841
AT ITER 3852 NEW BEST:: SOT 13463 SOS 3850 HAS SOPS 2904 HAS SOUS 2981 HAS SOUPS 2454 WITH SCORE 2457.85
AT ITER 3874 NEW BEST:: SOT 13441 SOS 3843 HAS SOPS 2897 HAS SOUS 2975 HAS SOUPS 2448 WITH SCORE 2451.843
AT ITER 3907 NEW BEST:: SOT 13496 SOS 3881 HAS SOPS 2889 HAS SOUS 3013 HAS SOUPS 2440 WITH SCORE 2443.881
AT ITER 3957 NEW BEST:: SOT 13496 SOS 3866 HAS SOPS 2874 HAS SOUS 3009 HAS SOUPS 2436 WITH SCORE 2439.866
AT ITER 3977 NEW BEST:: SOT 13493 SOS 3860 HAS SOPS 2874 HAS SOUS 3003 HAS SOUPS 2436 WITH SCORE 2439.86
AT ITER 4005 NEW BEST:: SOT 13482 SOS 3853 HAS SOPS 2867 HAS SOUS 3001 HAS SOUPS 2434 WITH SCORE 2437.853
AT ITER 4010 NEW BEST:: SOT 13477 SOS 3848 HAS SOPS 2862 HAS SOUS 3001 HAS SOUPS 2434 WITH SCORE 2437.848
AT ITER 4019 NEW BEST:: SOT 13475 SOS 3846 HAS SOPS 2860 HAS SOUS 2999 HAS SOUPS 2432 WITH SCORE 2435.846
AT ITER 4072 NEW BEST:: SOT 13469 SOS 3830 HAS SOPS 2855 HAS SOUS 2994 HAS SOUPS 2427 WITH SCORE 2430.83
AT ITER 4089 NEW BEST:: SOT 13482 SOS 3841 HAS SOPS 2866 HAS SOUS 2993 HAS SOUPS 2426 WITH SCORE 2429.841
AT ITER 4148 NEW BEST:: SOT 13471 SOS 3830 HAS SOPS 2855 HAS SOUS 2975 HAS SOUPS 2408 WITH SCORE 2411.83
AT ITER 4168 NEW BEST:: SOT 13465 SOS 3824 HAS SOPS 2849 HAS SOUS 2969 HAS SOUPS 2402 WITH SCORE 2405.824
AT ITER 4174 NEW BEST:: SOT 13457 SOS 3812 HAS SOPS 2833 HAS SOUS 2957 HAS SOUPS 2386 WITH SCORE 2389.812
AT ITER 4182 NEW BEST:: SOT 13456 SOS 3809 HAS SOPS 2830 HAS SOUS 2954 HAS SOUPS 2383 WITH SCORE 2386.809
AT ITER 4190 NEW BEST:: SOT 13449 SOS 3802 HAS SOPS 2823 HAS SOUS 2947 HAS SOUPS 2376 WITH SCORE 2379.802
AT ITER 4280 NEW BEST:: SOT 13449 SOS 3784 HAS SOPS 2805 HAS SOUS 2938 HAS SOUPS 2367 WITH SCORE 2370.784
AT ITER 4286 NEW BEST:: SOT 13449 SOS 3784 HAS SOPS 2805 HAS SOUS 2932 HAS SOUPS 2361 WITH SCORE 2364.784
AT ITER 4319 NEW BEST:: SOT 13449 SOS 3769 HAS SOPS 2805 HAS SOUS 2932 HAS SOUPS 2361 WITH SCORE 2364.769
AT ITER 4344 NEW BEST:: SOT 13445 SOS 3735 HAS SOPS 2787 HAS SOUS 2919 HAS SOUPS 2348 WITH SCORE 2351.735
AT ITER 4355 NEW BEST:: SOT 13442 SOS 3726 HAS SOPS 2775 HAS SOUS 2913 HAS SOUPS 2339 WITH SCORE 2342.726
AT ITER 4471 NEW BEST:: SOT 13440 SOS 3724 HAS SOPS 2775 HAS SOUS 2911 HAS SOUPS 2339 WITH SCORE 2342.724
AT ITER 4528 NEW BEST:: SOT 13437 SOS 3695 HAS SOPS 2772 HAS SOUS 2908 HAS SOUPS 2336 WITH SCORE 2339.695
AT ITER 4538 NEW BEST:: SOT 13437 SOS 3685 HAS SOPS 2772 HAS SOUS 2908 HAS SOUPS 2336 WITH SCORE 2339.685
AT ITER 4584 NEW BEST:: SOT 13423 SOS 3671 HAS SOPS 2766 HAS SOUS 2902 HAS SOUPS 2330 WITH SCORE 2333.671
AT ITER 4617 NEW BEST:: SOT 13423 SOS 3670 HAS SOPS 2765 HAS SOUS 2901 HAS SOUPS 2329 WITH SCORE 2332.67
AT ITER 4635 NEW BEST:: SOT 13423 SOS 3652 HAS SOPS 2765 HAS SOUS 2901 HAS SOUPS 2329 WITH SCORE 2332.652
AT ITER 4808 NEW BEST:: SOT 13422 SOS 3651 HAS SOPS 2763 HAS SOUS 2899 HAS SOUPS 2327 WITH SCORE 2330.651
AT ITER 4933 NEW BEST:: SOT 13401 SOS 3630 HAS SOPS 2763 HAS SOUS 2878 HAS SOUPS 2327 WITH SCORE 2330.63
AT ITER 4962 NEW BEST:: SOT 13401 SOS 3629 HAS SOPS 2762 HAS SOUS 2877 HAS SOUPS 2326 WITH SCORE 2329.629
AT ITER 4977 NEW BEST:: SOT 13388 SOS 3599 HAS SOPS 2736 HAS SOUS 2851 HAS SOUPS 2300 WITH SCORE 2303.599
AT ITER 5100 NEW BEST:: SOT 13388 SOS 3584 HAS SOPS 2725 HAS SOUS 2847 HAS SOUPS 2296 WITH SCORE 2299.584
AT ITER 5101 NEW BEST:: SOT 13382 SOS 3581 HAS SOPS 2718 HAS SOUS 2846 HAS SOUPS 2295 WITH SCORE 2298.581
AT ITER 5139 NEW BEST:: SOT 13382 SOS 3569 HAS SOPS 2706 HAS SOUS 2834 HAS SOUPS 2283 WITH SCORE 2286.569
AT ITER 5151 NEW BEST:: SOT 13388 SOS 3571 HAS SOPS 2718 HAS SOUS 2832 HAS SOUPS 2281 WITH SCORE 2284.571
AT ITER 5187 NEW BEST:: SOT 13385 SOS 3568 HAS SOPS 2712 HAS SOUS 2826 HAS SOUPS 2275 WITH SCORE 2278.568
AT ITER 5189 NEW BEST:: SOT 13385 SOS 3569 HAS SOPS 2711 HAS SOUS 2825 HAS SOUPS 2274 WITH SCORE 2277.569
AT ITER 5194 NEW BEST:: SOT 13347 SOS 3493 HAS SOPS 2711 HAS SOUS 2784 HAS SOUPS 2274 WITH SCORE 2277.493
AT ITER 5299 NEW BEST:: SOT 13341 SOS 3487 HAS SOPS 2707 HAS SOUS 2778 HAS SOUPS 2270 WITH SCORE 2273.487
AT ITER 5300 NEW BEST:: SOT 13340 SOS 3486 HAS SOPS 2706 HAS SOUS 2776 HAS SOUPS 2268 WITH SCORE 2271.486
AT ITER 5323 NEW BEST:: SOT 13337 SOS 3481 HAS SOPS 2701 HAS SOUS 2773 HAS SOUPS 2265 WITH SCORE 2268.481
AT ITER 5376 NEW BEST:: SOT 13339 SOS 3488 HAS SOPS 2700 HAS SOUS 2774 HAS SOUPS 2264 WITH SCORE 2267.488
AT ITER 5426 NEW BEST:: SOT 13339 SOS 3484 HAS SOPS 2696 HAS SOUS 2774 HAS SOUPS 2264 WITH SCORE 2267.484
AT ITER 5440 NEW BEST:: SOT 13344 SOS 3486 HAS SOPS 2705 HAS SOUS 2768 HAS SOUPS 2258 WITH SCORE 2261.486
AT ITER 5464 NEW BEST:: SOT 13344 SOS 3477 HAS SOPS 2705 HAS SOUS 2768 HAS SOUPS 2258 WITH SCORE 2261.477
AT ITER 5504 NEW BEST:: SOT 13335 SOS 3431 HAS SOPS 2666 HAS SOUS 2750 HAS SOUPS 2240 WITH SCORE 2243.431
AT ITER 5539 NEW BEST:: SOT 13335 SOS 3423 HAS SOPS 2658 HAS SOUS 2743 HAS SOUPS 2233 WITH SCORE 2236.423
AT ITER 5626 NEW BEST:: SOT 13302 SOS 3390 HAS SOPS 2625 HAS SOUS 2711 HAS SOUPS 2201 WITH SCORE 2204.39
AT ITER 5655 NEW BEST:: SOT 13302 SOS 3384 HAS SOPS 2625 HAS SOUS 2711 HAS SOUPS 2201 WITH SCORE 2204.384
AT ITER 5672 NEW BEST:: SOT 13299 SOS 3381 HAS SOPS 2622 HAS SOUS 2709 HAS SOUPS 2199 WITH SCORE 2202.381
AT ITER 5719 NEW BEST:: SOT 13305 SOS 3380 HAS SOPS 2621 HAS SOUS 2708 HAS SOUPS 2198 WITH SCORE 2201.38
AT ITER 5746 NEW BEST:: SOT 13298 SOS 3350 HAS SOPS 2591 HAS SOUS 2701 HAS SOUPS 2191 WITH SCORE 2194.35
AT ITER 5766 NEW BEST:: SOT 13297 SOS 3347 HAS SOPS 2591 HAS SOUS 2700 HAS SOUPS 2191 WITH SCORE 2194.347
AT ITER 5895 NEW BEST:: SOT 13278 SOS 3260 HAS SOPS 2591 HAS SOUS 2681 HAS SOUPS 2191 WITH SCORE 2194.26
AT ITER 5962 NEW BEST:: SOT 13288 SOS 3273 HAS SOPS 2592 HAS SOUS 2684 HAS SOUPS 2190 WITH SCORE 2193.273
AT ITER 5997 NEW BEST:: SOT 13284 SOS 3272 HAS SOPS 2591 HAS SOUS 2683 HAS SOUPS 2189 WITH SCORE 2192.272
AT ITER 6005 NEW BEST:: SOT 13281 SOS 3260 HAS SOPS 2591 HAS SOUS 2680 HAS SOUPS 2189 WITH SCORE 2192.26
AT ITER 6112 NEW BEST:: SOT 13280 SOS 3256 HAS SOPS 2587 HAS SOUS 2677 HAS SOUPS 2186 WITH SCORE 2189.256
AT ITER 6240 NEW BEST:: SOT 13278 SOS 3251 HAS SOPS 2582 HAS SOUS 2674 HAS SOUPS 2183 WITH SCORE 2186.251
AT ITER 6272 NEW BEST:: SOT 13275 SOS 3248 HAS SOPS 2579 HAS SOUS 2674 HAS SOUPS 2183 WITH SCORE 2186.248
AT ITER 6340 NEW BEST:: SOT 13273 SOS 3244 HAS SOPS 2575 HAS SOUS 2670 HAS SOUPS 2179 WITH SCORE 2182.244
AT ITER 6362 NEW BEST:: SOT 13269 SOS 3242 HAS SOPS 2573 HAS SOUS 2668 HAS SOUPS 2177 WITH SCORE 2180.242
AT ITER 6429 NEW BEST:: SOT 13263 SOS 3236 HAS SOPS 2573 HAS SOUS 2662 HAS SOUPS 2177 WITH SCORE 2180.236
AT ITER 6462 NEW BEST:: SOT 13246 SOS 3225 HAS SOPS 2562 HAS SOUS 2654 HAS SOUPS 2169 WITH SCORE 2172.225
AT ITER 6466 NEW BEST:: SOT 13251 SOS 3246 HAS SOPS 2559 HAS SOUS 2659 HAS SOUPS 2166 WITH SCORE 2169.246
AT ITER 6512 NEW BEST:: SOT 13251 SOS 3225 HAS SOPS 2559 HAS SOUS 2659 HAS SOUPS 2166 WITH SCORE 2169.225
AT ITER 6596 NEW BEST:: SOT 13250 SOS 3224 HAS SOPS 2558 HAS SOUS 2657 HAS SOUPS 2164 WITH SCORE 2167.224
AT ITER 6675 NEW BEST:: SOT 13250 SOS 3248 HAS SOPS 2546 HAS SOUS 2651 HAS SOUPS 2152 WITH SCORE 2155.248
AT ITER 6682 NEW BEST:: SOT 13250 SOS 3248 HAS SOPS 2546 HAS SOUS 2650 HAS SOUPS 2151 WITH SCORE 2154.248
AT ITER 6707 NEW BEST:: SOT 13248 SOS 3245 HAS SOPS 2542 HAS SOUS 2646 HAS SOUPS 2147 WITH SCORE 2150.245
AT ITER 6801 NEW BEST:: SOT 13233 SOS 3232 HAS SOPS 2542 HAS SOUS 2633 HAS SOUPS 2147 WITH SCORE 2150.232
AT ITER 6831 NEW BEST:: SOT 13232 SOS 3231 HAS SOPS 2541 HAS SOUS 2632 HAS SOUPS 2146 WITH SCORE 2149.231
AT ITER 6893 NEW BEST:: SOT 13238 SOS 3225 HAS SOPS 2535 HAS SOUS 2632 HAS SOUPS 2146 WITH SCORE 2149.225
AT ITER 6923 NEW BEST:: SOT 13236 SOS 3223 HAS SOPS 2533 HAS SOUS 2630 HAS SOUPS 2144 WITH SCORE 2147.223
AT ITER 6963 NEW BEST:: SOT 13239 SOS 3226 HAS SOPS 2536 HAS SOUS 2627 HAS SOUPS 2141 WITH SCORE 2144.226
AT ITER 7240 NEW BEST:: SOT 13239 SOS 3222 HAS SOPS 2536 HAS SOUS 2627 HAS SOUPS 2141 WITH SCORE 2144.222
AT ITER 7282 NEW BEST:: SOT 13242 SOS 3219 HAS SOPS 2533 HAS SOUS 2625 HAS SOUPS 2139 WITH SCORE 2142.219
AT ITER 7303 NEW BEST:: SOT 13242 SOS 3215 HAS SOPS 2529 HAS SOUS 2625 HAS SOUPS 2139 WITH SCORE 2142.215
AT ITER 7323 NEW BEST:: SOT 13241 SOS 3214 HAS SOPS 2528 HAS SOUS 2624 HAS SOUPS 2138 WITH SCORE 2141.214
AT ITER 7327 NEW BEST:: SOT 13240 SOS 3213 HAS SOPS 2527 HAS SOUS 2623 HAS SOUPS 2137 WITH SCORE 2140.213
AT ITER 7456 NEW BEST:: SOT 13238 SOS 3206 HAS SOPS 2527 HAS SOUS 2621 HAS SOUPS 2137 WITH SCORE 2140.206
AT ITER 7489 NEW BEST:: SOT 13234 SOS 3202 HAS SOPS 2523 HAS SOUS 2617 HAS SOUPS 2133 WITH SCORE 2136.202
AT ITER 7500 NEW BEST:: SOT 13233 SOS 3199 HAS SOPS 2520 HAS SOUS 2615 HAS SOUPS 2131 WITH SCORE 2134.199
AT ITER 7677 NEW BEST:: SOT 13237 SOS 3197 HAS SOPS 2518 HAS SOUS 2612 HAS SOUPS 2128 WITH SCORE 2131.197
AT ITER 7716 NEW BEST:: SOT 13237 SOS 3192 HAS SOPS 2518 HAS SOUS 2607 HAS SOUPS 2128 WITH SCORE 2131.192
AT ITER 7960 NEW BEST:: SOT 13232 SOS 3187 HAS SOPS 2514 HAS SOUS 2602 HAS SOUPS 2124 WITH SCORE 2127.187
AT ITER 7967 NEW BEST:: SOT 13232 SOS 3181 HAS SOPS 2514 HAS SOUS 2602 HAS SOUPS 2124 WITH SCORE 2127.181
AT ITER 8001 NEW BEST:: SOT 13232 SOS 3179 HAS SOPS 2512 HAS SOUS 2601 HAS SOUPS 2123 WITH SCORE 2126.179
AT ITER 8063 NEW BEST:: SOT 13232 SOS 3177 HAS SOPS 2512 HAS SOUS 2599 HAS SOUPS 2123 WITH SCORE 2126.177
AT ITER 8116 NEW BEST:: SOT 13237 SOS 3196 HAS SOPS 2510 HAS SOUS 2597 HAS SOUPS 2121 WITH SCORE 2124.196
AT ITER 8138 NEW BEST:: SOT 13234 SOS 3178 HAS SOPS 2499 HAS SOUS 2589 HAS SOUPS 2113 WITH SCORE 2116.178
AT ITER 8306 NEW BEST:: SOT 13234 SOS 3175 HAS SOPS 2499 HAS SOUS 2589 HAS SOUPS 2113 WITH SCORE 2116.175
AT ITER 8578 NEW BEST:: SOT 13222 SOS 3150 HAS SOPS 2486 HAS SOUS 2576 HAS SOUPS 2100 WITH SCORE 2103.15
AT ITER 8594 NEW BEST:: SOT 13220 SOS 3146 HAS SOPS 2482 HAS SOUS 2572 HAS SOUPS 2096 WITH SCORE 2099.146
AT ITER 8674 NEW BEST:: SOT 13219 SOS 3144 HAS SOPS 2480 HAS SOUS 2571 HAS SOUPS 2095 WITH SCORE 2098.144
AT ITER 8950 NEW BEST:: SOT 13219 SOS 3143 HAS SOPS 2479 HAS SOUS 2571 HAS SOUPS 2095 WITH SCORE 2098.143
AT ITER 9113 NEW BEST:: SOT 13217 SOS 3139 HAS SOPS 2475 HAS SOUS 2567 HAS SOUPS 2091 WITH SCORE 2094.139
AT ITER 9162 NEW BEST:: SOT 13213 SOS 3127 HAS SOPS 2475 HAS SOUS 2563 HAS SOUPS 2091 WITH SCORE 2094.127
AT ITER 9249 NEW BEST:: SOT 13212 SOS 3126 HAS SOPS 2474 HAS SOUS 2562 HAS SOUPS 2090 WITH SCORE 2093.126
AT ITER 9256 NEW BEST:: SOT 13210 SOS 3122 HAS SOPS 2470 HAS SOUS 2560 HAS SOUPS 2088 WITH SCORE 2091.122
AT ITER 9262 NEW BEST:: SOT 13210 SOS 3119 HAS SOPS 2469 HAS SOUS 2559 HAS SOUPS 2087 WITH SCORE 2090.119
AT ITER 9275 NEW BEST:: SOT 13201 SOS 3091 HAS SOPS 2460 HAS SOUS 2550 HAS SOUPS 2078 WITH SCORE 2081.091
AT ITER 9299 NEW BEST:: SOT 13200 SOS 3088 HAS SOPS 2457 HAS SOUS 2548 HAS SOUPS 2076 WITH SCORE 2079.088
AT ITER 9353 NEW BEST:: SOT 13197 SOS 3082 HAS SOPS 2451 HAS SOUS 2545 HAS SOUPS 2073 WITH SCORE 2076.082
AT ITER 9525 NEW BEST:: SOT 13196 SOS 3080 HAS SOPS 2449 HAS SOUS 2544 HAS SOUPS 2072 WITH SCORE 2075.08
AT ITER 9632 NEW BEST:: SOT 13198 SOS 3081 HAS SOPS 2448 HAS SOUS 2545 HAS SOUPS 2071 WITH SCORE 2074.081
AT ITER 9634 NEW BEST:: SOT 13198 SOS 3078 HAS SOPS 2447 HAS SOUS 2535 HAS SOUPS 2063 WITH SCORE 2066.078
AT ITER 9801 NEW BEST:: SOT 13190 SOS 3070 HAS SOPS 2439 HAS SOUS 2529 HAS SOUPS 2057 WITH SCORE 2060.07
AT ITER 9839 NEW BEST:: SOT 13174 SOS 3060 HAS SOPS 2429 HAS SOUS 2525 HAS SOUPS 2053 WITH SCORE 2056.06
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 1589158099846

--------------------
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"

# 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 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-smll-158897508500449"
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 ;