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-158901925900284.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900284
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-01
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-02
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-03
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-04
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-05
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-06
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-07
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-08
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-09
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-10
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-11
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-12
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-13
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-14
FORMULA_NAME CloudDeployment-PT-3a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589136257016

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 3a
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: 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 6 NEW BEST:: SOT 22980 SOS 13415 HAS SOPS 12331 HAS SOUS 10646 HAS SOUPS 9644 WITH SCORE 9657.415
AT ITER 12 NEW BEST:: SOT 23064 SOS 13415 HAS SOPS 12373 HAS SOUS 10541 HAS SOUPS 9581 WITH SCORE 9594.415
AT ITER 13 NEW BEST:: SOT 23130 SOS 13424 HAS SOPS 12382 HAS SOUS 10509 HAS SOUPS 9549 WITH SCORE 9562.424
AT ITER 19 NEW BEST:: SOT 23128 SOS 13435 HAS SOPS 12378 HAS SOUS 10485 HAS SOUPS 9510 WITH SCORE 9523.435
AT ITER 20 NEW BEST:: SOT 23123 SOS 13425 HAS SOPS 12397 HAS SOUS 10403 HAS SOUPS 9457 WITH SCORE 9470.425
AT ITER 21 NEW BEST:: SOT 23103 SOS 13709 HAS SOPS 12407 HAS SOUS 10325 HAS SOUPS 9380 WITH SCORE 9393.709
AT ITER 24 NEW BEST:: SOT 22993 SOS 13765 HAS SOPS 12349 HAS SOUS 10272 HAS SOUPS 9332 WITH SCORE 9345.765
AT ITER 33 NEW BEST:: SOT 23376 SOS 13958 HAS SOPS 12542 HAS SOUS 10176 HAS SOUPS 9236 WITH SCORE 9249.958
AT ITER 35 NEW BEST:: SOT 23374 SOS 13956 HAS SOPS 12542 HAS SOUS 10170 HAS SOUPS 9232 WITH SCORE 9245.956
AT ITER 40 NEW BEST:: SOT 23334 SOS 13951 HAS SOPS 12557 HAS SOUS 10165 HAS SOUPS 9227 WITH SCORE 9240.951
AT ITER 41 NEW BEST:: SOT 23384 SOS 13835 HAS SOPS 12344 HAS SOUS 10139 HAS SOUPS 9201 WITH SCORE 9214.835
AT ITER 48 NEW BEST:: SOT 23403 SOS 13840 HAS SOPS 12382 HAS SOUS 9992 HAS SOUPS 9087 WITH SCORE 9100.84
AT ITER 49 NEW BEST:: SOT 23212 SOS 13718 HAS SOPS 12308 HAS SOUS 9891 HAS SOUPS 9034 WITH SCORE 9047.718
AT ITER 55 NEW BEST:: SOT 23291 SOS 13760 HAS SOPS 12382 HAS SOUS 9852 HAS SOUPS 9030 WITH SCORE 9043.76
AT ITER 56 NEW BEST:: SOT 23377 SOS 13794 HAS SOPS 12370 HAS SOUS 9888 HAS SOUPS 9020 WITH SCORE 9033.794
AT ITER 57 NEW BEST:: SOT 23451 SOS 13802 HAS SOPS 12377 HAS SOUS 9740 HAS SOUPS 8895 WITH SCORE 8908.802
AT ITER 61 NEW BEST:: SOT 23451 SOS 13780 HAS SOPS 12355 HAS SOUS 9683 HAS SOUPS 8838 WITH SCORE 8851.78
AT ITER 63 NEW BEST:: SOT 23443 SOS 13764 HAS SOPS 12335 HAS SOUS 9679 HAS SOUPS 8830 WITH SCORE 8843.764
AT ITER 67 NEW BEST:: SOT 23415 SOS 13758 HAS SOPS 12329 HAS SOUS 9672 HAS SOUPS 8823 WITH SCORE 8836.758
AT ITER 68 NEW BEST:: SOT 23355 SOS 13655 HAS SOPS 12238 HAS SOUS 9600 HAS SOUPS 8751 WITH SCORE 8764.655
AT ITER 72 NEW BEST:: SOT 23199 SOS 14181 HAS SOPS 12168 HAS SOUS 8953 HAS SOUPS 8085 WITH SCORE 8099.181
AT ITER 76 NEW BEST:: SOT 23199 SOS 14182 HAS SOPS 12168 HAS SOUS 8949 HAS SOUPS 8081 WITH SCORE 8095.182
AT ITER 79 NEW BEST:: SOT 23130 SOS 14192 HAS SOPS 12178 HAS SOUS 8929 HAS SOUPS 8061 WITH SCORE 8075.192
AT ITER 85 NEW BEST:: SOT 23122 SOS 14220 HAS SOPS 12162 HAS SOUS 8943 HAS SOUPS 8053 WITH SCORE 8067.22
AT ITER 86 NEW BEST:: SOT 23000 SOS 14088 HAS SOPS 12030 HAS SOUS 8848 HAS SOUPS 7958 WITH SCORE 7972.088
AT ITER 88 NEW BEST:: SOT 22993 SOS 14074 HAS SOPS 12016 HAS SOUS 8847 HAS SOUPS 7957 WITH SCORE 7971.074
AT ITER 89 NEW BEST:: SOT 22982 SOS 14062 HAS SOPS 12004 HAS SOUS 8835 HAS SOUPS 7945 WITH SCORE 7959.062
AT ITER 93 NEW BEST:: SOT 22911 SOS 13995 HAS SOPS 11939 HAS SOUS 8222 HAS SOUPS 7332 WITH SCORE 7345.995
AT ITER 95 NEW BEST:: SOT 22592 SOS 13847 HAS SOPS 11860 HAS SOUS 8076 HAS SOUPS 7253 WITH SCORE 7266.847
AT ITER 97 NEW BEST:: SOT 22604 SOS 14050 HAS SOPS 11848 HAS SOUS 8081 HAS SOUPS 7238 WITH SCORE 7252.05
AT ITER 103 NEW BEST:: SOT 22598 SOS 14050 HAS SOPS 11848 HAS SOUS 8069 HAS SOUPS 7226 WITH SCORE 7240.05
AT ITER 104 NEW BEST:: SOT 22555 SOS 14101 HAS SOPS 11899 HAS SOUS 8053 HAS SOUPS 7210 WITH SCORE 7224.101
AT ITER 107 NEW BEST:: SOT 22410 SOS 13874 HAS SOPS 11714 HAS SOUS 7675 HAS SOUPS 6874 WITH SCORE 6887.874
AT ITER 110 NEW BEST:: SOT 22061 SOS 13357 HAS SOPS 11260 HAS SOUS 7116 HAS SOUPS 6378 WITH SCORE 6391.357
AT ITER 116 NEW BEST:: SOT 22273 SOS 13595 HAS SOPS 11498 HAS SOUS 6781 HAS SOUPS 6043 WITH SCORE 6056.595
AT ITER 119 NEW BEST:: SOT 22343 SOS 13695 HAS SOPS 11578 HAS SOUS 6757 HAS SOUPS 6029 WITH SCORE 6042.695
AT ITER 120 NEW BEST:: SOT 22343 SOS 13689 HAS SOPS 11572 HAS SOUS 6749 HAS SOUPS 6021 WITH SCORE 6034.689
AT ITER 121 NEW BEST:: SOT 22311 SOS 13670 HAS SOPS 11549 HAS SOUS 6744 HAS SOUPS 6016 WITH SCORE 6029.67
AT ITER 127 NEW BEST:: SOT 22097 SOS 13606 HAS SOPS 11515 HAS SOUS 6665 HAS SOUPS 5982 WITH SCORE 5995.606
AT ITER 128 NEW BEST:: SOT 22111 SOS 13600 HAS SOPS 11498 HAS SOUS 6655 HAS SOUPS 5965 WITH SCORE 5978.6
AT ITER 130 NEW BEST:: SOT 22161 SOS 13413 HAS SOPS 11381 HAS SOUS 6556 HAS SOUPS 5866 WITH SCORE 5879.413
AT ITER 135 NEW BEST:: SOT 21497 SOS 13016 HAS SOPS 11207 HAS SOUS 6319 HAS SOUPS 5706 WITH SCORE 5719.016
AT ITER 143 NEW BEST:: SOT 21497 SOS 12998 HAS SOPS 11207 HAS SOUS 6265 HAS SOUPS 5670 WITH SCORE 5682.998
AT ITER 146 NEW BEST:: SOT 21491 SOS 12994 HAS SOPS 11207 HAS SOUS 6253 HAS SOUPS 5660 WITH SCORE 5672.994
AT ITER 148 NEW BEST:: SOT 21457 SOS 12960 HAS SOPS 11156 HAS SOUS 6236 HAS SOUPS 5626 WITH SCORE 5638.96
AT ITER 156 NEW BEST:: SOT 20279 SOS 13075 HAS SOPS 10641 HAS SOUS 5802 HAS SOUPS 5292 WITH SCORE 5305.075
AT ITER 168 NEW BEST:: SOT 20282 SOS 13081 HAS SOPS 10647 HAS SOUS 5798 HAS SOUPS 5288 WITH SCORE 5301.081
AT ITER 171 NEW BEST:: SOT 20266 SOS 13065 HAS SOPS 10631 HAS SOUS 5782 HAS SOUPS 5272 WITH SCORE 5285.065
AT ITER 174 NEW BEST:: SOT 20281 SOS 13070 HAS SOPS 10676 HAS SOUS 5749 HAS SOUPS 5239 WITH SCORE 5252.07
AT ITER 184 NEW BEST:: SOT 20296 SOS 13055 HAS SOPS 10737 HAS SOUS 5732 HAS SOUPS 5222 WITH SCORE 5235.055
AT ITER 185 NEW BEST:: SOT 20294 SOS 13049 HAS SOPS 10732 HAS SOUS 5731 HAS SOUPS 5221 WITH SCORE 5234.049
AT ITER 189 NEW BEST:: SOT 20296 SOS 13041 HAS SOPS 10724 HAS SOUS 5722 HAS SOUPS 5212 WITH SCORE 5225.041
AT ITER 199 NEW BEST:: SOT 20311 SOS 12981 HAS SOPS 10664 HAS SOUS 5657 HAS SOUPS 5147 WITH SCORE 5159.981
AT ITER 210 NEW BEST:: SOT 20026 SOS 12947 HAS SOPS 10697 HAS SOUS 5531 HAS SOUPS 5102 WITH SCORE 5114.947
AT ITER 211 NEW BEST:: SOT 20207 SOS 12948 HAS SOPS 10698 HAS SOUS 5480 HAS SOUPS 5051 WITH SCORE 5063.948
AT ITER 216 NEW BEST:: SOT 20230 SOS 12169 HAS SOPS 10640 HAS SOUS 5400 HAS SOUPS 4972 WITH SCORE 4984.169
AT ITER 218 NEW BEST:: SOT 20224 SOS 12163 HAS SOPS 10640 HAS SOUS 5382 HAS SOUPS 4954 WITH SCORE 4966.163
AT ITER 227 NEW BEST:: SOT 20179 SOS 12242 HAS SOPS 10640 HAS SOUS 5349 HAS SOUPS 4945 WITH SCORE 4957.242
AT ITER 229 NEW BEST:: SOT 20173 SOS 12219 HAS SOPS 10617 HAS SOUS 5307 HAS SOUPS 4903 WITH SCORE 4915.219
AT ITER 232 NEW BEST:: SOT 20157 SOS 12203 HAS SOPS 10605 HAS SOUS 5283 HAS SOUPS 4883 WITH SCORE 4895.203
AT ITER 234 NEW BEST:: SOT 20134 SOS 12150 HAS SOPS 10547 HAS SOUS 5274 HAS SOUPS 4868 WITH SCORE 4880.15
AT ITER 236 NEW BEST:: SOT 20145 SOS 12123 HAS SOPS 10520 HAS SOUS 5272 HAS SOUPS 4866 WITH SCORE 4878.123
AT ITER 237 NEW BEST:: SOT 20092 SOS 12074 HAS SOPS 10476 HAS SOUS 5289 HAS SOUPS 4864 WITH SCORE 4876.074
AT ITER 242 NEW BEST:: SOT 20070 SOS 12030 HAS SOPS 10432 HAS SOUS 5272 HAS SOUPS 4847 WITH SCORE 4859.03
AT ITER 248 NEW BEST:: SOT 20022 SOS 11314 HAS SOPS 8215 HAS SOUS 5186 HAS SOUPS 4636 WITH SCORE 4647.314
AT ITER 249 NEW BEST:: SOT 20021 SOS 11312 HAS SOPS 8213 HAS SOUS 5184 HAS SOUPS 4634 WITH SCORE 4645.312
AT ITER 256 NEW BEST:: SOT 19653 SOS 10944 HAS SOPS 7845 HAS SOUS 5106 HAS SOUPS 4556 WITH SCORE 4566.944
AT ITER 264 NEW BEST:: SOT 19665 SOS 10968 HAS SOPS 7845 HAS SOUS 5107 HAS SOUPS 4544 WITH SCORE 4554.968
AT ITER 268 NEW BEST:: SOT 19749 SOS 10663 HAS SOPS 7936 HAS SOUS 5090 HAS SOUPS 4542 WITH SCORE 4552.663
AT ITER 271 NEW BEST:: SOT 19963 SOS 10786 HAS SOPS 7977 HAS SOUS 5049 HAS SOUPS 4514 WITH SCORE 4524.786
AT ITER 272 NEW BEST:: SOT 19968 SOS 10797 HAS SOPS 7944 HAS SOUS 5030 HAS SOUPS 4463 WITH SCORE 4473.797
AT ITER 274 NEW BEST:: SOT 19989 SOS 10791 HAS SOPS 7938 HAS SOUS 5030 HAS SOUPS 4463 WITH SCORE 4473.791
AT ITER 280 NEW BEST:: SOT 19953 SOS 10776 HAS SOPS 7914 HAS SOUS 5025 HAS SOUPS 4453 WITH SCORE 4463.776
AT ITER 284 NEW BEST:: SOT 19941 SOS 10776 HAS SOPS 7758 HAS SOUS 5030 HAS SOUPS 4439 WITH SCORE 4449.776
AT ITER 290 NEW BEST:: SOT 19988 SOS 10795 HAS SOPS 7757 HAS SOUS 5017 HAS SOUPS 4406 WITH SCORE 4416.795
AT ITER 297 NEW BEST:: SOT 20000 SOS 10789 HAS SOPS 7727 HAS SOUS 5018 HAS SOUPS 4401 WITH SCORE 4411.789
AT ITER 303 NEW BEST:: SOT 19972 SOS 10760 HAS SOPS 7697 HAS SOUS 4988 HAS SOUPS 4370 WITH SCORE 4380.76
AT ITER 304 NEW BEST:: SOT 20045 SOS 10805 HAS SOPS 7759 HAS SOUS 4937 HAS SOUPS 4315 WITH SCORE 4325.805
AT ITER 311 NEW BEST:: SOT 19673 SOS 10433 HAS SOPS 7381 HAS SOUS 4876 HAS SOUPS 4254 WITH SCORE 4264.433
AT ITER 327 NEW BEST:: SOT 19673 SOS 10428 HAS SOPS 7372 HAS SOUS 4876 HAS SOUPS 4253 WITH SCORE 4263.428
AT ITER 329 NEW BEST:: SOT 19134 SOS 9888 HAS SOPS 6844 HAS SOUS 4602 HAS SOUPS 3979 WITH SCORE 3988.888
AT ITER 331 NEW BEST:: SOT 19134 SOS 9874 HAS SOPS 6830 HAS SOUS 4597 HAS SOUPS 3974 WITH SCORE 3983.874
AT ITER 332 NEW BEST:: SOT 19119 SOS 9868 HAS SOPS 6824 HAS SOUS 4597 HAS SOUPS 3974 WITH SCORE 3983.868
AT ITER 335 NEW BEST:: SOT 19266 SOS 9952 HAS SOPS 6908 HAS SOUS 4551 HAS SOUPS 3928 WITH SCORE 3937.952
AT ITER 336 NEW BEST:: SOT 19273 SOS 9957 HAS SOPS 6913 HAS SOUS 4528 HAS SOUPS 3912 WITH SCORE 3921.957
AT ITER 337 NEW BEST:: SOT 19271 SOS 9955 HAS SOPS 6915 HAS SOUS 4520 HAS SOUPS 3906 WITH SCORE 3915.955
AT ITER 341 NEW BEST:: SOT 19257 SOS 9941 HAS SOPS 6901 HAS SOUS 4506 HAS SOUPS 3892 WITH SCORE 3901.941
AT ITER 351 NEW BEST:: SOT 19199 SOS 9889 HAS SOPS 6839 HAS SOUS 4481 HAS SOUPS 3867 WITH SCORE 3876.889
AT ITER 355 NEW BEST:: SOT 19196 SOS 9883 HAS SOPS 6833 HAS SOUS 4472 HAS SOUPS 3858 WITH SCORE 3867.883
AT ITER 356 NEW BEST:: SOT 19131 SOS 9808 HAS SOPS 6748 HAS SOUS 4452 HAS SOUPS 3838 WITH SCORE 3847.808
AT ITER 361 NEW BEST:: SOT 19131 SOS 9784 HAS SOPS 6730 HAS SOUS 4451 HAS SOUPS 3837 WITH SCORE 3846.784
AT ITER 378 NEW BEST:: SOT 19118 SOS 9783 HAS SOPS 6694 HAS SOUS 4428 HAS SOUPS 3799 WITH SCORE 3808.783
AT ITER 383 NEW BEST:: SOT 19118 SOS 9777 HAS SOPS 6700 HAS SOUS 4425 HAS SOUPS 3799 WITH SCORE 3808.777
AT ITER 389 NEW BEST:: SOT 19126 SOS 9789 HAS SOPS 6708 HAS SOUS 4421 HAS SOUPS 3795 WITH SCORE 3804.789
AT ITER 397 NEW BEST:: SOT 19090 SOS 9756 HAS SOPS 6702 HAS SOUS 4418 HAS SOUPS 3792 WITH SCORE 3801.756
AT ITER 398 NEW BEST:: SOT 19062 SOS 9728 HAS SOPS 6686 HAS SOUS 4408 HAS SOUPS 3782 WITH SCORE 3791.728
AT ITER 401 NEW BEST:: SOT 19066 SOS 9731 HAS SOPS 6687 HAS SOUS 4406 HAS SOUPS 3780 WITH SCORE 3789.731
AT ITER 402 NEW BEST:: SOT 18948 SOS 9674 HAS SOPS 6638 HAS SOUS 4362 HAS SOUPS 3736 WITH SCORE 3745.674
AT ITER 406 NEW BEST:: SOT 18927 SOS 9641 HAS SOPS 6574 HAS SOUS 4336 HAS SOUPS 3710 WITH SCORE 3719.641
AT ITER 408 NEW BEST:: SOT 18972 SOS 9702 HAS SOPS 6635 HAS SOUS 4332 HAS SOUPS 3706 WITH SCORE 3715.702
AT ITER 414 NEW BEST:: SOT 18880 SOS 9639 HAS SOPS 6567 HAS SOUS 4259 HAS SOUPS 3624 WITH SCORE 3633.639
AT ITER 420 NEW BEST:: SOT 18874 SOS 9633 HAS SOPS 6561 HAS SOUS 4253 HAS SOUPS 3618 WITH SCORE 3627.633
AT ITER 421 NEW BEST:: SOT 18862 SOS 9625 HAS SOPS 6551 HAS SOUS 4249 HAS SOUPS 3614 WITH SCORE 3623.625
AT ITER 423 NEW BEST:: SOT 19173 SOS 9166 HAS SOPS 6450 HAS SOUS 4229 HAS SOUPS 3558 WITH SCORE 3567.166
AT ITER 438 NEW BEST:: SOT 19220 SOS 9178 HAS SOPS 6462 HAS SOUS 4172 HAS SOUPS 3501 WITH SCORE 3510.178
AT ITER 443 NEW BEST:: SOT 19213 SOS 9171 HAS SOPS 6456 HAS SOUS 4167 HAS SOUPS 3496 WITH SCORE 3505.171
AT ITER 457 NEW BEST:: SOT 19165 SOS 9129 HAS SOPS 6425 HAS SOUS 4149 HAS SOUPS 3480 WITH SCORE 3489.129
AT ITER 458 NEW BEST:: SOT 19157 SOS 9121 HAS SOPS 6409 HAS SOUS 4135 HAS SOUPS 3466 WITH SCORE 3475.121
AT ITER 472 NEW BEST:: SOT 19137 SOS 9324 HAS SOPS 6399 HAS SOUS 4170 HAS SOUPS 3457 WITH SCORE 3466.324
AT ITER 483 NEW BEST:: SOT 19145 SOS 9332 HAS SOPS 6397 HAS SOUS 4167 HAS SOUPS 3454 WITH SCORE 3463.332
AT ITER 508 NEW BEST:: SOT 19145 SOS 9418 HAS SOPS 6397 HAS SOUS 4175 HAS SOUPS 3452 WITH SCORE 3461.418
AT ITER 527 NEW BEST:: SOT 19140 SOS 9432 HAS SOPS 6387 HAS SOUS 4170 HAS SOUPS 3447 WITH SCORE 3456.432
AT ITER 536 NEW BEST:: SOT 19131 SOS 9403 HAS SOPS 6369 HAS SOUS 4152 HAS SOUPS 3429 WITH SCORE 3438.403
AT ITER 550 NEW BEST:: SOT 19078 SOS 9359 HAS SOPS 6364 HAS SOUS 4141 HAS SOUPS 3424 WITH SCORE 3433.359
AT ITER 551 NEW BEST:: SOT 19051 SOS 9350 HAS SOPS 6355 HAS SOUS 4132 HAS SOUPS 3415 WITH SCORE 3424.35
AT ITER 552 NEW BEST:: SOT 18914 SOS 9258 HAS SOPS 6263 HAS SOUS 4059 HAS SOUPS 3342 WITH SCORE 3351.258
AT ITER 555 NEW BEST:: SOT 18832 SOS 9176 HAS SOPS 6200 HAS SOUS 4031 HAS SOUPS 3333 WITH SCORE 3342.176
AT ITER 566 NEW BEST:: SOT 18832 SOS 9176 HAS SOPS 6198 HAS SOUS 4029 HAS SOUPS 3331 WITH SCORE 3340.176
AT ITER 595 NEW BEST:: SOT 18820 SOS 9164 HAS SOPS 6188 HAS SOUS 4023 HAS SOUPS 3327 WITH SCORE 3336.164
AT ITER 602 NEW BEST:: SOT 18802 SOS 9149 HAS SOPS 6179 HAS SOUS 4023 HAS SOUPS 3327 WITH SCORE 3336.149
AT ITER 606 NEW BEST:: SOT 18800 SOS 9149 HAS SOPS 6171 HAS SOUS 4023 HAS SOUPS 3325 WITH SCORE 3334.149
AT ITER 620 NEW BEST:: SOT 18801 SOS 9136 HAS SOPS 6173 HAS SOUS 4008 HAS SOUPS 3322 WITH SCORE 3331.136
AT ITER 633 NEW BEST:: SOT 18492 SOS 9379 HAS SOPS 6002 HAS SOUS 3939 HAS SOUPS 3285 WITH SCORE 3294.379
AT ITER 645 NEW BEST:: SOT 18498 SOS 9375 HAS SOPS 5998 HAS SOUS 3937 HAS SOUPS 3283 WITH SCORE 3292.375
AT ITER 666 NEW BEST:: SOT 18193 SOS 10224 HAS SOPS 5941 HAS SOUS 3912 HAS SOUPS 3226 WITH SCORE 3236.224
AT ITER 677 NEW BEST:: SOT 18153 SOS 10195 HAS SOPS 5939 HAS SOUS 3899 HAS SOUPS 3213 WITH SCORE 3223.195
AT ITER 678 NEW BEST:: SOT 18162 SOS 10207 HAS SOPS 5948 HAS SOUS 3896 HAS SOUPS 3210 WITH SCORE 3220.207
AT ITER 685 NEW BEST:: SOT 18163 SOS 10205 HAS SOPS 5942 HAS SOUS 3887 HAS SOUPS 3205 WITH SCORE 3215.205
AT ITER 686 NEW BEST:: SOT 18198 SOS 10225 HAS SOPS 5962 HAS SOUS 3885 HAS SOUPS 3203 WITH SCORE 3213.225
AT ITER 693 NEW BEST:: SOT 18196 SOS 10213 HAS SOPS 5950 HAS SOUS 3880 HAS SOUPS 3198 WITH SCORE 3208.213
AT ITER 712 NEW BEST:: SOT 18166 SOS 10189 HAS SOPS 5920 HAS SOUS 3868 HAS SOUPS 3186 WITH SCORE 3196.189
AT ITER 713 NEW BEST:: SOT 18370 SOS 9797 HAS SOPS 5920 HAS SOUS 3851 HAS SOUPS 3171 WITH SCORE 3180.797
AT ITER 732 NEW BEST:: SOT 18363 SOS 9803 HAS SOPS 5899 HAS SOUS 3855 HAS SOUPS 3166 WITH SCORE 3175.803
AT ITER 738 NEW BEST:: SOT 18357 SOS 9798 HAS SOPS 5896 HAS SOUS 3855 HAS SOUPS 3166 WITH SCORE 3175.798
AT ITER 745 NEW BEST:: SOT 18196 SOS 9908 HAS SOPS 5868 HAS SOUS 3842 HAS SOUPS 3158 WITH SCORE 3167.908
AT ITER 761 NEW BEST:: SOT 18203 SOS 9894 HAS SOPS 5854 HAS SOUS 3838 HAS SOUPS 3154 WITH SCORE 3163.894
AT ITER 777 NEW BEST:: SOT 18249 SOS 9923 HAS SOPS 5883 HAS SOUS 3836 HAS SOUPS 3152 WITH SCORE 3161.923
AT ITER 802 NEW BEST:: SOT 18234 SOS 9907 HAS SOPS 5874 HAS SOUS 3819 HAS SOUPS 3142 WITH SCORE 3151.907
AT ITER 805 NEW BEST:: SOT 18234 SOS 9911 HAS SOPS 5870 HAS SOUS 3819 HAS SOUPS 3140 WITH SCORE 3149.911
AT ITER 815 NEW BEST:: SOT 18246 SOS 9869 HAS SOPS 5820 HAS SOUS 3771 HAS SOUPS 3092 WITH SCORE 3101.869
AT ITER 844 NEW BEST:: SOT 18258 SOS 9779 HAS SOPS 5730 HAS SOUS 3733 HAS SOUPS 3054 WITH SCORE 3063.779
AT ITER 865 NEW BEST:: SOT 18215 SOS 9756 HAS SOPS 5707 HAS SOUS 3726 HAS SOUPS 3047 WITH SCORE 3056.756
AT ITER 876 NEW BEST:: SOT 18213 SOS 9755 HAS SOPS 5706 HAS SOUS 3726 HAS SOUPS 3047 WITH SCORE 3056.755
AT ITER 906 NEW BEST:: SOT 18209 SOS 9751 HAS SOPS 5714 HAS SOUS 3722 HAS SOUPS 3047 WITH SCORE 3056.751
AT ITER 909 NEW BEST:: SOT 18133 SOS 9784 HAS SOPS 5704 HAS SOUS 3751 HAS SOUPS 3032 WITH SCORE 3041.784
AT ITER 942 NEW BEST:: SOT 18090 SOS 9717 HAS SOPS 5641 HAS SOUS 3710 HAS SOUPS 2991 WITH SCORE 3000.717
AT ITER 946 NEW BEST:: SOT 18094 SOS 9709 HAS SOPS 5617 HAS SOUS 3713 HAS SOUPS 2990 WITH SCORE 2999.709
AT ITER 951 NEW BEST:: SOT 18097 SOS 9702 HAS SOPS 5613 HAS SOUS 3711 HAS SOUPS 2989 WITH SCORE 2998.702
AT ITER 972 NEW BEST:: SOT 18093 SOS 9694 HAS SOPS 5597 HAS SOUS 3709 HAS SOUPS 2985 WITH SCORE 2994.694
AT ITER 973 NEW BEST:: SOT 18137 SOS 9566 HAS SOPS 5597 HAS SOUS 3715 HAS SOUPS 2985 WITH SCORE 2994.566
AT ITER 974 NEW BEST:: SOT 18072 SOS 9516 HAS SOPS 5557 HAS SOUS 3681 HAS SOUPS 2957 WITH SCORE 2966.516
AT ITER 975 NEW BEST:: SOT 18064 SOS 9500 HAS SOPS 5557 HAS SOUS 3673 HAS SOUPS 2949 WITH SCORE 2958.5
AT ITER 978 NEW BEST:: SOT 18000 SOS 9570 HAS SOPS 5589 HAS SOUS 3674 HAS SOUPS 2935 WITH SCORE 2944.57
AT ITER 986 NEW BEST:: SOT 18084 SOS 9634 HAS SOPS 5617 HAS SOUS 3659 HAS SOUPS 2923 WITH SCORE 2932.634
AT ITER 1012 NEW BEST:: SOT 18076 SOS 9626 HAS SOPS 5609 HAS SOUS 3645 HAS SOUPS 2909 WITH SCORE 2918.626
AT ITER 1029 NEW BEST:: SOT 18071 SOS 9628 HAS SOPS 5595 HAS SOUS 3644 HAS SOUPS 2904 WITH SCORE 2913.628
AT ITER 1031 NEW BEST:: SOT 18069 SOS 9624 HAS SOPS 5592 HAS SOUS 3644 HAS SOUPS 2904 WITH SCORE 2913.624
AT ITER 1044 NEW BEST:: SOT 18063 SOS 9612 HAS SOPS 5583 HAS SOUS 3641 HAS SOUPS 2901 WITH SCORE 2910.612
AT ITER 1050 NEW BEST:: SOT 18061 SOS 9608 HAS SOPS 5579 HAS SOUS 3639 HAS SOUPS 2899 WITH SCORE 2908.608
AT ITER 1054 NEW BEST:: SOT 18051 SOS 9588 HAS SOPS 5559 HAS SOUS 3629 HAS SOUPS 2889 WITH SCORE 2898.588
AT ITER 1117 NEW BEST:: SOT 18062 SOS 9586 HAS SOPS 5555 HAS SOUS 3623 HAS SOUPS 2886 WITH SCORE 2895.586
AT ITER 1152 NEW BEST:: SOT 18043 SOS 9600 HAS SOPS 5562 HAS SOUS 3598 HAS SOUPS 2871 WITH SCORE 2880.6
AT ITER 1157 NEW BEST:: SOT 18036 SOS 9586 HAS SOPS 5548 HAS SOUS 3589 HAS SOUPS 2854 WITH SCORE 2863.586
AT ITER 1161 NEW BEST:: SOT 18035 SOS 9584 HAS SOPS 5546 HAS SOUS 3588 HAS SOUPS 2853 WITH SCORE 2862.584
AT ITER 1227 NEW BEST:: SOT 18033 SOS 9584 HAS SOPS 5538 HAS SOUS 3588 HAS SOUPS 2851 WITH SCORE 2860.584
AT ITER 1243 NEW BEST:: SOT 18025 SOS 9568 HAS SOPS 5538 HAS SOUS 3580 HAS SOUPS 2851 WITH SCORE 2860.568
AT ITER 1269 NEW BEST:: SOT 18023 SOS 9564 HAS SOPS 5534 HAS SOUS 3577 HAS SOUPS 2848 WITH SCORE 2857.564
AT ITER 1274 NEW BEST:: SOT 18019 SOS 9560 HAS SOPS 5541 HAS SOUS 3572 HAS SOUPS 2840 WITH SCORE 2849.56
AT ITER 1288 NEW BEST:: SOT 18016 SOS 9554 HAS SOPS 5535 HAS SOUS 3572 HAS SOUPS 2840 WITH SCORE 2849.554
AT ITER 1290 NEW BEST:: SOT 18019 SOS 9551 HAS SOPS 5535 HAS SOUS 3563 HAS SOUPS 2837 WITH SCORE 2846.551
AT ITER 1303 NEW BEST:: SOT 18033 SOS 9535 HAS SOPS 5535 HAS SOUS 3569 HAS SOUPS 2837 WITH SCORE 2846.535
AT ITER 1340 NEW BEST:: SOT 18029 SOS 9531 HAS SOPS 5535 HAS SOUS 3553 HAS SOUPS 2825 WITH SCORE 2834.531
AT ITER 1352 NEW BEST:: SOT 17980 SOS 9601 HAS SOPS 5515 HAS SOUS 3543 HAS SOUPS 2818 WITH SCORE 2827.601
AT ITER 1368 NEW BEST:: SOT 18006 SOS 9561 HAS SOPS 5515 HAS SOUS 3539 HAS SOUPS 2816 WITH SCORE 2825.561
AT ITER 1377 NEW BEST:: SOT 17984 SOS 9541 HAS SOPS 5501 HAS SOUS 3530 HAS SOUPS 2813 WITH SCORE 2822.541
AT ITER 1408 NEW BEST:: SOT 17986 SOS 9539 HAS SOPS 5501 HAS SOUS 3528 HAS SOUPS 2811 WITH SCORE 2820.539
AT ITER 1421 NEW BEST:: SOT 17696 SOS 9410 HAS SOPS 5414 HAS SOUS 3558 HAS SOUPS 2811 WITH SCORE 2820.41
AT ITER 1430 NEW BEST:: SOT 17674 SOS 9388 HAS SOPS 5414 HAS SOUS 3536 HAS SOUPS 2811 WITH SCORE 2820.388
AT ITER 1436 NEW BEST:: SOT 17659 SOS 9373 HAS SOPS 5384 HAS SOUS 3536 HAS SOUPS 2796 WITH SCORE 2805.373
AT ITER 1440 NEW BEST:: SOT 17676 SOS 9341 HAS SOPS 5352 HAS SOUS 3509 HAS SOUPS 2769 WITH SCORE 2778.341
AT ITER 1463 NEW BEST:: SOT 17669 SOS 9332 HAS SOPS 5343 HAS SOUS 3497 HAS SOUPS 2757 WITH SCORE 2766.332
AT ITER 1471 NEW BEST:: SOT 17682 SOS 9345 HAS SOPS 5356 HAS SOUS 3492 HAS SOUPS 2752 WITH SCORE 2761.345
AT ITER 1473 NEW BEST:: SOT 17671 SOS 9339 HAS SOPS 5190 HAS SOUS 3487 HAS SOUPS 2719 WITH SCORE 2728.339
AT ITER 1508 NEW BEST:: SOT 17659 SOS 9327 HAS SOPS 5178 HAS SOUS 3475 HAS SOUPS 2707 WITH SCORE 2716.327
AT ITER 1523 NEW BEST:: SOT 17626 SOS 9313 HAS SOPS 5164 HAS SOUS 3474 HAS SOUPS 2706 WITH SCORE 2715.313
AT ITER 1531 NEW BEST:: SOT 17621 SOS 9307 HAS SOPS 5158 HAS SOUS 3472 HAS SOUPS 2704 WITH SCORE 2713.307
AT ITER 1607 NEW BEST:: SOT 17545 SOS 9211 HAS SOPS 5102 HAS SOUS 3463 HAS SOUPS 2695 WITH SCORE 2704.211
AT ITER 1676 NEW BEST:: SOT 17541 SOS 9209 HAS SOPS 5092 HAS SOUS 3459 HAS SOUPS 2689 WITH SCORE 2698.209
AT ITER 1687 NEW BEST:: SOT 17548 SOS 9216 HAS SOPS 5090 HAS SOUS 3466 HAS SOUPS 2687 WITH SCORE 2696.216
AT ITER 1709 NEW BEST:: SOT 17560 SOS 9203 HAS SOPS 5090 HAS SOUS 3469 HAS SOUPS 2685 WITH SCORE 2694.203
AT ITER 1712 NEW BEST:: SOT 17568 SOS 9176 HAS SOPS 5090 HAS SOUS 3467 HAS SOUPS 2684 WITH SCORE 2693.176
AT ITER 1840 NEW BEST:: SOT 17572 SOS 9170 HAS SOPS 5086 HAS SOUS 3465 HAS SOUPS 2682 WITH SCORE 2691.17
AT ITER 1850 NEW BEST:: SOT 17571 SOS 9168 HAS SOPS 5081 HAS SOUS 3456 HAS SOUPS 2676 WITH SCORE 2685.168
AT ITER 1947 NEW BEST:: SOT 17580 SOS 9148 HAS SOPS 5075 HAS SOUS 3443 HAS SOUPS 2674 WITH SCORE 2683.148
AT ITER 1970 NEW BEST:: SOT 17583 SOS 9141 HAS SOPS 5071 HAS SOUS 3439 HAS SOUPS 2670 WITH SCORE 2679.141
AT ITER 1982 NEW BEST:: SOT 17603 SOS 9151 HAS SOPS 5081 HAS SOUS 3427 HAS SOUPS 2658 WITH SCORE 2667.151
AT ITER 2008 NEW BEST:: SOT 17601 SOS 9149 HAS SOPS 5078 HAS SOUS 3425 HAS SOUPS 2655 WITH SCORE 2664.149
AT ITER 2071 NEW BEST:: SOT 17602 SOS 9148 HAS SOPS 5083 HAS SOUS 3425 HAS SOUPS 2655 WITH SCORE 2664.148
AT ITER 2078 NEW BEST:: SOT 17646 SOS 9181 HAS SOPS 5105 HAS SOUS 3412 HAS SOUPS 2645 WITH SCORE 2654.181
AT ITER 2090 NEW BEST:: SOT 17638 SOS 9173 HAS SOPS 5099 HAS SOUS 3406 HAS SOUPS 2639 WITH SCORE 2648.173
AT ITER 2117 NEW BEST:: SOT 17620 SOS 9169 HAS SOPS 5095 HAS SOUS 3404 HAS SOUPS 2637 WITH SCORE 2646.169
AT ITER 2226 NEW BEST:: SOT 17608 SOS 9005 HAS SOPS 5103 HAS SOUS 3401 HAS SOUPS 2633 WITH SCORE 2642.005
AT ITER 2264 NEW BEST:: SOT 17590 SOS 8993 HAS SOPS 5094 HAS SOUS 3401 HAS SOUPS 2633 WITH SCORE 2641.993
AT ITER 2265 NEW BEST:: SOT 17604 SOS 9007 HAS SOPS 5108 HAS SOUS 3398 HAS SOUPS 2630 WITH SCORE 2639.007
AT ITER 2307 NEW BEST:: SOT 17652 SOS 9072 HAS SOPS 5156 HAS SOUS 3395 HAS SOUPS 2627 WITH SCORE 2636.072
AT ITER 2346 NEW BEST:: SOT 17637 SOS 9062 HAS SOPS 5144 HAS SOUS 3385 HAS SOUPS 2617 WITH SCORE 2626.062
AT ITER 2365 NEW BEST:: SOT 17641 SOS 9065 HAS SOPS 5149 HAS SOUS 3384 HAS SOUPS 2616 WITH SCORE 2625.065
AT ITER 2424 NEW BEST:: SOT 17920 SOS 9168 HAS SOPS 5230 HAS SOUS 3350 HAS SOUPS 2614 WITH SCORE 2623.168
AT ITER 2527 NEW BEST:: SOT 17913 SOS 9119 HAS SOPS 5281 HAS SOUS 3322 HAS SOUPS 2607 WITH SCORE 2616.119
AT ITER 2569 NEW BEST:: SOT 17894 SOS 9104 HAS SOPS 5266 HAS SOUS 3308 HAS SOUPS 2593 WITH SCORE 2602.104
AT ITER 2621 NEW BEST:: SOT 17894 SOS 9104 HAS SOPS 5266 HAS SOUS 3307 HAS SOUPS 2592 WITH SCORE 2601.104
AT ITER 2638 NEW BEST:: SOT 17884 SOS 8865 HAS SOPS 5261 HAS SOUS 3302 HAS SOUPS 2591 WITH SCORE 2599.865
AT ITER 2675 NEW BEST:: SOT 17889 SOS 8857 HAS SOPS 5258 HAS SOUS 3300 HAS SOUPS 2591 WITH SCORE 2599.857
AT ITER 2677 NEW BEST:: SOT 17874 SOS 8848 HAS SOPS 5249 HAS SOUS 3300 HAS SOUPS 2591 WITH SCORE 2599.848
AT ITER 2827 NEW BEST:: SOT 17868 SOS 8842 HAS SOPS 5279 HAS SOUS 3299 HAS SOUPS 2591 WITH SCORE 2599.842
AT ITER 2834 NEW BEST:: SOT 17862 SOS 8844 HAS SOPS 5277 HAS SOUS 3294 HAS SOUPS 2585 WITH SCORE 2593.844
AT ITER 2971 NEW BEST:: SOT 17835 SOS 8810 HAS SOPS 5251 HAS SOUS 3289 HAS SOUPS 2580 WITH SCORE 2588.81
AT ITER 2975 NEW BEST:: SOT 17837 SOS 8801 HAS SOPS 5246 HAS SOUS 3288 HAS SOUPS 2580 WITH SCORE 2588.801
AT ITER 2979 NEW BEST:: SOT 17835 SOS 8795 HAS SOPS 5240 HAS SOUS 3285 HAS SOUPS 2577 WITH SCORE 2585.795
AT ITER 3011 NEW BEST:: SOT 17839 SOS 8794 HAS SOPS 5185 HAS SOUS 3276 HAS SOUPS 2567 WITH SCORE 2575.794
AT ITER 3017 NEW BEST:: SOT 17897 SOS 8786 HAS SOPS 5184 HAS SOUS 3275 HAS SOUPS 2565 WITH SCORE 2573.786
AT ITER 3072 NEW BEST:: SOT 17896 SOS 8785 HAS SOPS 5181 HAS SOUS 3277 HAS SOUPS 2565 WITH SCORE 2573.785
AT ITER 3074 NEW BEST:: SOT 17916 SOS 9097 HAS SOPS 5144 HAS SOUS 3274 HAS SOUPS 2563 WITH SCORE 2572.097
AT ITER 3116 NEW BEST:: SOT 17914 SOS 9055 HAS SOPS 5112 HAS SOUS 3272 HAS SOUPS 2561 WITH SCORE 2570.055
AT ITER 3187 NEW BEST:: SOT 17913 SOS 9056 HAS SOPS 5112 HAS SOUS 3271 HAS SOUPS 2560 WITH SCORE 2569.056
AT ITER 3192 NEW BEST:: SOT 17912 SOS 9063 HAS SOPS 5107 HAS SOUS 3271 HAS SOUPS 2557 WITH SCORE 2566.063
AT ITER 3262 NEW BEST:: SOT 17909 SOS 9057 HAS SOPS 5101 HAS SOUS 3271 HAS SOUPS 2557 WITH SCORE 2566.057
AT ITER 3410 NEW BEST:: SOT 17906 SOS 9056 HAS SOPS 5100 HAS SOUS 3269 HAS SOUPS 2555 WITH SCORE 2564.056
AT ITER 3412 NEW BEST:: SOT 17904 SOS 9010 HAS SOPS 5097 HAS SOUS 3268 HAS SOUPS 2554 WITH SCORE 2563.01
AT ITER 3415 NEW BEST:: SOT 17904 SOS 9010 HAS SOPS 5097 HAS SOUS 3262 HAS SOUPS 2548 WITH SCORE 2557.01
AT ITER 3506 NEW BEST:: SOT 17893 SOS 9043 HAS SOPS 5131 HAS SOUS 3261 HAS SOUPS 2547 WITH SCORE 2556.043
AT ITER 3561 NEW BEST:: SOT 17892 SOS 9042 HAS SOPS 5130 HAS SOUS 3260 HAS SOUPS 2546 WITH SCORE 2555.042
AT ITER 3576 NEW BEST:: SOT 17890 SOS 9036 HAS SOPS 4971 HAS SOUS 3260 HAS SOUPS 2519 WITH SCORE 2528.036
AT ITER 3666 NEW BEST:: SOT 17846 SOS 8992 HAS SOPS 4924 HAS SOUS 3250 HAS SOUPS 2509 WITH SCORE 2517.992
AT ITER 3714 NEW BEST:: SOT 17851 SOS 9000 HAS SOPS 4930 HAS SOUS 3249 HAS SOUPS 2508 WITH SCORE 2517.0
AT ITER 3733 NEW BEST:: SOT 17872 SOS 9008 HAS SOPS 4930 HAS SOUS 3261 HAS SOUPS 2506 WITH SCORE 2515.008
AT ITER 3803 NEW BEST:: SOT 17869 SOS 9007 HAS SOPS 4929 HAS SOUS 3259 HAS SOUPS 2504 WITH SCORE 2513.007
AT ITER 3905 NEW BEST:: SOT 17872 SOS 9029 HAS SOPS 4951 HAS SOUS 3257 HAS SOUPS 2502 WITH SCORE 2511.029
AT ITER 3909 NEW BEST:: SOT 17864 SOS 9023 HAS SOPS 4949 HAS SOUS 3255 HAS SOUPS 2500 WITH SCORE 2509.023
AT ITER 4002 NEW BEST:: SOT 17830 SOS 8989 HAS SOPS 4911 HAS SOUS 3247 HAS SOUPS 2492 WITH SCORE 2500.989
AT ITER 4006 NEW BEST:: SOT 17830 SOS 8985 HAS SOPS 4911 HAS SOUS 3241 HAS SOUPS 2486 WITH SCORE 2494.985
AT ITER 4051 NEW BEST:: SOT 17824 SOS 8979 HAS SOPS 4905 HAS SOUS 3241 HAS SOUPS 2486 WITH SCORE 2494.979
AT ITER 4089 NEW BEST:: SOT 17874 SOS 9053 HAS SOPS 4955 HAS SOUS 3228 HAS SOUPS 2464 WITH SCORE 2473.053
AT ITER 4148 NEW BEST:: SOT 17878 SOS 9034 HAS SOPS 4953 HAS SOUS 3225 HAS SOUPS 2463 WITH SCORE 2472.034
AT ITER 4217 NEW BEST:: SOT 17872 SOS 9038 HAS SOPS 4945 HAS SOUS 3226 HAS SOUPS 2461 WITH SCORE 2470.038
AT ITER 4287 NEW BEST:: SOT 17869 SOS 9035 HAS SOPS 4942 HAS SOUS 3223 HAS SOUPS 2458 WITH SCORE 2467.035
AT ITER 4319 NEW BEST:: SOT 17874 SOS 9013 HAS SOPS 4920 HAS SOUS 3222 HAS SOUPS 2457 WITH SCORE 2466.013
AT ITER 4428 NEW BEST:: SOT 17838 SOS 8969 HAS SOPS 4884 HAS SOUS 3216 HAS SOUPS 2451 WITH SCORE 2459.969
AT ITER 4550 NEW BEST:: SOT 17838 SOS 8969 HAS SOPS 4878 HAS SOUS 3210 HAS SOUPS 2445 WITH SCORE 2453.969
AT ITER 4554 NEW BEST:: SOT 17841 SOS 8971 HAS SOPS 4879 HAS SOUS 3209 HAS SOUPS 2443 WITH SCORE 2451.971
AT ITER 4627 NEW BEST:: SOT 17843 SOS 8967 HAS SOPS 4875 HAS SOUS 3209 HAS SOUPS 2443 WITH SCORE 2451.967
AT ITER 4750 NEW BEST:: SOT 17841 SOS 8965 HAS SOPS 4871 HAS SOUS 3205 HAS SOUPS 2439 WITH SCORE 2447.965
AT ITER 4794 NEW BEST:: SOT 17845 SOS 8964 HAS SOPS 4873 HAS SOUS 3202 HAS SOUPS 2439 WITH SCORE 2447.964
AT ITER 4829 NEW BEST:: SOT 17842 SOS 8961 HAS SOPS 4868 HAS SOUS 3199 HAS SOUPS 2434 WITH SCORE 2442.961
AT ITER 4875 NEW BEST:: SOT 17849 SOS 8961 HAS SOPS 4868 HAS SOUS 3198 HAS SOUPS 2433 WITH SCORE 2441.961
AT ITER 4911 NEW BEST:: SOT 17845 SOS 8973 HAS SOPS 4872 HAS SOUS 3199 HAS SOUPS 2432 WITH SCORE 2440.973
AT ITER 4953 NEW BEST:: SOT 17853 SOS 8977 HAS SOPS 4874 HAS SOUS 3195 HAS SOUPS 2428 WITH SCORE 2436.977
Bounds file is: CTLFireability.xml
PROPERTY: CloudDeployment-PT-3a-CTLFireability-00 ( ( (EX( (AG( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P73)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))))))) | (! ((potential((tk(P76)>=1))))) ) & ( ( ( ( (! ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P29)>=1) & (tk(P92)>=1))))) | ((potential((tk(P20)>=1)))) ) | (AG( ((potential((tk(P72)>=1)))))) ) | (AX( ((potential((tk(P18)>=1)))))) ) & ( ( (EX( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P70)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))))) | (EG( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P17)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))))) ) | (EF( ( ((potential((tk(P8)>=1)))) & ((potential((tk(P46)>=1)))) ))) ) ) )
PROPERTY: CloudDeployment-PT-3a-CTLFireability-01 ( ( ((potential((tk(P68)>=1)))) | (EF( (EF( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P73)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))))))) ) | ((potential((tk(P33)>=1) & (tk(P59)>=1)))) )
PROPERTY: CloudDeployment-PT-3a-CTLFireability-02 ( (EF( (AU( ((potential((tk(P81)>=1)))) , ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P46)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) )))) | (! ( (! (EX( ((potential((tk(P44)>=1))))))) | ((potential((tk(P3)>=1) & (tk(P33)>=1)))) )) )
PROPERTY: CloudDeployment-PT-3a-CTLFireability-03 (AG( ( ( ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P35)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) & ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P82)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) ) | (EX( ((potential((tk(P48)>=1)))))) ) | (AF( (! ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P27)>=1) & (tk(P96)>=1) & (tk(P103)>=1))))))) )))
PROPERTY: CloudDeployment-PT-3a-CTLFireability-04 (EU( ( ((potential((tk(P15)>=1)))) | (! ( ((potential((tk(P51)>=1)))) & ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P82)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) )) ) , ( ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P70)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) & ( ((potential((tk(P71)>=1)))) | ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P42)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) ) ) & ( ( ((potential((tk(P59)>=1) & (tk(P73)>=1)))) | ((potential((tk(P72)>=1)))) ) | ((potential((tk(P3)>=1) & (tk(P61)>=1)))) ) ) ))
PROPERTY: CloudDeployment-PT-3a-CTLFireability-05 (EU( ( (EX( ((potential((tk(P72)>=1)))))) | ( ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P27)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) | (! ((potential((tk(P12)>=1))))) ) ) , (EF( ((potential((tk(P43)>=1)))))) ))
PROPERTY: CloudDeployment-PT-3a-CTLFireability-06 ( (EF( (AU( ((potential((tk(P12)>=1)))) , ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P14)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) )))) | (EX( ((potential((tk(P40)>=1)))))) )
PROPERTY: CloudDeployment-PT-3a-CTLFireability-07 (AX( (AG( (EF( ((potential((tk(P82)>=1))))))))))
PROPERTY: CloudDeployment-PT-3a-CTLFireability-08 (AG( ( (AF( (! ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P23)>=1) & (tk(P96)>=1) & (tk(P103)>=1))))))) | ((potential((tk(P61)>=1) & (tk(P68)>=1)))) )))
PROPERTY: CloudDeployment-PT-3a-CTLFireability-09 ( ( (EU( ( ((potential((tk(P82)>=1)))) & ((potential((tk(P53)>=1)))) ) , ( ((potential((tk(P8)>=1)))) & ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P81)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) ) )) & ((potential((tk(P6)>=1) & (tk(P34)>=1) & (tk(P62)>=1) & (tk(P86)>=1) & (tk(P32)>=1) & (tk(P30)>=1) & (tk(P4)>=1) & (tk(P2)>=1) & (tk(P58)>=1) & (tk(P60)>=1)))) ) | (AG( (! ((potential((tk(P9)>=1))))))) )
PROPERTY: CloudDeployment-PT-3a-CTLFireability-10 ( ((potential((tk(P49)>=1)))) | (AU( ((potential((tk(P24)>=1)))) , (EF( ((potential((tk(P68)>=1)))))) )) )
PROPERTY: CloudDeployment-PT-3a-CTLFireability-11 (EX( ( (EF( ((potential((tk(P14)>=1)))))) & ( (EX( ((potential((tk(P61)>=1) & (tk(P63)>=1)))))) | (! ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P51)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) & ((potential((tk(P81)>=1)))) )) ) )))
PROPERTY: CloudDeployment-PT-3a-CTLFireability-12 (EF( ( ( (EG( ((potential((tk(P61)>=1) & (tk(P74)>=1)))))) | (! ( ((potential((tk(P33)>=1)))) & ((potential((tk(P18)>=1)))) )) ) & ( (! (! ((potential((tk(P33)>=1) & (tk(P61)>=1)))))) & ( ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P54)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) & ((potential((tk(P81)>=1)))) ) & ( ((potential((tk(P43)>=1)))) & ((potential((tk(P33)>=1)))) ) ) ) )))
PROPERTY: CloudDeployment-PT-3a-CTLFireability-13 (! (AX( (AG( (! ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P76)>=1) & (tk(P96)>=1) & (tk(P103)>=1))))))))))
PROPERTY: CloudDeployment-PT-3a-CTLFireability-14 ( (! ( (AU( ((potential((tk(P82)>=1)))) , ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P74)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) )) | ( (EF( ((potential((tk(P33)>=1) & (tk(P37)>=1)))))) & ( ( ((potential((tk(P5)>=1) & (tk(P61)>=1)))) & ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P95)>=1)))) ) & ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P81)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) ) ) )) & ( (! ( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P68)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) & ( ( ((potential((tk(P49)>=1)))) | ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P17)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) ) | ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P57)>=1) & (tk(P99)>=1)))) | ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P82)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) ) ) )) & (! (EF( ( ((potential((tk(P44)>=1)))) & ((potential((tk(P59)>=1) & (tk(P88)>=1)))) )))) ) )
PROPERTY: CloudDeployment-PT-3a-CTLFireability-15 (EF( ( ((potential((tk(P31)>=1) & (tk(P33)>=1) & (tk(P51)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) & (AU( ((potential((tk(P59)>=1) & (tk(P61)>=1) & (tk(P74)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) , ((potential((tk(P3)>=1) & (tk(P5)>=1) & (tk(P7)>=1) & (tk(P96)>=1) & (tk(P103)>=1)))) )) )))

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="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 CloudDeployment-PT-3a, 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 r033-smll-158901925900284"
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 [ "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 ;