Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600244.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-05, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600244
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K Apr 12 08:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 11 09:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 09:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 62K Mar 24 05:38 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Raft-PT-05-CTLFireability-00
FORMULA_NAME Raft-PT-05-CTLFireability-01
FORMULA_NAME Raft-PT-05-CTLFireability-02
FORMULA_NAME Raft-PT-05-CTLFireability-03
FORMULA_NAME Raft-PT-05-CTLFireability-04
FORMULA_NAME Raft-PT-05-CTLFireability-05
FORMULA_NAME Raft-PT-05-CTLFireability-06
FORMULA_NAME Raft-PT-05-CTLFireability-07
FORMULA_NAME Raft-PT-05-CTLFireability-08
FORMULA_NAME Raft-PT-05-CTLFireability-09
FORMULA_NAME Raft-PT-05-CTLFireability-10
FORMULA_NAME Raft-PT-05-CTLFireability-11
FORMULA_NAME Raft-PT-05-CTLFireability-12
FORMULA_NAME Raft-PT-05-CTLFireability-13
FORMULA_NAME Raft-PT-05-CTLFireability-14
FORMULA_NAME Raft-PT-05-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589799658077

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 05
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 133 places, 238 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 27317 SOS 17522 HAS SOPS 17502 HAS SOUS 13979 HAS SOUPS 13974 WITH SCORE 13991.522
AT ITER 4 NEW BEST:: SOT 27269 SOS 17472 HAS SOPS 17446 HAS SOUS 13893 HAS SOUPS 13883 WITH SCORE 13900.472
AT ITER 5 NEW BEST:: SOT 26301 SOS 17710 HAS SOPS 16691 HAS SOUS 13580 HAS SOUPS 13476 WITH SCORE 13493.71
AT ITER 6 NEW BEST:: SOT 26243 SOS 17702 HAS SOPS 16689 HAS SOUS 13558 HAS SOUPS 13459 WITH SCORE 13476.702
AT ITER 7 NEW BEST:: SOT 25261 SOS 18560 HAS SOPS 15990 HAS SOUS 13142 HAS SOUPS 12953 WITH SCORE 12971.56
AT ITER 9 NEW BEST:: SOT 25222 SOS 18507 HAS SOPS 15935 HAS SOUS 13088 HAS SOUPS 12898 WITH SCORE 12916.507
AT ITER 10 NEW BEST:: SOT 25222 SOS 18482 HAS SOPS 15960 HAS SOUS 13088 HAS SOUPS 12898 WITH SCORE 12916.482
AT ITER 11 NEW BEST:: SOT 25222 SOS 18228 HAS SOPS 15756 HAS SOUS 13034 HAS SOUPS 12844 WITH SCORE 12862.228
AT ITER 12 NEW BEST:: SOT 24982 SOS 17988 HAS SOPS 15486 HAS SOUS 12794 HAS SOUPS 12574 WITH SCORE 12591.988
AT ITER 14 NEW BEST:: SOT 24733 SOS 17677 HAS SOPS 14973 HAS SOUS 12527 HAS SOUPS 12256 WITH SCORE 12273.677
AT ITER 15 NEW BEST:: SOT 24733 SOS 17677 HAS SOPS 14894 HAS SOUS 12495 HAS SOUPS 12224 WITH SCORE 12241.677
AT ITER 16 NEW BEST:: SOT 24159 SOS 17038 HAS SOPS 14302 HAS SOUS 11869 HAS SOUPS 11598 WITH SCORE 11615.038
AT ITER 17 NEW BEST:: SOT 23715 SOS 16780 HAS SOPS 13980 HAS SOUS 11613 HAS SOUPS 11314 WITH SCORE 11330.78
AT ITER 23 NEW BEST:: SOT 23663 SOS 16725 HAS SOPS 13886 HAS SOUS 11514 HAS SOUPS 11215 WITH SCORE 11231.725
AT ITER 25 NEW BEST:: SOT 23629 SOS 16674 HAS SOPS 13835 HAS SOUS 11463 HAS SOUPS 11164 WITH SCORE 11180.674
AT ITER 28 NEW BEST:: SOT 23629 SOS 16594 HAS SOPS 13755 HAS SOUS 11463 HAS SOUPS 11164 WITH SCORE 11180.594
AT ITER 29 NEW BEST:: SOT 23426 SOS 16494 HAS SOPS 13726 HAS SOUS 11410 HAS SOUPS 11111 WITH SCORE 11127.494
AT ITER 30 NEW BEST:: SOT 23957 SOS 16801 HAS SOPS 13612 HAS SOUS 11939 HAS SOUPS 10966 WITH SCORE 10982.801
AT ITER 32 NEW BEST:: SOT 23922 SOS 16731 HAS SOPS 13542 HAS SOUS 11869 HAS SOUPS 10896 WITH SCORE 10912.731
AT ITER 33 NEW BEST:: SOT 23874 SOS 16486 HAS SOPS 13321 HAS SOUS 11797 HAS SOUPS 10824 WITH SCORE 10840.486
AT ITER 36 NEW BEST:: SOT 23636 SOS 16281 HAS SOPS 13170 HAS SOUS 11617 HAS SOUPS 10698 WITH SCORE 10714.281
AT ITER 41 NEW BEST:: SOT 23636 SOS 16219 HAS SOPS 13106 HAS SOUS 11615 HAS SOUPS 10688 WITH SCORE 10704.219
AT ITER 43 NEW BEST:: SOT 23636 SOS 16420 HAS SOPS 13187 HAS SOUS 11671 HAS SOUPS 10685 WITH SCORE 10701.42
AT ITER 45 NEW BEST:: SOT 23468 SOS 16333 HAS SOPS 13055 HAS SOUS 11579 HAS SOUPS 10581 WITH SCORE 10597.333
AT ITER 46 NEW BEST:: SOT 23468 SOS 16330 HAS SOPS 13037 HAS SOUS 11576 HAS SOUPS 10578 WITH SCORE 10594.33
AT ITER 47 NEW BEST:: SOT 23312 SOS 16174 HAS SOPS 12884 HAS SOUS 11420 HAS SOUPS 10422 WITH SCORE 10438.174
AT ITER 48 NEW BEST:: SOT 23056 SOS 15918 HAS SOPS 12596 HAS SOUS 11125 HAS SOUPS 10127 WITH SCORE 10142.918
AT ITER 49 NEW BEST:: SOT 23049 SOS 15889 HAS SOPS 12567 HAS SOUS 11101 HAS SOUPS 10103 WITH SCORE 10118.889
AT ITER 53 NEW BEST:: SOT 23027 SOS 15845 HAS SOPS 12523 HAS SOUS 11057 HAS SOUPS 10059 WITH SCORE 10074.845
AT ITER 55 NEW BEST:: SOT 22783 SOS 15582 HAS SOPS 12200 HAS SOUS 10747 HAS SOUPS 9739 WITH SCORE 9754.582
AT ITER 57 NEW BEST:: SOT 21527 SOS 15021 HAS SOPS 11238 HAS SOUS 9952 HAS SOUPS 8876 WITH SCORE 8891.021
AT ITER 62 NEW BEST:: SOT 21525 SOS 15023 HAS SOPS 11235 HAS SOUS 9950 HAS SOUPS 8874 WITH SCORE 8889.023
AT ITER 70 NEW BEST:: SOT 21525 SOS 15008 HAS SOPS 11226 HAS SOUS 9947 HAS SOUPS 8874 WITH SCORE 8889.008
AT ITER 71 NEW BEST:: SOT 21525 SOS 15004 HAS SOPS 11226 HAS SOUS 9932 HAS SOUPS 8859 WITH SCORE 8874.004
AT ITER 72 NEW BEST:: SOT 21525 SOS 14995 HAS SOPS 11226 HAS SOUS 9932 HAS SOUPS 8859 WITH SCORE 8873.995
AT ITER 75 NEW BEST:: SOT 21432 SOS 14902 HAS SOPS 11150 HAS SOUS 9834 HAS SOUPS 8761 WITH SCORE 8775.902
AT ITER 79 NEW BEST:: SOT 21380 SOS 14850 HAS SOPS 11070 HAS SOUS 9745 HAS SOUPS 8672 WITH SCORE 8686.85
AT ITER 85 NEW BEST:: SOT 21309 SOS 14779 HAS SOPS 10992 HAS SOUS 9672 HAS SOUPS 8594 WITH SCORE 8608.779
AT ITER 86 NEW BEST:: SOT 21033 SOS 14319 HAS SOPS 10642 HAS SOUS 9454 HAS SOUPS 8381 WITH SCORE 8395.319
AT ITER 90 NEW BEST:: SOT 20886 SOS 14317 HAS SOPS 10694 HAS SOUS 9394 HAS SOUPS 8333 WITH SCORE 8347.317
AT ITER 91 NEW BEST:: SOT 20680 SOS 14341 HAS SOPS 10596 HAS SOUS 9308 HAS SOUPS 8232 WITH SCORE 8246.341
AT ITER 94 NEW BEST:: SOT 20173 SOS 15082 HAS SOPS 10366 HAS SOUS 9160 HAS SOUPS 8014 WITH SCORE 8029.082
AT ITER 96 NEW BEST:: SOT 20146 SOS 15041 HAS SOPS 10315 HAS SOUS 9104 HAS SOUPS 7958 WITH SCORE 7973.041
AT ITER 97 NEW BEST:: SOT 20108 SOS 15004 HAS SOPS 10266 HAS SOUS 9092 HAS SOUPS 7946 WITH SCORE 7961.004
AT ITER 99 NEW BEST:: SOT 19870 SOS 14766 HAS SOPS 10000 HAS SOUS 8798 HAS SOUPS 7652 WITH SCORE 7666.766
AT ITER 107 NEW BEST:: SOT 19858 SOS 14754 HAS SOPS 9982 HAS SOUS 8779 HAS SOUPS 7633 WITH SCORE 7647.754
AT ITER 109 NEW BEST:: SOT 19786 SOS 14727 HAS SOPS 10011 HAS SOUS 8717 HAS SOUPS 7571 WITH SCORE 7585.727
AT ITER 111 NEW BEST:: SOT 19780 SOS 14715 HAS SOPS 9999 HAS SOUS 8705 HAS SOUPS 7559 WITH SCORE 7573.715
AT ITER 112 NEW BEST:: SOT 19757 SOS 14577 HAS SOPS 9911 HAS SOUS 8582 HAS SOUPS 7486 WITH SCORE 7500.577
AT ITER 116 NEW BEST:: SOT 19753 SOS 14561 HAS SOPS 9891 HAS SOUS 8574 HAS SOUPS 7478 WITH SCORE 7492.561
AT ITER 117 NEW BEST:: SOT 19750 SOS 14558 HAS SOPS 9888 HAS SOUS 8571 HAS SOUPS 7475 WITH SCORE 7489.558
AT ITER 122 NEW BEST:: SOT 19274 SOS 14051 HAS SOPS 9365 HAS SOUS 8054 HAS SOUPS 6950 WITH SCORE 6964.051
AT ITER 123 NEW BEST:: SOT 18950 SOS 15129 HAS SOPS 9741 HAS SOUS 8003 HAS SOUPS 6849 WITH SCORE 6864.129
AT ITER 127 NEW BEST:: SOT 18754 SOS 14933 HAS SOPS 9525 HAS SOUS 7817 HAS SOUPS 6633 WITH SCORE 6647.933
AT ITER 133 NEW BEST:: SOT 18749 SOS 14923 HAS SOPS 9510 HAS SOUS 7807 HAS SOUPS 6623 WITH SCORE 6637.923
AT ITER 141 NEW BEST:: SOT 18633 SOS 14807 HAS SOPS 9488 HAS SOUS 7738 HAS SOUPS 6554 WITH SCORE 6568.807
AT ITER 144 NEW BEST:: SOT 18488 SOS 15014 HAS SOPS 9463 HAS SOUS 7703 HAS SOUPS 6504 WITH SCORE 6519.014
AT ITER 145 NEW BEST:: SOT 18324 SOS 14850 HAS SOPS 9381 HAS SOUS 7618 HAS SOUPS 6419 WITH SCORE 6433.85
AT ITER 150 NEW BEST:: SOT 18201 SOS 14787 HAS SOPS 9194 HAS SOUS 7566 HAS SOUPS 6306 WITH SCORE 6320.787
AT ITER 151 NEW BEST:: SOT 18175 SOS 14700 HAS SOPS 9094 HAS SOUS 7527 HAS SOUPS 6267 WITH SCORE 6281.7
AT ITER 158 NEW BEST:: SOT 18153 SOS 14678 HAS SOPS 9061 HAS SOUS 7498 HAS SOUPS 6238 WITH SCORE 6252.678
AT ITER 160 NEW BEST:: SOT 18122 SOS 14647 HAS SOPS 9006 HAS SOUS 7457 HAS SOUPS 6196 WITH SCORE 6210.647
AT ITER 164 NEW BEST:: SOT 17990 SOS 14515 HAS SOPS 9051 HAS SOUS 7404 HAS SOUPS 6143 WITH SCORE 6157.515
AT ITER 165 NEW BEST:: SOT 18005 SOS 14530 HAS SOPS 9034 HAS SOUS 7378 HAS SOUPS 6114 WITH SCORE 6128.53
AT ITER 167 NEW BEST:: SOT 17949 SOS 14474 HAS SOPS 8964 HAS SOUS 7308 HAS SOUPS 6044 WITH SCORE 6058.474
AT ITER 168 NEW BEST:: SOT 17943 SOS 14468 HAS SOPS 8955 HAS SOUS 7299 HAS SOUPS 6035 WITH SCORE 6049.468
AT ITER 169 NEW BEST:: SOT 17909 SOS 14434 HAS SOPS 8904 HAS SOUS 7248 HAS SOUPS 5984 WITH SCORE 5998.434
AT ITER 174 NEW BEST:: SOT 17889 SOS 14414 HAS SOPS 8889 HAS SOUS 7223 HAS SOUPS 5959 WITH SCORE 5973.414
AT ITER 179 NEW BEST:: SOT 17856 SOS 14385 HAS SOPS 8835 HAS SOUS 7172 HAS SOUPS 5908 WITH SCORE 5922.385
AT ITER 188 NEW BEST:: SOT 17846 SOS 14375 HAS SOPS 8815 HAS SOUS 7152 HAS SOUPS 5888 WITH SCORE 5902.375
AT ITER 205 NEW BEST:: SOT 17846 SOS 14375 HAS SOPS 8815 HAS SOUS 7135 HAS SOUPS 5871 WITH SCORE 5885.375
AT ITER 208 NEW BEST:: SOT 17824 SOS 14353 HAS SOPS 8793 HAS SOUS 7022 HAS SOUPS 5758 WITH SCORE 5772.353
AT ITER 209 NEW BEST:: SOT 17788 SOS 14317 HAS SOPS 8739 HAS SOUS 6968 HAS SOUPS 5704 WITH SCORE 5718.317
AT ITER 211 NEW BEST:: SOT 17782 SOS 14311 HAS SOPS 8727 HAS SOUS 6959 HAS SOUPS 5695 WITH SCORE 5709.311
AT ITER 212 NEW BEST:: SOT 17782 SOS 14311 HAS SOPS 8727 HAS SOUS 6927 HAS SOUPS 5663 WITH SCORE 5677.311
AT ITER 214 NEW BEST:: SOT 17782 SOS 14311 HAS SOPS 8727 HAS SOUS 6909 HAS SOUPS 5645 WITH SCORE 5659.311
AT ITER 216 NEW BEST:: SOT 17744 SOS 14273 HAS SOPS 8594 HAS SOUS 6862 HAS SOUPS 5598 WITH SCORE 5612.273
AT ITER 226 NEW BEST:: SOT 17716 SOS 14245 HAS SOPS 8521 HAS SOUS 6806 HAS SOUPS 5542 WITH SCORE 5556.245
AT ITER 230 NEW BEST:: SOT 17702 SOS 14231 HAS SOPS 8528 HAS SOUS 6792 HAS SOUPS 5528 WITH SCORE 5542.231
AT ITER 236 NEW BEST:: SOT 17585 SOS 14134 HAS SOPS 8427 HAS SOUS 6651 HAS SOUPS 5387 WITH SCORE 5401.134
AT ITER 242 NEW BEST:: SOT 17443 SOS 13992 HAS SOPS 8283 HAS SOUS 6498 HAS SOUPS 5255 WITH SCORE 5268.992
AT ITER 250 NEW BEST:: SOT 17399 SOS 14257 HAS SOPS 8399 HAS SOUS 6500 HAS SOUPS 5249 WITH SCORE 5263.257
AT ITER 251 NEW BEST:: SOT 17530 SOS 13421 HAS SOPS 8006 HAS SOUS 6461 HAS SOUPS 5236 WITH SCORE 5249.421
AT ITER 253 NEW BEST:: SOT 17528 SOS 13419 HAS SOPS 8003 HAS SOUS 6458 HAS SOUPS 5233 WITH SCORE 5246.419
AT ITER 259 NEW BEST:: SOT 17528 SOS 13279 HAS SOPS 7898 HAS SOUS 6458 HAS SOUPS 5233 WITH SCORE 5246.279
AT ITER 265 NEW BEST:: SOT 17524 SOS 13275 HAS SOPS 7906 HAS SOUS 6452 HAS SOUPS 5227 WITH SCORE 5240.275
AT ITER 278 NEW BEST:: SOT 17504 SOS 13282 HAS SOPS 7798 HAS SOUS 6411 HAS SOUPS 5186 WITH SCORE 5199.282
AT ITER 288 NEW BEST:: SOT 17476 SOS 13254 HAS SOPS 7798 HAS SOUS 6408 HAS SOUPS 5183 WITH SCORE 5196.254
AT ITER 289 NEW BEST:: SOT 17476 SOS 13250 HAS SOPS 7796 HAS SOUS 6404 HAS SOUPS 5181 WITH SCORE 5194.25
AT ITER 290 NEW BEST:: SOT 17476 SOS 13250 HAS SOPS 7796 HAS SOUS 6402 HAS SOUPS 5179 WITH SCORE 5192.25
AT ITER 294 NEW BEST:: SOT 17476 SOS 13250 HAS SOPS 7796 HAS SOUS 6382 HAS SOUPS 5159 WITH SCORE 5172.25
AT ITER 298 NEW BEST:: SOT 17472 SOS 13246 HAS SOPS 7790 HAS SOUS 6378 HAS SOUPS 5155 WITH SCORE 5168.246
AT ITER 304 NEW BEST:: SOT 17460 SOS 13234 HAS SOPS 7772 HAS SOUS 6375 HAS SOUPS 5152 WITH SCORE 5165.234
AT ITER 312 NEW BEST:: SOT 17460 SOS 13234 HAS SOPS 7772 HAS SOUS 6371 HAS SOUPS 5148 WITH SCORE 5161.234
AT ITER 317 NEW BEST:: SOT 17452 SOS 13226 HAS SOPS 7760 HAS SOUS 6355 HAS SOUPS 5132 WITH SCORE 5145.226
AT ITER 359 NEW BEST:: SOT 17455 SOS 13232 HAS SOPS 7763 HAS SOUS 6355 HAS SOUPS 5129 WITH SCORE 5142.232
AT ITER 361 NEW BEST:: SOT 17415 SOS 13192 HAS SOPS 7703 HAS SOUS 6278 HAS SOUPS 5052 WITH SCORE 5065.192
AT ITER 369 NEW BEST:: SOT 17409 SOS 13186 HAS SOPS 7694 HAS SOUS 6267 HAS SOUPS 5041 WITH SCORE 5054.186
AT ITER 370 NEW BEST:: SOT 17414 SOS 13207 HAS SOPS 7704 HAS SOUS 6272 HAS SOUPS 5035 WITH SCORE 5048.207
AT ITER 372 NEW BEST:: SOT 17414 SOS 13207 HAS SOPS 7704 HAS SOUS 6249 HAS SOUPS 5012 WITH SCORE 5025.207
AT ITER 378 NEW BEST:: SOT 17406 SOS 13199 HAS SOPS 7688 HAS SOUS 6241 HAS SOUPS 5004 WITH SCORE 5017.199
AT ITER 381 NEW BEST:: SOT 17406 SOS 13195 HAS SOPS 7684 HAS SOUS 6239 HAS SOUPS 5002 WITH SCORE 5015.195
AT ITER 384 NEW BEST:: SOT 17406 SOS 13195 HAS SOPS 7684 HAS SOUS 6238 HAS SOUPS 5001 WITH SCORE 5014.195
AT ITER 389 NEW BEST:: SOT 17392 SOS 13181 HAS SOPS 7663 HAS SOUS 6217 HAS SOUPS 4980 WITH SCORE 4993.181
AT ITER 405 NEW BEST:: SOT 17385 SOS 13136 HAS SOPS 7618 HAS SOUS 6210 HAS SOUPS 4973 WITH SCORE 4986.136
AT ITER 408 NEW BEST:: SOT 17350 SOS 13101 HAS SOPS 7641 HAS SOUS 6175 HAS SOUPS 4965 WITH SCORE 4978.101
AT ITER 426 NEW BEST:: SOT 17352 SOS 13107 HAS SOPS 7642 HAS SOUS 6176 HAS SOUPS 4962 WITH SCORE 4975.107
AT ITER 432 NEW BEST:: SOT 17344 SOS 13099 HAS SOPS 7634 HAS SOUS 6168 HAS SOUPS 4954 WITH SCORE 4967.099
AT ITER 436 NEW BEST:: SOT 17318 SOS 13073 HAS SOPS 7595 HAS SOUS 6142 HAS SOUPS 4928 WITH SCORE 4941.073
AT ITER 438 NEW BEST:: SOT 17276 SOS 13031 HAS SOPS 7577 HAS SOUS 6122 HAS SOUPS 4908 WITH SCORE 4921.031
AT ITER 446 NEW BEST:: SOT 17268 SOS 13023 HAS SOPS 7565 HAS SOUS 6101 HAS SOUPS 4887 WITH SCORE 4900.023
AT ITER 447 NEW BEST:: SOT 17270 SOS 13025 HAS SOPS 7561 HAS SOUS 6096 HAS SOUPS 4882 WITH SCORE 4895.025
AT ITER 451 NEW BEST:: SOT 17254 SOS 13009 HAS SOPS 7537 HAS SOUS 6075 HAS SOUPS 4861 WITH SCORE 4874.009
AT ITER 456 NEW BEST:: SOT 17268 SOS 12956 HAS SOPS 7431 HAS SOUS 5990 HAS SOUPS 4776 WITH SCORE 4788.956
AT ITER 459 NEW BEST:: SOT 17268 SOS 12956 HAS SOPS 7431 HAS SOUS 5988 HAS SOUPS 4774 WITH SCORE 4786.956
AT ITER 473 NEW BEST:: SOT 17266 SOS 12949 HAS SOPS 7429 HAS SOUS 5981 HAS SOUPS 4772 WITH SCORE 4784.949
AT ITER 480 NEW BEST:: SOT 17266 SOS 12945 HAS SOPS 7425 HAS SOUS 5981 HAS SOUPS 4772 WITH SCORE 4784.945
AT ITER 482 NEW BEST:: SOT 17260 SOS 12939 HAS SOPS 7416 HAS SOUS 5967 HAS SOUPS 4758 WITH SCORE 4770.939
AT ITER 488 NEW BEST:: SOT 17204 SOS 12883 HAS SOPS 7304 HAS SOUS 5891 HAS SOUPS 4674 WITH SCORE 4686.883
AT ITER 491 NEW BEST:: SOT 17198 SOS 12877 HAS SOPS 7316 HAS SOUS 5885 HAS SOUPS 4674 WITH SCORE 4686.877
AT ITER 492 NEW BEST:: SOT 17198 SOS 12877 HAS SOPS 7316 HAS SOUS 5858 HAS SOUPS 4647 WITH SCORE 4659.877
AT ITER 496 NEW BEST:: SOT 17190 SOS 12869 HAS SOPS 7276 HAS SOUS 5826 HAS SOUPS 4615 WITH SCORE 4627.869
AT ITER 497 NEW BEST:: SOT 17190 SOS 12865 HAS SOPS 7270 HAS SOUS 5820 HAS SOUPS 4609 WITH SCORE 4621.865
AT ITER 498 NEW BEST:: SOT 17180 SOS 12855 HAS SOPS 7255 HAS SOUS 5805 HAS SOUPS 4594 WITH SCORE 4606.855
AT ITER 508 NEW BEST:: SOT 17192 SOS 12867 HAS SOPS 7157 HAS SOUS 5736 HAS SOUPS 4525 WITH SCORE 4537.867
AT ITER 523 NEW BEST:: SOT 17192 SOS 12864 HAS SOPS 7154 HAS SOUS 5736 HAS SOUPS 4525 WITH SCORE 4537.864
AT ITER 527 NEW BEST:: SOT 17186 SOS 12858 HAS SOPS 7133 HAS SOUS 5721 HAS SOUPS 4510 WITH SCORE 4522.858
AT ITER 565 NEW BEST:: SOT 17178 SOS 12826 HAS SOPS 7095 HAS SOUS 5689 HAS SOUPS 4478 WITH SCORE 4490.826
AT ITER 577 NEW BEST:: SOT 17154 SOS 12802 HAS SOPS 7083 HAS SOUS 5659 HAS SOUPS 4460 WITH SCORE 4472.802
AT ITER 580 NEW BEST:: SOT 17150 SOS 12798 HAS SOPS 7077 HAS SOUS 5654 HAS SOUPS 4456 WITH SCORE 4468.798
AT ITER 586 NEW BEST:: SOT 17148 SOS 12796 HAS SOPS 7074 HAS SOUS 5651 HAS SOUPS 4453 WITH SCORE 4465.796
AT ITER 615 NEW BEST:: SOT 17134 SOS 12785 HAS SOPS 7112 HAS SOUS 5637 HAS SOUPS 4439 WITH SCORE 4451.785
AT ITER 618 NEW BEST:: SOT 17110 SOS 12757 HAS SOPS 7058 HAS SOUS 5635 HAS SOUPS 4437 WITH SCORE 4449.757
AT ITER 624 NEW BEST:: SOT 17088 SOS 12735 HAS SOPS 7025 HAS SOUS 5589 HAS SOUPS 4391 WITH SCORE 4403.735
AT ITER 632 NEW BEST:: SOT 17060 SOS 12707 HAS SOPS 6969 HAS SOUS 5547 HAS SOUPS 4349 WITH SCORE 4361.707
AT ITER 633 NEW BEST:: SOT 17075 SOS 12735 HAS SOPS 6984 HAS SOUS 5536 HAS SOUPS 4325 WITH SCORE 4337.735
AT ITER 634 NEW BEST:: SOT 17075 SOS 12735 HAS SOPS 6874 HAS SOUS 5426 HAS SOUPS 4215 WITH SCORE 4227.735
AT ITER 646 NEW BEST:: SOT 17075 SOS 12735 HAS SOPS 6868 HAS SOUS 5422 HAS SOUPS 4211 WITH SCORE 4223.735
AT ITER 647 NEW BEST:: SOT 16984 SOS 12975 HAS SOPS 6900 HAS SOUS 5412 HAS SOUPS 4189 WITH SCORE 4201.975
AT ITER 677 NEW BEST:: SOT 16980 SOS 12971 HAS SOPS 6908 HAS SOUS 5408 HAS SOUPS 4185 WITH SCORE 4197.971
AT ITER 678 NEW BEST:: SOT 16980 SOS 12971 HAS SOPS 6908 HAS SOUS 5403 HAS SOUPS 4180 WITH SCORE 4192.971
AT ITER 684 NEW BEST:: SOT 16973 SOS 12964 HAS SOPS 6894 HAS SOUS 5389 HAS SOUPS 4159 WITH SCORE 4171.964
AT ITER 685 NEW BEST:: SOT 16992 SOS 13002 HAS SOPS 6868 HAS SOUS 5380 HAS SOUPS 4150 WITH SCORE 4163.002
AT ITER 696 NEW BEST:: SOT 16990 SOS 13000 HAS SOPS 6865 HAS SOUS 5377 HAS SOUPS 4147 WITH SCORE 4160.0
AT ITER 707 NEW BEST:: SOT 16978 SOS 12988 HAS SOPS 6853 HAS SOUS 5365 HAS SOUPS 4135 WITH SCORE 4147.988
AT ITER 743 NEW BEST:: SOT 16952 SOS 12962 HAS SOPS 6856 HAS SOUS 5359 HAS SOUPS 4129 WITH SCORE 4141.962
AT ITER 751 NEW BEST:: SOT 16952 SOS 12962 HAS SOPS 6856 HAS SOUS 5342 HAS SOUPS 4112 WITH SCORE 4124.962
AT ITER 805 NEW BEST:: SOT 16960 SOS 12960 HAS SOPS 6841 HAS SOUS 5334 HAS SOUPS 4104 WITH SCORE 4116.96
AT ITER 825 NEW BEST:: SOT 16950 SOS 12940 HAS SOPS 6831 HAS SOUS 5306 HAS SOUPS 4086 WITH SCORE 4098.94
AT ITER 828 NEW BEST:: SOT 16936 SOS 12926 HAS SOPS 6812 HAS SOUS 5292 HAS SOUPS 4071 WITH SCORE 4083.926
AT ITER 833 NEW BEST:: SOT 16916 SOS 12906 HAS SOPS 6817 HAS SOUS 5289 HAS SOUPS 4068 WITH SCORE 4080.906
AT ITER 841 NEW BEST:: SOT 16926 SOS 12916 HAS SOPS 6800 HAS SOUS 5280 HAS SOUPS 4059 WITH SCORE 4071.916
AT ITER 861 NEW BEST:: SOT 16926 SOS 12915 HAS SOPS 6798 HAS SOUS 5281 HAS SOUPS 4059 WITH SCORE 4071.915
AT ITER 867 NEW BEST:: SOT 16918 SOS 12907 HAS SOPS 6781 HAS SOUS 5279 HAS SOUPS 4057 WITH SCORE 4069.907
AT ITER 904 NEW BEST:: SOT 16927 SOS 12843 HAS SOPS 6755 HAS SOUS 5275 HAS SOUPS 4055 WITH SCORE 4067.843
AT ITER 909 NEW BEST:: SOT 16929 SOS 12821 HAS SOPS 6738 HAS SOUS 5229 HAS SOUPS 4009 WITH SCORE 4021.821
AT ITER 910 NEW BEST:: SOT 16917 SOS 12809 HAS SOPS 6720 HAS SOUS 5226 HAS SOUPS 4006 WITH SCORE 4018.809
AT ITER 917 NEW BEST:: SOT 16917 SOS 12809 HAS SOPS 6716 HAS SOUS 5222 HAS SOUPS 4002 WITH SCORE 4014.809
AT ITER 921 NEW BEST:: SOT 16905 SOS 12797 HAS SOPS 6692 HAS SOUS 5188 HAS SOUPS 3968 WITH SCORE 3980.797
AT ITER 922 NEW BEST:: SOT 16881 SOS 12773 HAS SOPS 6644 HAS SOUS 5173 HAS SOUPS 3953 WITH SCORE 3965.773
AT ITER 928 NEW BEST:: SOT 16875 SOS 12767 HAS SOPS 6635 HAS SOUS 5167 HAS SOUPS 3947 WITH SCORE 3959.767
AT ITER 933 NEW BEST:: SOT 16867 SOS 12759 HAS SOPS 6623 HAS SOUS 5155 HAS SOUPS 3935 WITH SCORE 3947.759
AT ITER 935 NEW BEST:: SOT 16859 SOS 12751 HAS SOPS 6611 HAS SOUS 5147 HAS SOUPS 3927 WITH SCORE 3939.751
AT ITER 958 NEW BEST:: SOT 16866 SOS 12758 HAS SOPS 6618 HAS SOUS 5138 HAS SOUPS 3918 WITH SCORE 3930.758
AT ITER 966 NEW BEST:: SOT 16866 SOS 12758 HAS SOPS 6618 HAS SOUS 5135 HAS SOUPS 3915 WITH SCORE 3927.758
AT ITER 971 NEW BEST:: SOT 16864 SOS 12756 HAS SOPS 6614 HAS SOUS 5125 HAS SOUPS 3905 WITH SCORE 3917.756
AT ITER 973 NEW BEST:: SOT 16859 SOS 12761 HAS SOPS 6647 HAS SOUS 5115 HAS SOUPS 3895 WITH SCORE 3907.761
AT ITER 975 NEW BEST:: SOT 16852 SOS 12754 HAS SOPS 6640 HAS SOUS 5108 HAS SOUPS 3888 WITH SCORE 3900.754
AT ITER 1002 NEW BEST:: SOT 16848 SOS 12750 HAS SOPS 6632 HAS SOUS 5108 HAS SOUPS 3888 WITH SCORE 3900.75
AT ITER 1003 NEW BEST:: SOT 16844 SOS 12746 HAS SOPS 6626 HAS SOUS 5100 HAS SOUPS 3880 WITH SCORE 3892.746
AT ITER 1004 NEW BEST:: SOT 16848 SOS 12750 HAS SOPS 6632 HAS SOUS 5079 HAS SOUPS 3859 WITH SCORE 3871.75
AT ITER 1015 NEW BEST:: SOT 16847 SOS 12750 HAS SOPS 6630 HAS SOUS 5079 HAS SOUPS 3858 WITH SCORE 3870.75
AT ITER 1021 NEW BEST:: SOT 16835 SOS 12738 HAS SOPS 6612 HAS SOUS 5061 HAS SOUPS 3840 WITH SCORE 3852.738
AT ITER 1042 NEW BEST:: SOT 16827 SOS 12734 HAS SOPS 6600 HAS SOUS 5049 HAS SOUPS 3824 WITH SCORE 3836.734
AT ITER 1094 NEW BEST:: SOT 16821 SOS 12728 HAS SOPS 6597 HAS SOUS 5046 HAS SOUPS 3821 WITH SCORE 3833.728
AT ITER 1097 NEW BEST:: SOT 16822 SOS 12729 HAS SOPS 6596 HAS SOUS 5036 HAS SOUPS 3811 WITH SCORE 3823.729
AT ITER 1122 NEW BEST:: SOT 16804 SOS 12711 HAS SOPS 6569 HAS SOUS 5008 HAS SOUPS 3783 WITH SCORE 3795.711
AT ITER 1134 NEW BEST:: SOT 16792 SOS 12699 HAS SOPS 6551 HAS SOUS 4985 HAS SOUPS 3760 WITH SCORE 3772.699
AT ITER 1138 NEW BEST:: SOT 16790 SOS 12697 HAS SOPS 6548 HAS SOUS 4979 HAS SOUPS 3754 WITH SCORE 3766.697
AT ITER 1153 NEW BEST:: SOT 16792 SOS 12699 HAS SOPS 6544 HAS SOUS 4976 HAS SOUPS 3751 WITH SCORE 3763.699
AT ITER 1169 NEW BEST:: SOT 16788 SOS 12691 HAS SOPS 6536 HAS SOUS 4968 HAS SOUPS 3743 WITH SCORE 3755.691
AT ITER 1171 NEW BEST:: SOT 16846 SOS 12749 HAS SOPS 6546 HAS SOUS 4964 HAS SOUPS 3739 WITH SCORE 3751.749
AT ITER 1174 NEW BEST:: SOT 16844 SOS 12747 HAS SOPS 6461 HAS SOUS 4963 HAS SOUPS 3721 WITH SCORE 3733.747
AT ITER 1175 NEW BEST:: SOT 16816 SOS 12719 HAS SOPS 6420 HAS SOUS 4910 HAS SOUPS 3668 WITH SCORE 3680.719
AT ITER 1181 NEW BEST:: SOT 16790 SOS 12693 HAS SOPS 6381 HAS SOUS 4885 HAS SOUPS 3643 WITH SCORE 3655.693
AT ITER 1187 NEW BEST:: SOT 16772 SOS 12675 HAS SOPS 6354 HAS SOUS 4859 HAS SOUPS 3617 WITH SCORE 3629.675
AT ITER 1195 NEW BEST:: SOT 16751 SOS 12666 HAS SOPS 6328 HAS SOUS 4841 HAS SOUPS 3582 WITH SCORE 3594.666
AT ITER 1196 NEW BEST:: SOT 16805 SOS 12720 HAS SOPS 6315 HAS SOUS 4832 HAS SOUPS 3573 WITH SCORE 3585.72
AT ITER 1209 NEW BEST:: SOT 16785 SOS 12700 HAS SOPS 6245 HAS SOUS 4812 HAS SOUPS 3543 WITH SCORE 3555.7
AT ITER 1219 NEW BEST:: SOT 16795 SOS 12710 HAS SOPS 6215 HAS SOUS 4784 HAS SOUPS 3515 WITH SCORE 3527.71
AT ITER 1221 NEW BEST:: SOT 16787 SOS 12702 HAS SOPS 6205 HAS SOUS 4772 HAS SOUPS 3503 WITH SCORE 3515.702
AT ITER 1230 NEW BEST:: SOT 16787 SOS 12702 HAS SOPS 6205 HAS SOUS 4767 HAS SOUPS 3498 WITH SCORE 3510.702
AT ITER 1237 NEW BEST:: SOT 16782 SOS 12692 HAS SOPS 6195 HAS SOUS 4752 HAS SOUPS 3483 WITH SCORE 3495.692
AT ITER 1265 NEW BEST:: SOT 16762 SOS 12719 HAS SOPS 6174 HAS SOUS 4763 HAS SOUPS 3465 WITH SCORE 3477.719
AT ITER 1287 NEW BEST:: SOT 16756 SOS 12713 HAS SOPS 6168 HAS SOUS 4759 HAS SOUPS 3461 WITH SCORE 3473.713
AT ITER 1299 NEW BEST:: SOT 16754 SOS 12711 HAS SOPS 6165 HAS SOUS 4756 HAS SOUPS 3458 WITH SCORE 3470.711
AT ITER 1322 NEW BEST:: SOT 16749 SOS 12704 HAS SOPS 6156 HAS SOUS 4749 HAS SOUPS 3451 WITH SCORE 3463.704
AT ITER 1333 NEW BEST:: SOT 16733 SOS 12683 HAS SOPS 6132 HAS SOUS 4749 HAS SOUPS 3451 WITH SCORE 3463.683
AT ITER 1342 NEW BEST:: SOT 16717 SOS 12667 HAS SOPS 6096 HAS SOUS 4720 HAS SOUPS 3422 WITH SCORE 3434.667
AT ITER 1357 NEW BEST:: SOT 16701 SOS 12651 HAS SOPS 6087 HAS SOUS 4696 HAS SOUPS 3398 WITH SCORE 3410.651
AT ITER 1385 NEW BEST:: SOT 16700 SOS 12650 HAS SOPS 6086 HAS SOUS 4693 HAS SOUPS 3395 WITH SCORE 3407.65
AT ITER 1403 NEW BEST:: SOT 16708 SOS 12642 HAS SOPS 6094 HAS SOUS 4685 HAS SOUPS 3395 WITH SCORE 3407.642
AT ITER 1426 NEW BEST:: SOT 16702 SOS 12636 HAS SOPS 6085 HAS SOUS 4673 HAS SOUPS 3383 WITH SCORE 3395.636
AT ITER 1457 NEW BEST:: SOT 16702 SOS 12636 HAS SOPS 6085 HAS SOUS 4671 HAS SOUPS 3381 WITH SCORE 3393.636
AT ITER 1502 NEW BEST:: SOT 16727 SOS 12458 HAS SOPS 6005 HAS SOUS 4661 HAS SOUPS 3376 WITH SCORE 3388.458
AT ITER 1504 NEW BEST:: SOT 16727 SOS 12458 HAS SOPS 6005 HAS SOUS 4659 HAS SOUPS 3374 WITH SCORE 3386.458
AT ITER 1507 NEW BEST:: SOT 16727 SOS 12458 HAS SOPS 6005 HAS SOUS 4658 HAS SOUPS 3373 WITH SCORE 3385.458
AT ITER 1510 NEW BEST:: SOT 16717 SOS 12438 HAS SOPS 5995 HAS SOUS 4648 HAS SOUPS 3373 WITH SCORE 3385.438
AT ITER 1528 NEW BEST:: SOT 16727 SOS 12384 HAS SOPS 5985 HAS SOUS 4646 HAS SOUPS 3373 WITH SCORE 3385.384
AT ITER 1542 NEW BEST:: SOT 16713 SOS 12355 HAS SOPS 5958 HAS SOUS 4637 HAS SOUPS 3364 WITH SCORE 3376.355
AT ITER 1571 NEW BEST:: SOT 16713 SOS 12355 HAS SOPS 5958 HAS SOUS 4632 HAS SOUPS 3359 WITH SCORE 3371.355
AT ITER 1575 NEW BEST:: SOT 16727 SOS 12369 HAS SOPS 5939 HAS SOUS 4628 HAS SOUPS 3355 WITH SCORE 3367.369
AT ITER 1593 NEW BEST:: SOT 16693 SOS 12335 HAS SOPS 5888 HAS SOUS 4564 HAS SOUPS 3291 WITH SCORE 3303.335
AT ITER 1611 NEW BEST:: SOT 16673 SOS 12315 HAS SOPS 5845 HAS SOUS 4526 HAS SOUPS 3253 WITH SCORE 3265.315
AT ITER 1654 NEW BEST:: SOT 16669 SOS 12311 HAS SOPS 5840 HAS SOUS 4523 HAS SOUPS 3250 WITH SCORE 3262.311
AT ITER 1668 NEW BEST:: SOT 16663 SOS 12305 HAS SOPS 5831 HAS SOUS 4511 HAS SOUPS 3238 WITH SCORE 3250.305
AT ITER 1670 NEW BEST:: SOT 16663 SOS 12305 HAS SOPS 5831 HAS SOUS 4498 HAS SOUPS 3225 WITH SCORE 3237.305
AT ITER 1672 NEW BEST:: SOT 16666 SOS 12272 HAS SOPS 5820 HAS SOUS 4479 HAS SOUPS 3225 WITH SCORE 3237.272
AT ITER 1690 NEW BEST:: SOT 16656 SOS 12262 HAS SOPS 5800 HAS SOUS 4472 HAS SOUPS 3213 WITH SCORE 3225.262
AT ITER 1742 NEW BEST:: SOT 16656 SOS 12262 HAS SOPS 5800 HAS SOUS 4471 HAS SOUPS 3212 WITH SCORE 3224.262
AT ITER 1749 NEW BEST:: SOT 16656 SOS 12262 HAS SOPS 5800 HAS SOUS 4467 HAS SOUPS 3208 WITH SCORE 3220.262
AT ITER 1777 NEW BEST:: SOT 16644 SOS 12250 HAS SOPS 5782 HAS SOUS 4449 HAS SOUPS 3190 WITH SCORE 3202.25
AT ITER 1778 NEW BEST:: SOT 16630 SOS 12236 HAS SOPS 5768 HAS SOUS 4435 HAS SOUPS 3176 WITH SCORE 3188.236
AT ITER 1785 NEW BEST:: SOT 16620 SOS 12226 HAS SOPS 5753 HAS SOUS 4430 HAS SOUPS 3171 WITH SCORE 3183.226
AT ITER 1794 NEW BEST:: SOT 16588 SOS 12136 HAS SOPS 5720 HAS SOUS 4412 HAS SOUPS 3153 WITH SCORE 3165.136
AT ITER 1870 NEW BEST:: SOT 16560 SOS 12108 HAS SOPS 5678 HAS SOUS 4370 HAS SOUPS 3111 WITH SCORE 3123.108
AT ITER 1878 NEW BEST:: SOT 16560 SOS 12108 HAS SOPS 5674 HAS SOUS 4370 HAS SOUPS 3110 WITH SCORE 3122.108
AT ITER 1928 NEW BEST:: SOT 16558 SOS 12106 HAS SOPS 5670 HAS SOUS 4366 HAS SOUPS 3106 WITH SCORE 3118.106
AT ITER 1942 NEW BEST:: SOT 16554 SOS 12102 HAS SOPS 5664 HAS SOUS 4358 HAS SOUPS 3098 WITH SCORE 3110.102
AT ITER 1952 NEW BEST:: SOT 16522 SOS 12070 HAS SOPS 5649 HAS SOUS 4337 HAS SOUPS 3077 WITH SCORE 3089.07
AT ITER 2069 NEW BEST:: SOT 16513 SOS 12043 HAS SOPS 5631 HAS SOUS 4306 HAS SOUPS 3055 WITH SCORE 3067.043
AT ITER 2070 NEW BEST:: SOT 16507 SOS 12040 HAS SOPS 5642 HAS SOUS 4304 HAS SOUPS 3053 WITH SCORE 3065.04
AT ITER 2081 NEW BEST:: SOT 16505 SOS 12038 HAS SOPS 5639 HAS SOUS 4294 HAS SOUPS 3043 WITH SCORE 3055.038
AT ITER 2167 NEW BEST:: SOT 16471 SOS 12004 HAS SOPS 5588 HAS SOUS 4246 HAS SOUPS 2995 WITH SCORE 3007.004
AT ITER 2186 NEW BEST:: SOT 16473 SOS 12014 HAS SOPS 5587 HAS SOUS 4253 HAS SOUPS 2994 WITH SCORE 3006.014
AT ITER 2187 NEW BEST:: SOT 16473 SOS 12014 HAS SOPS 5587 HAS SOUS 4252 HAS SOUPS 2993 WITH SCORE 3005.014
AT ITER 2199 NEW BEST:: SOT 16482 SOS 12029 HAS SOPS 5584 HAS SOUS 4257 HAS SOUPS 2990 WITH SCORE 3002.029
AT ITER 2269 NEW BEST:: SOT 16480 SOS 12027 HAS SOPS 5584 HAS SOUS 4257 HAS SOUPS 2990 WITH SCORE 3002.027
AT ITER 2277 NEW BEST:: SOT 16480 SOS 12027 HAS SOPS 5584 HAS SOUS 4255 HAS SOUPS 2988 WITH SCORE 3000.027
AT ITER 2288 NEW BEST:: SOT 16474 SOS 12021 HAS SOPS 5575 HAS SOUS 4247 HAS SOUPS 2980 WITH SCORE 2992.021
AT ITER 2290 NEW BEST:: SOT 16474 SOS 12021 HAS SOPS 5575 HAS SOUS 4246 HAS SOUPS 2979 WITH SCORE 2991.021
AT ITER 2295 NEW BEST:: SOT 16446 SOS 11993 HAS SOPS 5549 HAS SOUS 4234 HAS SOUPS 2967 WITH SCORE 2978.993
AT ITER 2370 NEW BEST:: SOT 16450 SOS 11997 HAS SOPS 5549 HAS SOUS 4232 HAS SOUPS 2965 WITH SCORE 2976.997
AT ITER 2432 NEW BEST:: SOT 16446 SOS 11995 HAS SOPS 5544 HAS SOUS 4227 HAS SOUPS 2960 WITH SCORE 2971.995
AT ITER 2450 NEW BEST:: SOT 16432 SOS 11981 HAS SOPS 5523 HAS SOUS 4208 HAS SOUPS 2941 WITH SCORE 2952.981
AT ITER 2459 NEW BEST:: SOT 16426 SOS 11975 HAS SOPS 5514 HAS SOUS 4199 HAS SOUPS 2932 WITH SCORE 2943.975
AT ITER 2479 NEW BEST:: SOT 16422 SOS 11967 HAS SOPS 5510 HAS SOUS 4195 HAS SOUPS 2932 WITH SCORE 2943.967
AT ITER 2553 NEW BEST:: SOT 16436 SOS 11981 HAS SOPS 5475 HAS SOUS 4183 HAS SOUPS 2906 WITH SCORE 2917.981
AT ITER 2565 NEW BEST:: SOT 16420 SOS 11965 HAS SOPS 5459 HAS SOUS 4170 HAS SOUPS 2893 WITH SCORE 2904.965
AT ITER 2594 NEW BEST:: SOT 16420 SOS 11965 HAS SOPS 5455 HAS SOUS 4170 HAS SOUPS 2889 WITH SCORE 2900.965
AT ITER 2609 NEW BEST:: SOT 16418 SOS 11963 HAS SOPS 5451 HAS SOUS 4164 HAS SOUPS 2883 WITH SCORE 2894.963
AT ITER 2620 NEW BEST:: SOT 16402 SOS 11947 HAS SOPS 5431 HAS SOUS 4145 HAS SOUPS 2864 WITH SCORE 2875.947
AT ITER 2646 NEW BEST:: SOT 16402 SOS 11945 HAS SOPS 5431 HAS SOUS 4139 HAS SOUPS 2860 WITH SCORE 2871.945
AT ITER 2698 NEW BEST:: SOT 16402 SOS 11945 HAS SOPS 5431 HAS SOUS 4136 HAS SOUPS 2857 WITH SCORE 2868.945
AT ITER 2779 NEW BEST:: SOT 16396 SOS 11939 HAS SOPS 5423 HAS SOUS 4128 HAS SOUPS 2849 WITH SCORE 2860.939
AT ITER 2810 NEW BEST:: SOT 16380 SOS 11923 HAS SOPS 5399 HAS SOUS 4112 HAS SOUPS 2833 WITH SCORE 2844.923
AT ITER 2816 NEW BEST:: SOT 16380 SOS 11937 HAS SOPS 5399 HAS SOUS 4122 HAS SOUPS 2829 WITH SCORE 2840.937
AT ITER 2941 NEW BEST:: SOT 16380 SOS 11937 HAS SOPS 5387 HAS SOUS 4113 HAS SOUPS 2820 WITH SCORE 2831.937
AT ITER 2957 NEW BEST:: SOT 16376 SOS 11933 HAS SOPS 5381 HAS SOUS 4107 HAS SOUPS 2814 WITH SCORE 2825.933
AT ITER 2965 NEW BEST:: SOT 16368 SOS 11925 HAS SOPS 5361 HAS SOUS 4095 HAS SOUPS 2802 WITH SCORE 2813.925
AT ITER 3012 NEW BEST:: SOT 16368 SOS 11925 HAS SOPS 5361 HAS SOUS 4093 HAS SOUPS 2800 WITH SCORE 2811.925
AT ITER 3020 NEW BEST:: SOT 16371 SOS 11887 HAS SOPS 5343 HAS SOUS 4090 HAS SOUPS 2798 WITH SCORE 2809.887
AT ITER 3036 NEW BEST:: SOT 16371 SOS 11887 HAS SOPS 5343 HAS SOUS 4088 HAS SOUPS 2796 WITH SCORE 2807.887
AT ITER 3049 NEW BEST:: SOT 16307 SOS 11823 HAS SOPS 5279 HAS SOUS 4024 HAS SOUPS 2732 WITH SCORE 2743.823
AT ITER 3061 NEW BEST:: SOT 16295 SOS 11887 HAS SOPS 5299 HAS SOUS 4023 HAS SOUPS 2729 WITH SCORE 2740.887
AT ITER 3071 NEW BEST:: SOT 16295 SOS 11885 HAS SOPS 5298 HAS SOUS 4022 HAS SOUPS 2729 WITH SCORE 2740.885
AT ITER 3115 NEW BEST:: SOT 16291 SOS 11881 HAS SOPS 5292 HAS SOUS 4014 HAS SOUPS 2721 WITH SCORE 2732.881
AT ITER 3127 NEW BEST:: SOT 16286 SOS 11911 HAS SOPS 5322 HAS SOUS 4009 HAS SOUPS 2716 WITH SCORE 2727.911
AT ITER 3166 NEW BEST:: SOT 16304 SOS 11690 HAS SOPS 5236 HAS SOUS 4002 HAS SOUPS 2715 WITH SCORE 2726.69
AT ITER 3207 NEW BEST:: SOT 16301 SOS 11681 HAS SOPS 5226 HAS SOUS 3995 HAS SOUPS 2708 WITH SCORE 2719.681
AT ITER 3276 NEW BEST:: SOT 16303 SOS 11683 HAS SOPS 5223 HAS SOUS 3992 HAS SOUPS 2705 WITH SCORE 2716.683
AT ITER 3282 NEW BEST:: SOT 16301 SOS 11681 HAS SOPS 5220 HAS SOUS 3987 HAS SOUPS 2700 WITH SCORE 2711.681
AT ITER 3399 NEW BEST:: SOT 16298 SOS 11669 HAS SOPS 5206 HAS SOUS 3984 HAS SOUPS 2695 WITH SCORE 2706.669
AT ITER 3481 NEW BEST:: SOT 16296 SOS 11667 HAS SOPS 5203 HAS SOUS 3982 HAS SOUPS 2693 WITH SCORE 2704.667
AT ITER 3494 NEW BEST:: SOT 16290 SOS 11661 HAS SOPS 5194 HAS SOUS 3963 HAS SOUPS 2674 WITH SCORE 2685.661
AT ITER 3554 NEW BEST:: SOT 16288 SOS 11659 HAS SOPS 5192 HAS SOUS 3961 HAS SOUPS 2672 WITH SCORE 2683.659
AT ITER 3592 NEW BEST:: SOT 16280 SOS 11649 HAS SOPS 5185 HAS SOUS 3944 HAS SOUPS 2655 WITH SCORE 2666.649
AT ITER 3693 NEW BEST:: SOT 16272 SOS 11641 HAS SOPS 5173 HAS SOUS 3928 HAS SOUPS 2639 WITH SCORE 2650.641
AT ITER 3719 NEW BEST:: SOT 16274 SOS 11645 HAS SOPS 5176 HAS SOUS 3924 HAS SOUPS 2635 WITH SCORE 2646.645
AT ITER 3827 NEW BEST:: SOT 16274 SOS 11645 HAS SOPS 5176 HAS SOUS 3922 HAS SOUPS 2633 WITH SCORE 2644.645
AT ITER 3895 NEW BEST:: SOT 16276 SOS 11635 HAS SOPS 5179 HAS SOUS 3897 HAS SOUPS 2620 WITH SCORE 2631.635
AT ITER 3927 NEW BEST:: SOT 16276 SOS 11637 HAS SOPS 5179 HAS SOUS 3898 HAS SOUPS 2619 WITH SCORE 2630.637
AT ITER 3940 NEW BEST:: SOT 16276 SOS 11637 HAS SOPS 5171 HAS SOUS 3892 HAS SOUPS 2613 WITH SCORE 2624.637
AT ITER 4044 NEW BEST:: SOT 16268 SOS 11629 HAS SOPS 5168 HAS SOUS 3889 HAS SOUPS 2610 WITH SCORE 2621.629
AT ITER 4087 NEW BEST:: SOT 16266 SOS 11627 HAS SOPS 5164 HAS SOUS 3884 HAS SOUPS 2605 WITH SCORE 2616.627
AT ITER 4126 NEW BEST:: SOT 16223 SOS 11826 HAS SOPS 5222 HAS SOUS 3887 HAS SOUPS 2601 WITH SCORE 2612.826
AT ITER 4149 NEW BEST:: SOT 16221 SOS 11809 HAS SOPS 5218 HAS SOUS 3868 HAS SOUPS 2595 WITH SCORE 2606.809
AT ITER 4185 NEW BEST:: SOT 16205 SOS 11793 HAS SOPS 5238 HAS SOUS 3846 HAS SOUPS 2584 WITH SCORE 2595.793
AT ITER 4187 NEW BEST:: SOT 16205 SOS 11793 HAS SOPS 5238 HAS SOUS 3841 HAS SOUPS 2579 WITH SCORE 2590.793
AT ITER 4244 NEW BEST:: SOT 16203 SOS 11791 HAS SOPS 5235 HAS SOUS 3836 HAS SOUPS 2574 WITH SCORE 2585.791
AT ITER 4261 NEW BEST:: SOT 16205 SOS 11787 HAS SOPS 5235 HAS SOUS 3836 HAS SOUPS 2574 WITH SCORE 2585.787
AT ITER 4284 NEW BEST:: SOT 16205 SOS 11787 HAS SOPS 5235 HAS SOUS 3835 HAS SOUPS 2573 WITH SCORE 2584.787
AT ITER 4289 NEW BEST:: SOT 16205 SOS 11787 HAS SOPS 5235 HAS SOUS 3833 HAS SOUPS 2571 WITH SCORE 2582.787
AT ITER 4309 NEW BEST:: SOT 16204 SOS 11776 HAS SOPS 5225 HAS SOUS 3831 HAS SOUPS 2569 WITH SCORE 2580.776
AT ITER 4388 NEW BEST:: SOT 16203 SOS 11777 HAS SOPS 5228 HAS SOUS 3830 HAS SOUPS 2568 WITH SCORE 2579.777
AT ITER 4446 NEW BEST:: SOT 16202 SOS 11779 HAS SOPS 5217 HAS SOUS 3822 HAS SOUPS 2557 WITH SCORE 2568.779
AT ITER 4557 NEW BEST:: SOT 16205 SOS 11741 HAS SOPS 5199 HAS SOUS 3818 HAS SOUPS 2554 WITH SCORE 2565.741
AT ITER 4588 NEW BEST:: SOT 16203 SOS 11739 HAS SOPS 5196 HAS SOUS 3815 HAS SOUPS 2551 WITH SCORE 2562.739
AT ITER 4651 NEW BEST:: SOT 16211 SOS 11753 HAS SOPS 5196 HAS SOUS 3818 HAS SOUPS 2550 WITH SCORE 2561.753
AT ITER 4684 NEW BEST:: SOT 16209 SOS 11750 HAS SOPS 5193 HAS SOUS 3815 HAS SOUPS 2547 WITH SCORE 2558.75
AT ITER 4731 NEW BEST:: SOT 16201 SOS 11748 HAS SOPS 5181 HAS SOUS 3822 HAS SOUPS 2545 WITH SCORE 2556.748
AT ITER 4763 NEW BEST:: SOT 16203 SOS 11740 HAS SOPS 5189 HAS SOUS 3810 HAS SOUPS 2543 WITH SCORE 2554.74
AT ITER 4838 NEW BEST:: SOT 16198 SOS 11732 HAS SOPS 5195 HAS SOUS 3807 HAS SOUPS 2543 WITH SCORE 2554.732
AT ITER 4841 NEW BEST:: SOT 16198 SOS 11732 HAS SOPS 5195 HAS SOUS 3805 HAS SOUPS 2541 WITH SCORE 2552.732
AT ITER 4843 NEW BEST:: SOT 16198 SOS 11732 HAS SOPS 5195 HAS SOUS 3804 HAS SOUPS 2540 WITH SCORE 2551.732
AT ITER 4849 NEW BEST:: SOT 16219 SOS 11618 HAS SOPS 5169 HAS SOUS 3799 HAS SOUPS 2539 WITH SCORE 2550.618
AT ITER 4854 NEW BEST:: SOT 16217 SOS 11616 HAS SOPS 5165 HAS SOUS 3793 HAS SOUPS 2533 WITH SCORE 2544.616
AT ITER 4888 NEW BEST:: SOT 16215 SOS 11595 HAS SOPS 5144 HAS SOUS 3790 HAS SOUPS 2530 WITH SCORE 2541.595
AT ITER 4926 NEW BEST:: SOT 16209 SOS 11589 HAS SOPS 5135 HAS SOUS 3774 HAS SOUPS 2514 WITH SCORE 2525.589
AT ITER 4946 NEW BEST:: SOT 16205 SOS 11585 HAS SOPS 5129 HAS SOUS 3770 HAS SOUPS 2510 WITH SCORE 2521.585
Bounds file is: CTLFireability.xml
PROPERTY: Raft-PT-05-CTLFireability-00 (EU( ((potential((tk(P119)>=1) & (tk(P133)>=1)))) , ( (EF( ((potential((tk(P132)>=1)))))) | ( ( ((potential((tk(P111)>=1) & (tk(P50)>=1)))) | ((potential((tk(P111)>=1)))) ) & ((potential((tk(P111)>=1)))) ) ) ))
PROPERTY: Raft-PT-05-CTLFireability-01 (AG( (AX( (AF( ((potential((tk(P126)>=1))))))))))
PROPERTY: Raft-PT-05-CTLFireability-02 (EX( (EF( (AG( ((potential((tk(P121)>=1) & (tk(P129)>=1))))))))))
PROPERTY: Raft-PT-05-CTLFireability-03 ( (EG( (AX( (! ((potential((tk(P106)>=1) & (tk(P16)>=1))))))))) | ( ((potential((tk(P126)>=1) & (tk(P20)>=1)))) | (AG( (AF( ((potential((tk(P116)>=1) & (tk(P56)>=1)))))))) ) )
PROPERTY: Raft-PT-05-CTLFireability-04 (EU( ( (! ( ((potential((tk(P111)>=1) & (tk(P41)>=1)))) | ((potential((tk(P116)>=1)))) )) | (! ((potential((tk(P116)>=1) & (tk(P30)>=1))))) ) , (AG( (! ((potential((tk(P117)>=1))))))) ))
PROPERTY: Raft-PT-05-CTLFireability-05 (EF( ((potential((tk(P107)>=1))))))
PROPERTY: Raft-PT-05-CTLFireability-06 (EF( ( ((potential((tk(P107)>=1) & (tk(P133)>=1)))) & ((potential((tk(P116)>=1) & (tk(P8)>=1)))) )))
PROPERTY: Raft-PT-05-CTLFireability-07 (AF( (EX( (AX( ((potential((tk(P124)>=1) & (tk(P133)>=1))))))))))
PROPERTY: Raft-PT-05-CTLFireability-08 (AG( (EX( (! (! ((potential((tk(P111)>=1) & (tk(P31)>=1))))))))))
PROPERTY: Raft-PT-05-CTLFireability-09 (EF( (AX( (AX( ((potential((tk(P116)>=1) & (tk(P92)>=1))))))))))
PROPERTY: Raft-PT-05-CTLFireability-10 ( ( (AF( ((potential((tk(P116)>=1) & (tk(P51)>=1)))))) & (! (EX( ( ((potential((tk(P109)>=1)))) & ((potential((tk(P126)>=1) & (tk(P37)>=1)))) )))) ) & (EU( ( ( ((potential((tk(P121)>=1)))) & ((potential((tk(P121)>=1) & (tk(P98)>=1)))) ) & ((potential((tk(P121)>=1)))) ) , (EF( ((potential((tk(P126)>=1) & (tk(P129)>=1)))))) )) )
PROPERTY: Raft-PT-05-CTLFireability-11 (AG( (EF( ( (! ((potential((tk(P106)>=1) & (tk(P82)>=1))))) | ( ((potential((tk(P126)>=1) & (tk(P96)>=1)))) & ((potential((tk(P106)>=1) & (tk(P64)>=1)))) ) )))))
PROPERTY: Raft-PT-05-CTLFireability-12 (! (AG( (EX( ( ((potential((tk(P121)>=1) & (tk(P127)>=1)))) | ((potential((tk(P116)>=1)))) ))))))
PROPERTY: Raft-PT-05-CTLFireability-13 ( (EF( (AU( ((potential((tk(P111)>=1) & (tk(P26)>=1)))) , ((potential((tk(P102)>=1)))) )))) & (! ( ( (AX( ((potential((tk(P103)>=1)))))) & ( ( ((potential((tk(P106)>=1)))) & ((potential((tk(P116)>=1) & (tk(P127)>=1)))) ) | (! ((potential((tk(P126)>=1) & (tk(P86)>=1))))) ) ) | (AF( ((potential((tk(P111)>=1) & (tk(P48)>=1)))))) )) )
PROPERTY: Raft-PT-05-CTLFireability-14 (AF( (AG( ( ( ((potential((tk(P106)>=1) & (tk(P21)>=1)))) | ((potential((tk(P121)>=1) & (tk(P76)>=1)))) ) | ((potential((tk(P121)>=1)))) )))))
PROPERTY: Raft-PT-05-CTLFireability-15 ( ((potential((tk(P121)>=1) & (tk(P35)>=1)))) | (EF( ( (! ( ((potential((tk(P111)>=1) & (tk(P3)>=1)))) & ((potential((tk(P121)>=1)))) )) & (AX( ((potential((tk(P112)>=1) & (tk(P133)>=1)))))) ))) )
FORMULA Raft-PT-05-CTLFireability-00 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-05"
export BK_EXAMINATION="CTLFireability"
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 Raft-PT-05, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502600244"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-05.tgz
mv Raft-PT-05 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;