Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538200040.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538200040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 3.1K May 14 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 21:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 21:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 15:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 15:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 10:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 10:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 54K 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 1590469749595

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

Filename model.pnml
Petri model created: 213 places, 245 transitions, 557 arcs.
AT ITER 0 NEW BEST:: SOT 30533 SOS 7055 HAS SOPS 7055 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6869.055
AT ITER 23 NEW BEST:: SOT 30562 SOS 7101 HAS SOPS 7101 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6851.101
AT ITER 41 NEW BEST:: SOT 30542 SOS 7100 HAS SOPS 7100 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6850.1
AT ITER 42 NEW BEST:: SOT 30575 SOS 7130 HAS SOPS 7130 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6847.13
AT ITER 43 NEW BEST:: SOT 30573 SOS 7136 HAS SOPS 7136 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6845.136
AT ITER 60 NEW BEST:: SOT 30573 SOS 7129 HAS SOPS 7129 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6838.129
AT ITER 63 NEW BEST:: SOT 30571 SOS 7127 HAS SOPS 7127 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6835.127
AT ITER 67 NEW BEST:: SOT 30549 SOS 7096 HAS SOPS 7096 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6804.096
AT ITER 68 NEW BEST:: SOT 30531 SOS 7060 HAS SOPS 7060 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6751.06
AT ITER 85 NEW BEST:: SOT 30539 SOS 7045 HAS SOPS 7045 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6736.045
AT ITER 97 NEW BEST:: SOT 30517 SOS 7025 HAS SOPS 7025 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6714.025
AT ITER 120 NEW BEST:: SOT 30513 SOS 7017 HAS SOPS 7017 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6710.017
AT ITER 137 NEW BEST:: SOT 30510 SOS 7011 HAS SOPS 7011 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6688.011
AT ITER 153 NEW BEST:: SOT 30491 SOS 6973 HAS SOPS 6973 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6649.973
AT ITER 167 NEW BEST:: SOT 30485 SOS 6974 HAS SOPS 6974 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6643.974
AT ITER 182 NEW BEST:: SOT 30484 SOS 6972 HAS SOPS 6972 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6642.972
AT ITER 195 NEW BEST:: SOT 30484 SOS 6962 HAS SOPS 6962 HAS SOUS 6626 HAS SOUPS 6626 WITH SCORE 6632.962
AT ITER 245 NEW BEST:: SOT 30475 SOS 6959 HAS SOPS 6959 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6629.959
AT ITER 257 NEW BEST:: SOT 30467 SOS 6935 HAS SOPS 6935 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6613.935
AT ITER 270 NEW BEST:: SOT 30467 SOS 6933 HAS SOPS 6933 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6613.933
AT ITER 272 NEW BEST:: SOT 30460 SOS 6925 HAS SOPS 6925 HAS SOUS 6597 HAS SOUPS 6597 WITH SCORE 6603.925
AT ITER 273 NEW BEST:: SOT 30459 SOS 6923 HAS SOPS 6923 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6601.923
AT ITER 281 NEW BEST:: SOT 30455 SOS 6915 HAS SOPS 6915 HAS SOUS 6587 HAS SOUPS 6587 WITH SCORE 6593.915
AT ITER 318 NEW BEST:: SOT 30454 SOS 6913 HAS SOPS 6913 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6591.913
AT ITER 331 NEW BEST:: SOT 30441 SOS 6900 HAS SOPS 6900 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6578.9
AT ITER 367 NEW BEST:: SOT 30442 SOS 6902 HAS SOPS 6902 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6558.902
AT ITER 368 NEW BEST:: SOT 30442 SOS 6869 HAS SOPS 6869 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6525.869
AT ITER 374 NEW BEST:: SOT 30436 SOS 6863 HAS SOPS 6863 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6525.863
AT ITER 376 NEW BEST:: SOT 30436 SOS 6850 HAS SOPS 6850 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6512.85
AT ITER 396 NEW BEST:: SOT 30424 SOS 6838 HAS SOPS 6838 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6499.838
AT ITER 399 NEW BEST:: SOT 30418 SOS 6826 HAS SOPS 6826 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6487.826
AT ITER 404 NEW BEST:: SOT 30417 SOS 6824 HAS SOPS 6824 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6485.824
AT ITER 410 NEW BEST:: SOT 30399 SOS 6804 HAS SOPS 6804 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6465.804
AT ITER 413 NEW BEST:: SOT 30336 SOS 6816 HAS SOPS 6816 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6411.816
AT ITER 423 NEW BEST:: SOT 30336 SOS 6804 HAS SOPS 6804 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6411.804
AT ITER 427 NEW BEST:: SOT 30332 SOS 6790 HAS SOPS 6790 HAS SOUS 6397 HAS SOUPS 6397 WITH SCORE 6403.79
AT ITER 432 NEW BEST:: SOT 30173 SOS 7157 HAS SOPS 7157 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6306.157
AT ITER 460 NEW BEST:: SOT 30151 SOS 7135 HAS SOPS 7135 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6284.135
AT ITER 482 NEW BEST:: SOT 30150 SOS 7123 HAS SOPS 7123 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6238.123
AT ITER 484 NEW BEST:: SOT 30143 SOS 7116 HAS SOPS 7116 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6224.116
AT ITER 490 NEW BEST:: SOT 30126 SOS 7099 HAS SOPS 7099 HAS SOUS 6200 HAS SOUPS 6200 WITH SCORE 6207.099
AT ITER 493 NEW BEST:: SOT 30029 SOS 7108 HAS SOPS 7108 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6166.108
AT ITER 496 NEW BEST:: SOT 30022 SOS 7101 HAS SOPS 7101 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6159.101
AT ITER 501 NEW BEST:: SOT 30024 SOS 7105 HAS SOPS 7105 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6151.105
AT ITER 517 NEW BEST:: SOT 30024 SOS 7094 HAS SOPS 7094 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6140.094
AT ITER 520 NEW BEST:: SOT 30024 SOS 7085 HAS SOPS 7085 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6140.085
AT ITER 537 NEW BEST:: SOT 30020 SOS 7077 HAS SOPS 7077 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6132.077
AT ITER 539 NEW BEST:: SOT 30019 SOS 7071 HAS SOPS 7071 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6126.071
AT ITER 564 NEW BEST:: SOT 29823 SOS 7446 HAS SOPS 7446 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.446
AT ITER 565 NEW BEST:: SOT 29795 SOS 7423 HAS SOPS 7423 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6024.423
AT ITER 576 NEW BEST:: SOT 29746 SOS 7339 HAS SOPS 7339 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.339
AT ITER 589 NEW BEST:: SOT 29746 SOS 7320 HAS SOPS 7320 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5970.32
AT ITER 603 NEW BEST:: SOT 29740 SOS 7308 HAS SOPS 7308 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5941.308
AT ITER 613 NEW BEST:: SOT 29711 SOS 7282 HAS SOPS 7282 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5915.282
AT ITER 618 NEW BEST:: SOT 29711 SOS 7228 HAS SOPS 7228 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5900.228
AT ITER 640 NEW BEST:: SOT 29717 SOS 7168 HAS SOPS 7168 HAS SOUS 5862 HAS SOUPS 5862 WITH SCORE 5869.168
AT ITER 671 NEW BEST:: SOT 29690 SOS 7114 HAS SOPS 7114 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5853.114
AT ITER 701 NEW BEST:: SOT 29688 SOS 6978 HAS SOPS 6978 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5839.978
AT ITER 714 NEW BEST:: SOT 29667 SOS 6936 HAS SOPS 6936 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5817.936
AT ITER 720 NEW BEST:: SOT 29635 SOS 6872 HAS SOPS 6872 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5817.872
AT ITER 739 NEW BEST:: SOT 29629 SOS 6863 HAS SOPS 6863 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5810.863
AT ITER 746 NEW BEST:: SOT 29611 SOS 6835 HAS SOPS 6835 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5792.835
AT ITER 763 NEW BEST:: SOT 29604 SOS 6821 HAS SOPS 6821 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5772.821
AT ITER 767 NEW BEST:: SOT 29581 SOS 6775 HAS SOPS 6775 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5726.775
AT ITER 768 NEW BEST:: SOT 29568 SOS 6764 HAS SOPS 6764 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5715.764
AT ITER 776 NEW BEST:: SOT 29557 SOS 6742 HAS SOPS 6742 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5704.742
AT ITER 805 NEW BEST:: SOT 29546 SOS 6741 HAS SOPS 6741 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5690.741
AT ITER 808 NEW BEST:: SOT 29544 SOS 6737 HAS SOPS 6737 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5688.737
AT ITER 833 NEW BEST:: SOT 29563 SOS 6764 HAS SOPS 6764 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5677.764
AT ITER 838 NEW BEST:: SOT 29550 SOS 6738 HAS SOPS 6738 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5664.738
AT ITER 846 NEW BEST:: SOT 29553 SOS 6726 HAS SOPS 6726 HAS SOUS 5640 HAS SOUPS 5640 WITH SCORE 5646.726
AT ITER 857 NEW BEST:: SOT 29531 SOS 6721 HAS SOPS 6721 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5634.721
AT ITER 859 NEW BEST:: SOT 29522 SOS 6703 HAS SOPS 6703 HAS SOUS 5610 HAS SOUPS 5610 WITH SCORE 5616.703
AT ITER 871 NEW BEST:: SOT 29522 SOS 6703 HAS SOPS 6703 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.703
AT ITER 895 NEW BEST:: SOT 29511 SOS 6672 HAS SOPS 6672 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5582.672
AT ITER 916 NEW BEST:: SOT 29511 SOS 6672 HAS SOPS 6672 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5575.672
AT ITER 927 NEW BEST:: SOT 29512 SOS 6674 HAS SOPS 6674 HAS SOUS 5553 HAS SOUPS 5553 WITH SCORE 5559.674
AT ITER 931 NEW BEST:: SOT 29512 SOS 6656 HAS SOPS 6656 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5534.656
AT ITER 934 NEW BEST:: SOT 29512 SOS 6647 HAS SOPS 6647 HAS SOUS 5519 HAS SOUPS 5519 WITH SCORE 5525.647
AT ITER 950 NEW BEST:: SOT 29503 SOS 6629 HAS SOPS 6629 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.629
AT ITER 987 NEW BEST:: SOT 29513 SOS 6639 HAS SOPS 6639 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5514.639
AT ITER 988 NEW BEST:: SOT 29416 SOS 6616 HAS SOPS 6616 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5440.616
AT ITER 990 NEW BEST:: SOT 29415 SOS 6614 HAS SOPS 6614 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.614
AT ITER 994 NEW BEST:: SOT 29414 SOS 6611 HAS SOPS 6611 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5435.611
AT ITER 1006 NEW BEST:: SOT 29410 SOS 6561 HAS SOPS 6561 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5385.561
AT ITER 1013 NEW BEST:: SOT 29408 SOS 6559 HAS SOPS 6559 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.559
AT ITER 1037 NEW BEST:: SOT 29391 SOS 6542 HAS SOPS 6542 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.542
AT ITER 1055 NEW BEST:: SOT 29379 SOS 6518 HAS SOPS 6518 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5363.518
AT ITER 1059 NEW BEST:: SOT 29373 SOS 6506 HAS SOPS 6506 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5355.506
AT ITER 1083 NEW BEST:: SOT 29356 SOS 6484 HAS SOPS 6484 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.484
AT ITER 1119 NEW BEST:: SOT 29330 SOS 6432 HAS SOPS 6432 HAS SOUS 5292 HAS SOUPS 5292 WITH SCORE 5298.432
AT ITER 1123 NEW BEST:: SOT 29313 SOS 6415 HAS SOPS 6415 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5281.415
AT ITER 1134 NEW BEST:: SOT 29313 SOS 6414 HAS SOPS 6414 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5281.414
AT ITER 1140 NEW BEST:: SOT 29313 SOS 6412 HAS SOPS 6412 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5279.412
AT ITER 1157 NEW BEST:: SOT 29304 SOS 6412 HAS SOPS 6412 HAS SOUS 5264 HAS SOUPS 5264 WITH SCORE 5270.412
AT ITER 1168 NEW BEST:: SOT 29307 SOS 6418 HAS SOPS 6418 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5265.418
AT ITER 1188 NEW BEST:: SOT 29303 SOS 6406 HAS SOPS 6406 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5240.406
AT ITER 1206 NEW BEST:: SOT 29271 SOS 6772 HAS SOPS 6772 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.772
AT ITER 1221 NEW BEST:: SOT 29267 SOS 6764 HAS SOPS 6764 HAS SOUS 5229 HAS SOUPS 5229 WITH SCORE 5235.764
AT ITER 1229 NEW BEST:: SOT 29267 SOS 6758 HAS SOPS 6758 HAS SOUS 5223 HAS SOUPS 5223 WITH SCORE 5229.758
AT ITER 1280 NEW BEST:: SOT 29260 SOS 6752 HAS SOPS 6752 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5227.752
AT ITER 1300 NEW BEST:: SOT 29260 SOS 6752 HAS SOPS 6752 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5216.752
AT ITER 1301 NEW BEST:: SOT 29260 SOS 6748 HAS SOPS 6748 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5212.748
AT ITER 1314 NEW BEST:: SOT 29240 SOS 6732 HAS SOPS 6732 HAS SOUS 5190 HAS SOUPS 5190 WITH SCORE 5196.732
AT ITER 1318 NEW BEST:: SOT 29234 SOS 6721 HAS SOPS 6721 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5185.721
AT ITER 1328 NEW BEST:: SOT 29188 SOS 6712 HAS SOPS 6712 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5151.712
AT ITER 1330 NEW BEST:: SOT 29182 SOS 6706 HAS SOPS 6706 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5145.706
AT ITER 1360 NEW BEST:: SOT 29180 SOS 6702 HAS SOPS 6702 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5145.702
AT ITER 1404 NEW BEST:: SOT 29181 SOS 6704 HAS SOPS 6704 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5138.704
AT ITER 1412 NEW BEST:: SOT 29179 SOS 6700 HAS SOPS 6700 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5134.7
AT ITER 1435 NEW BEST:: SOT 29179 SOS 6698 HAS SOPS 6698 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5132.698
AT ITER 1449 NEW BEST:: SOT 29134 SOS 6657 HAS SOPS 6657 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5129.657
AT ITER 1451 NEW BEST:: SOT 29116 SOS 6621 HAS SOPS 6621 HAS SOUS 5101 HAS SOUPS 5101 WITH SCORE 5107.621
AT ITER 1517 NEW BEST:: SOT 29111 SOS 6616 HAS SOPS 6616 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5102.616
AT ITER 1542 NEW BEST:: SOT 29110 SOS 6614 HAS SOPS 6614 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5098.614
AT ITER 1557 NEW BEST:: SOT 29118 SOS 6601 HAS SOPS 6601 HAS SOUS 5081 HAS SOUPS 5081 WITH SCORE 5087.601
AT ITER 1621 NEW BEST:: SOT 29123 SOS 6606 HAS SOPS 6606 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5086.606
AT ITER 1625 NEW BEST:: SOT 29123 SOS 6606 HAS SOPS 6606 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5085.606
AT ITER 1628 NEW BEST:: SOT 29124 SOS 6597 HAS SOPS 6597 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5076.597
AT ITER 1645 NEW BEST:: SOT 29119 SOS 6592 HAS SOPS 6592 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5071.592
AT ITER 1653 NEW BEST:: SOT 29106 SOS 6601 HAS SOPS 6601 HAS SOUS 5061 HAS SOUPS 5061 WITH SCORE 5067.601
AT ITER 1675 NEW BEST:: SOT 29105 SOS 6600 HAS SOPS 6600 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5066.6
AT ITER 1709 NEW BEST:: SOT 29105 SOS 6597 HAS SOPS 6597 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5063.597
AT ITER 1713 NEW BEST:: SOT 29072 SOS 6576 HAS SOPS 6576 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5042.576
AT ITER 1723 NEW BEST:: SOT 29067 SOS 6566 HAS SOPS 6566 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5037.566
AT ITER 1758 NEW BEST:: SOT 29063 SOS 6558 HAS SOPS 6558 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5033.558
AT ITER 1793 NEW BEST:: SOT 29058 SOS 6553 HAS SOPS 6553 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5028.553
AT ITER 1805 NEW BEST:: SOT 29058 SOS 6553 HAS SOPS 6553 HAS SOUS 5021 HAS SOUPS 5021 WITH SCORE 5027.553
AT ITER 1807 NEW BEST:: SOT 29005 SOS 6990 HAS SOPS 6990 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5007.99
AT ITER 1811 NEW BEST:: SOT 28999 SOS 6986 HAS SOPS 6986 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5003.986
AT ITER 1828 NEW BEST:: SOT 28997 SOS 6982 HAS SOPS 6982 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 4999.982
AT ITER 1837 NEW BEST:: SOT 28997 SOS 6981 HAS SOPS 6981 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4998.981
AT ITER 1838 NEW BEST:: SOT 29001 SOS 6939 HAS SOPS 6939 HAS SOUS 4962 HAS SOUPS 4962 WITH SCORE 4968.939
AT ITER 1860 NEW BEST:: SOT 28994 SOS 6936 HAS SOPS 6936 HAS SOUS 4959 HAS SOUPS 4959 WITH SCORE 4965.936
AT ITER 1943 NEW BEST:: SOT 28994 SOS 6933 HAS SOPS 6933 HAS SOUS 4958 HAS SOUPS 4958 WITH SCORE 4964.933
AT ITER 1951 NEW BEST:: SOT 28993 SOS 6975 HAS SOPS 6975 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4963.975
AT ITER 1957 NEW BEST:: SOT 28988 SOS 6965 HAS SOPS 6965 HAS SOUS 4947 HAS SOUPS 4947 WITH SCORE 4953.965
AT ITER 1978 NEW BEST:: SOT 29013 SOS 6963 HAS SOPS 6963 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4951.963
AT ITER 1992 NEW BEST:: SOT 29006 SOS 6956 HAS SOPS 6956 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4947.956
AT ITER 2007 NEW BEST:: SOT 28991 SOS 7226 HAS SOPS 7226 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4933.226
AT ITER 2017 NEW BEST:: SOT 28990 SOS 7219 HAS SOPS 7219 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4927.219
AT ITER 2024 NEW BEST:: SOT 28989 SOS 7161 HAS SOPS 7161 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4924.161
AT ITER 2034 NEW BEST:: SOT 28987 SOS 7159 HAS SOPS 7159 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4922.159
AT ITER 2044 NEW BEST:: SOT 28971 SOS 7127 HAS SOPS 7127 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4906.127
AT ITER 2052 NEW BEST:: SOT 28911 SOS 7199 HAS SOPS 7199 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4878.199
AT ITER 2057 NEW BEST:: SOT 28911 SOS 7198 HAS SOPS 7198 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4878.198
AT ITER 2067 NEW BEST:: SOT 28911 SOS 7190 HAS SOPS 7190 HAS SOUS 4871 HAS SOUPS 4871 WITH SCORE 4878.19
AT ITER 2084 NEW BEST:: SOT 28905 SOS 7184 HAS SOPS 7184 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4872.184
AT ITER 2085 NEW BEST:: SOT 28891 SOS 7170 HAS SOPS 7170 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4864.17
AT ITER 2092 NEW BEST:: SOT 28850 SOS 7123 HAS SOPS 7123 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4858.123
AT ITER 2095 NEW BEST:: SOT 28847 SOS 7120 HAS SOPS 7120 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4852.12
AT ITER 2136 NEW BEST:: SOT 28835 SOS 7096 HAS SOPS 7096 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4840.096
AT ITER 2137 NEW BEST:: SOT 28835 SOS 7086 HAS SOPS 7086 HAS SOUS 4823 HAS SOUPS 4823 WITH SCORE 4830.086
AT ITER 2143 NEW BEST:: SOT 28835 SOS 7086 HAS SOPS 7086 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4829.086
AT ITER 2144 NEW BEST:: SOT 28822 SOS 7060 HAS SOPS 7060 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4803.06
AT ITER 2147 NEW BEST:: SOT 28808 SOS 7039 HAS SOPS 7039 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4789.039
AT ITER 2158 NEW BEST:: SOT 28808 SOS 7013 HAS SOPS 7013 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4789.013
AT ITER 2166 NEW BEST:: SOT 28808 SOS 7011 HAS SOPS 7011 HAS SOUS 4782 HAS SOUPS 4782 WITH SCORE 4789.011
AT ITER 2180 NEW BEST:: SOT 28807 SOS 7008 HAS SOPS 7008 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4788.008
AT ITER 2212 NEW BEST:: SOT 28805 SOS 7005 HAS SOPS 7005 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4785.005
AT ITER 2231 NEW BEST:: SOT 28810 SOS 6992 HAS SOPS 6992 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4771.992
AT ITER 2245 NEW BEST:: SOT 28804 SOS 6986 HAS SOPS 6986 HAS SOUS 4759 HAS SOUPS 4759 WITH SCORE 4765.986
AT ITER 2280 NEW BEST:: SOT 28796 SOS 6970 HAS SOPS 6970 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4757.97
AT ITER 2282 NEW BEST:: SOT 28729 SOS 6903 HAS SOPS 6903 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4757.903
AT ITER 2305 NEW BEST:: SOT 28730 SOS 6900 HAS SOPS 6900 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4754.9
AT ITER 2317 NEW BEST:: SOT 28708 SOS 6867 HAS SOPS 6867 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4732.867
AT ITER 2384 NEW BEST:: SOT 28708 SOS 6864 HAS SOPS 6864 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4732.864
AT ITER 2418 NEW BEST:: SOT 28696 SOS 6864 HAS SOPS 6864 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4719.864
AT ITER 2432 NEW BEST:: SOT 28693 SOS 6858 HAS SOPS 6858 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4713.858
AT ITER 2476 NEW BEST:: SOT 28591 SOS 7041 HAS SOPS 7041 HAS SOUS 4634 HAS SOUPS 4634 WITH SCORE 4641.041
AT ITER 2504 NEW BEST:: SOT 28589 SOS 7034 HAS SOPS 7034 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4639.034
AT ITER 2515 NEW BEST:: SOT 28576 SOS 7008 HAS SOPS 7008 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4629.008
AT ITER 2554 NEW BEST:: SOT 28554 SOS 6975 HAS SOPS 6975 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4595.975
AT ITER 2575 NEW BEST:: SOT 28522 SOS 6911 HAS SOPS 6911 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4563.911
AT ITER 2587 NEW BEST:: SOT 28482 SOS 6892 HAS SOPS 6892 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4561.892
AT ITER 2590 NEW BEST:: SOT 28474 SOS 6840 HAS SOPS 6840 HAS SOUS 4539 HAS SOUPS 4539 WITH SCORE 4545.84
AT ITER 2604 NEW BEST:: SOT 28473 SOS 6854 HAS SOPS 6854 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4543.854
AT ITER 2611 NEW BEST:: SOT 28465 SOS 6845 HAS SOPS 6845 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4535.845
AT ITER 2614 NEW BEST:: SOT 28454 SOS 6893 HAS SOPS 6893 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4524.893
AT ITER 2650 NEW BEST:: SOT 28440 SOS 6858 HAS SOPS 6858 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4507.858
AT ITER 2665 NEW BEST:: SOT 28440 SOS 6858 HAS SOPS 6858 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4506.858
AT ITER 2667 NEW BEST:: SOT 28440 SOS 6855 HAS SOPS 6855 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4506.855
AT ITER 2681 NEW BEST:: SOT 28432 SOS 6847 HAS SOPS 6847 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4506.847
AT ITER 2701 NEW BEST:: SOT 28429 SOS 6835 HAS SOPS 6835 HAS SOUS 4491 HAS SOUPS 4491 WITH SCORE 4497.835
AT ITER 2734 NEW BEST:: SOT 28421 SOS 6826 HAS SOPS 6826 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4488.826
AT ITER 2737 NEW BEST:: SOT 28415 SOS 6820 HAS SOPS 6820 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4488.82
AT ITER 2810 NEW BEST:: SOT 28415 SOS 6802 HAS SOPS 6802 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4484.802
AT ITER 2866 NEW BEST:: SOT 28393 SOS 6769 HAS SOPS 6769 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4451.769
AT ITER 2870 NEW BEST:: SOT 28397 SOS 6758 HAS SOPS 6758 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4440.758
AT ITER 2871 NEW BEST:: SOT 28374 SOS 6721 HAS SOPS 6721 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4419.721
AT ITER 2873 NEW BEST:: SOT 28360 SOS 6693 HAS SOPS 6693 HAS SOUS 4385 HAS SOUPS 4385 WITH SCORE 4391.693
AT ITER 2894 NEW BEST:: SOT 28358 SOS 6690 HAS SOPS 6690 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4386.69
AT ITER 2895 NEW BEST:: SOT 28333 SOS 6640 HAS SOPS 6640 HAS SOUS 4380 HAS SOUPS 4380 WITH SCORE 4386.64
AT ITER 2943 NEW BEST:: SOT 28335 SOS 6635 HAS SOPS 6635 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4381.635
AT ITER 2973 NEW BEST:: SOT 28324 SOS 6613 HAS SOPS 6613 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4370.613
AT ITER 2983 NEW BEST:: SOT 28313 SOS 6591 HAS SOPS 6591 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4359.591
AT ITER 2988 NEW BEST:: SOT 28309 SOS 6585 HAS SOPS 6585 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4355.585
AT ITER 3010 NEW BEST:: SOT 28316 SOS 6575 HAS SOPS 6575 HAS SOUS 4339 HAS SOUPS 4339 WITH SCORE 4345.575
AT ITER 3011 NEW BEST:: SOT 28316 SOS 6575 HAS SOPS 6575 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4344.575
AT ITER 3013 NEW BEST:: SOT 28299 SOS 6543 HAS SOPS 6543 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4312.543
AT ITER 3014 NEW BEST:: SOT 28279 SOS 6503 HAS SOPS 6503 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4295.503
AT ITER 3041 NEW BEST:: SOT 28284 SOS 6439 HAS SOPS 6439 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4285.439
AT ITER 3042 NEW BEST:: SOT 28284 SOS 6442 HAS SOPS 6442 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4282.442
AT ITER 3049 NEW BEST:: SOT 28268 SOS 6436 HAS SOPS 6436 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4251.436
AT ITER 3066 NEW BEST:: SOT 28269 SOS 6434 HAS SOPS 6434 HAS SOUS 4243 HAS SOUPS 4243 WITH SCORE 4249.434
AT ITER 3075 NEW BEST:: SOT 28265 SOS 6432 HAS SOPS 6432 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4247.432
AT ITER 3083 NEW BEST:: SOT 28262 SOS 6426 HAS SOPS 6426 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4241.426
AT ITER 3089 NEW BEST:: SOT 28244 SOS 6414 HAS SOPS 6414 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4229.414
AT ITER 3132 NEW BEST:: SOT 28248 SOS 6401 HAS SOPS 6401 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4211.401
AT ITER 3146 NEW BEST:: SOT 28239 SOS 6362 HAS SOPS 6362 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4187.362
AT ITER 3161 NEW BEST:: SOT 28223 SOS 6330 HAS SOPS 6330 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4171.33
AT ITER 3167 NEW BEST:: SOT 28218 SOS 6320 HAS SOPS 6320 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4166.32
AT ITER 3183 NEW BEST:: SOT 28239 SOS 6341 HAS SOPS 6341 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4161.341
AT ITER 3201 NEW BEST:: SOT 28247 SOS 6357 HAS SOPS 6357 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4151.357
AT ITER 3243 NEW BEST:: SOT 28228 SOS 6343 HAS SOPS 6343 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4137.343
AT ITER 3251 NEW BEST:: SOT 28228 SOS 6347 HAS SOPS 6347 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4136.347
AT ITER 3260 NEW BEST:: SOT 28215 SOS 6334 HAS SOPS 6334 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4104.334
AT ITER 3265 NEW BEST:: SOT 28202 SOS 6347 HAS SOPS 6347 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4091.347
AT ITER 3340 NEW BEST:: SOT 28199 SOS 6325 HAS SOPS 6325 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4074.325
AT ITER 3345 NEW BEST:: SOT 28199 SOS 6323 HAS SOPS 6323 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4072.323
AT ITER 3366 NEW BEST:: SOT 28202 SOS 6326 HAS SOPS 6326 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4071.326
AT ITER 3392 NEW BEST:: SOT 28194 SOS 6310 HAS SOPS 6310 HAS SOUS 4065 HAS SOUPS 4065 WITH SCORE 4071.31
AT ITER 3424 NEW BEST:: SOT 28189 SOS 6300 HAS SOPS 6300 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4061.3
AT ITER 3430 NEW BEST:: SOT 28182 SOS 6286 HAS SOPS 6286 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4059.286
AT ITER 3471 NEW BEST:: SOT 28174 SOS 6270 HAS SOPS 6270 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4043.27
AT ITER 3484 NEW BEST:: SOT 28172 SOS 6266 HAS SOPS 6266 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4039.266
AT ITER 3538 NEW BEST:: SOT 28171 SOS 6265 HAS SOPS 6265 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4038.265
AT ITER 3540 NEW BEST:: SOT 28175 SOS 6273 HAS SOPS 6273 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4033.273
AT ITER 3581 NEW BEST:: SOT 28172 SOS 6267 HAS SOPS 6267 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4027.267
AT ITER 3595 NEW BEST:: SOT 28166 SOS 6255 HAS SOPS 6255 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4015.255
AT ITER 3643 NEW BEST:: SOT 28161 SOS 6245 HAS SOPS 6245 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4005.245
AT ITER 3649 NEW BEST:: SOT 28160 SOS 6244 HAS SOPS 6244 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4003.244
AT ITER 3684 NEW BEST:: SOT 28160 SOS 6244 HAS SOPS 6244 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 4001.244
AT ITER 3709 NEW BEST:: SOT 28154 SOS 6237 HAS SOPS 6237 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3994.237
AT ITER 3784 NEW BEST:: SOT 28145 SOS 6219 HAS SOPS 6219 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3983.219
AT ITER 3819 NEW BEST:: SOT 28138 SOS 6213 HAS SOPS 6213 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3980.213
AT ITER 3840 NEW BEST:: SOT 28137 SOS 6211 HAS SOPS 6211 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3978.211
AT ITER 3859 NEW BEST:: SOT 28128 SOS 6193 HAS SOPS 6193 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3960.193
AT ITER 3992 NEW BEST:: SOT 28125 SOS 6192 HAS SOPS 6192 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3959.192
AT ITER 3995 NEW BEST:: SOT 28124 SOS 6191 HAS SOPS 6191 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3959.191
AT ITER 4034 NEW BEST:: SOT 28124 SOS 6191 HAS SOPS 6191 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3956.191
AT ITER 4057 NEW BEST:: SOT 28090 SOS 6393 HAS SOPS 6393 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3929.393
AT ITER 4062 NEW BEST:: SOT 28088 SOS 6389 HAS SOPS 6389 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3925.389
AT ITER 4070 NEW BEST:: SOT 28087 SOS 6388 HAS SOPS 6388 HAS SOUS 3918 HAS SOUPS 3918 WITH SCORE 3924.388
AT ITER 4094 NEW BEST:: SOT 28085 SOS 6384 HAS SOPS 6384 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3920.384
AT ITER 4144 NEW BEST:: SOT 28078 SOS 6378 HAS SOPS 6378 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3918.378
AT ITER 4192 NEW BEST:: SOT 28056 SOS 6361 HAS SOPS 6361 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.361
AT ITER 4230 NEW BEST:: SOT 28045 SOS 6352 HAS SOPS 6352 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3908.352
AT ITER 4263 NEW BEST:: SOT 28034 SOS 6342 HAS SOPS 6342 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3898.342
AT ITER 4292 NEW BEST:: SOT 28029 SOS 6332 HAS SOPS 6332 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3888.332
AT ITER 4353 NEW BEST:: SOT 28020 SOS 6314 HAS SOPS 6314 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3870.314
AT ITER 4354 NEW BEST:: SOT 28016 SOS 6306 HAS SOPS 6306 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3868.306
AT ITER 4399 NEW BEST:: SOT 28016 SOS 6303 HAS SOPS 6303 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3865.303
AT ITER 4472 NEW BEST:: SOT 28015 SOS 6301 HAS SOPS 6301 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3863.301
AT ITER 4483 NEW BEST:: SOT 28009 SOS 6289 HAS SOPS 6289 HAS SOUS 3845 HAS SOUPS 3845 WITH SCORE 3851.289
AT ITER 4532 NEW BEST:: SOT 28009 SOS 6285 HAS SOPS 6285 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3847.285
AT ITER 4545 NEW BEST:: SOT 28002 SOS 6278 HAS SOPS 6278 HAS SOUS 3834 HAS SOUPS 3834 WITH SCORE 3840.278
AT ITER 4605 NEW BEST:: SOT 27999 SOS 6255 HAS SOPS 6255 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3837.255
AT ITER 4697 NEW BEST:: SOT 27999 SOS 6248 HAS SOPS 6248 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3830.248
AT ITER 4744 NEW BEST:: SOT 27998 SOS 6247 HAS SOPS 6247 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3830.247
AT ITER 4754 NEW BEST:: SOT 27994 SOS 6247 HAS SOPS 6247 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3828.247
AT ITER 4784 NEW BEST:: SOT 27992 SOS 6245 HAS SOPS 6245 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3826.245
AT ITER 4855 NEW BEST:: SOT 27990 SOS 6253 HAS SOPS 6253 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3822.253
AT ITER 4858 NEW BEST:: SOT 27990 SOS 6247 HAS SOPS 6247 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3822.247
AT ITER 4874 NEW BEST:: SOT 27974 SOS 6215 HAS SOPS 6215 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3822.215
AT ITER 4875 NEW BEST:: SOT 27974 SOS 6197 HAS SOPS 6197 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3822.197
AT ITER 4904 NEW BEST:: SOT 27967 SOS 6193 HAS SOPS 6193 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3818.193
AT ITER 4914 NEW BEST:: SOT 27972 SOS 6196 HAS SOPS 6196 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3814.196
AT ITER 4957 NEW BEST:: SOT 27972 SOS 6195 HAS SOPS 6195 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3813.195
AT ITER 4961 NEW BEST:: SOT 27972 SOS 6194 HAS SOPS 6194 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3812.194
AT ITER 4988 NEW BEST:: SOT 27966 SOS 6182 HAS SOPS 6182 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3807.182
AT ITER 4999 NEW BEST:: SOT 27966 SOS 6165 HAS SOPS 6165 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3807.165
AT ITER 5009 NEW BEST:: SOT 27961 SOS 6162 HAS SOPS 6162 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3804.162
AT ITER 5010 NEW BEST:: SOT 27970 SOS 6166 HAS SOPS 6166 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3791.166
AT ITER 5091 NEW BEST:: SOT 27955 SOS 6145 HAS SOPS 6145 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3770.145
AT ITER 5123 NEW BEST:: SOT 27944 SOS 6128 HAS SOPS 6128 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3758.128
AT ITER 5184 NEW BEST:: SOT 27943 SOS 6128 HAS SOPS 6128 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3756.128
AT ITER 5193 NEW BEST:: SOT 27942 SOS 6126 HAS SOPS 6126 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3746.126
AT ITER 5231 NEW BEST:: SOT 27942 SOS 6126 HAS SOPS 6126 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3742.126
AT ITER 5250 NEW BEST:: SOT 27942 SOS 6121 HAS SOPS 6121 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3742.121
AT ITER 5277 NEW BEST:: SOT 27916 SOS 6405 HAS SOPS 6405 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3716.405
AT ITER 5280 NEW BEST:: SOT 27916 SOS 6402 HAS SOPS 6402 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3713.402
AT ITER 5298 NEW BEST:: SOT 27899 SOS 6387 HAS SOPS 6387 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3709.387
AT ITER 5321 NEW BEST:: SOT 27900 SOS 6389 HAS SOPS 6389 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3705.389
AT ITER 5329 NEW BEST:: SOT 27890 SOS 6369 HAS SOPS 6369 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3705.369
AT ITER 5397 NEW BEST:: SOT 27888 SOS 6365 HAS SOPS 6365 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3703.365
AT ITER 5422 NEW BEST:: SOT 27964 SOS 6441 HAS SOPS 6441 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3682.441
AT ITER 5429 NEW BEST:: SOT 27961 SOS 6435 HAS SOPS 6435 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3679.435
AT ITER 5441 NEW BEST:: SOT 27960 SOS 6434 HAS SOPS 6434 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3679.434
AT ITER 5509 NEW BEST:: SOT 27956 SOS 6430 HAS SOPS 6430 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3673.43
AT ITER 5511 NEW BEST:: SOT 27945 SOS 6408 HAS SOPS 6408 HAS SOUS 3663 HAS SOUPS 3663 WITH SCORE 3669.408
AT ITER 5610 NEW BEST:: SOT 27945 SOS 6399 HAS SOPS 6399 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3660.399
AT ITER 5626 NEW BEST:: SOT 27944 SOS 6397 HAS SOPS 6397 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3658.397
AT ITER 5777 NEW BEST:: SOT 27933 SOS 6375 HAS SOPS 6375 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3658.375
AT ITER 5867 NEW BEST:: SOT 27936 SOS 6371 HAS SOPS 6371 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3658.371
AT ITER 5882 NEW BEST:: SOT 27935 SOS 6369 HAS SOPS 6369 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3656.369
AT ITER 5928 NEW BEST:: SOT 27935 SOS 6364 HAS SOPS 6364 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3653.364
AT ITER 5961 NEW BEST:: SOT 27943 SOS 6372 HAS SOPS 6372 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3645.372
AT ITER 6051 NEW BEST:: SOT 27928 SOS 6360 HAS SOPS 6360 HAS SOUS 3636 HAS SOUPS 3636 WITH SCORE 3642.36
AT ITER 6119 NEW BEST:: SOT 27926 SOS 6343 HAS SOPS 6343 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3629.343
AT ITER 6258 NEW BEST:: SOT 27926 SOS 6324 HAS SOPS 6324 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3629.324
AT ITER 6277 NEW BEST:: SOT 27923 SOS 6318 HAS SOPS 6318 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3623.318
AT ITER 6356 NEW BEST:: SOT 27912 SOS 6299 HAS SOPS 6299 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3621.299
AT ITER 6369 NEW BEST:: SOT 27913 SOS 6302 HAS SOPS 6302 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3620.302
AT ITER 6402 NEW BEST:: SOT 27913 SOS 6300 HAS SOPS 6300 HAS SOUS 3612 HAS SOUPS 3612 WITH SCORE 3618.3
AT ITER 6420 NEW BEST:: SOT 27912 SOS 6298 HAS SOPS 6298 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3616.298
AT ITER 6431 NEW BEST:: SOT 27901 SOS 6432 HAS SOPS 6432 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3605.432
AT ITER 6541 NEW BEST:: SOT 27900 SOS 6430 HAS SOPS 6430 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3604.43
AT ITER 6550 NEW BEST:: SOT 27902 SOS 6424 HAS SOPS 6424 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3598.424
AT ITER 6553 NEW BEST:: SOT 27891 SOS 6402 HAS SOPS 6402 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3598.402
AT ITER 6560 NEW BEST:: SOT 27892 SOS 6389 HAS SOPS 6389 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3585.389
AT ITER 6599 NEW BEST:: SOT 27892 SOS 6389 HAS SOPS 6389 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3583.389
AT ITER 6800 NEW BEST:: SOT 27877 SOS 6359 HAS SOPS 6359 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3572.359
AT ITER 6841 NEW BEST:: SOT 27874 SOS 6355 HAS SOPS 6355 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3569.355
AT ITER 6871 NEW BEST:: SOT 27874 SOS 6351 HAS SOPS 6351 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3567.351
AT ITER 6872 NEW BEST:: SOT 27868 SOS 6323 HAS SOPS 6323 HAS SOUS 3549 HAS SOUPS 3549 WITH SCORE 3555.323
AT ITER 6893 NEW BEST:: SOT 27860 SOS 6307 HAS SOPS 6307 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3550.307
AT ITER 6957 NEW BEST:: SOT 27860 SOS 6305 HAS SOPS 6305 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3550.305
AT ITER 6966 NEW BEST:: SOT 27850 SOS 6285 HAS SOPS 6285 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3550.285
AT ITER 6969 NEW BEST:: SOT 27842 SOS 6269 HAS SOPS 6269 HAS SOUS 3528 HAS SOUPS 3528 WITH SCORE 3534.269
AT ITER 6992 NEW BEST:: SOT 27838 SOS 6265 HAS SOPS 6265 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3532.265
AT ITER 6999 NEW BEST:: SOT 27836 SOS 6273 HAS SOPS 6273 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3531.273
AT ITER 7073 NEW BEST:: SOT 27839 SOS 6279 HAS SOPS 6279 HAS SOUS 3523 HAS SOUPS 3523 WITH SCORE 3529.279
AT ITER 7075 NEW BEST:: SOT 27837 SOS 6278 HAS SOPS 6278 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3525.278
AT ITER 7119 NEW BEST:: SOT 27831 SOS 6272 HAS SOPS 6272 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3513.272
AT ITER 7146 NEW BEST:: SOT 27824 SOS 6258 HAS SOPS 6258 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3506.258
AT ITER 7222 NEW BEST:: SOT 27825 SOS 6169 HAS SOPS 6169 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3506.169
AT ITER 7257 NEW BEST:: SOT 27827 SOS 6171 HAS SOPS 6171 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3500.171
AT ITER 7277 NEW BEST:: SOT 27820 SOS 6157 HAS SOPS 6157 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3500.157
AT ITER 7310 NEW BEST:: SOT 27810 SOS 6137 HAS SOPS 6137 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3477.137
AT ITER 7378 NEW BEST:: SOT 27816 SOS 6136 HAS SOPS 6136 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3476.136
AT ITER 7389 NEW BEST:: SOT 27817 SOS 6138 HAS SOPS 6138 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3469.138
AT ITER 7411 NEW BEST:: SOT 27810 SOS 6128 HAS SOPS 6128 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3466.128
AT ITER 7560 NEW BEST:: SOT 27803 SOS 6121 HAS SOPS 6121 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3466.121
AT ITER 7578 NEW BEST:: SOT 27803 SOS 6104 HAS SOPS 6104 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3465.104
AT ITER 7595 NEW BEST:: SOT 27809 SOS 6116 HAS SOPS 6116 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3453.116
AT ITER 7684 NEW BEST:: SOT 27800 SOS 6107 HAS SOPS 6107 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3444.107
AT ITER 7875 NEW BEST:: SOT 27816 SOS 6102 HAS SOPS 6102 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3439.102
AT ITER 7898 NEW BEST:: SOT 27814 SOS 6087 HAS SOPS 6087 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3424.087
AT ITER 7929 NEW BEST:: SOT 27813 SOS 6087 HAS SOPS 6087 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3422.087
AT ITER 7938 NEW BEST:: SOT 27812 SOS 6086 HAS SOPS 6086 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3421.086
AT ITER 7943 NEW BEST:: SOT 27810 SOS 6082 HAS SOPS 6082 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3419.082
AT ITER 7960 NEW BEST:: SOT 27808 SOS 6082 HAS SOPS 6082 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3417.082
AT ITER 8036 NEW BEST:: SOT 27808 SOS 6080 HAS SOPS 6080 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3416.08
AT ITER 8040 NEW BEST:: SOT 27800 SOS 6068 HAS SOPS 6068 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3404.068
AT ITER 8049 NEW BEST:: SOT 27799 SOS 6066 HAS SOPS 6066 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3402.066
AT ITER 8076 NEW BEST:: SOT 27793 SOS 6060 HAS SOPS 6060 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3396.06
AT ITER 8118 NEW BEST:: SOT 27792 SOS 6059 HAS SOPS 6059 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3395.059
AT ITER 8141 NEW BEST:: SOT 27792 SOS 6058 HAS SOPS 6058 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3394.058
AT ITER 8142 NEW BEST:: SOT 27792 SOS 6025 HAS SOPS 6025 HAS SOUS 3388 HAS SOUPS 3388 WITH SCORE 3394.025
AT ITER 8217 NEW BEST:: SOT 27790 SOS 6019 HAS SOPS 6019 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3392.019
AT ITER 8221 NEW BEST:: SOT 27794 SOS 6010 HAS SOPS 6010 HAS SOUS 3379 HAS SOUPS 3379 WITH SCORE 3385.01
AT ITER 8238 NEW BEST:: SOT 27793 SOS 6017 HAS SOPS 6017 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3383.017
AT ITER 8369 NEW BEST:: SOT 27777 SOS 6001 HAS SOPS 6001 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3383.001
AT ITER 8532 NEW BEST:: SOT 27773 SOS 5997 HAS SOPS 5997 HAS SOUS 3375 HAS SOUPS 3375 WITH SCORE 3380.997
AT ITER 8584 NEW BEST:: SOT 27773 SOS 5997 HAS SOPS 5997 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3377.997
AT ITER 8694 NEW BEST:: SOT 27763 SOS 6154 HAS SOPS 6154 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3377.154
AT ITER 8707 NEW BEST:: SOT 27757 SOS 6146 HAS SOPS 6146 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3373.146
AT ITER 8730 NEW BEST:: SOT 27757 SOS 6145 HAS SOPS 6145 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3372.145
AT ITER 8731 NEW BEST:: SOT 27756 SOS 6143 HAS SOPS 6143 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3371.143
AT ITER 8801 NEW BEST:: SOT 27754 SOS 6141 HAS SOPS 6141 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3369.141
AT ITER 8812 NEW BEST:: SOT 27752 SOS 6139 HAS SOPS 6139 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3369.139
AT ITER 8813 NEW BEST:: SOT 27748 SOS 6131 HAS SOPS 6131 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3361.131
AT ITER 8821 NEW BEST:: SOT 27748 SOS 6131 HAS SOPS 6131 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3360.131
AT ITER 8830 NEW BEST:: SOT 27742 SOS 6119 HAS SOPS 6119 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3348.119
AT ITER 8913 NEW BEST:: SOT 27742 SOS 6119 HAS SOPS 6119 HAS SOUS 3340 HAS SOUPS 3340 WITH SCORE 3346.119
AT ITER 8970 NEW BEST:: SOT 27744 SOS 6123 HAS SOPS 6123 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3343.123
AT ITER 8989 NEW BEST:: SOT 27753 SOS 6119 HAS SOPS 6119 HAS SOUS 3332 HAS SOUPS 3332 WITH SCORE 3338.119
AT ITER 9039 NEW BEST:: SOT 27753 SOS 6108 HAS SOPS 6108 HAS SOUS 3331 HAS SOUPS 3331 WITH SCORE 3337.108
AT ITER 9085 NEW BEST:: SOT 27749 SOS 6100 HAS SOPS 6100 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3330.1
AT ITER 9118 NEW BEST:: SOT 27747 SOS 6098 HAS SOPS 6098 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3328.098
AT ITER 9178 NEW BEST:: SOT 27747 SOS 6098 HAS SOPS 6098 HAS SOUS 3321 HAS SOUPS 3321 WITH SCORE 3327.098
AT ITER 9226 NEW BEST:: SOT 27748 SOS 6097 HAS SOPS 6097 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3326.097
AT ITER 9254 NEW BEST:: SOT 27750 SOS 6097 HAS SOPS 6097 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3325.097
AT ITER 9504 NEW BEST:: SOT 27749 SOS 6096 HAS SOPS 6096 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3323.096
AT ITER 9510 NEW BEST:: SOT 27747 SOS 6086 HAS SOPS 6086 HAS SOUS 3313 HAS SOUPS 3313 WITH SCORE 3319.086
AT ITER 9524 NEW BEST:: SOT 27720 SOS 6059 HAS SOPS 6059 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3318.059
AT ITER 9545 NEW BEST:: SOT 27719 SOS 6065 HAS SOPS 6065 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3316.065
AT ITER 9568 NEW BEST:: SOT 27719 SOS 6049 HAS SOPS 6049 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3316.049
AT ITER 9575 NEW BEST:: SOT 27718 SOS 6047 HAS SOPS 6047 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3315.047
AT ITER 9603 NEW BEST:: SOT 27718 SOS 6044 HAS SOPS 6044 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3309.044
AT ITER 9610 NEW BEST:: SOT 27716 SOS 6037 HAS SOPS 6037 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3305.037
AT ITER 9617 NEW BEST:: SOT 27719 SOS 6035 HAS SOPS 6035 HAS SOUS 3297 HAS SOUPS 3297 WITH SCORE 3303.035
AT ITER 9622 NEW BEST:: SOT 27714 SOS 6025 HAS SOPS 6025 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3298.025
AT ITER 9739 NEW BEST:: SOT 27713 SOS 6023 HAS SOPS 6023 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3291.023
AT ITER 9761 NEW BEST:: SOT 27712 SOS 6021 HAS SOPS 6021 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3291.021
AT ITER 9826 NEW BEST:: SOT 27711 SOS 6020 HAS SOPS 6020 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3289.02
AT ITER 9870 NEW BEST:: SOT 27711 SOS 6019 HAS SOPS 6019 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3289.019
AT ITER 9916 NEW BEST:: SOT 27710 SOS 6017 HAS SOPS 6017 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3289.017
AT ITER 9976 NEW BEST:: SOT 27708 SOS 6013 HAS SOPS 6013 HAS SOUS 3279 HAS SOUPS 3279 WITH SCORE 3285.013
STATE_SPACE STATES 19706343297 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 158985414038 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590469772890

--------------------
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="SmartHome-PT-05"
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 SmartHome-PT-05, 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 r224-oct2-159033538200040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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