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.r033-smll-158901925900283.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 CloudDeployment-PT-3a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900283
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 15:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 28 15:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 97K Mar 24 05:37 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 CloudDeployment-PT-3a-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-3a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589135646104

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 3a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 104 places, 308 transitions, 1611 arcs.
AT ITER 0 NEW BEST:: SOT 23078 SOS 13510 HAS SOPS 12426 HAS SOUS 10732 HAS SOUPS 9730 WITH SCORE 9743.51
AT ITER 3 NEW BEST:: SOT 23067 SOS 13503 HAS SOPS 12419 HAS SOUS 10725 HAS SOUPS 9723 WITH SCORE 9736.503
AT ITER 4 NEW BEST:: SOT 23060 SOS 13496 HAS SOPS 12419 HAS SOUS 10718 HAS SOUPS 9723 WITH SCORE 9736.496
AT ITER 6 NEW BEST:: SOT 23037 SOS 13465 HAS SOPS 12403 HAS SOUS 10683 HAS SOUPS 9703 WITH SCORE 9716.465
AT ITER 10 NEW BEST:: SOT 23105 SOS 13502 HAS SOPS 12440 HAS SOUS 10672 HAS SOUPS 9692 WITH SCORE 9705.502
AT ITER 16 NEW BEST:: SOT 22974 SOS 13340 HAS SOPS 12278 HAS SOUS 10530 HAS SOUPS 9550 WITH SCORE 9563.34
AT ITER 18 NEW BEST:: SOT 23074 SOS 13330 HAS SOPS 12318 HAS SOUS 10442 HAS SOUPS 9512 WITH SCORE 9525.33
AT ITER 19 NEW BEST:: SOT 22966 SOS 13237 HAS SOPS 12237 HAS SOUS 10357 HAS SOUPS 9431 WITH SCORE 9444.237
AT ITER 21 NEW BEST:: SOT 22970 SOS 13205 HAS SOPS 12205 HAS SOUS 10327 HAS SOUPS 9401 WITH SCORE 9414.205
AT ITER 26 NEW BEST:: SOT 22939 SOS 13223 HAS SOPS 12239 HAS SOUS 10280 HAS SOUPS 9370 WITH SCORE 9383.223
AT ITER 27 NEW BEST:: SOT 22925 SOS 13167 HAS SOPS 12211 HAS SOUS 10097 HAS SOUPS 9215 WITH SCORE 9228.167
AT ITER 29 NEW BEST:: SOT 22941 SOS 13175 HAS SOPS 12227 HAS SOUS 10081 HAS SOUPS 9207 WITH SCORE 9220.175
AT ITER 34 NEW BEST:: SOT 23126 SOS 13264 HAS SOPS 12370 HAS SOUS 9984 HAS SOUPS 9168 WITH SCORE 9181.264
AT ITER 36 NEW BEST:: SOT 23124 SOS 13262 HAS SOPS 12370 HAS SOUS 9980 HAS SOUPS 9166 WITH SCORE 9179.262
AT ITER 44 NEW BEST:: SOT 23268 SOS 13401 HAS SOPS 12509 HAS SOUS 9971 HAS SOUPS 9157 WITH SCORE 9170.401
AT ITER 54 NEW BEST:: SOT 23435 SOS 13538 HAS SOPS 12646 HAS SOUS 9958 HAS SOUPS 9144 WITH SCORE 9157.538
AT ITER 55 NEW BEST:: SOT 23440 SOS 13503 HAS SOPS 12596 HAS SOUS 9928 HAS SOUPS 9099 WITH SCORE 9112.503
AT ITER 56 NEW BEST:: SOT 23496 SOS 13584 HAS SOPS 12677 HAS SOUS 9825 HAS SOUPS 8996 WITH SCORE 9009.584
AT ITER 57 NEW BEST:: SOT 23480 SOS 13560 HAS SOPS 12653 HAS SOUS 9817 HAS SOUPS 8988 WITH SCORE 9001.56
AT ITER 62 NEW BEST:: SOT 23488 SOS 13546 HAS SOPS 12673 HAS SOUS 9704 HAS SOUPS 8909 WITH SCORE 8922.546
AT ITER 63 NEW BEST:: SOT 23445 SOS 13475 HAS SOPS 12602 HAS SOUS 9703 HAS SOUPS 8908 WITH SCORE 8921.475
AT ITER 65 NEW BEST:: SOT 23196 SOS 13365 HAS SOPS 12395 HAS SOUS 9573 HAS SOUPS 8783 WITH SCORE 8796.365
AT ITER 67 NEW BEST:: SOT 23197 SOS 13328 HAS SOPS 12355 HAS SOUS 9518 HAS SOUPS 8727 WITH SCORE 8740.328
AT ITER 71 NEW BEST:: SOT 23145 SOS 13296 HAS SOPS 12323 HAS SOUS 9486 HAS SOUPS 8695 WITH SCORE 8708.296
AT ITER 73 NEW BEST:: SOT 23138 SOS 13289 HAS SOPS 12323 HAS SOUS 9469 HAS SOUPS 8685 WITH SCORE 8698.289
AT ITER 74 NEW BEST:: SOT 23217 SOS 13369 HAS SOPS 12448 HAS SOUS 9397 HAS SOUPS 8660 WITH SCORE 8673.369
AT ITER 75 NEW BEST:: SOT 23391 SOS 13527 HAS SOPS 12606 HAS SOUS 9375 HAS SOUPS 8638 WITH SCORE 8651.527
AT ITER 76 NEW BEST:: SOT 23334 SOS 13551 HAS SOPS 12630 HAS SOUS 9357 HAS SOUPS 8620 WITH SCORE 8633.551
AT ITER 77 NEW BEST:: SOT 23408 SOS 13588 HAS SOPS 12704 HAS SOUS 9246 HAS SOUPS 8546 WITH SCORE 8559.588
AT ITER 78 NEW BEST:: SOT 23471 SOS 13600 HAS SOPS 12716 HAS SOUS 9228 HAS SOUPS 8528 WITH SCORE 8541.6
AT ITER 82 NEW BEST:: SOT 22640 SOS 14011 HAS SOPS 12124 HAS SOUS 8892 HAS SOUPS 8292 WITH SCORE 8306.011
AT ITER 84 NEW BEST:: SOT 22654 SOS 13929 HAS SOPS 12042 HAS SOUS 8838 HAS SOUPS 8238 WITH SCORE 8251.929
AT ITER 85 NEW BEST:: SOT 22650 SOS 13925 HAS SOPS 12034 HAS SOUS 8830 HAS SOUPS 8230 WITH SCORE 8243.925
AT ITER 87 NEW BEST:: SOT 22696 SOS 13971 HAS SOPS 11980 HAS SOUS 7984 HAS SOUPS 7321 WITH SCORE 7334.971
AT ITER 92 NEW BEST:: SOT 22714 SOS 14025 HAS SOPS 12016 HAS SOUS 7966 HAS SOUPS 7303 WITH SCORE 7317.025
AT ITER 96 NEW BEST:: SOT 22697 SOS 13984 HAS SOPS 11950 HAS SOUS 7966 HAS SOUPS 7287 WITH SCORE 7300.984
AT ITER 104 NEW BEST:: SOT 22629 SOS 13954 HAS SOPS 11890 HAS SOUS 7923 HAS SOUPS 7244 WITH SCORE 7257.954
AT ITER 105 NEW BEST:: SOT 22684 SOS 13935 HAS SOPS 11871 HAS SOUS 7898 HAS SOUPS 7219 WITH SCORE 7232.935
AT ITER 107 NEW BEST:: SOT 22640 SOS 13981 HAS SOPS 11879 HAS SOUS 7000 HAS SOUPS 6321 WITH SCORE 6334.981
AT ITER 110 NEW BEST:: SOT 22574 SOS 13809 HAS SOPS 11739 HAS SOUS 6978 HAS SOUPS 6295 WITH SCORE 6308.809
AT ITER 112 NEW BEST:: SOT 22514 SOS 13714 HAS SOPS 11644 HAS SOUS 6972 HAS SOUPS 6289 WITH SCORE 6302.714
AT ITER 113 NEW BEST:: SOT 22502 SOS 13705 HAS SOPS 11638 HAS SOUS 6963 HAS SOUPS 6283 WITH SCORE 6296.705
AT ITER 115 NEW BEST:: SOT 22614 SOS 13715 HAS SOPS 11704 HAS SOUS 6906 HAS SOUPS 6282 WITH SCORE 6295.715
AT ITER 116 NEW BEST:: SOT 22940 SOS 13884 HAS SOPS 11873 HAS SOUS 6905 HAS SOUPS 6281 WITH SCORE 6294.884
AT ITER 122 NEW BEST:: SOT 22927 SOS 13861 HAS SOPS 11844 HAS SOUS 6876 HAS SOUPS 6252 WITH SCORE 6265.861
AT ITER 124 NEW BEST:: SOT 22897 SOS 14406 HAS SOPS 11792 HAS SOUS 6879 HAS SOUPS 6246 WITH SCORE 6260.406
AT ITER 125 NEW BEST:: SOT 22915 SOS 14411 HAS SOPS 11797 HAS SOUS 6840 HAS SOUPS 6207 WITH SCORE 6221.411
AT ITER 128 NEW BEST:: SOT 22903 SOS 14393 HAS SOPS 11782 HAS SOUS 6825 HAS SOUPS 6192 WITH SCORE 6206.393
AT ITER 132 NEW BEST:: SOT 22945 SOS 14358 HAS SOPS 11747 HAS SOUS 6796 HAS SOUPS 6163 WITH SCORE 6177.358
AT ITER 133 NEW BEST:: SOT 22919 SOS 14162 HAS SOPS 11587 HAS SOUS 6741 HAS SOUPS 6108 WITH SCORE 6122.162
AT ITER 140 NEW BEST:: SOT 22988 SOS 14205 HAS SOPS 11690 HAS SOUS 6728 HAS SOUPS 6095 WITH SCORE 6109.205
AT ITER 144 NEW BEST:: SOT 22988 SOS 14416 HAS SOPS 12026 HAS SOUS 6726 HAS SOUPS 6093 WITH SCORE 6107.416
AT ITER 148 NEW BEST:: SOT 22975 SOS 14415 HAS SOPS 12025 HAS SOUS 6703 HAS SOUPS 6070 WITH SCORE 6084.415
AT ITER 154 NEW BEST:: SOT 23097 SOS 14535 HAS SOPS 12145 HAS SOUS 6463 HAS SOUPS 5830 WITH SCORE 5844.535
AT ITER 155 NEW BEST:: SOT 23214 SOS 14609 HAS SOPS 12219 HAS SOUS 6447 HAS SOUPS 5814 WITH SCORE 5828.609
AT ITER 160 NEW BEST:: SOT 23214 SOS 14606 HAS SOPS 12216 HAS SOUS 6445 HAS SOUPS 5812 WITH SCORE 5826.606
AT ITER 162 NEW BEST:: SOT 23214 SOS 14585 HAS SOPS 12135 HAS SOUS 6409 HAS SOUPS 5776 WITH SCORE 5790.585
AT ITER 169 NEW BEST:: SOT 23130 SOS 14507 HAS SOPS 12057 HAS SOUS 6377 HAS SOUPS 5744 WITH SCORE 5758.507
AT ITER 171 NEW BEST:: SOT 23079 SOS 14456 HAS SOPS 12007 HAS SOUS 6327 HAS SOUPS 5694 WITH SCORE 5708.456
AT ITER 177 NEW BEST:: SOT 23071 SOS 14460 HAS SOPS 12006 HAS SOUS 6326 HAS SOUPS 5693 WITH SCORE 5707.46
AT ITER 179 NEW BEST:: SOT 23048 SOS 14421 HAS SOPS 11965 HAS SOUS 6302 HAS SOUPS 5667 WITH SCORE 5681.421
AT ITER 183 NEW BEST:: SOT 23087 SOS 14302 HAS SOPS 11846 HAS SOUS 6227 HAS SOUPS 5592 WITH SCORE 5606.302
AT ITER 186 NEW BEST:: SOT 23070 SOS 14240 HAS SOPS 11784 HAS SOUS 6191 HAS SOUPS 5556 WITH SCORE 5570.24
AT ITER 191 NEW BEST:: SOT 22908 SOS 14421 HAS SOPS 11753 HAS SOUS 6161 HAS SOUPS 5526 WITH SCORE 5540.421
AT ITER 195 NEW BEST:: SOT 22804 SOS 14332 HAS SOPS 11684 HAS SOUS 6127 HAS SOUPS 5493 WITH SCORE 5507.332
AT ITER 206 NEW BEST:: SOT 22795 SOS 14323 HAS SOPS 11681 HAS SOUS 6121 HAS SOUPS 5490 WITH SCORE 5504.323
AT ITER 216 NEW BEST:: SOT 22783 SOS 14315 HAS SOPS 11673 HAS SOUS 6113 HAS SOUPS 5482 WITH SCORE 5496.315
AT ITER 217 NEW BEST:: SOT 22783 SOS 14315 HAS SOPS 11673 HAS SOUS 6104 HAS SOUPS 5473 WITH SCORE 5487.315
AT ITER 223 NEW BEST:: SOT 22771 SOS 14297 HAS SOPS 11658 HAS SOUS 6095 HAS SOUPS 5464 WITH SCORE 5478.297
AT ITER 226 NEW BEST:: SOT 22771 SOS 14255 HAS SOPS 11648 HAS SOUS 6089 HAS SOUPS 5458 WITH SCORE 5472.255
AT ITER 230 NEW BEST:: SOT 22756 SOS 14243 HAS SOPS 11639 HAS SOUS 6077 HAS SOUPS 5446 WITH SCORE 5460.243
AT ITER 231 NEW BEST:: SOT 22743 SOS 14230 HAS SOPS 11626 HAS SOUS 6064 HAS SOUPS 5433 WITH SCORE 5447.23
AT ITER 237 NEW BEST:: SOT 22734 SOS 14297 HAS SOPS 11619 HAS SOUS 6085 HAS SOUPS 5418 WITH SCORE 5432.297
AT ITER 240 NEW BEST:: SOT 22721 SOS 14324 HAS SOPS 11621 HAS SOUS 6087 HAS SOUPS 5415 WITH SCORE 5429.324
AT ITER 247 NEW BEST:: SOT 22635 SOS 14275 HAS SOPS 11703 HAS SOUS 6005 HAS SOUPS 5333 WITH SCORE 5347.275
AT ITER 249 NEW BEST:: SOT 22675 SOS 14315 HAS SOPS 11723 HAS SOUS 5974 HAS SOUPS 5302 WITH SCORE 5316.315
AT ITER 257 NEW BEST:: SOT 22674 SOS 14313 HAS SOPS 11721 HAS SOUS 5974 HAS SOUPS 5302 WITH SCORE 5316.313
AT ITER 263 NEW BEST:: SOT 22644 SOS 14291 HAS SOPS 11704 HAS SOUS 5954 HAS SOUPS 5285 WITH SCORE 5299.291
AT ITER 272 NEW BEST:: SOT 22534 SOS 14181 HAS SOPS 11594 HAS SOUS 5911 HAS SOUPS 5242 WITH SCORE 5256.181
AT ITER 290 NEW BEST:: SOT 22514 SOS 14156 HAS SOPS 11569 HAS SOUS 5906 HAS SOUPS 5237 WITH SCORE 5251.156
AT ITER 293 NEW BEST:: SOT 22503 SOS 14149 HAS SOPS 11562 HAS SOUS 5899 HAS SOUPS 5230 WITH SCORE 5244.149
AT ITER 295 NEW BEST:: SOT 22503 SOS 14101 HAS SOPS 11530 HAS SOUS 5835 HAS SOUPS 5182 WITH SCORE 5196.101
AT ITER 300 NEW BEST:: SOT 22452 SOS 13982 HAS SOPS 11428 HAS SOUS 5817 HAS SOUPS 5164 WITH SCORE 5177.982
AT ITER 301 NEW BEST:: SOT 22405 SOS 13871 HAS SOPS 11317 HAS SOUS 5761 HAS SOUPS 5108 WITH SCORE 5121.871
AT ITER 302 NEW BEST:: SOT 22404 SOS 13869 HAS SOPS 11315 HAS SOUS 5761 HAS SOUPS 5108 WITH SCORE 5121.869
AT ITER 306 NEW BEST:: SOT 22396 SOS 13837 HAS SOPS 11291 HAS SOUS 5754 HAS SOUPS 5101 WITH SCORE 5114.837
AT ITER 309 NEW BEST:: SOT 21900 SOS 13986 HAS SOPS 11164 HAS SOUS 5563 HAS SOUPS 4981 WITH SCORE 4994.986
AT ITER 315 NEW BEST:: SOT 21890 SOS 13967 HAS SOPS 11159 HAS SOUS 5558 HAS SOUPS 4976 WITH SCORE 4989.967
AT ITER 316 NEW BEST:: SOT 21869 SOS 13895 HAS SOPS 11087 HAS SOUS 5540 HAS SOUPS 4958 WITH SCORE 4971.895
AT ITER 320 NEW BEST:: SOT 21873 SOS 13922 HAS SOPS 11133 HAS SOUS 5491 HAS SOUPS 4928 WITH SCORE 4941.922
AT ITER 321 NEW BEST:: SOT 21867 SOS 13917 HAS SOPS 11128 HAS SOUS 5486 HAS SOUPS 4923 WITH SCORE 4936.917
AT ITER 322 NEW BEST:: SOT 21863 SOS 13957 HAS SOPS 11152 HAS SOUS 5481 HAS SOUPS 4918 WITH SCORE 4931.957
AT ITER 339 NEW BEST:: SOT 21858 SOS 13947 HAS SOPS 11147 HAS SOUS 5466 HAS SOUPS 4908 WITH SCORE 4921.947
AT ITER 366 NEW BEST:: SOT 21844 SOS 13905 HAS SOPS 11091 HAS SOUS 5452 HAS SOUPS 4880 WITH SCORE 4893.905
AT ITER 369 NEW BEST:: SOT 21894 SOS 13853 HAS SOPS 11039 HAS SOUS 5400 HAS SOUPS 4828 WITH SCORE 4841.853
AT ITER 385 NEW BEST:: SOT 21903 SOS 13871 HAS SOPS 11050 HAS SOUS 5372 HAS SOUPS 4811 WITH SCORE 4824.871
AT ITER 392 NEW BEST:: SOT 21810 SOS 13917 HAS SOPS 10927 HAS SOUS 5393 HAS SOUPS 4779 WITH SCORE 4792.917
AT ITER 399 NEW BEST:: SOT 21724 SOS 13923 HAS SOPS 10884 HAS SOUS 5413 HAS SOUPS 4756 WITH SCORE 4769.923
AT ITER 407 NEW BEST:: SOT 21720 SOS 13924 HAS SOPS 10885 HAS SOUS 5410 HAS SOUPS 4753 WITH SCORE 4766.924
AT ITER 410 NEW BEST:: SOT 21664 SOS 13899 HAS SOPS 10776 HAS SOUS 5354 HAS SOUPS 4697 WITH SCORE 4710.899
AT ITER 411 NEW BEST:: SOT 21638 SOS 13847 HAS SOPS 10724 HAS SOUS 5341 HAS SOUPS 4684 WITH SCORE 4697.847
AT ITER 422 NEW BEST:: SOT 21489 SOS 13665 HAS SOPS 10711 HAS SOUS 5244 HAS SOUPS 4581 WITH SCORE 4594.665
AT ITER 431 NEW BEST:: SOT 21477 SOS 13637 HAS SOPS 10707 HAS SOUS 5245 HAS SOUPS 4578 WITH SCORE 4591.637
AT ITER 447 NEW BEST:: SOT 21781 SOS 13625 HAS SOPS 10648 HAS SOUS 5229 HAS SOUPS 4533 WITH SCORE 4546.625
AT ITER 454 NEW BEST:: SOT 21769 SOS 13621 HAS SOPS 10648 HAS SOUS 5225 HAS SOUPS 4531 WITH SCORE 4544.621
AT ITER 457 NEW BEST:: SOT 21767 SOS 13619 HAS SOPS 10644 HAS SOUS 5219 HAS SOUPS 4525 WITH SCORE 4538.619
AT ITER 474 NEW BEST:: SOT 20731 SOS 13110 HAS SOPS 10439 HAS SOUS 4930 HAS SOUPS 4435 WITH SCORE 4448.11
AT ITER 483 NEW BEST:: SOT 20751 SOS 13102 HAS SOPS 10431 HAS SOUS 4912 HAS SOUPS 4417 WITH SCORE 4430.102
AT ITER 486 NEW BEST:: SOT 20723 SOS 13058 HAS SOPS 10262 HAS SOUS 4887 HAS SOUPS 4361 WITH SCORE 4374.058
AT ITER 488 NEW BEST:: SOT 20690 SOS 13032 HAS SOPS 10221 HAS SOUS 4866 HAS SOUPS 4338 WITH SCORE 4351.032
AT ITER 495 NEW BEST:: SOT 20692 SOS 13028 HAS SOPS 10217 HAS SOUS 4862 HAS SOUPS 4334 WITH SCORE 4347.028
AT ITER 499 NEW BEST:: SOT 20725 SOS 13178 HAS SOPS 10235 HAS SOUS 4872 HAS SOUPS 4320 WITH SCORE 4333.178
AT ITER 503 NEW BEST:: SOT 20722 SOS 13379 HAS SOPS 10568 HAS SOUS 4870 HAS SOUPS 4318 WITH SCORE 4331.379
AT ITER 510 NEW BEST:: SOT 20709 SOS 13366 HAS SOPS 10568 HAS SOUS 4860 HAS SOUPS 4318 WITH SCORE 4331.366
AT ITER 516 NEW BEST:: SOT 20703 SOS 13360 HAS SOPS 10561 HAS SOUS 4853 HAS SOUPS 4311 WITH SCORE 4324.36
AT ITER 521 NEW BEST:: SOT 20703 SOS 13340 HAS SOPS 10521 HAS SOUS 4850 HAS SOUPS 4308 WITH SCORE 4321.34
AT ITER 525 NEW BEST:: SOT 20719 SOS 13356 HAS SOPS 10513 HAS SOUS 4844 HAS SOUPS 4300 WITH SCORE 4313.356
AT ITER 535 NEW BEST:: SOT 20725 SOS 13358 HAS SOPS 10513 HAS SOUS 4842 HAS SOUPS 4298 WITH SCORE 4311.358
AT ITER 537 NEW BEST:: SOT 20735 SOS 13358 HAS SOPS 10573 HAS SOUS 4812 HAS SOUPS 4288 WITH SCORE 4301.358
AT ITER 548 NEW BEST:: SOT 20717 SOS 13322 HAS SOPS 10539 HAS SOUS 4774 HAS SOUPS 4251 WITH SCORE 4264.322
AT ITER 555 NEW BEST:: SOT 20716 SOS 13320 HAS SOPS 10544 HAS SOUS 4754 HAS SOUPS 4238 WITH SCORE 4251.32
AT ITER 562 NEW BEST:: SOT 20716 SOS 13542 HAS SOPS 10523 HAS SOUS 4755 HAS SOUPS 4232 WITH SCORE 4245.542
AT ITER 563 NEW BEST:: SOT 20703 SOS 13535 HAS SOPS 10522 HAS SOUS 4752 HAS SOUPS 4228 WITH SCORE 4241.535
AT ITER 573 NEW BEST:: SOT 20742 SOS 13529 HAS SOPS 10516 HAS SOUS 4748 HAS SOUPS 4224 WITH SCORE 4237.529
AT ITER 593 NEW BEST:: SOT 20804 SOS 13571 HAS SOPS 10521 HAS SOUS 4741 HAS SOUPS 4212 WITH SCORE 4225.571
AT ITER 610 NEW BEST:: SOT 20567 SOS 13382 HAS SOPS 10434 HAS SOUS 4716 HAS SOUPS 4180 WITH SCORE 4193.382
AT ITER 627 NEW BEST:: SOT 20446 SOS 13733 HAS SOPS 10456 HAS SOUS 4733 HAS SOUPS 4175 WITH SCORE 4188.733
AT ITER 636 NEW BEST:: SOT 20410 SOS 13709 HAS SOPS 10420 HAS SOUS 4673 HAS SOUPS 4115 WITH SCORE 4128.709
AT ITER 647 NEW BEST:: SOT 20394 SOS 13693 HAS SOPS 10388 HAS SOUS 4669 HAS SOUPS 4097 WITH SCORE 4110.693
AT ITER 652 NEW BEST:: SOT 20372 SOS 13649 HAS SOPS 10359 HAS SOUS 4649 HAS SOUPS 4093 WITH SCORE 4106.649
AT ITER 671 NEW BEST:: SOT 20360 SOS 13637 HAS SOPS 10347 HAS SOUS 4643 HAS SOUPS 4087 WITH SCORE 4100.637
AT ITER 677 NEW BEST:: SOT 20340 SOS 13580 HAS SOPS 10323 HAS SOUS 4612 HAS SOUPS 4063 WITH SCORE 4076.58
AT ITER 688 NEW BEST:: SOT 20286 SOS 13620 HAS SOPS 10363 HAS SOUS 4600 HAS SOUPS 4051 WITH SCORE 4064.62
AT ITER 730 NEW BEST:: SOT 20280 SOS 13608 HAS SOPS 10351 HAS SOUS 4591 HAS SOUPS 4042 WITH SCORE 4055.608
AT ITER 740 NEW BEST:: SOT 20252 SOS 13552 HAS SOPS 10295 HAS SOUS 4562 HAS SOUPS 4013 WITH SCORE 4026.552
AT ITER 743 NEW BEST:: SOT 20438 SOS 13744 HAS SOPS 10480 HAS SOUS 4565 HAS SOUPS 4010 WITH SCORE 4023.744
AT ITER 749 NEW BEST:: SOT 20434 SOS 13751 HAS SOPS 10547 HAS SOUS 4558 HAS SOUPS 4004 WITH SCORE 4017.751
AT ITER 754 NEW BEST:: SOT 20215 SOS 14055 HAS SOPS 10543 HAS SOUS 4506 HAS SOUPS 3959 WITH SCORE 3973.055
AT ITER 758 NEW BEST:: SOT 20354 SOS 14129 HAS SOPS 10794 HAS SOUS 4432 HAS SOUPS 3928 WITH SCORE 3942.129
AT ITER 759 NEW BEST:: SOT 20338 SOS 14229 HAS SOPS 10806 HAS SOUS 4447 HAS SOUPS 3918 WITH SCORE 3932.229
AT ITER 775 NEW BEST:: SOT 20338 SOS 14165 HAS SOPS 10742 HAS SOUS 4415 HAS SOUPS 3886 WITH SCORE 3900.165
AT ITER 812 NEW BEST:: SOT 20335 SOS 14166 HAS SOPS 10738 HAS SOUS 4416 HAS SOUPS 3885 WITH SCORE 3899.166
AT ITER 833 NEW BEST:: SOT 20337 SOS 14168 HAS SOPS 10736 HAS SOUS 4412 HAS SOUPS 3881 WITH SCORE 3895.168
AT ITER 835 NEW BEST:: SOT 20332 SOS 14158 HAS SOPS 10729 HAS SOUS 4408 HAS SOUPS 3877 WITH SCORE 3891.158
AT ITER 836 NEW BEST:: SOT 20357 SOS 14183 HAS SOPS 10754 HAS SOUS 4406 HAS SOUPS 3875 WITH SCORE 3889.183
AT ITER 862 NEW BEST:: SOT 20332 SOS 14185 HAS SOPS 10756 HAS SOUS 4396 HAS SOUPS 3865 WITH SCORE 3879.185
AT ITER 869 NEW BEST:: SOT 20338 SOS 14173 HAS SOPS 10780 HAS SOUS 4390 HAS SOUPS 3859 WITH SCORE 3873.173
AT ITER 876 NEW BEST:: SOT 20340 SOS 14174 HAS SOPS 10691 HAS SOUS 4388 HAS SOUPS 3857 WITH SCORE 3871.174
AT ITER 877 NEW BEST:: SOT 20338 SOS 14170 HAS SOPS 10687 HAS SOUS 4384 HAS SOUPS 3853 WITH SCORE 3867.17
AT ITER 883 NEW BEST:: SOT 19466 SOS 13921 HAS SOPS 10687 HAS SOUS 4443 HAS SOUPS 3853 WITH SCORE 3866.921
AT ITER 886 NEW BEST:: SOT 19424 SOS 13837 HAS SOPS 10615 HAS SOUS 4413 HAS SOUPS 3823 WITH SCORE 3836.837
AT ITER 903 NEW BEST:: SOT 19392 SOS 13773 HAS SOPS 10551 HAS SOUS 4408 HAS SOUPS 3818 WITH SCORE 3831.773
AT ITER 905 NEW BEST:: SOT 19402 SOS 13769 HAS SOPS 10547 HAS SOUS 4406 HAS SOUPS 3816 WITH SCORE 3829.769
AT ITER 910 NEW BEST:: SOT 19374 SOS 13713 HAS SOPS 10498 HAS SOUS 4385 HAS SOUPS 3795 WITH SCORE 3808.713
AT ITER 933 NEW BEST:: SOT 19313 SOS 13687 HAS SOPS 10472 HAS SOUS 4385 HAS SOUPS 3795 WITH SCORE 3808.687
AT ITER 942 NEW BEST:: SOT 19262 SOS 13648 HAS SOPS 10457 HAS SOUS 4370 HAS SOUPS 3780 WITH SCORE 3793.648
AT ITER 944 NEW BEST:: SOT 19258 SOS 13651 HAS SOPS 10449 HAS SOUS 4342 HAS SOUPS 3752 WITH SCORE 3765.651
AT ITER 947 NEW BEST:: SOT 19269 SOS 13650 HAS SOPS 10449 HAS SOUS 4340 HAS SOUPS 3752 WITH SCORE 3765.65
AT ITER 961 NEW BEST:: SOT 19283 SOS 13655 HAS SOPS 10436 HAS SOUS 4327 HAS SOUPS 3739 WITH SCORE 3752.655
AT ITER 969 NEW BEST:: SOT 19343 SOS 13415 HAS SOPS 10435 HAS SOUS 4306 HAS SOUPS 3738 WITH SCORE 3751.415
AT ITER 977 NEW BEST:: SOT 19337 SOS 13403 HAS SOPS 10423 HAS SOUS 4297 HAS SOUPS 3729 WITH SCORE 3742.403
AT ITER 994 NEW BEST:: SOT 19338 SOS 13402 HAS SOPS 10423 HAS SOUS 4295 HAS SOUPS 3727 WITH SCORE 3740.402
AT ITER 1034 NEW BEST:: SOT 19333 SOS 13405 HAS SOPS 10426 HAS SOUS 4274 HAS SOUPS 3706 WITH SCORE 3719.405
AT ITER 1044 NEW BEST:: SOT 19345 SOS 13410 HAS SOPS 10430 HAS SOUS 4272 HAS SOUPS 3704 WITH SCORE 3717.41
AT ITER 1077 NEW BEST:: SOT 19317 SOS 13354 HAS SOPS 10374 HAS SOUS 4266 HAS SOUPS 3698 WITH SCORE 3711.354
AT ITER 1091 NEW BEST:: SOT 19307 SOS 13347 HAS SOPS 10356 HAS SOUS 4266 HAS SOUPS 3696 WITH SCORE 3709.347
AT ITER 1094 NEW BEST:: SOT 19272 SOS 13313 HAS SOPS 10334 HAS SOUS 4257 HAS SOUPS 3687 WITH SCORE 3700.313
AT ITER 1112 NEW BEST:: SOT 19260 SOS 13309 HAS SOPS 10307 HAS SOUS 4240 HAS SOUPS 3662 WITH SCORE 3675.309
AT ITER 1181 NEW BEST:: SOT 19334 SOS 13253 HAS SOPS 10307 HAS SOUS 4245 HAS SOUPS 3659 WITH SCORE 3672.253
AT ITER 1183 NEW BEST:: SOT 19353 SOS 13324 HAS SOPS 10368 HAS SOUS 4242 HAS SOUPS 3657 WITH SCORE 3670.324
AT ITER 1229 NEW BEST:: SOT 19358 SOS 13318 HAS SOPS 10362 HAS SOUS 4234 HAS SOUPS 3649 WITH SCORE 3662.318
AT ITER 1252 NEW BEST:: SOT 19370 SOS 13318 HAS SOPS 10358 HAS SOUS 4226 HAS SOUPS 3641 WITH SCORE 3654.318
AT ITER 1263 NEW BEST:: SOT 19362 SOS 13302 HAS SOPS 10342 HAS SOUS 4226 HAS SOUPS 3641 WITH SCORE 3654.302
AT ITER 1295 NEW BEST:: SOT 19366 SOS 13310 HAS SOPS 10350 HAS SOUS 4225 HAS SOUPS 3640 WITH SCORE 3653.31
AT ITER 1327 NEW BEST:: SOT 19372 SOS 13299 HAS SOPS 10354 HAS SOUS 4219 HAS SOUPS 3639 WITH SCORE 3652.299
AT ITER 1363 NEW BEST:: SOT 19388 SOS 13335 HAS SOPS 10412 HAS SOUS 4216 HAS SOUPS 3636 WITH SCORE 3649.335
AT ITER 1378 NEW BEST:: SOT 19388 SOS 13333 HAS SOPS 10410 HAS SOUS 4214 HAS SOUPS 3634 WITH SCORE 3647.333
AT ITER 1405 NEW BEST:: SOT 19387 SOS 13332 HAS SOPS 10409 HAS SOUS 4210 HAS SOUPS 3630 WITH SCORE 3643.332
AT ITER 1427 NEW BEST:: SOT 19385 SOS 13330 HAS SOPS 10408 HAS SOUS 4205 HAS SOUPS 3626 WITH SCORE 3639.33
AT ITER 1443 NEW BEST:: SOT 19331 SOS 13282 HAS SOPS 10371 HAS SOUS 4202 HAS SOUPS 3603 WITH SCORE 3616.282
AT ITER 1474 NEW BEST:: SOT 19329 SOS 13280 HAS SOPS 10368 HAS SOUS 4196 HAS SOUPS 3597 WITH SCORE 3610.28
AT ITER 1531 NEW BEST:: SOT 19374 SOS 13325 HAS SOPS 10412 HAS SOUS 4171 HAS SOUPS 3572 WITH SCORE 3585.325
AT ITER 1540 NEW BEST:: SOT 19371 SOS 13323 HAS SOPS 10409 HAS SOUS 4169 HAS SOUPS 3570 WITH SCORE 3583.323
AT ITER 1556 NEW BEST:: SOT 19370 SOS 13321 HAS SOPS 10406 HAS SOUS 4165 HAS SOUPS 3566 WITH SCORE 3579.321
AT ITER 1572 NEW BEST:: SOT 19354 SOS 13289 HAS SOPS 10408 HAS SOUS 4137 HAS SOUPS 3538 WITH SCORE 3551.289
AT ITER 1599 NEW BEST:: SOT 19373 SOS 13241 HAS SOPS 10391 HAS SOUS 4123 HAS SOUPS 3535 WITH SCORE 3548.241
AT ITER 1613 NEW BEST:: SOT 19014 SOS 12867 HAS SOPS 10002 HAS SOUS 4098 HAS SOUPS 3495 WITH SCORE 3507.867
AT ITER 1682 NEW BEST:: SOT 19024 SOS 12857 HAS SOPS 9992 HAS SOUS 4098 HAS SOUPS 3495 WITH SCORE 3507.857
AT ITER 1699 NEW BEST:: SOT 19029 SOS 12844 HAS SOPS 9992 HAS SOUS 4096 HAS SOUPS 3495 WITH SCORE 3507.844
AT ITER 1706 NEW BEST:: SOT 19029 SOS 12812 HAS SOPS 9960 HAS SOUS 4080 HAS SOUPS 3479 WITH SCORE 3491.812
AT ITER 1717 NEW BEST:: SOT 19017 SOS 12788 HAS SOPS 9942 HAS SOUS 4074 HAS SOUPS 3473 WITH SCORE 3485.788
AT ITER 1731 NEW BEST:: SOT 19017 SOS 12788 HAS SOPS 9936 HAS SOUS 4068 HAS SOUPS 3467 WITH SCORE 3479.788
AT ITER 1732 NEW BEST:: SOT 19039 SOS 12777 HAS SOPS 9936 HAS SOUS 4068 HAS SOUPS 3467 WITH SCORE 3479.777
AT ITER 1757 NEW BEST:: SOT 19034 SOS 12767 HAS SOPS 9936 HAS SOUS 4060 HAS SOUPS 3459 WITH SCORE 3471.767
AT ITER 1781 NEW BEST:: SOT 18933 SOS 12614 HAS SOPS 9812 HAS SOUS 3962 HAS SOUPS 3390 WITH SCORE 3402.614
AT ITER 1808 NEW BEST:: SOT 18913 SOS 12599 HAS SOPS 9802 HAS SOUS 3952 HAS SOUPS 3385 WITH SCORE 3397.599
AT ITER 1812 NEW BEST:: SOT 18935 SOS 12627 HAS SOPS 9821 HAS SOUS 3951 HAS SOUPS 3384 WITH SCORE 3396.627
AT ITER 1814 NEW BEST:: SOT 18933 SOS 12587 HAS SOPS 9865 HAS SOUS 3919 HAS SOUPS 3365 WITH SCORE 3377.587
AT ITER 1825 NEW BEST:: SOT 18933 SOS 12581 HAS SOPS 9859 HAS SOUS 3913 HAS SOUPS 3359 WITH SCORE 3371.581
AT ITER 1826 NEW BEST:: SOT 18678 SOS 12326 HAS SOPS 9604 HAS SOUS 3907 HAS SOUPS 3353 WITH SCORE 3365.326
AT ITER 1831 NEW BEST:: SOT 18681 SOS 12360 HAS SOPS 9624 HAS SOUS 3900 HAS SOUPS 3346 WITH SCORE 3358.36
AT ITER 1883 NEW BEST:: SOT 18672 SOS 12355 HAS SOPS 9619 HAS SOUS 3897 HAS SOUPS 3343 WITH SCORE 3355.355
AT ITER 1918 NEW BEST:: SOT 18226 SOS 11904 HAS SOPS 9168 HAS SOUS 3758 HAS SOUPS 3204 WITH SCORE 3215.904
AT ITER 1924 NEW BEST:: SOT 18223 SOS 11903 HAS SOPS 9167 HAS SOUS 3756 HAS SOUPS 3202 WITH SCORE 3213.903
AT ITER 1956 NEW BEST:: SOT 18209 SOS 11894 HAS SOPS 9163 HAS SOUS 3755 HAS SOUPS 3200 WITH SCORE 3211.894
AT ITER 1968 NEW BEST:: SOT 18203 SOS 11887 HAS SOPS 9156 HAS SOUS 3749 HAS SOUPS 3194 WITH SCORE 3205.887
AT ITER 1979 NEW BEST:: SOT 18281 SOS 11933 HAS SOPS 9202 HAS SOUS 3737 HAS SOUPS 3182 WITH SCORE 3193.933
AT ITER 2000 NEW BEST:: SOT 18482 SOS 12154 HAS SOPS 9433 HAS SOUS 3718 HAS SOUPS 3163 WITH SCORE 3175.154
AT ITER 2044 NEW BEST:: SOT 18481 SOS 12152 HAS SOPS 9426 HAS SOUS 3703 HAS SOUPS 3148 WITH SCORE 3160.152
AT ITER 2057 NEW BEST:: SOT 18463 SOS 12134 HAS SOPS 9408 HAS SOUS 3685 HAS SOUPS 3130 WITH SCORE 3142.134
AT ITER 2068 NEW BEST:: SOT 18455 SOS 12126 HAS SOPS 9400 HAS SOUS 3677 HAS SOUPS 3122 WITH SCORE 3134.126
AT ITER 2075 NEW BEST:: SOT 18456 SOS 12124 HAS SOPS 9398 HAS SOUS 3676 HAS SOUPS 3121 WITH SCORE 3133.124
AT ITER 2100 NEW BEST:: SOT 18356 SOS 12024 HAS SOPS 9294 HAS SOUS 3655 HAS SOUPS 3100 WITH SCORE 3112.024
AT ITER 2134 NEW BEST:: SOT 18358 SOS 12024 HAS SOPS 9294 HAS SOUS 3653 HAS SOUPS 3098 WITH SCORE 3110.024
AT ITER 2141 NEW BEST:: SOT 18310 SOS 11973 HAS SOPS 9228 HAS SOUS 3590 HAS SOUPS 3035 WITH SCORE 3046.973
AT ITER 2144 NEW BEST:: SOT 18177 SOS 11824 HAS SOPS 9079 HAS SOUS 3554 HAS SOUPS 2999 WITH SCORE 3010.824
AT ITER 2189 NEW BEST:: SOT 18171 SOS 11824 HAS SOPS 9079 HAS SOUS 3542 HAS SOUPS 2987 WITH SCORE 2998.824
AT ITER 2237 NEW BEST:: SOT 18158 SOS 11793 HAS SOPS 9059 HAS SOUS 3537 HAS SOUPS 2982 WITH SCORE 2993.793
AT ITER 2252 NEW BEST:: SOT 18153 SOS 11788 HAS SOPS 9054 HAS SOUS 3532 HAS SOUPS 2977 WITH SCORE 2988.788
AT ITER 2255 NEW BEST:: SOT 18161 SOS 11790 HAS SOPS 9055 HAS SOUS 3524 HAS SOUPS 2969 WITH SCORE 2980.79
AT ITER 2265 NEW BEST:: SOT 18160 SOS 11789 HAS SOPS 9055 HAS SOUS 3523 HAS SOUPS 2969 WITH SCORE 2980.789
AT ITER 2278 NEW BEST:: SOT 18154 SOS 11741 HAS SOPS 9055 HAS SOUS 3525 HAS SOUPS 2969 WITH SCORE 2980.741
AT ITER 2281 NEW BEST:: SOT 18154 SOS 11737 HAS SOPS 9051 HAS SOUS 3523 HAS SOUPS 2967 WITH SCORE 2978.737
AT ITER 2304 NEW BEST:: SOT 18154 SOS 11732 HAS SOPS 9047 HAS SOUS 3522 HAS SOUPS 2966 WITH SCORE 2977.732
AT ITER 2341 NEW BEST:: SOT 18146 SOS 11724 HAS SOPS 9042 HAS SOUS 3520 HAS SOUPS 2964 WITH SCORE 2975.724
AT ITER 2359 NEW BEST:: SOT 18046 SOS 11649 HAS SOPS 8998 HAS SOUS 3492 HAS SOUPS 2953 WITH SCORE 2964.649
AT ITER 2369 NEW BEST:: SOT 18078 SOS 11626 HAS SOPS 8986 HAS SOUS 3491 HAS SOUPS 2952 WITH SCORE 2963.626
AT ITER 2398 NEW BEST:: SOT 18074 SOS 11622 HAS SOPS 8970 HAS SOUS 3489 HAS SOUPS 2948 WITH SCORE 2959.622
AT ITER 2399 NEW BEST:: SOT 18071 SOS 11634 HAS SOPS 8973 HAS SOUS 3485 HAS SOUPS 2944 WITH SCORE 2955.634
AT ITER 2416 NEW BEST:: SOT 18066 SOS 11624 HAS SOPS 8963 HAS SOUS 3471 HAS SOUPS 2930 WITH SCORE 2941.624
AT ITER 2435 NEW BEST:: SOT 18062 SOS 11620 HAS SOPS 8959 HAS SOUS 3467 HAS SOUPS 2926 WITH SCORE 2937.62
AT ITER 2472 NEW BEST:: SOT 18076 SOS 11626 HAS SOPS 8965 HAS SOUS 3454 HAS SOUPS 2913 WITH SCORE 2924.626
AT ITER 2477 NEW BEST:: SOT 18075 SOS 11627 HAS SOPS 8966 HAS SOUS 3452 HAS SOUPS 2911 WITH SCORE 2922.627
AT ITER 2517 NEW BEST:: SOT 18083 SOS 11631 HAS SOPS 8964 HAS SOUS 3438 HAS SOUPS 2897 WITH SCORE 2908.631
AT ITER 2527 NEW BEST:: SOT 18081 SOS 11629 HAS SOPS 8962 HAS SOUS 3436 HAS SOUPS 2895 WITH SCORE 2906.629
AT ITER 2539 NEW BEST:: SOT 18082 SOS 11627 HAS SOPS 8960 HAS SOUS 3435 HAS SOUPS 2894 WITH SCORE 2905.627
AT ITER 2542 NEW BEST:: SOT 18083 SOS 11628 HAS SOPS 8960 HAS SOUS 3435 HAS SOUPS 2893 WITH SCORE 2904.628
AT ITER 2588 NEW BEST:: SOT 18082 SOS 11624 HAS SOPS 8956 HAS SOUS 3433 HAS SOUPS 2891 WITH SCORE 2902.624
AT ITER 2597 NEW BEST:: SOT 18083 SOS 11624 HAS SOPS 8952 HAS SOUS 3429 HAS SOUPS 2887 WITH SCORE 2898.624
AT ITER 2625 NEW BEST:: SOT 18078 SOS 11614 HAS SOPS 8947 HAS SOUS 3429 HAS SOUPS 2887 WITH SCORE 2898.614
AT ITER 2630 NEW BEST:: SOT 18087 SOS 11610 HAS SOPS 8943 HAS SOUS 3425 HAS SOUPS 2883 WITH SCORE 2894.61
AT ITER 2632 NEW BEST:: SOT 18085 SOS 11608 HAS SOPS 8938 HAS SOUS 3422 HAS SOUPS 2879 WITH SCORE 2890.608
AT ITER 2654 NEW BEST:: SOT 18073 SOS 11596 HAS SOPS 8926 HAS SOUS 3404 HAS SOUPS 2861 WITH SCORE 2872.596
AT ITER 2661 NEW BEST:: SOT 18072 SOS 11594 HAS SOPS 8924 HAS SOUS 3402 HAS SOUPS 2859 WITH SCORE 2870.594
AT ITER 2678 NEW BEST:: SOT 18068 SOS 11582 HAS SOPS 8916 HAS SOUS 3402 HAS SOUPS 2859 WITH SCORE 2870.582
AT ITER 2682 NEW BEST:: SOT 18068 SOS 11554 HAS SOPS 8828 HAS SOUS 3401 HAS SOUPS 2858 WITH SCORE 2869.554
AT ITER 2695 NEW BEST:: SOT 18007 SOS 11493 HAS SOPS 8764 HAS SOUS 3383 HAS SOUPS 2840 WITH SCORE 2851.493
AT ITER 2696 NEW BEST:: SOT 17987 SOS 11473 HAS SOPS 8743 HAS SOUS 3362 HAS SOUPS 2819 WITH SCORE 2830.473
AT ITER 2702 NEW BEST:: SOT 18005 SOS 11472 HAS SOPS 8742 HAS SOUS 3362 HAS SOUPS 2819 WITH SCORE 2830.472
AT ITER 2704 NEW BEST:: SOT 18008 SOS 11475 HAS SOPS 8742 HAS SOUS 3357 HAS SOUPS 2814 WITH SCORE 2825.475
AT ITER 2715 NEW BEST:: SOT 17887 SOS 11354 HAS SOPS 8616 HAS SOUS 3354 HAS SOUPS 2806 WITH SCORE 2817.354
AT ITER 2745 NEW BEST:: SOT 17887 SOS 11354 HAS SOPS 8616 HAS SOUS 3351 HAS SOUPS 2803 WITH SCORE 2814.354
AT ITER 2762 NEW BEST:: SOT 17873 SOS 11333 HAS SOPS 8553 HAS SOUS 3344 HAS SOUPS 2789 WITH SCORE 2800.333
AT ITER 2777 NEW BEST:: SOT 17861 SOS 11315 HAS SOPS 8520 HAS SOUS 3338 HAS SOUPS 2780 WITH SCORE 2791.315
AT ITER 2865 NEW BEST:: SOT 17830 SOS 11509 HAS SOPS 8517 HAS SOUS 3341 HAS SOUPS 2777 WITH SCORE 2788.509
AT ITER 2897 NEW BEST:: SOT 17825 SOS 11514 HAS SOPS 8507 HAS SOUS 3336 HAS SOUPS 2772 WITH SCORE 2783.514
AT ITER 2903 NEW BEST:: SOT 17819 SOS 11508 HAS SOPS 8501 HAS SOUS 3333 HAS SOUPS 2769 WITH SCORE 2780.508
AT ITER 2915 NEW BEST:: SOT 17840 SOS 11529 HAS SOPS 8523 HAS SOUS 3329 HAS SOUPS 2765 WITH SCORE 2776.529
AT ITER 2928 NEW BEST:: SOT 17836 SOS 11525 HAS SOPS 8519 HAS SOUS 3325 HAS SOUPS 2761 WITH SCORE 2772.525
AT ITER 2963 NEW BEST:: SOT 17842 SOS 11521 HAS SOPS 8515 HAS SOUS 3322 HAS SOUPS 2758 WITH SCORE 2769.521
AT ITER 2997 NEW BEST:: SOT 17828 SOS 11512 HAS SOPS 8511 HAS SOUS 3321 HAS SOUPS 2756 WITH SCORE 2767.512
AT ITER 2999 NEW BEST:: SOT 17858 SOS 11530 HAS SOPS 8403 HAS SOUS 3341 HAS SOUPS 2755 WITH SCORE 2766.53
AT ITER 3058 NEW BEST:: SOT 17856 SOS 11526 HAS SOPS 8399 HAS SOUS 3333 HAS SOUPS 2747 WITH SCORE 2758.526
AT ITER 3098 NEW BEST:: SOT 17836 SOS 11497 HAS SOPS 8375 HAS SOUS 3324 HAS SOUPS 2738 WITH SCORE 2749.497
AT ITER 3150 NEW BEST:: SOT 17883 SOS 11543 HAS SOPS 8406 HAS SOUS 3318 HAS SOUPS 2732 WITH SCORE 2743.543
AT ITER 3157 NEW BEST:: SOT 17864 SOS 11560 HAS SOPS 8412 HAS SOUS 3301 HAS SOUPS 2715 WITH SCORE 2726.56
AT ITER 3212 NEW BEST:: SOT 17851 SOS 11547 HAS SOPS 8398 HAS SOUS 3287 HAS SOUPS 2701 WITH SCORE 2712.547
AT ITER 3255 NEW BEST:: SOT 17846 SOS 11543 HAS SOPS 8398 HAS SOUS 3285 HAS SOUPS 2699 WITH SCORE 2710.543
AT ITER 3303 NEW BEST:: SOT 17841 SOS 11508 HAS SOPS 8363 HAS SOUS 3265 HAS SOUPS 2679 WITH SCORE 2690.508
AT ITER 3323 NEW BEST:: SOT 17840 SOS 11507 HAS SOPS 8363 HAS SOUS 3265 HAS SOUPS 2679 WITH SCORE 2690.507
AT ITER 3369 NEW BEST:: SOT 17878 SOS 11483 HAS SOPS 8339 HAS SOUS 3259 HAS SOUPS 2673 WITH SCORE 2684.483
AT ITER 3394 NEW BEST:: SOT 17860 SOS 11465 HAS SOPS 8321 HAS SOUS 3253 HAS SOUPS 2667 WITH SCORE 2678.465
AT ITER 3423 NEW BEST:: SOT 17863 SOS 11457 HAS SOPS 8318 HAS SOUS 3253 HAS SOUPS 2667 WITH SCORE 2678.457
AT ITER 3449 NEW BEST:: SOT 17858 SOS 11447 HAS SOPS 8310 HAS SOUS 3252 HAS SOUPS 2666 WITH SCORE 2677.447
AT ITER 3459 NEW BEST:: SOT 17860 SOS 11436 HAS SOPS 8299 HAS SOUS 3246 HAS SOUPS 2660 WITH SCORE 2671.436
AT ITER 3460 NEW BEST:: SOT 17851 SOS 11427 HAS SOPS 8295 HAS SOUS 3233 HAS SOUPS 2647 WITH SCORE 2658.427
AT ITER 3471 NEW BEST:: SOT 17846 SOS 11419 HAS SOPS 8291 HAS SOUS 3223 HAS SOUPS 2640 WITH SCORE 2651.419
AT ITER 3525 NEW BEST:: SOT 17860 SOS 11399 HAS SOPS 8291 HAS SOUS 3223 HAS SOUPS 2640 WITH SCORE 2651.399
AT ITER 3543 NEW BEST:: SOT 17860 SOS 11399 HAS SOPS 8291 HAS SOUS 3211 HAS SOUPS 2628 WITH SCORE 2639.399
AT ITER 3577 NEW BEST:: SOT 17857 SOS 11396 HAS SOPS 8288 HAS SOUS 3211 HAS SOUPS 2628 WITH SCORE 2639.396
AT ITER 3601 NEW BEST:: SOT 17876 SOS 11425 HAS SOPS 8308 HAS SOUS 3205 HAS SOUPS 2622 WITH SCORE 2633.425
AT ITER 3648 NEW BEST:: SOT 17870 SOS 11417 HAS SOPS 8300 HAS SOUS 3197 HAS SOUPS 2614 WITH SCORE 2625.417
AT ITER 3673 NEW BEST:: SOT 17871 SOS 11419 HAS SOPS 8301 HAS SOUS 3196 HAS SOUPS 2613 WITH SCORE 2624.419
AT ITER 3704 NEW BEST:: SOT 17874 SOS 11389 HAS SOPS 8301 HAS SOUS 3197 HAS SOUPS 2613 WITH SCORE 2624.389
AT ITER 3712 NEW BEST:: SOT 17894 SOS 11409 HAS SOPS 8321 HAS SOUS 3194 HAS SOUPS 2610 WITH SCORE 2621.409
AT ITER 3724 NEW BEST:: SOT 17890 SOS 11405 HAS SOPS 8317 HAS SOUS 3190 HAS SOUPS 2606 WITH SCORE 2617.405
AT ITER 3756 NEW BEST:: SOT 17894 SOS 11413 HAS SOPS 8319 HAS SOUS 3187 HAS SOUPS 2603 WITH SCORE 2614.413
AT ITER 3821 NEW BEST:: SOT 17881 SOS 11400 HAS SOPS 8317 HAS SOUS 3174 HAS SOUPS 2601 WITH SCORE 2612.4
AT ITER 3835 NEW BEST:: SOT 17879 SOS 11402 HAS SOPS 8319 HAS SOUS 3170 HAS SOUPS 2597 WITH SCORE 2608.402
AT ITER 3851 NEW BEST:: SOT 17868 SOS 11380 HAS SOPS 8302 HAS SOUS 3166 HAS SOUPS 2593 WITH SCORE 2604.38
AT ITER 3915 NEW BEST:: SOT 17901 SOS 11380 HAS SOPS 8302 HAS SOUS 3164 HAS SOUPS 2591 WITH SCORE 2602.38
AT ITER 3920 NEW BEST:: SOT 17896 SOS 11375 HAS SOPS 8298 HAS SOUS 3159 HAS SOUPS 2587 WITH SCORE 2598.375
AT ITER 3943 NEW BEST:: SOT 17898 SOS 11373 HAS SOPS 8293 HAS SOUS 3159 HAS SOUPS 2587 WITH SCORE 2598.373
AT ITER 3990 NEW BEST:: SOT 17902 SOS 11376 HAS SOPS 8296 HAS SOUS 3151 HAS SOUPS 2584 WITH SCORE 2595.376
AT ITER 3998 NEW BEST:: SOT 17898 SOS 11362 HAS SOPS 8284 HAS SOUS 3145 HAS SOUPS 2578 WITH SCORE 2589.362
AT ITER 3999 NEW BEST:: SOT 17876 SOS 11340 HAS SOPS 8261 HAS SOUS 3123 HAS SOUPS 2555 WITH SCORE 2566.34
AT ITER 4001 NEW BEST:: SOT 17876 SOS 11333 HAS SOPS 8261 HAS SOUS 3123 HAS SOUPS 2555 WITH SCORE 2566.333
AT ITER 4009 NEW BEST:: SOT 17871 SOS 11323 HAS SOPS 8251 HAS SOUS 3120 HAS SOUPS 2552 WITH SCORE 2563.323
AT ITER 4044 NEW BEST:: SOT 17849 SOS 11319 HAS SOPS 8227 HAS SOUS 3123 HAS SOUPS 2548 WITH SCORE 2559.319
AT ITER 4051 NEW BEST:: SOT 17844 SOS 11312 HAS SOPS 8221 HAS SOUS 3120 HAS SOUPS 2545 WITH SCORE 2556.312
AT ITER 4082 NEW BEST:: SOT 17844 SOS 11302 HAS SOPS 8211 HAS SOUS 3114 HAS SOUPS 2539 WITH SCORE 2550.302
AT ITER 4205 NEW BEST:: SOT 17846 SOS 11308 HAS SOPS 8215 HAS SOUS 3113 HAS SOUPS 2538 WITH SCORE 2549.308
AT ITER 4219 NEW BEST:: SOT 17850 SOS 11312 HAS SOPS 8215 HAS SOUS 3108 HAS SOUPS 2533 WITH SCORE 2544.312
AT ITER 4313 NEW BEST:: SOT 17841 SOS 11308 HAS SOPS 8212 HAS SOUS 3107 HAS SOUPS 2532 WITH SCORE 2543.308
AT ITER 4462 NEW BEST:: SOT 17863 SOS 11284 HAS SOPS 8210 HAS SOUS 3096 HAS SOUPS 2521 WITH SCORE 2532.284
AT ITER 4516 NEW BEST:: SOT 17864 SOS 11283 HAS SOPS 8209 HAS SOUS 3095 HAS SOUPS 2520 WITH SCORE 2531.283
AT ITER 4518 NEW BEST:: SOT 17880 SOS 11269 HAS SOPS 8209 HAS SOUS 3091 HAS SOUPS 2520 WITH SCORE 2531.269
AT ITER 4654 NEW BEST:: SOT 17879 SOS 11268 HAS SOPS 8204 HAS SOUS 3089 HAS SOUPS 2518 WITH SCORE 2529.268
AT ITER 4668 NEW BEST:: SOT 17881 SOS 11266 HAS SOPS 8202 HAS SOUS 3089 HAS SOUPS 2518 WITH SCORE 2529.266
AT ITER 4708 NEW BEST:: SOT 17889 SOS 11272 HAS SOPS 8204 HAS SOUS 3087 HAS SOUPS 2516 WITH SCORE 2527.272
AT ITER 4745 NEW BEST:: SOT 17891 SOS 11274 HAS SOPS 8204 HAS SOUS 3084 HAS SOUPS 2513 WITH SCORE 2524.274
AT ITER 4923 NEW BEST:: SOT 17893 SOS 11268 HAS SOPS 8198 HAS SOUS 3084 HAS SOUPS 2513 WITH SCORE 2524.268
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-00 (EF((AG( ( potential( (tk(P3)) <= (tk(P88)) ) | potential( ( 1 ) <= (tk(P51)) ) )))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-01 ( (EU( ( potential( (tk(P67)) <= (tk(P64)) ) | potential( ( 3 ) <= (tk(P47)) ) ),( potential( ( 3 ) <= (tk(P95)) ) & potential( (tk(P4)) <= (tk(P34)) ) ) )) | potential( ( 2 ) <= (tk(P97)) ) )
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-02 (AU( ( ( potential( (tk(P35)) <= (tk(P5)) ) & potential( (tk(P14)) <= (tk(P26)) ) ) | (! potential( ( 1 ) <= (tk(P8)) )) ),(AG( potential( (tk(P57)) <= (tk(P5)) ))) ))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-03 (! (EF((EG( potential( ( 2 ) <= (tk(P58)) ))))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-04 (EU( (! ( potential( ( 3 ) <= (tk(P70)) ) & potential( (tk(P89)) <= (tk(P58)) ) )),(AX( potential( ( 2 ) <= (tk(P17)) ))) ))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-05 (EF((! ( ( potential( (tk(P77)) <= (tk(P96)) ) & potential( ( 2 ) <= (tk(P38)) ) ) | potential( (tk(P74)) <= (tk(P42)) ) ))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-06 (AG( (EX( potential( (tk(P21)) <= (tk(P2)) )))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-07 (EF(( (EX( potential( ( 1 ) <= (tk(P30)) ))) | (EF(potential( ( 2 ) <= (tk(P2)) ))) )))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-08 (! (! (EF(( potential( ( 3 ) <= (tk(P99)) ) & potential( ( 3 ) <= (tk(P23)) ) )))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-09 (EF(( (EX( potential( (tk(P55)) <= (tk(P67)) ))) & (AG( potential( (tk(P81)) <= (tk(P78)) ))) )))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-10 (! (AG( ( ( potential( ( 3 ) <= (tk(P13)) ) | potential( (tk(P90)) <= (tk(P65)) ) ) | ( potential( ( 1 ) <= (tk(P56)) ) & potential( ( 1 ) <= (tk(P2)) ) ) ))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-11 (EF((AX( potential( ( 1 ) <= (tk(P90)) )))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-12 (AG( (EX( potential( (tk(P6)) <= (tk(P54)) )))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-13 (EX( (EF(potential( ( 2 ) <= (tk(P63)) )))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-14 (EF((EG( (! potential( (tk(P91)) <= (tk(P91)) ))))))
PROPERTY: CloudDeployment-PT-3a-CTLCardinality-15 (EU( (AX( potential( (tk(P35)) <= (tk(P31)) ))),(AG( potential( (tk(P26)) <= (tk(P46)) ))) ))

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="CloudDeployment-PT-3a"
export BK_EXAMINATION="CTLCardinality"
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 CloudDeployment-PT-3a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901925900283"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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