Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r067-smll-167814394400072.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CSRepetitions-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r067-smll-167814394400072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 36K Feb 25 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 175K Feb 25 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 25 11:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 202K Feb 25 11:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 23K Feb 25 15:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 15:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 25 15:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 15:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 91K Feb 25 11:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 381K Feb 25 11:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 114K Feb 25 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 504K Feb 25 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Feb 25 15:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 87K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678233342158

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CSRepetitions-PT-04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CSRepetitions (PT), instance 04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 5 NEW BEST:: SOT 15895 SOS 13425 HAS SOPS 13200 HAS SOUS 11212 HAS SOUPS 10987 WITH SCORE 11000.425
AT ITER 12 NEW BEST:: SOT 15985 SOS 13410 HAS SOPS 13200 HAS SOUS 11194 HAS SOUPS 10984 WITH SCORE 10997.41
AT ITER 13 NEW BEST:: SOT 16016 SOS 13348 HAS SOPS 13107 HAS SOUS 11111 HAS SOUPS 10870 WITH SCORE 10883.348
AT ITER 16 NEW BEST:: SOT 13669 SOS 11150 HAS SOPS 10916 HAS SOUS 8885 HAS SOUPS 8651 WITH SCORE 8662.15
AT ITER 19 NEW BEST:: SOT 13647 SOS 11062 HAS SOPS 10806 HAS SOUS 8775 HAS SOUPS 8519 WITH SCORE 8530.062
AT ITER 20 NEW BEST:: SOT 13642 SOS 11057 HAS SOPS 10801 HAS SOUS 8770 HAS SOUPS 8514 WITH SCORE 8525.057
AT ITER 21 NEW BEST:: SOT 13640 SOS 11055 HAS SOPS 10799 HAS SOUS 8770 HAS SOUPS 8514 WITH SCORE 8525.055
AT ITER 22 NEW BEST:: SOT 13597 SOS 10464 HAS SOPS 10208 HAS SOUS 8205 HAS SOUPS 7949 WITH SCORE 7959.464
AT ITER 24 NEW BEST:: SOT 13589 SOS 10332 HAS SOPS 10091 HAS SOUS 8088 HAS SOUPS 7847 WITH SCORE 7857.332
AT ITER 26 NEW BEST:: SOT 13628 SOS 10289 HAS SOPS 10021 HAS SOUS 8072 HAS SOUPS 7804 WITH SCORE 7814.289
AT ITER 28 NEW BEST:: SOT 13635 SOS 10228 HAS SOPS 9940 HAS SOUS 8017 HAS SOUPS 7729 WITH SCORE 7739.228
AT ITER 31 NEW BEST:: SOT 13624 SOS 10167 HAS SOPS 9879 HAS SOUS 7932 HAS SOUPS 7644 WITH SCORE 7654.167
AT ITER 32 NEW BEST:: SOT 13622 SOS 10165 HAS SOPS 9877 HAS SOUS 7930 HAS SOUPS 7642 WITH SCORE 7652.165
AT ITER 33 NEW BEST:: SOT 13463 SOS 10006 HAS SOPS 9718 HAS SOUS 7753 HAS SOUPS 7465 WITH SCORE 7475.006
AT ITER 34 NEW BEST:: SOT 13445 SOS 9988 HAS SOPS 9700 HAS SOUS 7735 HAS SOUPS 7447 WITH SCORE 7456.988
AT ITER 35 NEW BEST:: SOT 13430 SOS 9973 HAS SOPS 9700 HAS SOUS 7720 HAS SOUPS 7447 WITH SCORE 7456.973
AT ITER 36 NEW BEST:: SOT 13550 SOS 9394 HAS SOPS 9121 HAS SOUS 7011 HAS SOUPS 6738 WITH SCORE 6747.394
AT ITER 41 NEW BEST:: SOT 13566 SOS 9376 HAS SOPS 9103 HAS SOUS 6891 HAS SOUPS 6618 WITH SCORE 6627.376
AT ITER 43 NEW BEST:: SOT 13566 SOS 9373 HAS SOPS 9100 HAS SOUS 6891 HAS SOUPS 6618 WITH SCORE 6627.373
AT ITER 44 NEW BEST:: SOT 13645 SOS 9338 HAS SOPS 9046 HAS SOUS 6783 HAS SOUPS 6491 WITH SCORE 6500.338
AT ITER 51 NEW BEST:: SOT 13665 SOS 9241 HAS SOPS 8927 HAS SOUS 6660 HAS SOUPS 6346 WITH SCORE 6355.241
AT ITER 58 NEW BEST:: SOT 13653 SOS 9229 HAS SOPS 8915 HAS SOUS 6648 HAS SOUPS 6334 WITH SCORE 6343.229
AT ITER 61 NEW BEST:: SOT 13663 SOS 9181 HAS SOPS 8850 HAS SOUS 6649 HAS SOUPS 6318 WITH SCORE 6327.181
AT ITER 62 NEW BEST:: SOT 13659 SOS 9177 HAS SOPS 8846 HAS SOUS 6645 HAS SOUPS 6314 WITH SCORE 6323.177
AT ITER 80 NEW BEST:: SOT 13653 SOS 9171 HAS SOPS 8840 HAS SOUS 6639 HAS SOUPS 6308 WITH SCORE 6317.171
AT ITER 83 NEW BEST:: SOT 13645 SOS 9163 HAS SOPS 8832 HAS SOUS 6637 HAS SOUPS 6306 WITH SCORE 6315.163
AT ITER 90 NEW BEST:: SOT 13645 SOS 9133 HAS SOPS 8832 HAS SOUS 6607 HAS SOUPS 6306 WITH SCORE 6315.133
AT ITER 96 NEW BEST:: SOT 13645 SOS 9049 HAS SOPS 8725 HAS SOUS 6553 HAS SOUPS 6229 WITH SCORE 6238.049
AT ITER 97 NEW BEST:: SOT 13021 SOS 8538 HAS SOPS 8214 HAS SOUS 6362 HAS SOUPS 6038 WITH SCORE 6046.538
AT ITER 103 NEW BEST:: SOT 13008 SOS 8525 HAS SOPS 8201 HAS SOUS 6358 HAS SOUPS 6034 WITH SCORE 6042.525
AT ITER 104 NEW BEST:: SOT 12989 SOS 8506 HAS SOPS 8182 HAS SOUS 6339 HAS SOUPS 6015 WITH SCORE 6023.506
AT ITER 106 NEW BEST:: SOT 12999 SOS 8512 HAS SOPS 8188 HAS SOUS 6336 HAS SOUPS 6012 WITH SCORE 6020.512
AT ITER 114 NEW BEST:: SOT 13002 SOS 8505 HAS SOPS 8181 HAS SOUS 6326 HAS SOUPS 6002 WITH SCORE 6010.505
AT ITER 116 NEW BEST:: SOT 13002 SOS 8416 HAS SOPS 8107 HAS SOUS 6311 HAS SOUPS 6002 WITH SCORE 6010.416
AT ITER 124 NEW BEST:: SOT 13003 SOS 8283 HAS SOPS 8008 HAS SOUS 6184 HAS SOUPS 5909 WITH SCORE 5917.283
AT ITER 125 NEW BEST:: SOT 12992 SOS 8337 HAS SOPS 8062 HAS SOUS 6153 HAS SOUPS 5878 WITH SCORE 5886.337
AT ITER 126 NEW BEST:: SOT 12987 SOS 8317 HAS SOPS 8037 HAS SOUS 6109 HAS SOUPS 5829 WITH SCORE 5837.317
AT ITER 137 NEW BEST:: SOT 12990 SOS 8317 HAS SOPS 8037 HAS SOUS 6097 HAS SOUPS 5817 WITH SCORE 5825.317
AT ITER 138 NEW BEST:: SOT 13047 SOS 8282 HAS SOPS 8002 HAS SOUS 6073 HAS SOUPS 5793 WITH SCORE 5801.282
AT ITER 140 NEW BEST:: SOT 13036 SOS 8253 HAS SOPS 7973 HAS SOUS 6044 HAS SOUPS 5764 WITH SCORE 5772.253
AT ITER 142 NEW BEST:: SOT 12910 SOS 8159 HAS SOPS 7879 HAS SOUS 5953 HAS SOUPS 5673 WITH SCORE 5681.159
AT ITER 150 NEW BEST:: SOT 12902 SOS 8113 HAS SOPS 7813 HAS SOUS 5905 HAS SOUPS 5605 WITH SCORE 5613.113
AT ITER 156 NEW BEST:: SOT 12978 SOS 8059 HAS SOPS 7728 HAS SOUS 5929 HAS SOUPS 5598 WITH SCORE 5606.059
AT ITER 158 NEW BEST:: SOT 12960 SOS 8033 HAS SOPS 7698 HAS SOUS 5893 HAS SOUPS 5558 WITH SCORE 5566.033
AT ITER 162 NEW BEST:: SOT 12960 SOS 8013 HAS SOPS 7682 HAS SOUS 5889 HAS SOUPS 5558 WITH SCORE 5566.013
AT ITER 171 NEW BEST:: SOT 12974 SOS 8006 HAS SOPS 7675 HAS SOUS 5879 HAS SOUPS 5548 WITH SCORE 5556.006
AT ITER 172 NEW BEST:: SOT 12974 SOS 7986 HAS SOPS 7659 HAS SOUS 5875 HAS SOUPS 5548 WITH SCORE 5555.986
AT ITER 174 NEW BEST:: SOT 12973 SOS 7958 HAS SOPS 7631 HAS SOUS 5860 HAS SOUPS 5533 WITH SCORE 5540.958
AT ITER 175 NEW BEST:: SOT 13042 SOS 7900 HAS SOPS 7552 HAS SOUS 5869 HAS SOUPS 5521 WITH SCORE 5528.9
AT ITER 182 NEW BEST:: SOT 13042 SOS 7896 HAS SOPS 7548 HAS SOUS 5849 HAS SOUPS 5501 WITH SCORE 5508.896
AT ITER 190 NEW BEST:: SOT 13011 SOS 7878 HAS SOPS 7530 HAS SOUS 5823 HAS SOUPS 5475 WITH SCORE 5482.878
AT ITER 192 NEW BEST:: SOT 13007 SOS 7858 HAS SOPS 7510 HAS SOUS 5811 HAS SOUPS 5463 WITH SCORE 5470.858
AT ITER 198 NEW BEST:: SOT 12984 SOS 7861 HAS SOPS 7485 HAS SOUS 5777 HAS SOUPS 5401 WITH SCORE 5408.861
AT ITER 199 NEW BEST:: SOT 12977 SOS 7854 HAS SOPS 7478 HAS SOUS 5766 HAS SOUPS 5390 WITH SCORE 5397.854
AT ITER 202 NEW BEST:: SOT 12977 SOS 7759 HAS SOPS 7394 HAS SOUS 5727 HAS SOUPS 5362 WITH SCORE 5369.759
AT ITER 208 NEW BEST:: SOT 12975 SOS 7757 HAS SOPS 7392 HAS SOUS 5725 HAS SOUPS 5360 WITH SCORE 5367.757
AT ITER 214 NEW BEST:: SOT 13211 SOS 7777 HAS SOPS 7412 HAS SOUS 5641 HAS SOUPS 5276 WITH SCORE 5283.777
AT ITER 215 NEW BEST:: SOT 13202 SOS 7715 HAS SOPS 7367 HAS SOUS 5599 HAS SOUPS 5251 WITH SCORE 5258.715
AT ITER 217 NEW BEST:: SOT 13192 SOS 7695 HAS SOPS 7347 HAS SOUS 5589 HAS SOUPS 5241 WITH SCORE 5248.695
AT ITER 218 NEW BEST:: SOT 13261 SOS 7727 HAS SOPS 7379 HAS SOUS 5542 HAS SOUPS 5194 WITH SCORE 5201.727
AT ITER 220 NEW BEST:: SOT 13254 SOS 7720 HAS SOPS 7372 HAS SOUS 5535 HAS SOUPS 5187 WITH SCORE 5194.72
AT ITER 231 NEW BEST:: SOT 13254 SOS 7725 HAS SOPS 7381 HAS SOUS 5527 HAS SOUPS 5183 WITH SCORE 5190.725
AT ITER 237 NEW BEST:: SOT 13254 SOS 7706 HAS SOPS 7381 HAS SOUS 5508 HAS SOUPS 5183 WITH SCORE 5190.706
AT ITER 246 NEW BEST:: SOT 13252 SOS 7704 HAS SOPS 7379 HAS SOUS 5504 HAS SOUPS 5179 WITH SCORE 5186.704
AT ITER 249 NEW BEST:: SOT 13228 SOS 7656 HAS SOPS 7331 HAS SOUS 5432 HAS SOUPS 5107 WITH SCORE 5114.656
AT ITER 252 NEW BEST:: SOT 13217 SOS 7649 HAS SOPS 7324 HAS SOUS 5427 HAS SOUPS 5102 WITH SCORE 5109.649
AT ITER 264 NEW BEST:: SOT 13272 SOS 7667 HAS SOPS 7336 HAS SOUS 5422 HAS SOUPS 5091 WITH SCORE 5098.667
AT ITER 266 NEW BEST:: SOT 13260 SOS 7655 HAS SOPS 7324 HAS SOUS 5382 HAS SOUPS 5051 WITH SCORE 5058.655
AT ITER 274 NEW BEST:: SOT 13260 SOS 7646 HAS SOPS 7315 HAS SOUS 5382 HAS SOUPS 5051 WITH SCORE 5058.646
AT ITER 277 NEW BEST:: SOT 13260 SOS 7622 HAS SOPS 7291 HAS SOUS 5382 HAS SOUPS 5051 WITH SCORE 5058.622
AT ITER 280 NEW BEST:: SOT 13255 SOS 7617 HAS SOPS 7286 HAS SOUS 5375 HAS SOUPS 5044 WITH SCORE 5051.617
AT ITER 283 NEW BEST:: SOT 13234 SOS 7566 HAS SOPS 7273 HAS SOUS 5337 HAS SOUPS 5044 WITH SCORE 5051.566
AT ITER 284 NEW BEST:: SOT 13234 SOS 7549 HAS SOPS 7261 HAS SOUS 5332 HAS SOUPS 5044 WITH SCORE 5051.549
AT ITER 292 NEW BEST:: SOT 13200 SOS 7475 HAS SOPS 7187 HAS SOUS 5218 HAS SOUPS 4930 WITH SCORE 4937.475
AT ITER 296 NEW BEST:: SOT 13200 SOS 7471 HAS SOPS 7183 HAS SOUS 5218 HAS SOUPS 4930 WITH SCORE 4937.471
AT ITER 298 NEW BEST:: SOT 13181 SOS 7442 HAS SOPS 7154 HAS SOUS 5189 HAS SOUPS 4901 WITH SCORE 4908.442
AT ITER 305 NEW BEST:: SOT 13169 SOS 7430 HAS SOPS 7142 HAS SOUS 5175 HAS SOUPS 4887 WITH SCORE 4894.43
AT ITER 309 NEW BEST:: SOT 13169 SOS 7409 HAS SOPS 7121 HAS SOUS 5165 HAS SOUPS 4877 WITH SCORE 4884.409
AT ITER 313 NEW BEST:: SOT 13132 SOS 7400 HAS SOPS 7131 HAS SOUS 5141 HAS SOUPS 4872 WITH SCORE 4879.4
AT ITER 320 NEW BEST:: SOT 13139 SOS 7375 HAS SOPS 7103 HAS SOUS 5144 HAS SOUPS 4872 WITH SCORE 4879.375
AT ITER 325 NEW BEST:: SOT 13153 SOS 7381 HAS SOPS 7109 HAS SOUS 5132 HAS SOUPS 4860 WITH SCORE 4867.381
AT ITER 337 NEW BEST:: SOT 13203 SOS 7232 HAS SOPS 6960 HAS SOUS 5033 HAS SOUPS 4761 WITH SCORE 4768.232
AT ITER 340 NEW BEST:: SOT 13180 SOS 7214 HAS SOPS 6942 HAS SOUS 5012 HAS SOUPS 4740 WITH SCORE 4747.214
AT ITER 352 NEW BEST:: SOT 13186 SOS 7216 HAS SOPS 6944 HAS SOUS 5003 HAS SOUPS 4731 WITH SCORE 4738.216
AT ITER 368 NEW BEST:: SOT 13202 SOS 7177 HAS SOPS 6889 HAS SOUS 5019 HAS SOUPS 4731 WITH SCORE 4738.177
AT ITER 379 NEW BEST:: SOT 13181 SOS 7154 HAS SOPS 6866 HAS SOUS 5001 HAS SOUPS 4713 WITH SCORE 4720.154
AT ITER 381 NEW BEST:: SOT 13174 SOS 7147 HAS SOPS 6859 HAS SOUS 4988 HAS SOUPS 4700 WITH SCORE 4707.147
AT ITER 391 NEW BEST:: SOT 13161 SOS 7122 HAS SOPS 6834 HAS SOUS 4934 HAS SOUPS 4646 WITH SCORE 4653.122
AT ITER 396 NEW BEST:: SOT 13155 SOS 7116 HAS SOPS 6828 HAS SOUS 4920 HAS SOUPS 4632 WITH SCORE 4639.116
AT ITER 397 NEW BEST:: SOT 13155 SOS 7083 HAS SOPS 6775 HAS SOUS 4910 HAS SOUPS 4602 WITH SCORE 4609.083
AT ITER 406 NEW BEST:: SOT 13145 SOS 7089 HAS SOPS 6766 HAS SOUS 4895 HAS SOUPS 4572 WITH SCORE 4579.089
AT ITER 415 NEW BEST:: SOT 13144 SOS 7088 HAS SOPS 6765 HAS SOUS 4893 HAS SOUPS 4570 WITH SCORE 4577.088
AT ITER 424 NEW BEST:: SOT 13145 SOS 7088 HAS SOPS 6765 HAS SOUS 4892 HAS SOUPS 4569 WITH SCORE 4576.088
AT ITER 430 NEW BEST:: SOT 13145 SOS 7080 HAS SOPS 6759 HAS SOUS 4890 HAS SOUPS 4569 WITH SCORE 4576.08
AT ITER 432 NEW BEST:: SOT 13142 SOS 7114 HAS SOPS 6793 HAS SOUS 4881 HAS SOUPS 4560 WITH SCORE 4567.114
AT ITER 456 NEW BEST:: SOT 13078 SOS 7196 HAS SOPS 6894 HAS SOUS 4845 HAS SOUPS 4543 WITH SCORE 4550.196
AT ITER 458 NEW BEST:: SOT 13092 SOS 7204 HAS SOPS 6902 HAS SOUS 4835 HAS SOUPS 4533 WITH SCORE 4540.204
AT ITER 470 NEW BEST:: SOT 13087 SOS 7174 HAS SOPS 6872 HAS SOUS 4820 HAS SOUPS 4518 WITH SCORE 4525.174
AT ITER 476 NEW BEST:: SOT 13079 SOS 7166 HAS SOPS 6864 HAS SOUS 4812 HAS SOUPS 4510 WITH SCORE 4517.166
AT ITER 477 NEW BEST:: SOT 13088 SOS 7155 HAS SOPS 6844 HAS SOUS 4821 HAS SOUPS 4510 WITH SCORE 4517.155
AT ITER 481 NEW BEST:: SOT 13087 SOS 7150 HAS SOPS 6835 HAS SOUS 4822 HAS SOUPS 4507 WITH SCORE 4514.15
AT ITER 490 NEW BEST:: SOT 13083 SOS 7146 HAS SOPS 6831 HAS SOUS 4818 HAS SOUPS 4503 WITH SCORE 4510.146
AT ITER 493 NEW BEST:: SOT 13079 SOS 7145 HAS SOPS 6830 HAS SOUS 4812 HAS SOUPS 4497 WITH SCORE 4504.145
AT ITER 500 NEW BEST:: SOT 13114 SOS 7091 HAS SOPS 6777 HAS SOUS 4699 HAS SOUPS 4385 WITH SCORE 4392.091
AT ITER 504 NEW BEST:: SOT 13072 SOS 7049 HAS SOPS 6735 HAS SOUS 4657 HAS SOUPS 4343 WITH SCORE 4350.049
AT ITER 509 NEW BEST:: SOT 13069 SOS 7047 HAS SOPS 6733 HAS SOUS 4656 HAS SOUPS 4342 WITH SCORE 4349.047
AT ITER 521 NEW BEST:: SOT 13038 SOS 7009 HAS SOPS 6695 HAS SOUS 4600 HAS SOUPS 4286 WITH SCORE 4293.009
AT ITER 536 NEW BEST:: SOT 13035 SOS 7003 HAS SOPS 6689 HAS SOUS 4591 HAS SOUPS 4277 WITH SCORE 4284.003
AT ITER 541 NEW BEST:: SOT 13030 SOS 6997 HAS SOPS 6683 HAS SOUS 4585 HAS SOUPS 4271 WITH SCORE 4277.997
AT ITER 562 NEW BEST:: SOT 13048 SOS 6980 HAS SOPS 6661 HAS SOUS 4560 HAS SOUPS 4241 WITH SCORE 4247.98
AT ITER 570 NEW BEST:: SOT 13027 SOS 6982 HAS SOPS 6669 HAS SOUS 4538 HAS SOUPS 4225 WITH SCORE 4231.982
AT ITER 574 NEW BEST:: SOT 13026 SOS 6976 HAS SOPS 6663 HAS SOUS 4535 HAS SOUPS 4222 WITH SCORE 4228.976
AT ITER 594 NEW BEST:: SOT 13027 SOS 6958 HAS SOPS 6639 HAS SOUS 4526 HAS SOUPS 4207 WITH SCORE 4213.958
AT ITER 610 NEW BEST:: SOT 13025 SOS 6953 HAS SOPS 6634 HAS SOUS 4522 HAS SOUPS 4203 WITH SCORE 4209.953
AT ITER 618 NEW BEST:: SOT 13013 SOS 6935 HAS SOPS 6616 HAS SOUS 4475 HAS SOUPS 4156 WITH SCORE 4162.935
AT ITER 620 NEW BEST:: SOT 13013 SOS 6914 HAS SOPS 6595 HAS SOUS 4475 HAS SOUPS 4156 WITH SCORE 4162.914
AT ITER 626 NEW BEST:: SOT 12975 SOS 6890 HAS SOPS 6571 HAS SOUS 4451 HAS SOUPS 4132 WITH SCORE 4138.89
AT ITER 635 NEW BEST:: SOT 12957 SOS 6872 HAS SOPS 6553 HAS SOUS 4440 HAS SOUPS 4121 WITH SCORE 4127.872
AT ITER 639 NEW BEST:: SOT 12944 SOS 6859 HAS SOPS 6540 HAS SOUS 4410 HAS SOUPS 4091 WITH SCORE 4097.859
AT ITER 648 NEW BEST:: SOT 12943 SOS 6858 HAS SOPS 6539 HAS SOUS 4409 HAS SOUPS 4090 WITH SCORE 4096.858
AT ITER 663 NEW BEST:: SOT 12953 SOS 6863 HAS SOPS 6544 HAS SOUS 4402 HAS SOUPS 4083 WITH SCORE 4089.863
AT ITER 665 NEW BEST:: SOT 12952 SOS 6922 HAS SOPS 6590 HAS SOUS 4412 HAS SOUPS 4080 WITH SCORE 4086.922
AT ITER 685 NEW BEST:: SOT 12952 SOS 6904 HAS SOPS 6576 HAS SOUS 4408 HAS SOUPS 4080 WITH SCORE 4086.904
AT ITER 714 NEW BEST:: SOT 12952 SOS 6896 HAS SOPS 6568 HAS SOUS 4408 HAS SOUPS 4080 WITH SCORE 4086.896
AT ITER 721 NEW BEST:: SOT 12947 SOS 6914 HAS SOPS 6586 HAS SOUS 4393 HAS SOUPS 4065 WITH SCORE 4071.914
AT ITER 726 NEW BEST:: SOT 12947 SOS 6897 HAS SOPS 6569 HAS SOUS 4393 HAS SOUPS 4065 WITH SCORE 4071.897
AT ITER 737 NEW BEST:: SOT 12971 SOS 6916 HAS SOPS 6588 HAS SOUS 4387 HAS SOUPS 4059 WITH SCORE 4065.916
AT ITER 772 NEW BEST:: SOT 12971 SOS 6916 HAS SOPS 6588 HAS SOUS 4379 HAS SOUPS 4051 WITH SCORE 4057.916
AT ITER 785 NEW BEST:: SOT 12945 SOS 6890 HAS SOPS 6562 HAS SOUS 4327 HAS SOUPS 3999 WITH SCORE 4005.89
AT ITER 791 NEW BEST:: SOT 12945 SOS 6884 HAS SOPS 6556 HAS SOUS 4301 HAS SOUPS 3973 WITH SCORE 3979.884
AT ITER 798 NEW BEST:: SOT 12938 SOS 6885 HAS SOPS 6557 HAS SOUS 4280 HAS SOUPS 3952 WITH SCORE 3958.885
AT ITER 801 NEW BEST:: SOT 12807 SOS 6814 HAS SOPS 6486 HAS SOUS 4204 HAS SOUPS 3876 WITH SCORE 3882.814
AT ITER 819 NEW BEST:: SOT 12803 SOS 6810 HAS SOPS 6482 HAS SOUS 4200 HAS SOUPS 3872 WITH SCORE 3878.81
AT ITER 820 NEW BEST:: SOT 12839 SOS 6822 HAS SOPS 6494 HAS SOUS 4190 HAS SOUPS 3862 WITH SCORE 3868.822
AT ITER 857 NEW BEST:: SOT 12822 SOS 6805 HAS SOPS 6477 HAS SOUS 4172 HAS SOUPS 3844 WITH SCORE 3850.805
AT ITER 859 NEW BEST:: SOT 12819 SOS 6800 HAS SOPS 6472 HAS SOUS 4163 HAS SOUPS 3835 WITH SCORE 3841.8
AT ITER 867 NEW BEST:: SOT 12819 SOS 6799 HAS SOPS 6472 HAS SOUS 4162 HAS SOUPS 3835 WITH SCORE 3841.799
AT ITER 874 NEW BEST:: SOT 12819 SOS 6786 HAS SOPS 6459 HAS SOUS 4162 HAS SOUPS 3835 WITH SCORE 3841.786
AT ITER 875 NEW BEST:: SOT 12819 SOS 6784 HAS SOPS 6457 HAS SOUS 4159 HAS SOUPS 3832 WITH SCORE 3838.784
AT ITER 898 NEW BEST:: SOT 12808 SOS 6773 HAS SOPS 6446 HAS SOUS 4138 HAS SOUPS 3811 WITH SCORE 3817.773
AT ITER 899 NEW BEST:: SOT 12807 SOS 6758 HAS SOPS 6431 HAS SOUS 4101 HAS SOUPS 3774 WITH SCORE 3780.758
AT ITER 907 NEW BEST:: SOT 12806 SOS 6752 HAS SOPS 6425 HAS SOUS 4098 HAS SOUPS 3771 WITH SCORE 3777.752
AT ITER 918 NEW BEST:: SOT 12804 SOS 6750 HAS SOPS 6423 HAS SOUS 4094 HAS SOUPS 3767 WITH SCORE 3773.75
AT ITER 926 NEW BEST:: SOT 12812 SOS 6742 HAS SOPS 6409 HAS SOUS 4099 HAS SOUPS 3766 WITH SCORE 3772.742
AT ITER 960 NEW BEST:: SOT 12807 SOS 6831 HAS SOPS 6474 HAS SOUS 4108 HAS SOUPS 3751 WITH SCORE 3757.831
AT ITER 970 NEW BEST:: SOT 12796 SOS 6820 HAS SOPS 6463 HAS SOUS 4086 HAS SOUPS 3729 WITH SCORE 3735.82
AT ITER 981 NEW BEST:: SOT 12796 SOS 6799 HAS SOPS 6442 HAS SOUS 4086 HAS SOUPS 3729 WITH SCORE 3735.799
AT ITER 1005 NEW BEST:: SOT 12795 SOS 6798 HAS SOPS 6441 HAS SOUS 4084 HAS SOUPS 3727 WITH SCORE 3733.798
AT ITER 1011 NEW BEST:: SOT 12740 SOS 6952 HAS SOPS 6613 HAS SOUS 4056 HAS SOUPS 3717 WITH SCORE 3723.952
AT ITER 1017 NEW BEST:: SOT 12740 SOS 6871 HAS SOPS 6548 HAS SOUS 4040 HAS SOUPS 3717 WITH SCORE 3723.871
AT ITER 1056 NEW BEST:: SOT 12742 SOS 6872 HAS SOPS 6549 HAS SOUS 4026 HAS SOUPS 3703 WITH SCORE 3709.872
AT ITER 1059 NEW BEST:: SOT 12698 SOS 6845 HAS SOPS 6522 HAS SOUS 4023 HAS SOUPS 3700 WITH SCORE 3706.845
AT ITER 1078 NEW BEST:: SOT 12691 SOS 6838 HAS SOPS 6515 HAS SOUS 4009 HAS SOUPS 3686 WITH SCORE 3692.838
AT ITER 1112 NEW BEST:: SOT 12696 SOS 6837 HAS SOPS 6514 HAS SOUS 3988 HAS SOUPS 3665 WITH SCORE 3671.837
AT ITER 1113 NEW BEST:: SOT 12696 SOS 6829 HAS SOPS 6506 HAS SOUS 3988 HAS SOUPS 3665 WITH SCORE 3671.829
AT ITER 1151 NEW BEST:: SOT 12717 SOS 6840 HAS SOPS 6517 HAS SOUS 3980 HAS SOUPS 3657 WITH SCORE 3663.84
AT ITER 1153 NEW BEST:: SOT 12718 SOS 6837 HAS SOPS 6514 HAS SOUS 3980 HAS SOUPS 3657 WITH SCORE 3663.837
AT ITER 1162 NEW BEST:: SOT 12703 SOS 6822 HAS SOPS 6499 HAS SOUS 3953 HAS SOUPS 3630 WITH SCORE 3636.822
AT ITER 1170 NEW BEST:: SOT 12703 SOS 6806 HAS SOPS 6483 HAS SOUS 3953 HAS SOUPS 3630 WITH SCORE 3636.806
AT ITER 1179 NEW BEST:: SOT 12702 SOS 6805 HAS SOPS 6482 HAS SOUS 3951 HAS SOUPS 3628 WITH SCORE 3634.805
AT ITER 1182 NEW BEST:: SOT 12705 SOS 6806 HAS SOPS 6483 HAS SOUS 3948 HAS SOUPS 3625 WITH SCORE 3631.806
AT ITER 1184 NEW BEST:: SOT 12702 SOS 6767 HAS SOPS 6465 HAS SOUS 3918 HAS SOUPS 3616 WITH SCORE 3622.767
AT ITER 1186 NEW BEST:: SOT 12725 SOS 6706 HAS SOPS 6403 HAS SOUS 3919 HAS SOUPS 3616 WITH SCORE 3622.706
AT ITER 1199 NEW BEST:: SOT 12725 SOS 6702 HAS SOPS 6401 HAS SOUS 3917 HAS SOUPS 3616 WITH SCORE 3622.702
AT ITER 1202 NEW BEST:: SOT 12709 SOS 6746 HAS SOPS 6419 HAS SOUS 3895 HAS SOUPS 3568 WITH SCORE 3574.746
AT ITER 1230 NEW BEST:: SOT 12701 SOS 6751 HAS SOPS 6424 HAS SOUS 3883 HAS SOUPS 3556 WITH SCORE 3562.751
AT ITER 1232 NEW BEST:: SOT 12689 SOS 6772 HAS SOPS 6451 HAS SOUS 3871 HAS SOUPS 3550 WITH SCORE 3556.772
AT ITER 1246 NEW BEST:: SOT 12697 SOS 6769 HAS SOPS 6440 HAS SOUS 3879 HAS SOUPS 3550 WITH SCORE 3556.769
AT ITER 1247 NEW BEST:: SOT 12703 SOS 6768 HAS SOPS 6439 HAS SOUS 3856 HAS SOUPS 3527 WITH SCORE 3533.768
AT ITER 1253 NEW BEST:: SOT 12703 SOS 6742 HAS SOPS 6441 HAS SOUS 3828 HAS SOUPS 3527 WITH SCORE 3533.742
AT ITER 1266 NEW BEST:: SOT 12699 SOS 6738 HAS SOPS 6437 HAS SOUS 3816 HAS SOUPS 3515 WITH SCORE 3521.738
AT ITER 1333 NEW BEST:: SOT 12687 SOS 6729 HAS SOPS 6428 HAS SOUS 3780 HAS SOUPS 3479 WITH SCORE 3485.729
AT ITER 1340 NEW BEST:: SOT 12687 SOS 6717 HAS SOPS 6416 HAS SOUS 3780 HAS SOUPS 3479 WITH SCORE 3485.717
AT ITER 1342 NEW BEST:: SOT 12687 SOS 6699 HAS SOPS 6398 HAS SOUS 3780 HAS SOUPS 3479 WITH SCORE 3485.699
AT ITER 1345 NEW BEST:: SOT 12685 SOS 6697 HAS SOPS 6396 HAS SOUS 3776 HAS SOUPS 3475 WITH SCORE 3481.697
AT ITER 1349 NEW BEST:: SOT 12682 SOS 6753 HAS SOPS 6452 HAS SOUS 3767 HAS SOUPS 3466 WITH SCORE 3472.753
AT ITER 1355 NEW BEST:: SOT 12679 SOS 6735 HAS SOPS 6434 HAS SOUS 3758 HAS SOUPS 3457 WITH SCORE 3463.735
AT ITER 1371 NEW BEST:: SOT 12679 SOS 6735 HAS SOPS 6434 HAS SOUS 3757 HAS SOUPS 3456 WITH SCORE 3462.735
AT ITER 1379 NEW BEST:: SOT 12673 SOS 6729 HAS SOPS 6428 HAS SOUS 3745 HAS SOUPS 3444 WITH SCORE 3450.729
AT ITER 1384 NEW BEST:: SOT 12704 SOS 6649 HAS SOPS 6330 HAS SOUS 3763 HAS SOUPS 3444 WITH SCORE 3450.649
AT ITER 1390 NEW BEST:: SOT 12689 SOS 6637 HAS SOPS 6318 HAS SOUS 3748 HAS SOUPS 3429 WITH SCORE 3435.637
AT ITER 1394 NEW BEST:: SOT 12692 SOS 6637 HAS SOPS 6315 HAS SOUS 3749 HAS SOUPS 3427 WITH SCORE 3433.637
AT ITER 1404 NEW BEST:: SOT 12622 SOS 6674 HAS SOPS 6339 HAS SOUS 3759 HAS SOUPS 3424 WITH SCORE 3430.674
AT ITER 1409 NEW BEST:: SOT 12621 SOS 6676 HAS SOPS 6339 HAS SOUS 3758 HAS SOUPS 3421 WITH SCORE 3427.676
AT ITER 1417 NEW BEST:: SOT 12614 SOS 6634 HAS SOPS 6297 HAS SOUS 3737 HAS SOUPS 3400 WITH SCORE 3406.634
AT ITER 1439 NEW BEST:: SOT 12619 SOS 6629 HAS SOPS 6291 HAS SOUS 3737 HAS SOUPS 3399 WITH SCORE 3405.629
AT ITER 1471 NEW BEST:: SOT 12614 SOS 6605 HAS SOPS 6261 HAS SOUS 3728 HAS SOUPS 3384 WITH SCORE 3390.605
AT ITER 1509 NEW BEST:: SOT 12614 SOS 6609 HAS SOPS 6265 HAS SOUS 3722 HAS SOUPS 3378 WITH SCORE 3384.609
AT ITER 1516 NEW BEST:: SOT 12604 SOS 6592 HAS SOPS 6248 HAS SOUS 3716 HAS SOUPS 3372 WITH SCORE 3378.592
AT ITER 1533 NEW BEST:: SOT 12600 SOS 6588 HAS SOPS 6244 HAS SOUS 3712 HAS SOUPS 3368 WITH SCORE 3374.588
AT ITER 1536 NEW BEST:: SOT 12600 SOS 6573 HAS SOPS 6225 HAS SOUS 3704 HAS SOUPS 3356 WITH SCORE 3362.573
AT ITER 1546 NEW BEST:: SOT 12592 SOS 6565 HAS SOPS 6217 HAS SOUS 3688 HAS SOUPS 3340 WITH SCORE 3346.565
AT ITER 1555 NEW BEST:: SOT 12591 SOS 6575 HAS SOPS 6227 HAS SOUS 3683 HAS SOUPS 3335 WITH SCORE 3341.575
AT ITER 1558 NEW BEST:: SOT 12587 SOS 6551 HAS SOPS 6203 HAS SOUS 3671 HAS SOUPS 3323 WITH SCORE 3329.551
AT ITER 1574 NEW BEST:: SOT 12528 SOS 6492 HAS SOPS 6144 HAS SOUS 3553 HAS SOUPS 3205 WITH SCORE 3211.492
AT ITER 1577 NEW BEST:: SOT 12535 SOS 6496 HAS SOPS 6148 HAS SOUS 3552 HAS SOUPS 3204 WITH SCORE 3210.496
AT ITER 1583 NEW BEST:: SOT 12521 SOS 6486 HAS SOPS 6138 HAS SOUS 3544 HAS SOUPS 3196 WITH SCORE 3202.486
AT ITER 1600 NEW BEST:: SOT 12521 SOS 6486 HAS SOPS 6138 HAS SOUS 3540 HAS SOUPS 3192 WITH SCORE 3198.486
AT ITER 1708 NEW BEST:: SOT 12501 SOS 6473 HAS SOPS 6125 HAS SOUS 3535 HAS SOUPS 3187 WITH SCORE 3193.473
AT ITER 1709 NEW BEST:: SOT 12471 SOS 6551 HAS SOPS 6224 HAS SOUS 3513 HAS SOUPS 3186 WITH SCORE 3192.551
AT ITER 1711 NEW BEST:: SOT 12473 SOS 6552 HAS SOPS 6225 HAS SOUS 3512 HAS SOUPS 3185 WITH SCORE 3191.552
AT ITER 1767 NEW BEST:: SOT 12472 SOS 6546 HAS SOPS 6219 HAS SOUS 3509 HAS SOUPS 3182 WITH SCORE 3188.546
AT ITER 1769 NEW BEST:: SOT 12472 SOS 6548 HAS SOPS 6221 HAS SOUS 3495 HAS SOUPS 3168 WITH SCORE 3174.548
AT ITER 1824 NEW BEST:: SOT 12471 SOS 6592 HAS SOPS 6255 HAS SOUS 3502 HAS SOUPS 3165 WITH SCORE 3171.592
AT ITER 1841 NEW BEST:: SOT 12470 SOS 6595 HAS SOPS 6258 HAS SOUS 3499 HAS SOUPS 3162 WITH SCORE 3168.595
AT ITER 1846 NEW BEST:: SOT 12470 SOS 6617 HAS SOPS 6280 HAS SOUS 3493 HAS SOUPS 3156 WITH SCORE 3162.617
AT ITER 1868 NEW BEST:: SOT 12466 SOS 6613 HAS SOPS 6276 HAS SOUS 3485 HAS SOUPS 3148 WITH SCORE 3154.613
AT ITER 1881 NEW BEST:: SOT 12466 SOS 6613 HAS SOPS 6276 HAS SOUS 3477 HAS SOUPS 3140 WITH SCORE 3146.613
AT ITER 1944 NEW BEST:: SOT 12466 SOS 6604 HAS SOPS 6276 HAS SOUS 3468 HAS SOUPS 3140 WITH SCORE 3146.604
AT ITER 1957 NEW BEST:: SOT 12464 SOS 6602 HAS SOPS 6274 HAS SOUS 3465 HAS SOUPS 3137 WITH SCORE 3143.602
AT ITER 2025 NEW BEST:: SOT 12462 SOS 6620 HAS SOPS 6285 HAS SOUS 3466 HAS SOUPS 3131 WITH SCORE 3137.62
AT ITER 2054 NEW BEST:: SOT 12472 SOS 6605 HAS SOPS 6260 HAS SOUS 3470 HAS SOUPS 3125 WITH SCORE 3131.605
AT ITER 2084 NEW BEST:: SOT 12472 SOS 6587 HAS SOPS 6242 HAS SOUS 3470 HAS SOUPS 3125 WITH SCORE 3131.587
AT ITER 2088 NEW BEST:: SOT 12474 SOS 6588 HAS SOPS 6243 HAS SOUS 3469 HAS SOUPS 3124 WITH SCORE 3130.588
AT ITER 2097 NEW BEST:: SOT 12462 SOS 6602 HAS SOPS 6263 HAS SOUS 3462 HAS SOUPS 3123 WITH SCORE 3129.602
AT ITER 2101 NEW BEST:: SOT 12459 SOS 6599 HAS SOPS 6260 HAS SOUS 3456 HAS SOUPS 3117 WITH SCORE 3123.599
AT ITER 2140 NEW BEST:: SOT 12459 SOS 6599 HAS SOPS 6260 HAS SOUS 3451 HAS SOUPS 3112 WITH SCORE 3118.599
AT ITER 2145 NEW BEST:: SOT 12450 SOS 6593 HAS SOPS 6254 HAS SOUS 3442 HAS SOUPS 3103 WITH SCORE 3109.593
AT ITER 2182 NEW BEST:: SOT 12449 SOS 6592 HAS SOPS 6252 HAS SOUS 3440 HAS SOUPS 3100 WITH SCORE 3106.592
AT ITER 2227 NEW BEST:: SOT 12447 SOS 6588 HAS SOPS 6248 HAS SOUS 3434 HAS SOUPS 3094 WITH SCORE 3100.588
AT ITER 2271 NEW BEST:: SOT 12447 SOS 6584 HAS SOPS 6244 HAS SOUS 3434 HAS SOUPS 3094 WITH SCORE 3100.584
AT ITER 2309 NEW BEST:: SOT 12445 SOS 6572 HAS SOPS 6232 HAS SOUS 3428 HAS SOUPS 3088 WITH SCORE 3094.572
AT ITER 2315 NEW BEST:: SOT 12448 SOS 6573 HAS SOPS 6233 HAS SOUS 3424 HAS SOUPS 3084 WITH SCORE 3090.573
AT ITER 2331 NEW BEST:: SOT 12447 SOS 6572 HAS SOPS 6232 HAS SOUS 3423 HAS SOUPS 3083 WITH SCORE 3089.572
AT ITER 2373 NEW BEST:: SOT 12429 SOS 6626 HAS SOPS 6300 HAS SOUS 3407 HAS SOUPS 3081 WITH SCORE 3087.626
AT ITER 2467 NEW BEST:: SOT 12431 SOS 6618 HAS SOPS 6288 HAS SOUS 3407 HAS SOUPS 3077 WITH SCORE 3083.618
AT ITER 2498 NEW BEST:: SOT 12431 SOS 6617 HAS SOPS 6288 HAS SOUS 3406 HAS SOUPS 3077 WITH SCORE 3083.617
AT ITER 2516 NEW BEST:: SOT 12422 SOS 6612 HAS SOPS 6283 HAS SOUS 3405 HAS SOUPS 3076 WITH SCORE 3082.612
AT ITER 2685 NEW BEST:: SOT 12419 SOS 6614 HAS SOPS 6281 HAS SOUS 3400 HAS SOUPS 3067 WITH SCORE 3073.614
AT ITER 2692 NEW BEST:: SOT 12419 SOS 6605 HAS SOPS 6272 HAS SOUS 3397 HAS SOUPS 3064 WITH SCORE 3070.605
AT ITER 2803 NEW BEST:: SOT 12417 SOS 6592 HAS SOPS 6259 HAS SOUS 3391 HAS SOUPS 3058 WITH SCORE 3064.592
AT ITER 2837 NEW BEST:: SOT 12416 SOS 6591 HAS SOPS 6258 HAS SOUS 3389 HAS SOUPS 3056 WITH SCORE 3062.591
AT ITER 2884 NEW BEST:: SOT 12425 SOS 6596 HAS SOPS 6263 HAS SOUS 3384 HAS SOUPS 3051 WITH SCORE 3057.596
AT ITER 2957 NEW BEST:: SOT 12425 SOS 6596 HAS SOPS 6263 HAS SOUS 3383 HAS SOUPS 3050 WITH SCORE 3056.596
AT ITER 2971 NEW BEST:: SOT 12425 SOS 6596 HAS SOPS 6263 HAS SOUS 3381 HAS SOUPS 3048 WITH SCORE 3054.596
AT ITER 2992 NEW BEST:: SOT 12423 SOS 6594 HAS SOPS 6261 HAS SOUS 3376 HAS SOUPS 3043 WITH SCORE 3049.594
AT ITER 3105 NEW BEST:: SOT 12423 SOS 6588 HAS SOPS 6255 HAS SOUS 3376 HAS SOUPS 3043 WITH SCORE 3049.588
AT ITER 3108 NEW BEST:: SOT 12418 SOS 6583 HAS SOPS 6250 HAS SOUS 3366 HAS SOUPS 3033 WITH SCORE 3039.583
AT ITER 3183 NEW BEST:: SOT 12416 SOS 6574 HAS SOPS 6238 HAS SOUS 3363 HAS SOUPS 3027 WITH SCORE 3033.574
AT ITER 3334 NEW BEST:: SOT 12415 SOS 6568 HAS SOPS 6232 HAS SOUS 3360 HAS SOUPS 3024 WITH SCORE 3030.568
AT ITER 3494 NEW BEST:: SOT 12411 SOS 6564 HAS SOPS 6228 HAS SOUS 3353 HAS SOUPS 3017 WITH SCORE 3023.564
AT ITER 3563 NEW BEST:: SOT 12408 SOS 6586 HAS SOPS 6242 HAS SOUS 3360 HAS SOUPS 3016 WITH SCORE 3022.586
AT ITER 3645 NEW BEST:: SOT 12408 SOS 6586 HAS SOPS 6242 HAS SOUS 3356 HAS SOUPS 3012 WITH SCORE 3018.586
AT ITER 3669 NEW BEST:: SOT 12398 SOS 6578 HAS SOPS 6234 HAS SOUS 3356 HAS SOUPS 3012 WITH SCORE 3018.578
AT ITER 3684 NEW BEST:: SOT 12393 SOS 6580 HAS SOPS 6236 HAS SOUS 3341 HAS SOUPS 2997 WITH SCORE 3003.58
AT ITER 3693 NEW BEST:: SOT 12393 SOS 6582 HAS SOPS 6238 HAS SOUS 3322 HAS SOUPS 2978 WITH SCORE 2984.582
AT ITER 3833 NEW BEST:: SOT 12392 SOS 6580 HAS SOPS 6235 HAS SOUS 3320 HAS SOUPS 2975 WITH SCORE 2981.58
AT ITER 3901 NEW BEST:: SOT 12391 SOS 6579 HAS SOPS 6234 HAS SOUS 3318 HAS SOUPS 2973 WITH SCORE 2979.579
AT ITER 3982 NEW BEST:: SOT 12373 SOS 6567 HAS SOPS 6222 HAS SOUS 3300 HAS SOUPS 2955 WITH SCORE 2961.567
AT ITER 3993 NEW BEST:: SOT 12367 SOS 6561 HAS SOPS 6216 HAS SOUS 3288 HAS SOUPS 2943 WITH SCORE 2949.561
AT ITER 4047 NEW BEST:: SOT 12367 SOS 6561 HAS SOPS 6216 HAS SOUS 3287 HAS SOUPS 2942 WITH SCORE 2948.561
AT ITER 4080 NEW BEST:: SOT 12363 SOS 6561 HAS SOPS 6211 HAS SOUS 3280 HAS SOUPS 2930 WITH SCORE 2936.561
AT ITER 4318 NEW BEST:: SOT 12361 SOS 6564 HAS SOPS 6211 HAS SOUS 3277 HAS SOUPS 2924 WITH SCORE 2930.564
AT ITER 4346 NEW BEST:: SOT 12360 SOS 6610 HAS SOPS 6257 HAS SOUS 3274 HAS SOUPS 2921 WITH SCORE 2927.61
AT ITER 4425 NEW BEST:: SOT 12355 SOS 6586 HAS SOPS 6227 HAS SOUS 3265 HAS SOUPS 2906 WITH SCORE 2912.586
AT ITER 4550 NEW BEST:: SOT 12353 SOS 6584 HAS SOPS 6225 HAS SOUS 3261 HAS SOUPS 2902 WITH SCORE 2908.584
AT ITER 4601 NEW BEST:: SOT 12353 SOS 6583 HAS SOPS 6225 HAS SOUS 3260 HAS SOUPS 2902 WITH SCORE 2908.583
AT ITER 4644 NEW BEST:: SOT 12348 SOS 6580 HAS SOPS 6222 HAS SOUS 3260 HAS SOUPS 2902 WITH SCORE 2908.58
AT ITER 4657 NEW BEST:: SOT 12339 SOS 6574 HAS SOPS 6216 HAS SOUS 3253 HAS SOUPS 2895 WITH SCORE 2901.574
AT ITER 4840 NEW BEST:: SOT 12338 SOS 6572 HAS SOPS 6214 HAS SOUS 3249 HAS SOUPS 2891 WITH SCORE 2897.572
AT ITER 5007 NEW BEST:: SOT 12345 SOS 6576 HAS SOPS 6218 HAS SOUS 3248 HAS SOUPS 2890 WITH SCORE 2896.576
AT ITER 5049 NEW BEST:: SOT 12344 SOS 6577 HAS SOPS 6212 HAS SOUS 3252 HAS SOUPS 2887 WITH SCORE 2893.577
AT ITER 5130 NEW BEST:: SOT 12342 SOS 6576 HAS SOPS 6211 HAS SOUS 3252 HAS SOUPS 2887 WITH SCORE 2893.576
AT ITER 5184 NEW BEST:: SOT 12336 SOS 6570 HAS SOPS 6205 HAS SOUS 3242 HAS SOUPS 2877 WITH SCORE 2883.57
AT ITER 5321 NEW BEST:: SOT 12337 SOS 6569 HAS SOPS 6204 HAS SOUS 3238 HAS SOUPS 2873 WITH SCORE 2879.569
AT ITER 5354 NEW BEST:: SOT 12337 SOS 6568 HAS SOPS 6204 HAS SOUS 3237 HAS SOUPS 2873 WITH SCORE 2879.568
AT ITER 5989 NEW BEST:: SOT 12335 SOS 6565 HAS SOPS 6201 HAS SOUS 3229 HAS SOUPS 2865 WITH SCORE 2871.565
AT ITER 6059 NEW BEST:: SOT 12335 SOS 6564 HAS SOPS 6200 HAS SOUS 3228 HAS SOUPS 2864 WITH SCORE 2870.564
AT ITER 6102 NEW BEST:: SOT 12326 SOS 6566 HAS SOPS 6215 HAS SOUS 3213 HAS SOUPS 2862 WITH SCORE 2868.566
AT ITER 6180 NEW BEST:: SOT 12319 SOS 6559 HAS SOPS 6208 HAS SOUS 3200 HAS SOUPS 2849 WITH SCORE 2855.559
AT ITER 6209 NEW BEST:: SOT 12319 SOS 6558 HAS SOPS 6208 HAS SOUS 3199 HAS SOUPS 2849 WITH SCORE 2855.558
AT ITER 6305 NEW BEST:: SOT 12318 SOS 6560 HAS SOPS 6210 HAS SOUS 3196 HAS SOUPS 2846 WITH SCORE 2852.56
AT ITER 6461 NEW BEST:: SOT 12286 SOS 6540 HAS SOPS 6190 HAS SOUS 3192 HAS SOUPS 2842 WITH SCORE 2848.54
AT ITER 6575 NEW BEST:: SOT 12285 SOS 6534 HAS SOPS 6184 HAS SOUS 3189 HAS SOUPS 2839 WITH SCORE 2845.534
AT ITER 6584 NEW BEST:: SOT 12281 SOS 6530 HAS SOPS 6180 HAS SOUS 3181 HAS SOUPS 2831 WITH SCORE 2837.53
AT ITER 6773 NEW BEST:: SOT 12276 SOS 6527 HAS SOPS 6177 HAS SOUS 3181 HAS SOUPS 2831 WITH SCORE 2837.527
AT ITER 6776 NEW BEST:: SOT 12273 SOS 6525 HAS SOPS 6175 HAS SOUS 3180 HAS SOUPS 2830 WITH SCORE 2836.525
AT ITER 7000 NEW BEST:: SOT 12273 SOS 6524 HAS SOPS 6174 HAS SOUS 3180 HAS SOUPS 2830 WITH SCORE 2836.524
AT ITER 7121 NEW BEST:: SOT 12272 SOS 6518 HAS SOPS 6168 HAS SOUS 3177 HAS SOUPS 2827 WITH SCORE 2833.518
AT ITER 7409 NEW BEST:: SOT 12274 SOS 6519 HAS SOPS 6169 HAS SOUS 3176 HAS SOUPS 2826 WITH SCORE 2832.519
AT ITER 7424 NEW BEST:: SOT 12279 SOS 6521 HAS SOPS 6171 HAS SOUS 3175 HAS SOUPS 2825 WITH SCORE 2831.521
AT ITER 7605 NEW BEST:: SOT 12278 SOS 6519 HAS SOPS 6169 HAS SOUS 3173 HAS SOUPS 2823 WITH SCORE 2829.519
AT ITER 7681 NEW BEST:: SOT 12274 SOS 6515 HAS SOPS 6165 HAS SOUS 3169 HAS SOUPS 2819 WITH SCORE 2825.515
AT ITER 7736 NEW BEST:: SOT 12258 SOS 6529 HAS SOPS 6186 HAS SOUS 3155 HAS SOUPS 2812 WITH SCORE 2818.529
AT ITER 8082 NEW BEST:: SOT 12253 SOS 6524 HAS SOPS 6181 HAS SOUS 3145 HAS SOUPS 2802 WITH SCORE 2808.524
AT ITER 8393 NEW BEST:: SOT 12252 SOS 6523 HAS SOPS 6180 HAS SOUS 3144 HAS SOUPS 2801 WITH SCORE 2807.523
AT ITER 8408 NEW BEST:: SOT 12254 SOS 6524 HAS SOPS 6181 HAS SOUS 3142 HAS SOUPS 2799 WITH SCORE 2805.524
AT ITER 8481 NEW BEST:: SOT 12254 SOS 6524 HAS SOPS 6181 HAS SOUS 3141 HAS SOUPS 2798 WITH SCORE 2804.524
AT ITER 8744 NEW BEST:: SOT 12263 SOS 6523 HAS SOPS 6167 HAS SOUS 3154 HAS SOUPS 2798 WITH SCORE 2804.523
AT ITER 8937 NEW BEST:: SOT 12257 SOS 6517 HAS SOPS 6161 HAS SOUS 3154 HAS SOUPS 2798 WITH SCORE 2804.517
AT ITER 9140 NEW BEST:: SOT 12257 SOS 6517 HAS SOPS 6161 HAS SOUS 3152 HAS SOUPS 2796 WITH SCORE 2802.517
AT ITER 9161 NEW BEST:: SOT 12251 SOS 6515 HAS SOPS 6169 HAS SOUS 3140 HAS SOUPS 2794 WITH SCORE 2800.515
AT ITER 9222 NEW BEST:: SOT 12235 SOS 6568 HAS SOPS 6235 HAS SOUS 3126 HAS SOUPS 2793 WITH SCORE 2799.568
AT ITER 9239 NEW BEST:: SOT 12235 SOS 6567 HAS SOPS 6235 HAS SOUS 3125 HAS SOUPS 2793 WITH SCORE 2799.567
AT ITER 9332 NEW BEST:: SOT 12232 SOS 6565 HAS SOPS 6233 HAS SOUS 3124 HAS SOUPS 2792 WITH SCORE 2798.565
AT ITER 9749 NEW BEST:: SOT 12228 SOS 6561 HAS SOPS 6229 HAS SOUS 3120 HAS SOUPS 2788 WITH SCORE 2794.561
AT ITER 9973 NEW BEST:: SOT 12228 SOS 6560 HAS SOPS 6229 HAS SOUS 3119 HAS SOUPS 2788 WITH SCORE 2794.56
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 153376 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16309712 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is 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 r067-smll-167814394400072"
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 ;