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.r018-oct2-158897680300680.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 CSRepetitions-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680300680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 776K
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 74K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 24K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 84K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 60K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 32K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 107K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.2K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 151K Apr 27 15:14 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 1589022946714

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

Filename model.pnml
Petri model created: 117 places, 176 transitions, 624 arcs.
AT ITER 0 NEW BEST:: SOT 15898 SOS 14041 HAS SOPS 13816 HAS SOUS 12541 HAS SOUPS 12316 WITH SCORE 12330.041
AT ITER 4 NEW BEST:: SOT 15927 SOS 13974 HAS SOPS 13686 HAS SOUS 12396 HAS SOUPS 12108 WITH SCORE 12121.974
AT ITER 5 NEW BEST:: SOT 15923 SOS 13895 HAS SOPS 13622 HAS SOUS 12238 HAS SOUPS 11965 WITH SCORE 11978.895
AT ITER 6 NEW BEST:: SOT 15922 SOS 13819 HAS SOPS 13561 HAS SOUS 12086 HAS SOUPS 11828 WITH SCORE 11841.819
AT ITER 12 NEW BEST:: SOT 16002 SOS 13759 HAS SOPS 13421 HAS SOUS 11842 HAS SOUPS 11504 WITH SCORE 11517.759
AT ITER 13 NEW BEST:: SOT 15997 SOS 13739 HAS SOPS 13406 HAS SOUS 11807 HAS SOUPS 11474 WITH SCORE 11487.739
AT ITER 16 NEW BEST:: SOT 15952 SOS 13694 HAS SOPS 13361 HAS SOUS 11762 HAS SOUPS 11429 WITH SCORE 11442.694
AT ITER 18 NEW BEST:: SOT 15952 SOS 13466 HAS SOPS 13124 HAS SOUS 11767 HAS SOUPS 11425 WITH SCORE 11438.466
AT ITER 20 NEW BEST:: SOT 15971 SOS 13420 HAS SOPS 13093 HAS SOUS 11640 HAS SOUPS 11313 WITH SCORE 11326.42
AT ITER 21 NEW BEST:: SOT 15989 SOS 13005 HAS SOPS 12678 HAS SOUS 11063 HAS SOUPS 10736 WITH SCORE 10749.005
AT ITER 22 NEW BEST:: SOT 15989 SOS 13005 HAS SOPS 12678 HAS SOUS 11035 HAS SOUPS 10708 WITH SCORE 10721.005
AT ITER 27 NEW BEST:: SOT 15967 SOS 12979 HAS SOPS 12652 HAS SOUS 10971 HAS SOUPS 10644 WITH SCORE 10656.979
AT ITER 28 NEW BEST:: SOT 16448 SOS 13312 HAS SOPS 12985 HAS SOUS 10742 HAS SOUPS 10415 WITH SCORE 10428.312
AT ITER 30 NEW BEST:: SOT 16422 SOS 12850 HAS SOPS 12523 HAS SOUS 10530 HAS SOUPS 10203 WITH SCORE 10215.85
AT ITER 32 NEW BEST:: SOT 16394 SOS 12223 HAS SOPS 11896 HAS SOUS 9995 HAS SOUPS 9668 WITH SCORE 9680.223
AT ITER 35 NEW BEST:: SOT 16358 SOS 12187 HAS SOPS 11860 HAS SOUS 9955 HAS SOUPS 9628 WITH SCORE 9640.187
AT ITER 37 NEW BEST:: SOT 16336 SOS 12187 HAS SOPS 11882 HAS SOUS 9929 HAS SOUPS 9624 WITH SCORE 9636.187
AT ITER 39 NEW BEST:: SOT 16311 SOS 12024 HAS SOPS 11743 HAS SOUS 9819 HAS SOUPS 9538 WITH SCORE 9550.024
AT ITER 41 NEW BEST:: SOT 16307 SOS 12000 HAS SOPS 11719 HAS SOUS 9807 HAS SOUPS 9526 WITH SCORE 9538.0
AT ITER 47 NEW BEST:: SOT 16284 SOS 11993 HAS SOPS 11708 HAS SOUS 9804 HAS SOUPS 9519 WITH SCORE 9530.993
AT ITER 48 NEW BEST:: SOT 16274 SOS 11983 HAS SOPS 11698 HAS SOUS 9788 HAS SOUPS 9503 WITH SCORE 9514.983
AT ITER 50 NEW BEST:: SOT 16274 SOS 11975 HAS SOPS 11688 HAS SOUS 9782 HAS SOUPS 9495 WITH SCORE 9506.975
AT ITER 51 NEW BEST:: SOT 16280 SOS 11983 HAS SOPS 11689 HAS SOUS 9786 HAS SOUPS 9492 WITH SCORE 9503.983
AT ITER 54 NEW BEST:: SOT 16370 SOS 11992 HAS SOPS 11608 HAS SOUS 9821 HAS SOUPS 9437 WITH SCORE 9448.992
AT ITER 56 NEW BEST:: SOT 16353 SOS 11946 HAS SOPS 11594 HAS SOUS 9789 HAS SOUPS 9437 WITH SCORE 9448.946
AT ITER 60 NEW BEST:: SOT 16357 SOS 11871 HAS SOPS 11495 HAS SOUS 9734 HAS SOUPS 9358 WITH SCORE 9369.871
AT ITER 62 NEW BEST:: SOT 16357 SOS 11764 HAS SOPS 11437 HAS SOUS 9669 HAS SOUPS 9342 WITH SCORE 9353.764
AT ITER 67 NEW BEST:: SOT 16417 SOS 11657 HAS SOPS 11270 HAS SOUS 9592 HAS SOUPS 9205 WITH SCORE 9216.657
AT ITER 69 NEW BEST:: SOT 16408 SOS 11621 HAS SOPS 11234 HAS SOUS 9566 HAS SOUPS 9179 WITH SCORE 9190.621
AT ITER 72 NEW BEST:: SOT 16480 SOS 11564 HAS SOPS 11105 HAS SOUS 9576 HAS SOUPS 9117 WITH SCORE 9128.564
AT ITER 73 NEW BEST:: SOT 16480 SOS 11564 HAS SOPS 11105 HAS SOUS 9490 HAS SOUPS 9031 WITH SCORE 9042.564
AT ITER 74 NEW BEST:: SOT 16555 SOS 11517 HAS SOPS 10985 HAS SOUS 9480 HAS SOUPS 8948 WITH SCORE 8959.517
AT ITER 78 NEW BEST:: SOT 16515 SOS 11491 HAS SOPS 10959 HAS SOUS 9390 HAS SOUPS 8858 WITH SCORE 8869.491
AT ITER 80 NEW BEST:: SOT 16515 SOS 11480 HAS SOPS 10948 HAS SOUS 9330 HAS SOUPS 8798 WITH SCORE 8809.48
AT ITER 81 NEW BEST:: SOT 16515 SOS 11461 HAS SOPS 10929 HAS SOUS 9328 HAS SOUPS 8796 WITH SCORE 8807.461
AT ITER 82 NEW BEST:: SOT 16515 SOS 11366 HAS SOPS 10853 HAS SOUS 9305 HAS SOUPS 8792 WITH SCORE 8803.366
AT ITER 88 NEW BEST:: SOT 16511 SOS 11362 HAS SOPS 10849 HAS SOUS 9301 HAS SOUPS 8788 WITH SCORE 8799.362
AT ITER 89 NEW BEST:: SOT 16497 SOS 11334 HAS SOPS 10821 HAS SOUS 9266 HAS SOUPS 8753 WITH SCORE 8764.334
AT ITER 90 NEW BEST:: SOT 14951 SOS 10053 HAS SOPS 9708 HAS SOUS 7817 HAS SOUPS 7472 WITH SCORE 7482.053
AT ITER 93 NEW BEST:: SOT 14951 SOS 10053 HAS SOPS 9708 HAS SOUS 7812 HAS SOUPS 7467 WITH SCORE 7477.053
AT ITER 94 NEW BEST:: SOT 14708 SOS 10099 HAS SOPS 9890 HAS SOUS 7617 HAS SOUPS 7408 WITH SCORE 7418.099
AT ITER 98 NEW BEST:: SOT 14663 SOS 9966 HAS SOPS 9757 HAS SOUS 7484 HAS SOUPS 7275 WITH SCORE 7284.966
AT ITER 100 NEW BEST:: SOT 15020 SOS 10130 HAS SOPS 9921 HAS SOUS 7092 HAS SOUPS 6883 WITH SCORE 6893.13
AT ITER 108 NEW BEST:: SOT 15014 SOS 10124 HAS SOPS 9915 HAS SOUS 7080 HAS SOUPS 6871 WITH SCORE 6881.124
AT ITER 111 NEW BEST:: SOT 14887 SOS 10064 HAS SOPS 9855 HAS SOUS 7026 HAS SOUPS 6817 WITH SCORE 6827.064
AT ITER 112 NEW BEST:: SOT 14840 SOS 10041 HAS SOPS 9832 HAS SOUS 7019 HAS SOUPS 6810 WITH SCORE 6820.041
AT ITER 113 NEW BEST:: SOT 14700 SOS 9909 HAS SOPS 9700 HAS SOUS 6941 HAS SOUPS 6732 WITH SCORE 6741.909
AT ITER 116 NEW BEST:: SOT 14696 SOS 9931 HAS SOPS 9722 HAS SOUS 6937 HAS SOUPS 6728 WITH SCORE 6737.931
AT ITER 122 NEW BEST:: SOT 14625 SOS 9891 HAS SOPS 9682 HAS SOUS 6933 HAS SOUPS 6724 WITH SCORE 6733.891
AT ITER 126 NEW BEST:: SOT 14588 SOS 9858 HAS SOPS 9649 HAS SOUS 6913 HAS SOUPS 6704 WITH SCORE 6713.858
AT ITER 129 NEW BEST:: SOT 14586 SOS 9848 HAS SOPS 9637 HAS SOUS 6909 HAS SOUPS 6698 WITH SCORE 6707.848
AT ITER 135 NEW BEST:: SOT 14586 SOS 9832 HAS SOPS 9637 HAS SOUS 6893 HAS SOUPS 6698 WITH SCORE 6707.832
AT ITER 139 NEW BEST:: SOT 14253 SOS 9513 HAS SOPS 9318 HAS SOUS 6584 HAS SOUPS 6389 WITH SCORE 6398.513
AT ITER 142 NEW BEST:: SOT 14064 SOS 9324 HAS SOPS 9129 HAS SOUS 6461 HAS SOUPS 6266 WITH SCORE 6275.324
AT ITER 146 NEW BEST:: SOT 14034 SOS 9294 HAS SOPS 9099 HAS SOUS 6431 HAS SOUPS 6236 WITH SCORE 6245.294
AT ITER 151 NEW BEST:: SOT 14021 SOS 9281 HAS SOPS 9086 HAS SOUS 6406 HAS SOUPS 6211 WITH SCORE 6220.281
AT ITER 154 NEW BEST:: SOT 13924 SOS 9047 HAS SOPS 8863 HAS SOUS 6257 HAS SOUPS 6073 WITH SCORE 6082.047
AT ITER 157 NEW BEST:: SOT 13966 SOS 8982 HAS SOPS 8796 HAS SOUS 6222 HAS SOUPS 6036 WITH SCORE 6044.982
AT ITER 162 NEW BEST:: SOT 13962 SOS 8978 HAS SOPS 8792 HAS SOUS 6218 HAS SOUPS 6032 WITH SCORE 6040.978
AT ITER 167 NEW BEST:: SOT 13520 SOS 8629 HAS SOPS 8443 HAS SOUS 6107 HAS SOUPS 5921 WITH SCORE 5929.629
AT ITER 169 NEW BEST:: SOT 13520 SOS 8629 HAS SOPS 8443 HAS SOUS 6085 HAS SOUPS 5899 WITH SCORE 5907.629
AT ITER 171 NEW BEST:: SOT 13542 SOS 8585 HAS SOPS 8377 HAS SOUS 6107 HAS SOUPS 5899 WITH SCORE 5907.585
AT ITER 173 NEW BEST:: SOT 13516 SOS 8565 HAS SOPS 8357 HAS SOUS 6087 HAS SOUPS 5879 WITH SCORE 5887.565
AT ITER 178 NEW BEST:: SOT 13512 SOS 8561 HAS SOPS 8349 HAS SOUS 6079 HAS SOUPS 5867 WITH SCORE 5875.561
AT ITER 183 NEW BEST:: SOT 13475 SOS 8504 HAS SOPS 8292 HAS SOUS 6015 HAS SOUPS 5803 WITH SCORE 5811.504
AT ITER 191 NEW BEST:: SOT 13466 SOS 8504 HAS SOPS 8292 HAS SOUS 5982 HAS SOUPS 5770 WITH SCORE 5778.504
AT ITER 194 NEW BEST:: SOT 13427 SOS 8465 HAS SOPS 8253 HAS SOUS 5943 HAS SOUPS 5731 WITH SCORE 5739.465
AT ITER 195 NEW BEST:: SOT 13427 SOS 8381 HAS SOPS 8152 HAS SOUS 5908 HAS SOUPS 5679 WITH SCORE 5687.381
AT ITER 197 NEW BEST:: SOT 13401 SOS 8344 HAS SOPS 8115 HAS SOUS 5853 HAS SOUPS 5624 WITH SCORE 5632.344
AT ITER 203 NEW BEST:: SOT 13392 SOS 8326 HAS SOPS 8088 HAS SOUS 5835 HAS SOUPS 5597 WITH SCORE 5605.326
AT ITER 205 NEW BEST:: SOT 13317 SOS 8330 HAS SOPS 8109 HAS SOUS 5815 HAS SOUPS 5594 WITH SCORE 5602.33
AT ITER 210 NEW BEST:: SOT 13265 SOS 8278 HAS SOPS 8057 HAS SOUS 5761 HAS SOUPS 5540 WITH SCORE 5548.278
AT ITER 229 NEW BEST:: SOT 13252 SOS 8247 HAS SOPS 8052 HAS SOUS 5735 HAS SOUPS 5540 WITH SCORE 5548.247
AT ITER 232 NEW BEST:: SOT 13233 SOS 8228 HAS SOPS 8033 HAS SOUS 5696 HAS SOUPS 5501 WITH SCORE 5509.228
AT ITER 237 NEW BEST:: SOT 13203 SOS 8180 HAS SOPS 7985 HAS SOUS 5647 HAS SOUPS 5452 WITH SCORE 5460.18
AT ITER 238 NEW BEST:: SOT 13195 SOS 8172 HAS SOPS 7977 HAS SOUS 5639 HAS SOUPS 5444 WITH SCORE 5452.172
AT ITER 242 NEW BEST:: SOT 13181 SOS 8158 HAS SOPS 7963 HAS SOUS 5611 HAS SOUPS 5416 WITH SCORE 5424.158
AT ITER 245 NEW BEST:: SOT 13182 SOS 8158 HAS SOPS 7963 HAS SOUS 5610 HAS SOUPS 5415 WITH SCORE 5423.158
AT ITER 247 NEW BEST:: SOT 13185 SOS 8161 HAS SOPS 7966 HAS SOUS 5607 HAS SOUPS 5412 WITH SCORE 5420.161
AT ITER 251 NEW BEST:: SOT 13168 SOS 8127 HAS SOPS 7932 HAS SOUS 5528 HAS SOUPS 5333 WITH SCORE 5341.127
AT ITER 260 NEW BEST:: SOT 13156 SOS 8115 HAS SOPS 7920 HAS SOUS 5516 HAS SOUPS 5321 WITH SCORE 5329.115
AT ITER 261 NEW BEST:: SOT 13180 SOS 8004 HAS SOPS 7776 HAS SOUS 5435 HAS SOUPS 5207 WITH SCORE 5215.004
AT ITER 276 NEW BEST:: SOT 13180 SOS 8005 HAS SOPS 7777 HAS SOUS 5415 HAS SOUPS 5187 WITH SCORE 5195.005
AT ITER 279 NEW BEST:: SOT 13179 SOS 8003 HAS SOPS 7771 HAS SOUS 5416 HAS SOUPS 5184 WITH SCORE 5192.003
AT ITER 280 NEW BEST:: SOT 13179 SOS 7974 HAS SOPS 7742 HAS SOUS 5416 HAS SOUPS 5184 WITH SCORE 5191.974
AT ITER 283 NEW BEST:: SOT 13167 SOS 7956 HAS SOPS 7724 HAS SOUS 5386 HAS SOUPS 5154 WITH SCORE 5161.956
AT ITER 284 NEW BEST:: SOT 13197 SOS 8011 HAS SOPS 7757 HAS SOUS 5406 HAS SOUPS 5152 WITH SCORE 5160.011
AT ITER 285 NEW BEST:: SOT 13196 SOS 8009 HAS SOPS 7755 HAS SOUS 5403 HAS SOUPS 5149 WITH SCORE 5157.009
AT ITER 286 NEW BEST:: SOT 13164 SOS 7988 HAS SOPS 7734 HAS SOUS 5385 HAS SOUPS 5131 WITH SCORE 5138.988
AT ITER 290 NEW BEST:: SOT 13155 SOS 7981 HAS SOPS 7727 HAS SOUS 5382 HAS SOUPS 5128 WITH SCORE 5135.981
AT ITER 300 NEW BEST:: SOT 13151 SOS 7977 HAS SOPS 7727 HAS SOUS 5378 HAS SOUPS 5128 WITH SCORE 5135.977
AT ITER 313 NEW BEST:: SOT 13111 SOS 7956 HAS SOPS 7706 HAS SOUS 5376 HAS SOUPS 5126 WITH SCORE 5133.956
AT ITER 314 NEW BEST:: SOT 13097 SOS 7855 HAS SOPS 7631 HAS SOUS 5293 HAS SOUPS 5069 WITH SCORE 5076.855
AT ITER 339 NEW BEST:: SOT 13091 SOS 7849 HAS SOPS 7625 HAS SOUS 5287 HAS SOUPS 5063 WITH SCORE 5070.849
AT ITER 345 NEW BEST:: SOT 13091 SOS 7799 HAS SOPS 7586 HAS SOUS 5276 HAS SOUPS 5063 WITH SCORE 5070.799
AT ITER 347 NEW BEST:: SOT 13183 SOS 7805 HAS SOPS 7592 HAS SOUS 5241 HAS SOUPS 5028 WITH SCORE 5035.805
AT ITER 353 NEW BEST:: SOT 13191 SOS 7813 HAS SOPS 7600 HAS SOUS 5239 HAS SOUPS 5026 WITH SCORE 5033.813
AT ITER 354 NEW BEST:: SOT 13167 SOS 7789 HAS SOPS 7576 HAS SOUS 5187 HAS SOUPS 4974 WITH SCORE 4981.789
AT ITER 357 NEW BEST:: SOT 13201 SOS 7794 HAS SOPS 7584 HAS SOUS 5160 HAS SOUPS 4950 WITH SCORE 4957.794
AT ITER 361 NEW BEST:: SOT 13203 SOS 7796 HAS SOPS 7586 HAS SOUS 5156 HAS SOUPS 4946 WITH SCORE 4953.796
AT ITER 382 NEW BEST:: SOT 13203 SOS 7762 HAS SOPS 7552 HAS SOUS 5156 HAS SOUPS 4946 WITH SCORE 4953.762
AT ITER 385 NEW BEST:: SOT 13199 SOS 7758 HAS SOPS 7544 HAS SOUS 5148 HAS SOUPS 4934 WITH SCORE 4941.758
AT ITER 400 NEW BEST:: SOT 13197 SOS 7756 HAS SOPS 7542 HAS SOUS 5143 HAS SOUPS 4929 WITH SCORE 4936.756
AT ITER 401 NEW BEST:: SOT 13161 SOS 7787 HAS SOPS 7573 HAS SOUS 5053 HAS SOUPS 4839 WITH SCORE 4846.787
AT ITER 405 NEW BEST:: SOT 13150 SOS 7757 HAS SOPS 7543 HAS SOUS 5020 HAS SOUPS 4806 WITH SCORE 4813.757
AT ITER 409 NEW BEST:: SOT 13137 SOS 7782 HAS SOPS 7568 HAS SOUS 4987 HAS SOUPS 4773 WITH SCORE 4780.782
AT ITER 410 NEW BEST:: SOT 13137 SOS 7754 HAS SOPS 7540 HAS SOUS 4985 HAS SOUPS 4771 WITH SCORE 4778.754
AT ITER 415 NEW BEST:: SOT 13111 SOS 7700 HAS SOPS 7490 HAS SOUS 4968 HAS SOUPS 4758 WITH SCORE 4765.7
AT ITER 420 NEW BEST:: SOT 13111 SOS 7691 HAS SOPS 7490 HAS SOUS 4959 HAS SOUPS 4758 WITH SCORE 4765.691
AT ITER 434 NEW BEST:: SOT 13110 SOS 7690 HAS SOPS 7489 HAS SOUS 4957 HAS SOUPS 4756 WITH SCORE 4763.69
AT ITER 438 NEW BEST:: SOT 13108 SOS 7708 HAS SOPS 7500 HAS SOUS 4958 HAS SOUPS 4750 WITH SCORE 4757.708
AT ITER 445 NEW BEST:: SOT 13108 SOS 7695 HAS SOPS 7487 HAS SOUS 4957 HAS SOUPS 4749 WITH SCORE 4756.695
AT ITER 448 NEW BEST:: SOT 13089 SOS 7644 HAS SOPS 7436 HAS SOUS 4900 HAS SOUPS 4692 WITH SCORE 4699.644
AT ITER 460 NEW BEST:: SOT 13084 SOS 7663 HAS SOPS 7445 HAS SOUS 4895 HAS SOUPS 4677 WITH SCORE 4684.663
AT ITER 469 NEW BEST:: SOT 13057 SOS 7636 HAS SOPS 7418 HAS SOUS 4873 HAS SOUPS 4655 WITH SCORE 4662.636
AT ITER 477 NEW BEST:: SOT 13057 SOS 7633 HAS SOPS 7415 HAS SOUS 4873 HAS SOUPS 4655 WITH SCORE 4662.633
AT ITER 483 NEW BEST:: SOT 13062 SOS 7607 HAS SOPS 7389 HAS SOUS 4762 HAS SOUPS 4544 WITH SCORE 4551.607
AT ITER 492 NEW BEST:: SOT 13057 SOS 7576 HAS SOPS 7359 HAS SOUS 4746 HAS SOUPS 4529 WITH SCORE 4536.576
AT ITER 495 NEW BEST:: SOT 13056 SOS 7573 HAS SOPS 7356 HAS SOUS 4743 HAS SOUPS 4526 WITH SCORE 4533.573
AT ITER 499 NEW BEST:: SOT 13056 SOS 7572 HAS SOPS 7355 HAS SOUS 4743 HAS SOUPS 4526 WITH SCORE 4533.572
AT ITER 512 NEW BEST:: SOT 13057 SOS 7561 HAS SOPS 7344 HAS SOUS 4732 HAS SOUPS 4515 WITH SCORE 4522.561
AT ITER 513 NEW BEST:: SOT 13023 SOS 7527 HAS SOPS 7310 HAS SOUS 4698 HAS SOUPS 4481 WITH SCORE 4488.527
AT ITER 533 NEW BEST:: SOT 13017 SOS 7516 HAS SOPS 7305 HAS SOUS 4692 HAS SOUPS 4481 WITH SCORE 4488.516
AT ITER 574 NEW BEST:: SOT 13023 SOS 7519 HAS SOPS 7308 HAS SOUS 4689 HAS SOUPS 4478 WITH SCORE 4485.519
AT ITER 576 NEW BEST:: SOT 13021 SOS 7507 HAS SOPS 7296 HAS SOUS 4683 HAS SOUPS 4472 WITH SCORE 4479.507
AT ITER 579 NEW BEST:: SOT 13020 SOS 7502 HAS SOPS 7290 HAS SOUS 4681 HAS SOUPS 4469 WITH SCORE 4476.502
AT ITER 583 NEW BEST:: SOT 12998 SOS 7486 HAS SOPS 7274 HAS SOUS 4681 HAS SOUPS 4469 WITH SCORE 4476.486
AT ITER 607 NEW BEST:: SOT 12988 SOS 7472 HAS SOPS 7260 HAS SOUS 4663 HAS SOUPS 4451 WITH SCORE 4458.472
AT ITER 619 NEW BEST:: SOT 12987 SOS 7459 HAS SOPS 7259 HAS SOUS 4645 HAS SOUPS 4445 WITH SCORE 4452.459
AT ITER 634 NEW BEST:: SOT 13001 SOS 7456 HAS SOPS 7256 HAS SOUS 4588 HAS SOUPS 4388 WITH SCORE 4395.456
AT ITER 659 NEW BEST:: SOT 13027 SOS 7434 HAS SOPS 7234 HAS SOUS 4571 HAS SOUPS 4371 WITH SCORE 4378.434
AT ITER 661 NEW BEST:: SOT 13009 SOS 7416 HAS SOPS 7216 HAS SOUS 4541 HAS SOUPS 4341 WITH SCORE 4348.416
AT ITER 666 NEW BEST:: SOT 13004 SOS 7431 HAS SOPS 7231 HAS SOUS 4536 HAS SOUPS 4336 WITH SCORE 4343.431
AT ITER 668 NEW BEST:: SOT 12962 SOS 7389 HAS SOPS 7189 HAS SOUS 4453 HAS SOUPS 4253 WITH SCORE 4260.389
AT ITER 681 NEW BEST:: SOT 12764 SOS 7259 HAS SOPS 7059 HAS SOUS 4448 HAS SOUPS 4248 WITH SCORE 4255.259
AT ITER 684 NEW BEST:: SOT 12850 SOS 7305 HAS SOPS 7105 HAS SOUS 4355 HAS SOUPS 4155 WITH SCORE 4162.305
AT ITER 692 NEW BEST:: SOT 12851 SOS 7296 HAS SOPS 7096 HAS SOUS 4346 HAS SOUPS 4146 WITH SCORE 4153.296
AT ITER 698 NEW BEST:: SOT 12855 SOS 7298 HAS SOPS 7098 HAS SOUS 4344 HAS SOUPS 4144 WITH SCORE 4151.298
AT ITER 701 NEW BEST:: SOT 12847 SOS 7290 HAS SOPS 7090 HAS SOUS 4336 HAS SOUPS 4136 WITH SCORE 4143.29
AT ITER 704 NEW BEST:: SOT 12847 SOS 7283 HAS SOPS 7085 HAS SOUS 4334 HAS SOUPS 4136 WITH SCORE 4143.283
AT ITER 706 NEW BEST:: SOT 12827 SOS 7263 HAS SOPS 7065 HAS SOUS 4294 HAS SOUPS 4096 WITH SCORE 4103.263
AT ITER 707 NEW BEST:: SOT 12798 SOS 7337 HAS SOPS 7165 HAS SOUS 4265 HAS SOUPS 4093 WITH SCORE 4100.337
AT ITER 719 NEW BEST:: SOT 12750 SOS 7305 HAS SOPS 7133 HAS SOUS 4261 HAS SOUPS 4089 WITH SCORE 4096.305
AT ITER 721 NEW BEST:: SOT 12688 SOS 7272 HAS SOPS 7100 HAS SOUS 4249 HAS SOUPS 4077 WITH SCORE 4084.272
AT ITER 723 NEW BEST:: SOT 12666 SOS 7250 HAS SOPS 7078 HAS SOUS 4207 HAS SOUPS 4035 WITH SCORE 4042.25
AT ITER 724 NEW BEST:: SOT 12660 SOS 7244 HAS SOPS 7072 HAS SOUS 4195 HAS SOUPS 4023 WITH SCORE 4030.244
AT ITER 731 NEW BEST:: SOT 12654 SOS 7238 HAS SOPS 7066 HAS SOUS 4185 HAS SOUPS 4013 WITH SCORE 4020.238
AT ITER 761 NEW BEST:: SOT 12651 SOS 7259 HAS SOPS 7087 HAS SOUS 4176 HAS SOUPS 4004 WITH SCORE 4011.259
AT ITER 763 NEW BEST:: SOT 12631 SOS 7239 HAS SOPS 7067 HAS SOUS 4136 HAS SOUPS 3964 WITH SCORE 3971.239
AT ITER 772 NEW BEST:: SOT 12639 SOS 7214 HAS SOPS 7035 HAS SOUS 4143 HAS SOUPS 3964 WITH SCORE 3971.214
AT ITER 784 NEW BEST:: SOT 12615 SOS 7190 HAS SOPS 7011 HAS SOUS 4092 HAS SOUPS 3913 WITH SCORE 3920.19
AT ITER 787 NEW BEST:: SOT 12604 SOS 7179 HAS SOPS 7000 HAS SOUS 4059 HAS SOUPS 3880 WITH SCORE 3887.179
AT ITER 800 NEW BEST:: SOT 12604 SOS 7095 HAS SOPS 6916 HAS SOUS 4059 HAS SOUPS 3880 WITH SCORE 3887.095
AT ITER 804 NEW BEST:: SOT 12605 SOS 7096 HAS SOPS 6917 HAS SOUS 4055 HAS SOUPS 3876 WITH SCORE 3883.096
AT ITER 811 NEW BEST:: SOT 12583 SOS 7074 HAS SOPS 6895 HAS SOUS 4045 HAS SOUPS 3866 WITH SCORE 3873.074
AT ITER 823 NEW BEST:: SOT 12583 SOS 7060 HAS SOPS 6881 HAS SOUS 4045 HAS SOUPS 3866 WITH SCORE 3873.06
AT ITER 831 NEW BEST:: SOT 12568 SOS 7045 HAS SOPS 6866 HAS SOUS 4017 HAS SOUPS 3838 WITH SCORE 3845.045
AT ITER 840 NEW BEST:: SOT 12563 SOS 7044 HAS SOPS 6865 HAS SOUS 4007 HAS SOUPS 3828 WITH SCORE 3835.044
AT ITER 862 NEW BEST:: SOT 12542 SOS 7029 HAS SOPS 6850 HAS SOUS 4001 HAS SOUPS 3822 WITH SCORE 3829.029
AT ITER 882 NEW BEST:: SOT 12524 SOS 7047 HAS SOPS 6881 HAS SOUS 3987 HAS SOUPS 3821 WITH SCORE 3828.047
AT ITER 903 NEW BEST:: SOT 12520 SOS 6998 HAS SOPS 6832 HAS SOUS 3977 HAS SOUPS 3811 WITH SCORE 3817.998
AT ITER 906 NEW BEST:: SOT 12516 SOS 6994 HAS SOPS 6828 HAS SOUS 3965 HAS SOUPS 3799 WITH SCORE 3805.994
AT ITER 918 NEW BEST:: SOT 12521 SOS 6995 HAS SOPS 6829 HAS SOUS 3955 HAS SOUPS 3789 WITH SCORE 3795.995
AT ITER 927 NEW BEST:: SOT 12533 SOS 6957 HAS SOPS 6781 HAS SOUS 3965 HAS SOUPS 3789 WITH SCORE 3795.957
AT ITER 928 NEW BEST:: SOT 12500 SOS 6936 HAS SOPS 6760 HAS SOUS 3947 HAS SOUPS 3771 WITH SCORE 3777.936
AT ITER 955 NEW BEST:: SOT 12497 SOS 6933 HAS SOPS 6757 HAS SOUS 3941 HAS SOUPS 3765 WITH SCORE 3771.933
AT ITER 966 NEW BEST:: SOT 12489 SOS 7064 HAS SOPS 6863 HAS SOUS 3956 HAS SOUPS 3755 WITH SCORE 3762.064
AT ITER 968 NEW BEST:: SOT 12470 SOS 7045 HAS SOPS 6844 HAS SOUS 3905 HAS SOUPS 3704 WITH SCORE 3711.045
AT ITER 994 NEW BEST:: SOT 12464 SOS 7039 HAS SOPS 6838 HAS SOUS 3893 HAS SOUPS 3692 WITH SCORE 3699.039
AT ITER 1008 NEW BEST:: SOT 12458 SOS 7126 HAS SOPS 6899 HAS SOUS 3901 HAS SOUPS 3674 WITH SCORE 3681.126
AT ITER 1016 NEW BEST:: SOT 12458 SOS 7119 HAS SOPS 6892 HAS SOUS 3901 HAS SOUPS 3674 WITH SCORE 3681.119
AT ITER 1034 NEW BEST:: SOT 12458 SOS 7118 HAS SOPS 6892 HAS SOUS 3900 HAS SOUPS 3674 WITH SCORE 3681.118
AT ITER 1041 NEW BEST:: SOT 12458 SOS 7118 HAS SOPS 6892 HAS SOUS 3899 HAS SOUPS 3673 WITH SCORE 3680.118
AT ITER 1064 NEW BEST:: SOT 12455 SOS 7112 HAS SOPS 6886 HAS SOUS 3890 HAS SOUPS 3664 WITH SCORE 3671.112
AT ITER 1084 NEW BEST:: SOT 12458 SOS 7103 HAS SOPS 6874 HAS SOUS 3893 HAS SOUPS 3664 WITH SCORE 3671.103
AT ITER 1103 NEW BEST:: SOT 12387 SOS 7053 HAS SOPS 6824 HAS SOUS 3856 HAS SOUPS 3627 WITH SCORE 3634.053
AT ITER 1124 NEW BEST:: SOT 12383 SOS 7049 HAS SOPS 6820 HAS SOUS 3848 HAS SOUPS 3619 WITH SCORE 3626.049
AT ITER 1128 NEW BEST:: SOT 12382 SOS 7043 HAS SOPS 6814 HAS SOUS 3845 HAS SOUPS 3616 WITH SCORE 3623.043
AT ITER 1131 NEW BEST:: SOT 12346 SOS 7013 HAS SOPS 6784 HAS SOUS 3773 HAS SOUPS 3544 WITH SCORE 3551.013
AT ITER 1135 NEW BEST:: SOT 12316 SOS 7151 HAS SOPS 6937 HAS SOUS 3748 HAS SOUPS 3534 WITH SCORE 3541.151
AT ITER 1191 NEW BEST:: SOT 12326 SOS 7131 HAS SOPS 6907 HAS SOUS 3758 HAS SOUPS 3534 WITH SCORE 3541.131
AT ITER 1206 NEW BEST:: SOT 12326 SOS 7118 HAS SOPS 6907 HAS SOUS 3745 HAS SOUPS 3534 WITH SCORE 3541.118
AT ITER 1207 NEW BEST:: SOT 12328 SOS 7114 HAS SOPS 6901 HAS SOUS 3747 HAS SOUPS 3534 WITH SCORE 3541.114
AT ITER 1225 NEW BEST:: SOT 12327 SOS 7113 HAS SOPS 6900 HAS SOUS 3745 HAS SOUPS 3532 WITH SCORE 3539.113
AT ITER 1227 NEW BEST:: SOT 12311 SOS 7097 HAS SOPS 6884 HAS SOUS 3713 HAS SOUPS 3500 WITH SCORE 3507.097
AT ITER 1236 NEW BEST:: SOT 12310 SOS 7091 HAS SOPS 6878 HAS SOUS 3710 HAS SOUPS 3497 WITH SCORE 3504.091
AT ITER 1266 NEW BEST:: SOT 12318 SOS 7095 HAS SOPS 6882 HAS SOUS 3706 HAS SOUPS 3493 WITH SCORE 3500.095
AT ITER 1286 NEW BEST:: SOT 12301 SOS 7122 HAS SOPS 6920 HAS SOUS 3688 HAS SOUPS 3486 WITH SCORE 3493.122
AT ITER 1301 NEW BEST:: SOT 12307 SOS 7125 HAS SOPS 6923 HAS SOUS 3685 HAS SOUPS 3483 WITH SCORE 3490.125
AT ITER 1314 NEW BEST:: SOT 12316 SOS 7127 HAS SOPS 6925 HAS SOUS 3668 HAS SOUPS 3466 WITH SCORE 3473.127
AT ITER 1331 NEW BEST:: SOT 12318 SOS 7129 HAS SOPS 6927 HAS SOUS 3658 HAS SOUPS 3456 WITH SCORE 3463.129
AT ITER 1356 NEW BEST:: SOT 12319 SOS 7129 HAS SOPS 6927 HAS SOUS 3655 HAS SOUPS 3453 WITH SCORE 3460.129
AT ITER 1410 NEW BEST:: SOT 12317 SOS 7127 HAS SOPS 6925 HAS SOUS 3651 HAS SOUPS 3449 WITH SCORE 3456.127
AT ITER 1414 NEW BEST:: SOT 12295 SOS 7124 HAS SOPS 6923 HAS SOUS 3642 HAS SOUPS 3441 WITH SCORE 3448.124
AT ITER 1416 NEW BEST:: SOT 12277 SOS 7106 HAS SOPS 6905 HAS SOUS 3620 HAS SOUPS 3419 WITH SCORE 3426.106
AT ITER 1433 NEW BEST:: SOT 12279 SOS 7108 HAS SOPS 6907 HAS SOUS 3614 HAS SOUPS 3413 WITH SCORE 3420.108
AT ITER 1500 NEW BEST:: SOT 12295 SOS 7124 HAS SOPS 6923 HAS SOUS 3612 HAS SOUPS 3411 WITH SCORE 3418.124
AT ITER 1538 NEW BEST:: SOT 12273 SOS 7102 HAS SOPS 6901 HAS SOUS 3568 HAS SOUPS 3367 WITH SCORE 3374.102
AT ITER 1542 NEW BEST:: SOT 12273 SOS 7094 HAS SOPS 6893 HAS SOUS 3568 HAS SOUPS 3367 WITH SCORE 3374.094
AT ITER 1545 NEW BEST:: SOT 12261 SOS 7082 HAS SOPS 6881 HAS SOUS 3544 HAS SOUPS 3343 WITH SCORE 3350.082
AT ITER 1595 NEW BEST:: SOT 12277 SOS 7040 HAS SOPS 6823 HAS SOUS 3560 HAS SOUPS 3343 WITH SCORE 3350.04
AT ITER 1627 NEW BEST:: SOT 12287 SOS 7044 HAS SOPS 6827 HAS SOUS 3553 HAS SOUPS 3336 WITH SCORE 3343.044
AT ITER 1632 NEW BEST:: SOT 12280 SOS 7002 HAS SOPS 6785 HAS SOUS 3532 HAS SOUPS 3315 WITH SCORE 3322.002
AT ITER 1645 NEW BEST:: SOT 12274 SOS 6996 HAS SOPS 6779 HAS SOUS 3520 HAS SOUPS 3303 WITH SCORE 3309.996
AT ITER 1696 NEW BEST:: SOT 12274 SOS 6994 HAS SOPS 6777 HAS SOUS 3520 HAS SOUPS 3303 WITH SCORE 3309.994
AT ITER 1733 NEW BEST:: SOT 12271 SOS 7000 HAS SOPS 6783 HAS SOUS 3511 HAS SOUPS 3294 WITH SCORE 3301.0
AT ITER 1766 NEW BEST:: SOT 12262 SOS 6975 HAS SOPS 6758 HAS SOUS 3490 HAS SOUPS 3273 WITH SCORE 3279.975
AT ITER 1769 NEW BEST:: SOT 12256 SOS 6969 HAS SOPS 6752 HAS SOUS 3478 HAS SOUPS 3261 WITH SCORE 3267.969
AT ITER 1818 NEW BEST:: SOT 12251 SOS 6964 HAS SOPS 6747 HAS SOUS 3462 HAS SOUPS 3245 WITH SCORE 3251.964
AT ITER 1836 NEW BEST:: SOT 12247 SOS 6960 HAS SOPS 6743 HAS SOUS 3454 HAS SOUPS 3237 WITH SCORE 3243.96
AT ITER 1887 NEW BEST:: SOT 12244 SOS 6957 HAS SOPS 6740 HAS SOUS 3451 HAS SOUPS 3234 WITH SCORE 3240.957
AT ITER 1913 NEW BEST:: SOT 12234 SOS 6947 HAS SOPS 6730 HAS SOUS 3431 HAS SOUPS 3214 WITH SCORE 3220.947
AT ITER 1984 NEW BEST:: SOT 12234 SOS 6945 HAS SOPS 6728 HAS SOUS 3431 HAS SOUPS 3214 WITH SCORE 3220.945
AT ITER 1997 NEW BEST:: SOT 12232 SOS 6943 HAS SOPS 6726 HAS SOUS 3428 HAS SOUPS 3211 WITH SCORE 3217.943
AT ITER 2044 NEW BEST:: SOT 12232 SOS 6941 HAS SOPS 6726 HAS SOUS 3426 HAS SOUPS 3211 WITH SCORE 3217.941
AT ITER 2050 NEW BEST:: SOT 12244 SOS 6947 HAS SOPS 6732 HAS SOUS 3420 HAS SOUPS 3205 WITH SCORE 3211.947
AT ITER 2056 NEW BEST:: SOT 12241 SOS 6944 HAS SOPS 6729 HAS SOUS 3414 HAS SOUPS 3199 WITH SCORE 3205.944
AT ITER 2075 NEW BEST:: SOT 12237 SOS 6945 HAS SOPS 6730 HAS SOUS 3406 HAS SOUPS 3191 WITH SCORE 3197.945
AT ITER 2101 NEW BEST:: SOT 12120 SOS 6978 HAS SOPS 6752 HAS SOUS 3410 HAS SOUPS 3184 WITH SCORE 3190.978
AT ITER 2117 NEW BEST:: SOT 12120 SOS 6976 HAS SOPS 6750 HAS SOUS 3404 HAS SOUPS 3178 WITH SCORE 3184.976
AT ITER 2181 NEW BEST:: SOT 12126 SOS 6979 HAS SOPS 6753 HAS SOUS 3401 HAS SOUPS 3175 WITH SCORE 3181.979
AT ITER 2209 NEW BEST:: SOT 12122 SOS 6975 HAS SOPS 6749 HAS SOUS 3393 HAS SOUPS 3167 WITH SCORE 3173.975
AT ITER 2210 NEW BEST:: SOT 12131 SOS 6978 HAS SOPS 6752 HAS SOUS 3381 HAS SOUPS 3155 WITH SCORE 3161.978
AT ITER 2215 NEW BEST:: SOT 12133 SOS 6979 HAS SOPS 6753 HAS SOUS 3380 HAS SOUPS 3154 WITH SCORE 3160.979
AT ITER 2216 NEW BEST:: SOT 12130 SOS 6976 HAS SOPS 6750 HAS SOUS 3374 HAS SOUPS 3148 WITH SCORE 3154.976
AT ITER 2262 NEW BEST:: SOT 12127 SOS 7008 HAS SOPS 6772 HAS SOUS 3375 HAS SOUPS 3139 WITH SCORE 3146.008
AT ITER 2285 NEW BEST:: SOT 12141 SOS 7008 HAS SOPS 6771 HAS SOUS 3372 HAS SOUPS 3135 WITH SCORE 3142.008
AT ITER 2310 NEW BEST:: SOT 12147 SOS 7011 HAS SOPS 6774 HAS SOUS 3369 HAS SOUPS 3132 WITH SCORE 3139.011
AT ITER 2312 NEW BEST:: SOT 12143 SOS 7007 HAS SOPS 6770 HAS SOUS 3365 HAS SOUPS 3128 WITH SCORE 3135.007
AT ITER 2330 NEW BEST:: SOT 12139 SOS 7003 HAS SOPS 6766 HAS SOUS 3359 HAS SOUPS 3122 WITH SCORE 3129.003
AT ITER 2348 NEW BEST:: SOT 12132 SOS 6994 HAS SOPS 6757 HAS SOUS 3337 HAS SOUPS 3100 WITH SCORE 3106.994
AT ITER 2354 NEW BEST:: SOT 12128 SOS 6990 HAS SOPS 6753 HAS SOUS 3329 HAS SOUPS 3092 WITH SCORE 3098.99
AT ITER 2360 NEW BEST:: SOT 12128 SOS 6989 HAS SOPS 6753 HAS SOUS 3328 HAS SOUPS 3092 WITH SCORE 3098.989
AT ITER 2393 NEW BEST:: SOT 12124 SOS 6985 HAS SOPS 6749 HAS SOUS 3320 HAS SOUPS 3084 WITH SCORE 3090.985
AT ITER 2401 NEW BEST:: SOT 12142 SOS 6921 HAS SOPS 6685 HAS SOUS 3296 HAS SOUPS 3060 WITH SCORE 3066.921
AT ITER 2558 NEW BEST:: SOT 12139 SOS 6918 HAS SOPS 6682 HAS SOUS 3290 HAS SOUPS 3054 WITH SCORE 3060.918
AT ITER 2564 NEW BEST:: SOT 12138 SOS 6917 HAS SOPS 6676 HAS SOUS 3292 HAS SOUPS 3051 WITH SCORE 3057.917
AT ITER 2565 NEW BEST:: SOT 12132 SOS 6911 HAS SOPS 6670 HAS SOUS 3286 HAS SOUPS 3045 WITH SCORE 3051.911
AT ITER 2642 NEW BEST:: SOT 12132 SOS 6911 HAS SOPS 6670 HAS SOUS 3283 HAS SOUPS 3042 WITH SCORE 3048.911
AT ITER 2680 NEW BEST:: SOT 12129 SOS 6908 HAS SOPS 6667 HAS SOUS 3277 HAS SOUPS 3036 WITH SCORE 3042.908
AT ITER 2689 NEW BEST:: SOT 12129 SOS 6904 HAS SOPS 6662 HAS SOUS 3275 HAS SOUPS 3033 WITH SCORE 3039.904
AT ITER 2720 NEW BEST:: SOT 12121 SOS 6896 HAS SOPS 6654 HAS SOUS 3267 HAS SOUPS 3025 WITH SCORE 3031.896
AT ITER 2796 NEW BEST:: SOT 12120 SOS 6893 HAS SOPS 6648 HAS SOUS 3267 HAS SOUPS 3022 WITH SCORE 3028.893
AT ITER 2871 NEW BEST:: SOT 12115 SOS 6890 HAS SOPS 6645 HAS SOUS 3267 HAS SOUPS 3022 WITH SCORE 3028.89
AT ITER 2931 NEW BEST:: SOT 12134 SOS 6885 HAS SOPS 6637 HAS SOUS 3267 HAS SOUPS 3019 WITH SCORE 3025.885
AT ITER 3027 NEW BEST:: SOT 12129 SOS 6880 HAS SOPS 6632 HAS SOUS 3257 HAS SOUPS 3009 WITH SCORE 3015.88
AT ITER 3077 NEW BEST:: SOT 12127 SOS 6888 HAS SOPS 6636 HAS SOUS 3255 HAS SOUPS 3003 WITH SCORE 3009.888
AT ITER 3122 NEW BEST:: SOT 12138 SOS 6873 HAS SOPS 6616 HAS SOUS 3255 HAS SOUPS 2998 WITH SCORE 3004.873
AT ITER 3141 NEW BEST:: SOT 12135 SOS 6870 HAS SOPS 6613 HAS SOUS 3248 HAS SOUPS 2991 WITH SCORE 2997.87
AT ITER 3216 NEW BEST:: SOT 12139 SOS 6874 HAS SOPS 6617 HAS SOUS 3247 HAS SOUPS 2990 WITH SCORE 2996.874
AT ITER 3260 NEW BEST:: SOT 12137 SOS 6872 HAS SOPS 6615 HAS SOUS 3245 HAS SOUPS 2988 WITH SCORE 2994.872
AT ITER 3362 NEW BEST:: SOT 12119 SOS 6855 HAS SOPS 6598 HAS SOUS 3237 HAS SOUPS 2980 WITH SCORE 2986.855
AT ITER 3495 NEW BEST:: SOT 12117 SOS 6851 HAS SOPS 6594 HAS SOUS 3231 HAS SOUPS 2974 WITH SCORE 2980.851
AT ITER 3514 NEW BEST:: SOT 12122 SOS 6822 HAS SOPS 6556 HAS SOUS 3230 HAS SOUPS 2964 WITH SCORE 2970.822
AT ITER 3520 NEW BEST:: SOT 12122 SOS 6821 HAS SOPS 6555 HAS SOUS 3225 HAS SOUPS 2959 WITH SCORE 2965.821
AT ITER 3539 NEW BEST:: SOT 12125 SOS 6821 HAS SOPS 6555 HAS SOUS 3216 HAS SOUPS 2950 WITH SCORE 2956.821
AT ITER 3541 NEW BEST:: SOT 12123 SOS 6819 HAS SOPS 6553 HAS SOUS 3212 HAS SOUPS 2946 WITH SCORE 2952.819
AT ITER 3542 NEW BEST:: SOT 12120 SOS 6816 HAS SOPS 6550 HAS SOUS 3207 HAS SOUPS 2941 WITH SCORE 2947.816
AT ITER 3570 NEW BEST:: SOT 12119 SOS 6805 HAS SOPS 6544 HAS SOUS 3199 HAS SOUPS 2938 WITH SCORE 2944.805
AT ITER 3635 NEW BEST:: SOT 12115 SOS 6802 HAS SOPS 6541 HAS SOUS 3196 HAS SOUPS 2935 WITH SCORE 2941.802
AT ITER 3870 NEW BEST:: SOT 12115 SOS 6798 HAS SOPS 6536 HAS SOUS 3195 HAS SOUPS 2933 WITH SCORE 2939.798
AT ITER 3916 NEW BEST:: SOT 12113 SOS 6802 HAS SOPS 6540 HAS SOUS 3189 HAS SOUPS 2927 WITH SCORE 2933.802
AT ITER 3940 NEW BEST:: SOT 12111 SOS 6800 HAS SOPS 6538 HAS SOUS 3185 HAS SOUPS 2923 WITH SCORE 2929.8
AT ITER 3957 NEW BEST:: SOT 12113 SOS 6798 HAS SOPS 6536 HAS SOUS 3181 HAS SOUPS 2919 WITH SCORE 2925.798
AT ITER 3985 NEW BEST:: SOT 12112 SOS 6792 HAS SOPS 6530 HAS SOUS 3178 HAS SOUPS 2916 WITH SCORE 2922.792
AT ITER 3997 NEW BEST:: SOT 12115 SOS 6792 HAS SOPS 6530 HAS SOUS 3175 HAS SOUPS 2913 WITH SCORE 2919.792
AT ITER 4117 NEW BEST:: SOT 12116 SOS 6791 HAS SOPS 6529 HAS SOUS 3167 HAS SOUPS 2905 WITH SCORE 2911.791
AT ITER 4140 NEW BEST:: SOT 12118 SOS 6792 HAS SOPS 6530 HAS SOUS 3166 HAS SOUPS 2904 WITH SCORE 2910.792
AT ITER 4145 NEW BEST:: SOT 12133 SOS 6687 HAS SOPS 6404 HAS SOUS 3178 HAS SOUPS 2895 WITH SCORE 2901.687
AT ITER 4312 NEW BEST:: SOT 12131 SOS 6685 HAS SOPS 6402 HAS SOUS 3174 HAS SOUPS 2891 WITH SCORE 2897.685
AT ITER 4402 NEW BEST:: SOT 12127 SOS 6681 HAS SOPS 6398 HAS SOUS 3166 HAS SOUPS 2883 WITH SCORE 2889.681
AT ITER 4479 NEW BEST:: SOT 12125 SOS 6679 HAS SOPS 6396 HAS SOUS 3162 HAS SOUPS 2879 WITH SCORE 2885.679
AT ITER 4855 NEW BEST:: SOT 12122 SOS 6677 HAS SOPS 6394 HAS SOUS 3158 HAS SOUPS 2875 WITH SCORE 2881.677
AT ITER 5288 NEW BEST:: SOT 12118 SOS 6673 HAS SOPS 6390 HAS SOUS 3150 HAS SOUPS 2867 WITH SCORE 2873.673
AT ITER 5654 NEW BEST:: SOT 12118 SOS 6669 HAS SOPS 6386 HAS SOUS 3149 HAS SOUPS 2866 WITH SCORE 2872.669
AT ITER 5994 NEW BEST:: SOT 12118 SOS 6669 HAS SOPS 6386 HAS SOUS 3145 HAS SOUPS 2862 WITH SCORE 2868.669
AT ITER 6043 NEW BEST:: SOT 12118 SOS 6668 HAS SOPS 6385 HAS SOUS 3144 HAS SOUPS 2861 WITH SCORE 2867.668
AT ITER 6125 NEW BEST:: SOT 12122 SOS 6658 HAS SOPS 6372 HAS SOUS 3144 HAS SOUPS 2858 WITH SCORE 2864.658
AT ITER 6209 NEW BEST:: SOT 12116 SOS 6666 HAS SOPS 6380 HAS SOUS 3143 HAS SOUPS 2857 WITH SCORE 2863.666
AT ITER 6452 NEW BEST:: SOT 12116 SOS 6662 HAS SOPS 6380 HAS SOUS 3139 HAS SOUPS 2857 WITH SCORE 2863.662
AT ITER 6675 NEW BEST:: SOT 12107 SOS 6656 HAS SOPS 6374 HAS SOUS 3130 HAS SOUPS 2848 WITH SCORE 2854.656
AT ITER 6852 NEW BEST:: SOT 12101 SOS 6650 HAS SOPS 6368 HAS SOUS 3118 HAS SOUPS 2836 WITH SCORE 2842.65
AT ITER 7273 NEW BEST:: SOT 12100 SOS 6644 HAS SOPS 6362 HAS SOUS 3115 HAS SOUPS 2833 WITH SCORE 2839.644
AT ITER 7369 NEW BEST:: SOT 12088 SOS 6635 HAS SOPS 6353 HAS SOUS 3115 HAS SOUPS 2833 WITH SCORE 2839.635
AT ITER 7449 NEW BEST:: SOT 12087 SOS 6635 HAS SOPS 6347 HAS SOUS 3118 HAS SOUPS 2830 WITH SCORE 2836.635
AT ITER 7478 NEW BEST:: SOT 12087 SOS 6632 HAS SOPS 6347 HAS SOUS 3115 HAS SOUPS 2830 WITH SCORE 2836.632
AT ITER 7805 NEW BEST:: SOT 12086 SOS 6625 HAS SOPS 6341 HAS SOUS 3111 HAS SOUPS 2827 WITH SCORE 2833.625
AT ITER 8221 NEW BEST:: SOT 12086 SOS 6623 HAS SOPS 6341 HAS SOUS 3109 HAS SOUPS 2827 WITH SCORE 2833.623
AT ITER 8898 NEW BEST:: SOT 12085 SOS 6622 HAS SOPS 6340 HAS SOUS 3108 HAS SOUPS 2826 WITH SCORE 2832.622
AT ITER 8963 NEW BEST:: SOT 12084 SOS 6617 HAS SOPS 6334 HAS SOUS 3106 HAS SOUPS 2823 WITH SCORE 2829.617
AT ITER 9628 NEW BEST:: SOT 12083 SOS 6611 HAS SOPS 6328 HAS SOUS 3103 HAS SOUPS 2820 WITH SCORE 2826.611
STATE_SPACE STATES 30948223090688 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 471359925256192 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589023140414

--------------------
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="CSRepetitions-PT-04"
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 CSRepetitions-PT-04, 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 r018-oct2-158897680300680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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