Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 3.2K May 14 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 18:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 13:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 08:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 08:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 44K May 12 20:42 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590442923100

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

Filename model.pnml
Petri model created: 158 places, 133 transitions, 506 arcs.
AT ITER 0 NEW BEST:: SOT 13659 SOS 9698 HAS SOPS 9698 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7669.698
AT ITER 3 NEW BEST:: SOT 13629 SOS 9674 HAS SOPS 9674 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7645.674
AT ITER 15 NEW BEST:: SOT 13673 SOS 9553 HAS SOPS 9553 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7597.553
AT ITER 20 NEW BEST:: SOT 13672 SOS 9552 HAS SOPS 9552 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7596.552
AT ITER 29 NEW BEST:: SOT 13671 SOS 9380 HAS SOPS 9380 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7573.38
AT ITER 33 NEW BEST:: SOT 13650 SOS 9369 HAS SOPS 9369 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7561.369
AT ITER 38 NEW BEST:: SOT 13618 SOS 9347 HAS SOPS 9347 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7539.347
AT ITER 42 NEW BEST:: SOT 13698 SOS 9261 HAS SOPS 9261 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7516.261
AT ITER 45 NEW BEST:: SOT 13697 SOS 9099 HAS SOPS 9099 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7507.099
AT ITER 51 NEW BEST:: SOT 13709 SOS 9124 HAS SOPS 9124 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7496.124
AT ITER 52 NEW BEST:: SOT 13710 SOS 9105 HAS SOPS 9105 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7486.105
AT ITER 59 NEW BEST:: SOT 13605 SOS 8981 HAS SOPS 8981 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7361.981
AT ITER 63 NEW BEST:: SOT 13583 SOS 8988 HAS SOPS 8988 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7354.988
AT ITER 69 NEW BEST:: SOT 13580 SOS 8862 HAS SOPS 8862 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7289.862
AT ITER 77 NEW BEST:: SOT 13581 SOS 8825 HAS SOPS 8825 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7289.825
AT ITER 84 NEW BEST:: SOT 13588 SOS 8733 HAS SOPS 8733 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7280.733
AT ITER 89 NEW BEST:: SOT 13580 SOS 8725 HAS SOPS 8725 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7272.725
AT ITER 90 NEW BEST:: SOT 13666 SOS 8615 HAS SOPS 8615 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7217.615
AT ITER 94 NEW BEST:: SOT 13641 SOS 8590 HAS SOPS 8590 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7192.59
AT ITER 98 NEW BEST:: SOT 13621 SOS 8570 HAS SOPS 8570 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7172.57
AT ITER 100 NEW BEST:: SOT 13612 SOS 8559 HAS SOPS 8559 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7161.559
AT ITER 101 NEW BEST:: SOT 13594 SOS 8537 HAS SOPS 8537 HAS SOUS 7129 HAS SOUPS 7129 WITH SCORE 7137.537
AT ITER 106 NEW BEST:: SOT 13604 SOS 8547 HAS SOPS 8547 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7127.547
AT ITER 107 NEW BEST:: SOT 13610 SOS 8553 HAS SOPS 8553 HAS SOUS 7118 HAS SOUPS 7118 WITH SCORE 7126.553
AT ITER 112 NEW BEST:: SOT 13596 SOS 8542 HAS SOPS 8542 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7115.542
AT ITER 115 NEW BEST:: SOT 13506 SOS 8373 HAS SOPS 8373 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6945.373
AT ITER 116 NEW BEST:: SOT 13484 SOS 8337 HAS SOPS 8337 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.337
AT ITER 120 NEW BEST:: SOT 13480 SOS 8303 HAS SOPS 8303 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6890.303
AT ITER 121 NEW BEST:: SOT 13480 SOS 8315 HAS SOPS 8315 HAS SOUS 6870 HAS SOUPS 6870 WITH SCORE 6878.315
AT ITER 126 NEW BEST:: SOT 13471 SOS 8306 HAS SOPS 8306 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6862.306
AT ITER 132 NEW BEST:: SOT 13460 SOS 8187 HAS SOPS 8187 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6856.187
AT ITER 141 NEW BEST:: SOT 13460 SOS 8183 HAS SOPS 8183 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6856.183
AT ITER 144 NEW BEST:: SOT 13456 SOS 8179 HAS SOPS 8179 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6852.179
AT ITER 147 NEW BEST:: SOT 13442 SOS 8162 HAS SOPS 8162 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6828.162
AT ITER 160 NEW BEST:: SOT 13441 SOS 8096 HAS SOPS 8096 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6802.096
AT ITER 176 NEW BEST:: SOT 13405 SOS 8050 HAS SOPS 8050 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6756.05
AT ITER 177 NEW BEST:: SOT 13365 SOS 8008 HAS SOPS 8008 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6714.008
AT ITER 178 NEW BEST:: SOT 13364 SOS 7956 HAS SOPS 7956 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6703.956
AT ITER 184 NEW BEST:: SOT 13361 SOS 7953 HAS SOPS 7953 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6700.953
AT ITER 187 NEW BEST:: SOT 13298 SOS 7900 HAS SOPS 7900 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6633.9
AT ITER 190 NEW BEST:: SOT 13297 SOS 7873 HAS SOPS 7873 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6608.873
AT ITER 197 NEW BEST:: SOT 13281 SOS 7855 HAS SOPS 7855 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6590.855
AT ITER 207 NEW BEST:: SOT 13279 SOS 7854 HAS SOPS 7854 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6589.854
AT ITER 216 NEW BEST:: SOT 13195 SOS 7770 HAS SOPS 7770 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6504.77
AT ITER 219 NEW BEST:: SOT 13194 SOS 7769 HAS SOPS 7769 HAS SOUS 6496 HAS SOUPS 6496 WITH SCORE 6503.769
AT ITER 227 NEW BEST:: SOT 13172 SOS 7732 HAS SOPS 7732 HAS SOUS 6453 HAS SOUPS 6453 WITH SCORE 6460.732
AT ITER 228 NEW BEST:: SOT 13139 SOS 7684 HAS SOPS 7684 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6412.684
AT ITER 229 NEW BEST:: SOT 13121 SOS 7662 HAS SOPS 7662 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6372.662
AT ITER 234 NEW BEST:: SOT 13121 SOS 7673 HAS SOPS 7673 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6371.673
AT ITER 258 NEW BEST:: SOT 13121 SOS 7666 HAS SOPS 7666 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6364.666
AT ITER 259 NEW BEST:: SOT 13119 SOS 7664 HAS SOPS 7664 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6362.664
AT ITER 264 NEW BEST:: SOT 13117 SOS 7662 HAS SOPS 7662 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6360.662
AT ITER 266 NEW BEST:: SOT 13117 SOS 7603 HAS SOPS 7603 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6340.603
AT ITER 269 NEW BEST:: SOT 13065 SOS 7619 HAS SOPS 7619 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6296.619
AT ITER 277 NEW BEST:: SOT 13046 SOS 7600 HAS SOPS 7600 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6277.6
AT ITER 282 NEW BEST:: SOT 12966 SOS 7550 HAS SOPS 7550 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6224.55
AT ITER 298 NEW BEST:: SOT 12966 SOS 7549 HAS SOPS 7549 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6223.549
AT ITER 301 NEW BEST:: SOT 12877 SOS 7431 HAS SOPS 7431 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.431
AT ITER 323 NEW BEST:: SOT 12874 SOS 7413 HAS SOPS 7413 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6098.413
AT ITER 328 NEW BEST:: SOT 12861 SOS 7391 HAS SOPS 7391 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6076.391
AT ITER 333 NEW BEST:: SOT 12852 SOS 7379 HAS SOPS 7379 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.379
AT ITER 342 NEW BEST:: SOT 12834 SOS 7352 HAS SOPS 7352 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6012.352
AT ITER 358 NEW BEST:: SOT 12845 SOS 7164 HAS SOPS 7164 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5979.164
AT ITER 377 NEW BEST:: SOT 12868 SOS 7217 HAS SOPS 7217 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5969.217
AT ITER 384 NEW BEST:: SOT 12956 SOS 7049 HAS SOPS 7049 HAS SOUS 5894 HAS SOUPS 5894 WITH SCORE 5901.049
AT ITER 388 NEW BEST:: SOT 12956 SOS 7072 HAS SOPS 7072 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5893.072
AT ITER 395 NEW BEST:: SOT 12955 SOS 7045 HAS SOPS 7045 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5883.045
AT ITER 400 NEW BEST:: SOT 12930 SOS 6942 HAS SOPS 6942 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5813.942
AT ITER 422 NEW BEST:: SOT 12929 SOS 6940 HAS SOPS 6940 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5811.94
AT ITER 429 NEW BEST:: SOT 12968 SOS 6922 HAS SOPS 6922 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5790.922
AT ITER 430 NEW BEST:: SOT 12942 SOS 6896 HAS SOPS 6896 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5767.896
AT ITER 431 NEW BEST:: SOT 12938 SOS 6891 HAS SOPS 6891 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.891
AT ITER 432 NEW BEST:: SOT 12896 SOS 6799 HAS SOPS 6799 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.799
AT ITER 445 NEW BEST:: SOT 12971 SOS 6682 HAS SOPS 6682 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.682
AT ITER 460 NEW BEST:: SOT 12971 SOS 6703 HAS SOPS 6703 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.703
AT ITER 470 NEW BEST:: SOT 13005 SOS 6676 HAS SOPS 6676 HAS SOUS 5647 HAS SOUPS 5647 WITH SCORE 5653.676
AT ITER 488 NEW BEST:: SOT 12998 SOS 6665 HAS SOPS 6665 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5621.665
AT ITER 490 NEW BEST:: SOT 12990 SOS 6655 HAS SOPS 6655 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5612.655
AT ITER 493 NEW BEST:: SOT 12926 SOS 6480 HAS SOPS 6480 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5368.48
AT ITER 504 NEW BEST:: SOT 12926 SOS 6474 HAS SOPS 6474 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.474
AT ITER 513 NEW BEST:: SOT 12867 SOS 6290 HAS SOPS 6290 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5243.29
AT ITER 515 NEW BEST:: SOT 12867 SOS 6302 HAS SOPS 6302 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.302
AT ITER 519 NEW BEST:: SOT 12850 SOS 6285 HAS SOPS 6285 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5222.285
AT ITER 525 NEW BEST:: SOT 12859 SOS 6278 HAS SOPS 6278 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5215.278
AT ITER 526 NEW BEST:: SOT 12857 SOS 6274 HAS SOPS 6274 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5211.274
AT ITER 533 NEW BEST:: SOT 12848 SOS 6265 HAS SOPS 6265 HAS SOUS 5147 HAS SOUPS 5147 WITH SCORE 5153.265
AT ITER 556 NEW BEST:: SOT 12820 SOS 6246 HAS SOPS 6246 HAS SOUS 5146 HAS SOUPS 5146 WITH SCORE 5152.246
AT ITER 572 NEW BEST:: SOT 12816 SOS 6228 HAS SOPS 6228 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5134.228
AT ITER 574 NEW BEST:: SOT 12815 SOS 6219 HAS SOPS 6219 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5131.219
AT ITER 582 NEW BEST:: SOT 12816 SOS 6206 HAS SOPS 6206 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5125.206
AT ITER 589 NEW BEST:: SOT 12809 SOS 6214 HAS SOPS 6214 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5112.214
AT ITER 625 NEW BEST:: SOT 12805 SOS 6212 HAS SOPS 6212 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5112.212
AT ITER 630 NEW BEST:: SOT 12805 SOS 6203 HAS SOPS 6203 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5089.203
AT ITER 631 NEW BEST:: SOT 12792 SOS 6185 HAS SOPS 6185 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5071.185
AT ITER 637 NEW BEST:: SOT 12792 SOS 6183 HAS SOPS 6183 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5070.183
AT ITER 640 NEW BEST:: SOT 12792 SOS 6167 HAS SOPS 6167 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5070.167
AT ITER 641 NEW BEST:: SOT 12779 SOS 6126 HAS SOPS 6126 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5026.126
AT ITER 665 NEW BEST:: SOT 12767 SOS 6102 HAS SOPS 6102 HAS SOUS 4996 HAS SOUPS 4996 WITH SCORE 5002.102
AT ITER 674 NEW BEST:: SOT 12756 SOS 6091 HAS SOPS 6091 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4991.091
AT ITER 694 NEW BEST:: SOT 12750 SOS 6065 HAS SOPS 6065 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4989.065
AT ITER 709 NEW BEST:: SOT 12784 SOS 6085 HAS SOPS 6085 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4982.085
AT ITER 721 NEW BEST:: SOT 12719 SOS 5993 HAS SOPS 5993 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4876.993
AT ITER 736 NEW BEST:: SOT 12725 SOS 5989 HAS SOPS 5989 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4859.989
AT ITER 766 NEW BEST:: SOT 12724 SOS 5985 HAS SOPS 5985 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4858.985
AT ITER 771 NEW BEST:: SOT 12720 SOS 5944 HAS SOPS 5944 HAS SOUS 4777 HAS SOUPS 4777 WITH SCORE 4782.944
AT ITER 775 NEW BEST:: SOT 12711 SOS 5923 HAS SOPS 5923 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4761.923
AT ITER 779 NEW BEST:: SOT 12710 SOS 5921 HAS SOPS 5921 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4760.921
AT ITER 808 NEW BEST:: SOT 12705 SOS 5909 HAS SOPS 5909 HAS SOUS 4743 HAS SOUPS 4743 WITH SCORE 4748.909
AT ITER 812 NEW BEST:: SOT 12706 SOS 5880 HAS SOPS 5880 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4732.88
AT ITER 814 NEW BEST:: SOT 12742 SOS 5916 HAS SOPS 5916 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4715.916
AT ITER 839 NEW BEST:: SOT 12699 SOS 5873 HAS SOPS 5873 HAS SOUS 4667 HAS SOUPS 4667 WITH SCORE 4672.873
AT ITER 847 NEW BEST:: SOT 12699 SOS 5859 HAS SOPS 5859 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4658.859
AT ITER 859 NEW BEST:: SOT 12693 SOS 5852 HAS SOPS 5852 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4654.852
AT ITER 862 NEW BEST:: SOT 12693 SOS 5858 HAS SOPS 5858 HAS SOUS 4647 HAS SOUPS 4647 WITH SCORE 4652.858
AT ITER 869 NEW BEST:: SOT 12693 SOS 5848 HAS SOPS 5848 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4648.848
AT ITER 875 NEW BEST:: SOT 12688 SOS 5836 HAS SOPS 5836 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4636.836
AT ITER 883 NEW BEST:: SOT 12685 SOS 5841 HAS SOPS 5841 HAS SOUS 4595 HAS SOUPS 4595 WITH SCORE 4600.841
AT ITER 893 NEW BEST:: SOT 12638 SOS 5804 HAS SOPS 5804 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4551.804
AT ITER 897 NEW BEST:: SOT 12614 SOS 5780 HAS SOPS 5780 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.78
AT ITER 911 NEW BEST:: SOT 12572 SOS 5738 HAS SOPS 5738 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.738
AT ITER 947 NEW BEST:: SOT 12567 SOS 5723 HAS SOPS 5723 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4473.723
AT ITER 954 NEW BEST:: SOT 12567 SOS 5687 HAS SOPS 5687 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4461.687
AT ITER 962 NEW BEST:: SOT 12567 SOS 5681 HAS SOPS 5681 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4461.681
AT ITER 963 NEW BEST:: SOT 12551 SOS 5653 HAS SOPS 5653 HAS SOUS 4435 HAS SOUPS 4435 WITH SCORE 4440.653
AT ITER 969 NEW BEST:: SOT 12551 SOS 5641 HAS SOPS 5641 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4418.641
AT ITER 1019 NEW BEST:: SOT 12596 SOS 5585 HAS SOPS 5585 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4403.585
AT ITER 1041 NEW BEST:: SOT 12577 SOS 5558 HAS SOPS 5558 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4376.558
AT ITER 1059 NEW BEST:: SOT 12551 SOS 5440 HAS SOPS 5440 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4327.44
AT ITER 1067 NEW BEST:: SOT 12531 SOS 5408 HAS SOPS 5408 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4295.408
AT ITER 1072 NEW BEST:: SOT 12507 SOS 5359 HAS SOPS 5359 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4272.359
AT ITER 1078 NEW BEST:: SOT 12466 SOS 5289 HAS SOPS 5289 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4186.289
AT ITER 1083 NEW BEST:: SOT 12464 SOS 5287 HAS SOPS 5287 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4184.287
AT ITER 1097 NEW BEST:: SOT 12463 SOS 5286 HAS SOPS 5286 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4183.286
AT ITER 1106 NEW BEST:: SOT 12464 SOS 5283 HAS SOPS 5283 HAS SOUS 4175 HAS SOUPS 4175 WITH SCORE 4180.283
AT ITER 1126 NEW BEST:: SOT 12454 SOS 5273 HAS SOPS 5273 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4170.273
AT ITER 1136 NEW BEST:: SOT 12454 SOS 5265 HAS SOPS 5265 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4170.265
AT ITER 1155 NEW BEST:: SOT 12440 SOS 5251 HAS SOPS 5251 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4156.251
AT ITER 1179 NEW BEST:: SOT 12432 SOS 5166 HAS SOPS 5166 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4156.166
AT ITER 1185 NEW BEST:: SOT 12432 SOS 5161 HAS SOPS 5161 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4151.161
AT ITER 1190 NEW BEST:: SOT 12433 SOS 5156 HAS SOPS 5156 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4146.156
AT ITER 1194 NEW BEST:: SOT 12438 SOS 5156 HAS SOPS 5156 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4141.156
AT ITER 1203 NEW BEST:: SOT 12417 SOS 5022 HAS SOPS 5022 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4126.022
AT ITER 1225 NEW BEST:: SOT 12384 SOS 4989 HAS SOPS 4989 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.989
AT ITER 1234 NEW BEST:: SOT 12383 SOS 4988 HAS SOPS 4988 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4082.988
AT ITER 1237 NEW BEST:: SOT 12331 SOS 4934 HAS SOPS 4934 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4070.934
AT ITER 1270 NEW BEST:: SOT 12328 SOS 4925 HAS SOPS 4925 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.925
AT ITER 1287 NEW BEST:: SOT 12299 SOS 4916 HAS SOPS 4916 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.916
AT ITER 1306 NEW BEST:: SOT 12299 SOS 4916 HAS SOPS 4916 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4051.916
AT ITER 1351 NEW BEST:: SOT 12302 SOS 4913 HAS SOPS 4913 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4045.913
AT ITER 1366 NEW BEST:: SOT 12301 SOS 4912 HAS SOPS 4912 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4045.912
AT ITER 1390 NEW BEST:: SOT 12300 SOS 4921 HAS SOPS 4921 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4042.921
AT ITER 1392 NEW BEST:: SOT 12299 SOS 4918 HAS SOPS 4918 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.918
AT ITER 1404 NEW BEST:: SOT 12296 SOS 4912 HAS SOPS 4912 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4032.912
AT ITER 1432 NEW BEST:: SOT 12298 SOS 4911 HAS SOPS 4911 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4031.911
AT ITER 1449 NEW BEST:: SOT 12300 SOS 4895 HAS SOPS 4895 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4016.895
AT ITER 1467 NEW BEST:: SOT 12293 SOS 4880 HAS SOPS 4880 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3995.88
AT ITER 1477 NEW BEST:: SOT 12293 SOS 4864 HAS SOPS 4864 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3973.864
AT ITER 1492 NEW BEST:: SOT 12291 SOS 4860 HAS SOPS 4860 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3971.86
AT ITER 1494 NEW BEST:: SOT 12271 SOS 4840 HAS SOPS 4840 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3943.84
AT ITER 1498 NEW BEST:: SOT 12256 SOS 4808 HAS SOPS 4808 HAS SOUS 3916 HAS SOUPS 3916 WITH SCORE 3920.808
AT ITER 1522 NEW BEST:: SOT 12271 SOS 4803 HAS SOPS 4803 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3908.803
AT ITER 1530 NEW BEST:: SOT 12270 SOS 4802 HAS SOPS 4802 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.802
AT ITER 1539 NEW BEST:: SOT 12268 SOS 4800 HAS SOPS 4800 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.8
AT ITER 1541 NEW BEST:: SOT 12262 SOS 4794 HAS SOPS 4794 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.794
AT ITER 1558 NEW BEST:: SOT 12312 SOS 4740 HAS SOPS 4740 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.74
AT ITER 1562 NEW BEST:: SOT 12312 SOS 4732 HAS SOPS 4732 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.732
AT ITER 1564 NEW BEST:: SOT 12308 SOS 4666 HAS SOPS 4666 HAS SOUS 3886 HAS SOUPS 3886 WITH SCORE 3890.666
AT ITER 1566 NEW BEST:: SOT 12308 SOS 4662 HAS SOPS 4662 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3888.662
AT ITER 1577 NEW BEST:: SOT 12289 SOS 4643 HAS SOPS 4643 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3869.643
AT ITER 1584 NEW BEST:: SOT 12289 SOS 4643 HAS SOPS 4643 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3866.643
AT ITER 1614 NEW BEST:: SOT 12279 SOS 4645 HAS SOPS 4645 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3865.645
AT ITER 1616 NEW BEST:: SOT 12279 SOS 4619 HAS SOPS 4619 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3865.619
AT ITER 1620 NEW BEST:: SOT 12282 SOS 4622 HAS SOPS 4622 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3851.622
AT ITER 1624 NEW BEST:: SOT 12280 SOS 4616 HAS SOPS 4616 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.616
AT ITER 1648 NEW BEST:: SOT 12276 SOS 4602 HAS SOPS 4602 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3833.602
AT ITER 1666 NEW BEST:: SOT 12273 SOS 4616 HAS SOPS 4616 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3803.616
AT ITER 1697 NEW BEST:: SOT 12271 SOS 4613 HAS SOPS 4613 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3800.613
AT ITER 1701 NEW BEST:: SOT 12251 SOS 4563 HAS SOPS 4563 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3788.563
AT ITER 1728 NEW BEST:: SOT 12261 SOS 4536 HAS SOPS 4536 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3773.536
AT ITER 1790 NEW BEST:: SOT 12253 SOS 4516 HAS SOPS 4516 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3747.516
AT ITER 1807 NEW BEST:: SOT 12249 SOS 4499 HAS SOPS 4499 HAS SOUS 3741 HAS SOUPS 3741 WITH SCORE 3745.499
AT ITER 1827 NEW BEST:: SOT 12232 SOS 4492 HAS SOPS 4492 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.492
AT ITER 1877 NEW BEST:: SOT 12273 SOS 4345 HAS SOPS 4345 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3703.345
AT ITER 1885 NEW BEST:: SOT 12273 SOS 4344 HAS SOPS 4344 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.344
AT ITER 1894 NEW BEST:: SOT 12270 SOS 4331 HAS SOPS 4331 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3694.331
AT ITER 1900 NEW BEST:: SOT 12280 SOS 4309 HAS SOPS 4309 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.309
AT ITER 1901 NEW BEST:: SOT 12241 SOS 4286 HAS SOPS 4286 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.286
AT ITER 1942 NEW BEST:: SOT 12240 SOS 4285 HAS SOPS 4285 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.285
AT ITER 1977 NEW BEST:: SOT 12240 SOS 4263 HAS SOPS 4263 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3656.263
AT ITER 1982 NEW BEST:: SOT 12238 SOS 4261 HAS SOPS 4261 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3648.261
AT ITER 1990 NEW BEST:: SOT 12238 SOS 4261 HAS SOPS 4261 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3644.261
AT ITER 2005 NEW BEST:: SOT 12249 SOS 4272 HAS SOPS 4272 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.272
AT ITER 2029 NEW BEST:: SOT 12235 SOS 4262 HAS SOPS 4262 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3628.262
AT ITER 2136 NEW BEST:: SOT 12225 SOS 4251 HAS SOPS 4251 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3617.251
AT ITER 2157 NEW BEST:: SOT 12220 SOS 4227 HAS SOPS 4227 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3609.227
AT ITER 2196 NEW BEST:: SOT 12216 SOS 4223 HAS SOPS 4223 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3605.223
AT ITER 2200 NEW BEST:: SOT 12217 SOS 4218 HAS SOPS 4218 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3603.218
AT ITER 2227 NEW BEST:: SOT 12223 SOS 4216 HAS SOPS 4216 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3598.216
AT ITER 2234 NEW BEST:: SOT 12214 SOS 4207 HAS SOPS 4207 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.207
AT ITER 2253 NEW BEST:: SOT 12211 SOS 4204 HAS SOPS 4204 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.204
AT ITER 2266 NEW BEST:: SOT 12179 SOS 4150 HAS SOPS 4150 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3533.15
AT ITER 2279 NEW BEST:: SOT 12131 SOS 4078 HAS SOPS 4078 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3461.078
AT ITER 2282 NEW BEST:: SOT 12130 SOS 4077 HAS SOPS 4077 HAS SOUS 3456 HAS SOUPS 3456 WITH SCORE 3460.077
AT ITER 2292 NEW BEST:: SOT 12130 SOS 4079 HAS SOPS 4079 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.079
AT ITER 2335 NEW BEST:: SOT 12124 SOS 4053 HAS SOPS 4053 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3448.053
AT ITER 2340 NEW BEST:: SOT 12118 SOS 4038 HAS SOPS 4038 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3445.038
AT ITER 2342 NEW BEST:: SOT 12118 SOS 4032 HAS SOPS 4032 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3441.032
AT ITER 2344 NEW BEST:: SOT 12115 SOS 4029 HAS SOPS 4029 HAS SOUS 3434 HAS SOUPS 3434 WITH SCORE 3438.029
AT ITER 2355 NEW BEST:: SOT 12115 SOS 4025 HAS SOPS 4025 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3434.025
AT ITER 2364 NEW BEST:: SOT 12111 SOS 4014 HAS SOPS 4014 HAS SOUS 3412 HAS SOUPS 3412 WITH SCORE 3416.014
AT ITER 2412 NEW BEST:: SOT 12082 SOS 3985 HAS SOPS 3985 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3386.985
AT ITER 2446 NEW BEST:: SOT 12080 SOS 3983 HAS SOPS 3983 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3384.983
AT ITER 2449 NEW BEST:: SOT 12080 SOS 3967 HAS SOPS 3967 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3378.967
AT ITER 2453 NEW BEST:: SOT 12080 SOS 3978 HAS SOPS 3978 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3375.978
AT ITER 2463 NEW BEST:: SOT 12075 SOS 3973 HAS SOPS 3973 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.973
AT ITER 2498 NEW BEST:: SOT 12081 SOS 3974 HAS SOPS 3974 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3368.974
AT ITER 2508 NEW BEST:: SOT 12077 SOS 3971 HAS SOPS 3971 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3365.971
AT ITER 2509 NEW BEST:: SOT 12077 SOS 3970 HAS SOPS 3970 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.97
AT ITER 2524 NEW BEST:: SOT 12077 SOS 3964 HAS SOPS 3964 HAS SOUS 3358 HAS SOUPS 3358 WITH SCORE 3361.964
AT ITER 2527 NEW BEST:: SOT 12077 SOS 3944 HAS SOPS 3944 HAS SOUS 3350 HAS SOUPS 3350 WITH SCORE 3353.944
AT ITER 2547 NEW BEST:: SOT 12070 SOS 3923 HAS SOPS 3923 HAS SOUS 3327 HAS SOUPS 3327 WITH SCORE 3330.923
AT ITER 2575 NEW BEST:: SOT 12083 SOS 3920 HAS SOPS 3920 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3322.92
AT ITER 2584 NEW BEST:: SOT 12082 SOS 3908 HAS SOPS 3908 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3310.908
AT ITER 2599 NEW BEST:: SOT 12081 SOS 3907 HAS SOPS 3907 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3307.907
AT ITER 2700 NEW BEST:: SOT 12064 SOS 3897 HAS SOPS 3897 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.897
AT ITER 2714 NEW BEST:: SOT 12062 SOS 3896 HAS SOPS 3896 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.896
AT ITER 2734 NEW BEST:: SOT 12065 SOS 3902 HAS SOPS 3902 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3291.902
AT ITER 2778 NEW BEST:: SOT 12063 SOS 3898 HAS SOPS 3898 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3287.898
AT ITER 2822 NEW BEST:: SOT 12062 SOS 3895 HAS SOPS 3895 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3285.895
AT ITER 2846 NEW BEST:: SOT 12059 SOS 3880 HAS SOPS 3880 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.88
AT ITER 2872 NEW BEST:: SOT 12058 SOS 3877 HAS SOPS 3877 HAS SOUS 3272 HAS SOUPS 3272 WITH SCORE 3275.877
AT ITER 2882 NEW BEST:: SOT 12056 SOS 3873 HAS SOPS 3873 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3259.873
AT ITER 2895 NEW BEST:: SOT 12073 SOS 3821 HAS SOPS 3821 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3241.821
AT ITER 2903 NEW BEST:: SOT 12073 SOS 3815 HAS SOPS 3815 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3238.815
AT ITER 2942 NEW BEST:: SOT 12067 SOS 3808 HAS SOPS 3808 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3231.808
AT ITER 2947 NEW BEST:: SOT 12068 SOS 3813 HAS SOPS 3813 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3230.813
AT ITER 2951 NEW BEST:: SOT 12066 SOS 3818 HAS SOPS 3818 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3229.818
AT ITER 2979 NEW BEST:: SOT 12064 SOS 3816 HAS SOPS 3816 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3227.816
AT ITER 2980 NEW BEST:: SOT 12067 SOS 3815 HAS SOPS 3815 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3222.815
AT ITER 3003 NEW BEST:: SOT 12053 SOS 3803 HAS SOPS 3803 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.803
AT ITER 3013 NEW BEST:: SOT 12053 SOS 3801 HAS SOPS 3801 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3207.801
AT ITER 3036 NEW BEST:: SOT 12053 SOS 3786 HAS SOPS 3786 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3207.786
AT ITER 3084 NEW BEST:: SOT 12051 SOS 3784 HAS SOPS 3784 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3205.784
AT ITER 3098 NEW BEST:: SOT 12050 SOS 3783 HAS SOPS 3783 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.783
AT ITER 3132 NEW BEST:: SOT 12050 SOS 3780 HAS SOPS 3780 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.78
AT ITER 3146 NEW BEST:: SOT 12046 SOS 3772 HAS SOPS 3772 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3196.772
AT ITER 3194 NEW BEST:: SOT 12046 SOS 3770 HAS SOPS 3770 HAS SOUS 3192 HAS SOUPS 3192 WITH SCORE 3195.77
AT ITER 3273 NEW BEST:: SOT 12034 SOS 3762 HAS SOPS 3762 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.762
AT ITER 3284 NEW BEST:: SOT 12032 SOS 3758 HAS SOPS 3758 HAS SOUS 3181 HAS SOUPS 3181 WITH SCORE 3184.758
AT ITER 3300 NEW BEST:: SOT 12014 SOS 3753 HAS SOPS 3753 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.753
AT ITER 3349 NEW BEST:: SOT 12015 SOS 3752 HAS SOPS 3752 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3178.752
AT ITER 3389 NEW BEST:: SOT 11987 SOS 3724 HAS SOPS 3724 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.724
AT ITER 3394 NEW BEST:: SOT 11979 SOS 3705 HAS SOPS 3705 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.705
AT ITER 3395 NEW BEST:: SOT 11979 SOS 3704 HAS SOPS 3704 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3132.704
AT ITER 3434 NEW BEST:: SOT 11964 SOS 3682 HAS SOPS 3682 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3131.682
AT ITER 3467 NEW BEST:: SOT 11960 SOS 3674 HAS SOPS 3674 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3123.674
AT ITER 3468 NEW BEST:: SOT 11953 SOS 3664 HAS SOPS 3664 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3113.664
AT ITER 3489 NEW BEST:: SOT 11946 SOS 3633 HAS SOPS 3633 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.633
AT ITER 3498 NEW BEST:: SOT 11942 SOS 3605 HAS SOPS 3605 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.605
AT ITER 3518 NEW BEST:: SOT 11935 SOS 3591 HAS SOPS 3591 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.591
AT ITER 3577 NEW BEST:: SOT 11939 SOS 3594 HAS SOPS 3594 HAS SOUS 3075 HAS SOUPS 3075 WITH SCORE 3078.594
AT ITER 3586 NEW BEST:: SOT 11932 SOS 3587 HAS SOPS 3587 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3071.587
AT ITER 3656 NEW BEST:: SOT 11939 SOS 3601 HAS SOPS 3601 HAS SOUS 3066 HAS SOUPS 3066 WITH SCORE 3069.601
AT ITER 3695 NEW BEST:: SOT 11937 SOS 3595 HAS SOPS 3595 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.595
AT ITER 3699 NEW BEST:: SOT 11937 SOS 3583 HAS SOPS 3583 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3050.583
AT ITER 3731 NEW BEST:: SOT 11924 SOS 3566 HAS SOPS 3566 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3033.566
AT ITER 3781 NEW BEST:: SOT 11926 SOS 3572 HAS SOPS 3572 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.572
AT ITER 3839 NEW BEST:: SOT 11926 SOS 3568 HAS SOPS 3568 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.568
AT ITER 3840 NEW BEST:: SOT 11920 SOS 3565 HAS SOPS 3565 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.565
AT ITER 3910 NEW BEST:: SOT 11916 SOS 3563 HAS SOPS 3563 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3016.563
AT ITER 3918 NEW BEST:: SOT 11916 SOS 3561 HAS SOPS 3561 HAS SOUS 3013 HAS SOUPS 3013 WITH SCORE 3016.561
AT ITER 3982 NEW BEST:: SOT 11902 SOS 3547 HAS SOPS 3547 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.547
AT ITER 4008 NEW BEST:: SOT 11885 SOS 3534 HAS SOPS 3534 HAS SOUS 2986 HAS SOUPS 2986 WITH SCORE 2989.534
AT ITER 4044 NEW BEST:: SOT 11884 SOS 3532 HAS SOPS 3532 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.532
AT ITER 4045 NEW BEST:: SOT 11884 SOS 3533 HAS SOPS 3533 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2985.533
AT ITER 4047 NEW BEST:: SOT 11884 SOS 3539 HAS SOPS 3539 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.539
AT ITER 4051 NEW BEST:: SOT 11884 SOS 3538 HAS SOPS 3538 HAS SOUS 2977 HAS SOUPS 2977 WITH SCORE 2980.538
AT ITER 4079 NEW BEST:: SOT 11886 SOS 3537 HAS SOPS 3537 HAS SOUS 2977 HAS SOUPS 2977 WITH SCORE 2980.537
AT ITER 4081 NEW BEST:: SOT 11884 SOS 3534 HAS SOPS 3534 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2977.534
AT ITER 4131 NEW BEST:: SOT 11884 SOS 3535 HAS SOPS 3535 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2975.535
AT ITER 4167 NEW BEST:: SOT 11881 SOS 3532 HAS SOPS 3532 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.532
AT ITER 4175 NEW BEST:: SOT 11880 SOS 3530 HAS SOPS 3530 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2970.53
AT ITER 4178 NEW BEST:: SOT 11874 SOS 3524 HAS SOPS 3524 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2963.524
AT ITER 4208 NEW BEST:: SOT 11867 SOS 3512 HAS SOPS 3512 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2952.512
AT ITER 4213 NEW BEST:: SOT 11867 SOS 3502 HAS SOPS 3502 HAS SOUS 2944 HAS SOUPS 2944 WITH SCORE 2947.502
AT ITER 4242 NEW BEST:: SOT 11863 SOS 3489 HAS SOPS 3489 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2938.489
AT ITER 4285 NEW BEST:: SOT 11863 SOS 3464 HAS SOPS 3464 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2917.464
AT ITER 4365 NEW BEST:: SOT 11860 SOS 3461 HAS SOPS 3461 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2914.461
AT ITER 4420 NEW BEST:: SOT 11847 SOS 3448 HAS SOPS 3448 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.448
AT ITER 4465 NEW BEST:: SOT 11836 SOS 3436 HAS SOPS 3436 HAS SOUS 2895 HAS SOUPS 2895 WITH SCORE 2898.436
AT ITER 4536 NEW BEST:: SOT 11854 SOS 3414 HAS SOPS 3414 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.414
AT ITER 4590 NEW BEST:: SOT 11855 SOS 3398 HAS SOPS 3398 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.398
AT ITER 4596 NEW BEST:: SOT 11853 SOS 3395 HAS SOPS 3395 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.395
AT ITER 4607 NEW BEST:: SOT 11846 SOS 3403 HAS SOPS 3403 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2880.403
AT ITER 4681 NEW BEST:: SOT 11842 SOS 3400 HAS SOPS 3400 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2874.4
AT ITER 4733 NEW BEST:: SOT 11841 SOS 3399 HAS SOPS 3399 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2873.399
AT ITER 4736 NEW BEST:: SOT 11838 SOS 3392 HAS SOPS 3392 HAS SOUS 2863 HAS SOUPS 2863 WITH SCORE 2866.392
AT ITER 4790 NEW BEST:: SOT 11840 SOS 3394 HAS SOPS 3394 HAS SOUS 2861 HAS SOUPS 2861 WITH SCORE 2864.394
AT ITER 4901 NEW BEST:: SOT 11845 SOS 3396 HAS SOPS 3396 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2863.396
AT ITER 4909 NEW BEST:: SOT 11843 SOS 3390 HAS SOPS 3390 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2857.39
AT ITER 5154 NEW BEST:: SOT 11835 SOS 3382 HAS SOPS 3382 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2849.382
AT ITER 5169 NEW BEST:: SOT 11834 SOS 3381 HAS SOPS 3381 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.381
AT ITER 5189 NEW BEST:: SOT 11846 SOS 3360 HAS SOPS 3360 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.36
AT ITER 5214 NEW BEST:: SOT 11834 SOS 3342 HAS SOPS 3342 HAS SOUS 2817 HAS SOUPS 2817 WITH SCORE 2820.342
AT ITER 5215 NEW BEST:: SOT 11829 SOS 3332 HAS SOPS 3332 HAS SOUS 2803 HAS SOUPS 2803 WITH SCORE 2806.332
AT ITER 5298 NEW BEST:: SOT 11827 SOS 3326 HAS SOPS 3326 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2802.326
AT ITER 5311 NEW BEST:: SOT 11826 SOS 3325 HAS SOPS 3325 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2801.325
AT ITER 5403 NEW BEST:: SOT 11825 SOS 3319 HAS SOPS 3319 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.319
AT ITER 5468 NEW BEST:: SOT 11817 SOS 3310 HAS SOPS 3310 HAS SOUS 2790 HAS SOUPS 2790 WITH SCORE 2793.31
AT ITER 5476 NEW BEST:: SOT 11815 SOS 3307 HAS SOPS 3307 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2790.307
AT ITER 5515 NEW BEST:: SOT 11812 SOS 3295 HAS SOPS 3295 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2784.295
AT ITER 5534 NEW BEST:: SOT 11821 SOS 3290 HAS SOPS 3290 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2780.29
AT ITER 5543 NEW BEST:: SOT 11819 SOS 3285 HAS SOPS 3285 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.285
AT ITER 5570 NEW BEST:: SOT 11817 SOS 3284 HAS SOPS 3284 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.284
AT ITER 5594 NEW BEST:: SOT 11809 SOS 3276 HAS SOPS 3276 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.276
AT ITER 5685 NEW BEST:: SOT 11809 SOS 3247 HAS SOPS 3247 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.247
AT ITER 5699 NEW BEST:: SOT 11809 SOS 3239 HAS SOPS 3239 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.239
AT ITER 5741 NEW BEST:: SOT 11806 SOS 3236 HAS SOPS 3236 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.236
AT ITER 5744 NEW BEST:: SOT 11806 SOS 3234 HAS SOPS 3234 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2758.234
AT ITER 6044 NEW BEST:: SOT 11808 SOS 3224 HAS SOPS 3224 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2745.224
AT ITER 6058 NEW BEST:: SOT 11804 SOS 3220 HAS SOPS 3220 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2741.22
AT ITER 6081 NEW BEST:: SOT 11797 SOS 3216 HAS SOPS 3216 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2737.216
AT ITER 6168 NEW BEST:: SOT 11795 SOS 3214 HAS SOPS 3214 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2736.214
AT ITER 6229 NEW BEST:: SOT 11799 SOS 3218 HAS SOPS 3218 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2730.218
AT ITER 6230 NEW BEST:: SOT 11798 SOS 3217 HAS SOPS 3217 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2729.217
AT ITER 6255 NEW BEST:: SOT 11798 SOS 3211 HAS SOPS 3211 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2725.211
AT ITER 6273 NEW BEST:: SOT 11795 SOS 3209 HAS SOPS 3209 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2723.209
AT ITER 6460 NEW BEST:: SOT 11793 SOS 3207 HAS SOPS 3207 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.207
AT ITER 6468 NEW BEST:: SOT 11796 SOS 3203 HAS SOPS 3203 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.203
AT ITER 6504 NEW BEST:: SOT 11791 SOS 3193 HAS SOPS 3193 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2709.193
AT ITER 6550 NEW BEST:: SOT 11784 SOS 3181 HAS SOPS 3181 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2697.181
AT ITER 6643 NEW BEST:: SOT 11786 SOS 3173 HAS SOPS 3173 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2695.173
AT ITER 6799 NEW BEST:: SOT 11772 SOS 3185 HAS SOPS 3185 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2694.185
AT ITER 6888 NEW BEST:: SOT 11768 SOS 3182 HAS SOPS 3182 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2691.182
AT ITER 6890 NEW BEST:: SOT 11767 SOS 3180 HAS SOPS 3180 HAS SOUS 2686 HAS SOUPS 2686 WITH SCORE 2689.18
AT ITER 6923 NEW BEST:: SOT 11765 SOS 3178 HAS SOPS 3178 HAS SOUS 2686 HAS SOUPS 2686 WITH SCORE 2689.178
AT ITER 6933 NEW BEST:: SOT 11764 SOS 3176 HAS SOPS 3176 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2688.176
AT ITER 6940 NEW BEST:: SOT 11764 SOS 3188 HAS SOPS 3188 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2676.188
AT ITER 7042 NEW BEST:: SOT 11763 SOS 3188 HAS SOPS 3188 HAS SOUS 2672 HAS SOUPS 2672 WITH SCORE 2675.188
AT ITER 7051 NEW BEST:: SOT 11758 SOS 3182 HAS SOPS 3182 HAS SOUS 2670 HAS SOUPS 2670 WITH SCORE 2673.182
AT ITER 7061 NEW BEST:: SOT 11757 SOS 3181 HAS SOPS 3181 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2672.181
AT ITER 7073 NEW BEST:: SOT 11756 SOS 3168 HAS SOPS 3168 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2659.168
AT ITER 7122 NEW BEST:: SOT 11754 SOS 3166 HAS SOPS 3166 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2657.166
AT ITER 7176 NEW BEST:: SOT 11751 SOS 3157 HAS SOPS 3157 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2645.157
AT ITER 7222 NEW BEST:: SOT 11746 SOS 3151 HAS SOPS 3151 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2631.151
AT ITER 7249 NEW BEST:: SOT 11746 SOS 3151 HAS SOPS 3151 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2629.151
AT ITER 7250 NEW BEST:: SOT 11742 SOS 3145 HAS SOPS 3145 HAS SOUS 2619 HAS SOUPS 2619 WITH SCORE 2622.145
AT ITER 7425 NEW BEST:: SOT 11741 SOS 3142 HAS SOPS 3142 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.142
AT ITER 7760 NEW BEST:: SOT 11738 SOS 3139 HAS SOPS 3139 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2617.139
AT ITER 7807 NEW BEST:: SOT 11738 SOS 3138 HAS SOPS 3138 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2616.138
AT ITER 7954 NEW BEST:: SOT 11736 SOS 3128 HAS SOPS 3128 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2612.128
AT ITER 7977 NEW BEST:: SOT 11735 SOS 3125 HAS SOPS 3125 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2612.125
AT ITER 8025 NEW BEST:: SOT 11746 SOS 3129 HAS SOPS 3129 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2611.129
AT ITER 8245 NEW BEST:: SOT 11741 SOS 3125 HAS SOPS 3125 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2607.125
AT ITER 8317 NEW BEST:: SOT 11739 SOS 3123 HAS SOPS 3123 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2605.123
AT ITER 8371 NEW BEST:: SOT 11735 SOS 3119 HAS SOPS 3119 HAS SOUS 2598 HAS SOUPS 2598 WITH SCORE 2601.119
AT ITER 8498 NEW BEST:: SOT 11731 SOS 3111 HAS SOPS 3111 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2598.111
AT ITER 8588 NEW BEST:: SOT 11728 SOS 3115 HAS SOPS 3115 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2597.115
AT ITER 8598 NEW BEST:: SOT 11708 SOS 3087 HAS SOPS 3087 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2581.087
AT ITER 8682 NEW BEST:: SOT 11706 SOS 3084 HAS SOPS 3084 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2581.084
AT ITER 8699 NEW BEST:: SOT 11704 SOS 3097 HAS SOPS 3097 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.097
AT ITER 8701 NEW BEST:: SOT 11693 SOS 3089 HAS SOPS 3089 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2579.089
AT ITER 8724 NEW BEST:: SOT 11692 SOS 3086 HAS SOPS 3086 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2578.086
AT ITER 8807 NEW BEST:: SOT 11694 SOS 3084 HAS SOPS 3084 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2578.084
AT ITER 8989 NEW BEST:: SOT 11681 SOS 3056 HAS SOPS 3056 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2569.056
AT ITER 9061 NEW BEST:: SOT 11678 SOS 3043 HAS SOPS 3043 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2560.043
AT ITER 9063 NEW BEST:: SOT 11678 SOS 3042 HAS SOPS 3042 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2559.042
AT ITER 9069 NEW BEST:: SOT 11677 SOS 3041 HAS SOPS 3041 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2558.041
AT ITER 9160 NEW BEST:: SOT 11695 SOS 2987 HAS SOPS 2987 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.987
AT ITER 9192 NEW BEST:: SOT 11695 SOS 2985 HAS SOPS 2985 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2556.985
AT ITER 9308 NEW BEST:: SOT 11695 SOS 2984 HAS SOPS 2984 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2554.984
AT ITER 9332 NEW BEST:: SOT 11696 SOS 2985 HAS SOPS 2985 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2552.985
AT ITER 9361 NEW BEST:: SOT 11696 SOS 2981 HAS SOPS 2981 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.981
AT ITER 9440 NEW BEST:: SOT 11696 SOS 2969 HAS SOPS 2969 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.969
AT ITER 9517 NEW BEST:: SOT 11693 SOS 2966 HAS SOPS 2966 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2547.966
AT ITER 9524 NEW BEST:: SOT 11692 SOS 2963 HAS SOPS 2963 HAS SOUS 2543 HAS SOUPS 2543 WITH SCORE 2545.963
AT ITER 9577 NEW BEST:: SOT 11689 SOS 2958 HAS SOPS 2958 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2541.958
AT ITER 9722 NEW BEST:: SOT 11692 SOS 2955 HAS SOPS 2955 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2541.955
AT ITER 9821 NEW BEST:: SOT 11689 SOS 2962 HAS SOPS 2962 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2540.962
AT ITER 9933 NEW BEST:: SOT 11689 SOS 2961 HAS SOPS 2961 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2540.961

BK_TIME_CONFINEMENT_REACHED

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPs-PT-005A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469500464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-005A.tgz
mv ShieldPPPs-PT-005A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;