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.r003-smll-158897508500452.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 AutoFlight-PT-06a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508500452
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.0K Mar 25 23:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 23:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 10:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 43K 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 AutoFlight-PT-06a-CTLFireability-00
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-01
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-02
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-03
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-04
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-05
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-06
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-07
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-08
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-09
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-10
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-11
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-12
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-13
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-14
FORMULA_NAME AutoFlight-PT-06a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589158134787

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 06a
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: 157 places, 155 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 18714 SOS 13096 HAS SOPS 13096 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9170.096
AT ITER 2 NEW BEST:: SOT 18714 SOS 13004 HAS SOPS 13004 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9117.004
AT ITER 3 NEW BEST:: SOT 18714 SOS 12850 HAS SOPS 12850 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9017.85
AT ITER 5 NEW BEST:: SOT 18643 SOS 12780 HAS SOPS 12780 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8977.78
AT ITER 8 NEW BEST:: SOT 18491 SOS 12707 HAS SOPS 12668 HAS SOUS 8862 HAS SOUPS 8823 WITH SCORE 8835.707
AT ITER 10 NEW BEST:: SOT 18216 SOS 12609 HAS SOPS 12570 HAS SOUS 8862 HAS SOUPS 8823 WITH SCORE 8835.609
AT ITER 11 NEW BEST:: SOT 17796 SOS 12076 HAS SOPS 12037 HAS SOUS 8531 HAS SOUPS 8492 WITH SCORE 8504.076
AT ITER 12 NEW BEST:: SOT 17796 SOS 11861 HAS SOPS 11822 HAS SOUS 8428 HAS SOUPS 8389 WITH SCORE 8400.861
AT ITER 15 NEW BEST:: SOT 17796 SOS 11691 HAS SOPS 11652 HAS SOUS 8326 HAS SOUPS 8287 WITH SCORE 8298.691
AT ITER 18 NEW BEST:: SOT 17796 SOS 11477 HAS SOPS 11382 HAS SOUS 8189 HAS SOUPS 8094 WITH SCORE 8105.477
AT ITER 19 NEW BEST:: SOT 17593 SOS 11131 HAS SOPS 11036 HAS SOUS 7957 HAS SOUPS 7862 WITH SCORE 7873.131
AT ITER 24 NEW BEST:: SOT 17572 SOS 11109 HAS SOPS 11014 HAS SOUS 7912 HAS SOUPS 7817 WITH SCORE 7828.109
AT ITER 26 NEW BEST:: SOT 17537 SOS 10841 HAS SOPS 10680 HAS SOUS 7753 HAS SOUPS 7592 WITH SCORE 7602.841
AT ITER 30 NEW BEST:: SOT 17256 SOS 10475 HAS SOPS 10314 HAS SOUS 7552 HAS SOUPS 7391 WITH SCORE 7401.475
AT ITER 33 NEW BEST:: SOT 17256 SOS 10321 HAS SOPS 10160 HAS SOUS 7552 HAS SOUPS 7391 WITH SCORE 7401.321
AT ITER 37 NEW BEST:: SOT 17229 SOS 10276 HAS SOPS 10115 HAS SOUS 7525 HAS SOUPS 7364 WITH SCORE 7374.276
AT ITER 40 NEW BEST:: SOT 17142 SOS 10196 HAS SOPS 10035 HAS SOUS 7437 HAS SOUPS 7276 WITH SCORE 7286.196
AT ITER 42 NEW BEST:: SOT 16830 SOS 10077 HAS SOPS 9916 HAS SOUS 7351 HAS SOUPS 7190 WITH SCORE 7200.077
AT ITER 49 NEW BEST:: SOT 16876 SOS 9948 HAS SOPS 9724 HAS SOUS 7299 HAS SOUPS 7075 WITH SCORE 7084.948
AT ITER 56 NEW BEST:: SOT 16868 SOS 9940 HAS SOPS 9716 HAS SOUS 7295 HAS SOUPS 7071 WITH SCORE 7080.94
AT ITER 57 NEW BEST:: SOT 16868 SOS 9894 HAS SOPS 9670 HAS SOUS 7294 HAS SOUPS 7070 WITH SCORE 7079.894
AT ITER 64 NEW BEST:: SOT 16858 SOS 9884 HAS SOPS 9660 HAS SOUS 7284 HAS SOUPS 7060 WITH SCORE 7069.884
AT ITER 67 NEW BEST:: SOT 16857 SOS 9883 HAS SOPS 9659 HAS SOUS 7214 HAS SOUPS 6990 WITH SCORE 6999.883
AT ITER 71 NEW BEST:: SOT 16681 SOS 9779 HAS SOPS 9483 HAS SOUS 7093 HAS SOUPS 6814 WITH SCORE 6823.779
AT ITER 75 NEW BEST:: SOT 16536 SOS 9625 HAS SOPS 9329 HAS SOUS 6968 HAS SOUPS 6689 WITH SCORE 6698.625
AT ITER 78 NEW BEST:: SOT 16457 SOS 9576 HAS SOPS 9249 HAS SOUS 6880 HAS SOUPS 6570 WITH SCORE 6579.576
AT ITER 79 NEW BEST:: SOT 16457 SOS 9575 HAS SOPS 9248 HAS SOUS 6879 HAS SOUPS 6569 WITH SCORE 6578.575
AT ITER 82 NEW BEST:: SOT 16457 SOS 9582 HAS SOPS 9255 HAS SOUS 6878 HAS SOUPS 6568 WITH SCORE 6577.582
AT ITER 83 NEW BEST:: SOT 16456 SOS 9575 HAS SOPS 9248 HAS SOUS 6874 HAS SOUPS 6564 WITH SCORE 6573.575
AT ITER 84 NEW BEST:: SOT 16449 SOS 9554 HAS SOPS 9227 HAS SOUS 6853 HAS SOUPS 6543 WITH SCORE 6552.554
AT ITER 87 NEW BEST:: SOT 16465 SOS 9538 HAS SOPS 9211 HAS SOUS 6837 HAS SOUPS 6527 WITH SCORE 6536.538
AT ITER 90 NEW BEST:: SOT 16412 SOS 9485 HAS SOPS 9158 HAS SOUS 6784 HAS SOUPS 6474 WITH SCORE 6483.485
AT ITER 93 NEW BEST:: SOT 16438 SOS 9503 HAS SOPS 9176 HAS SOUS 6783 HAS SOUPS 6473 WITH SCORE 6482.503
AT ITER 100 NEW BEST:: SOT 16438 SOS 9405 HAS SOPS 9078 HAS SOUS 6737 HAS SOUPS 6427 WITH SCORE 6436.405
AT ITER 104 NEW BEST:: SOT 16425 SOS 9244 HAS SOPS 8873 HAS SOUS 6651 HAS SOUPS 6297 WITH SCORE 6306.244
AT ITER 108 NEW BEST:: SOT 16419 SOS 9221 HAS SOPS 8850 HAS SOUS 6642 HAS SOUPS 6288 WITH SCORE 6297.221
AT ITER 110 NEW BEST:: SOT 16365 SOS 9183 HAS SOPS 8778 HAS SOUS 6604 HAS SOUPS 6216 WITH SCORE 6225.183
AT ITER 116 NEW BEST:: SOT 16365 SOS 9061 HAS SOPS 8656 HAS SOUS 6543 HAS SOUPS 6155 WITH SCORE 6164.061
AT ITER 124 NEW BEST:: SOT 16228 SOS 8918 HAS SOPS 8513 HAS SOUS 6468 HAS SOUPS 6080 WITH SCORE 6088.918
AT ITER 127 NEW BEST:: SOT 16194 SOS 8867 HAS SOPS 8462 HAS SOUS 6451 HAS SOUPS 6063 WITH SCORE 6071.867
AT ITER 131 NEW BEST:: SOT 16193 SOS 8678 HAS SOPS 8273 HAS SOUS 6345 HAS SOUPS 5957 WITH SCORE 5965.678
AT ITER 133 NEW BEST:: SOT 16211 SOS 8674 HAS SOPS 8269 HAS SOUS 6318 HAS SOUPS 5930 WITH SCORE 5938.674
AT ITER 134 NEW BEST:: SOT 16211 SOS 8672 HAS SOPS 8267 HAS SOUS 6316 HAS SOUPS 5928 WITH SCORE 5936.672
AT ITER 135 NEW BEST:: SOT 16187 SOS 8586 HAS SOPS 8181 HAS SOUS 6261 HAS SOUPS 5873 WITH SCORE 5881.586
AT ITER 137 NEW BEST:: SOT 16178 SOS 8702 HAS SOPS 8096 HAS SOUS 6241 HAS SOUPS 5788 WITH SCORE 5796.702
AT ITER 147 NEW BEST:: SOT 16178 SOS 8675 HAS SOPS 8074 HAS SOUS 6241 HAS SOUPS 5788 WITH SCORE 5796.675
AT ITER 152 NEW BEST:: SOT 16178 SOS 8630 HAS SOPS 8029 HAS SOUS 6213 HAS SOUPS 5760 WITH SCORE 5768.63
AT ITER 156 NEW BEST:: SOT 15996 SOS 8484 HAS SOPS 7883 HAS SOUS 6120 HAS SOUPS 5667 WITH SCORE 5675.484
AT ITER 165 NEW BEST:: SOT 15913 SOS 8453 HAS SOPS 7852 HAS SOUS 6089 HAS SOUPS 5636 WITH SCORE 5644.453
AT ITER 167 NEW BEST:: SOT 15844 SOS 8384 HAS SOPS 7783 HAS SOUS 6052 HAS SOUPS 5599 WITH SCORE 5607.384
AT ITER 168 NEW BEST:: SOT 15776 SOS 8287 HAS SOPS 7675 HAS SOUS 5975 HAS SOUPS 5511 WITH SCORE 5519.287
AT ITER 170 NEW BEST:: SOT 15776 SOS 8252 HAS SOPS 7640 HAS SOUS 5960 HAS SOUPS 5496 WITH SCORE 5504.252
AT ITER 174 NEW BEST:: SOT 15654 SOS 8208 HAS SOPS 7595 HAS SOUS 5959 HAS SOUPS 5495 WITH SCORE 5503.208
AT ITER 191 NEW BEST:: SOT 15666 SOS 8186 HAS SOPS 7573 HAS SOUS 5950 HAS SOUPS 5486 WITH SCORE 5494.186
AT ITER 196 NEW BEST:: SOT 15661 SOS 8181 HAS SOPS 7568 HAS SOUS 5945 HAS SOUPS 5481 WITH SCORE 5489.181
AT ITER 204 NEW BEST:: SOT 15654 SOS 8174 HAS SOPS 7561 HAS SOUS 5945 HAS SOUPS 5481 WITH SCORE 5489.174
AT ITER 208 NEW BEST:: SOT 15584 SOS 8108 HAS SOPS 7448 HAS SOUS 5875 HAS SOUPS 5368 WITH SCORE 5376.108
AT ITER 210 NEW BEST:: SOT 15566 SOS 8090 HAS SOPS 7430 HAS SOUS 5858 HAS SOUPS 5351 WITH SCORE 5359.09
AT ITER 211 NEW BEST:: SOT 15566 SOS 7992 HAS SOPS 7332 HAS SOUS 5848 HAS SOUPS 5341 WITH SCORE 5348.992
AT ITER 213 NEW BEST:: SOT 15482 SOS 7998 HAS SOPS 7337 HAS SOUS 5813 HAS SOUPS 5305 WITH SCORE 5312.998
AT ITER 218 NEW BEST:: SOT 15482 SOS 8004 HAS SOPS 7335 HAS SOUS 5813 HAS SOUPS 5303 WITH SCORE 5311.004
AT ITER 230 NEW BEST:: SOT 15452 SOS 8010 HAS SOPS 7314 HAS SOUS 5822 HAS SOUPS 5285 WITH SCORE 5293.01
AT ITER 241 NEW BEST:: SOT 15441 SOS 7990 HAS SOPS 7307 HAS SOUS 5815 HAS SOUPS 5278 WITH SCORE 5285.99
AT ITER 244 NEW BEST:: SOT 15389 SOS 7970 HAS SOPS 7287 HAS SOUS 5788 HAS SOUPS 5251 WITH SCORE 5258.97
AT ITER 255 NEW BEST:: SOT 15379 SOS 7960 HAS SOPS 7248 HAS SOUS 5785 HAS SOUPS 5248 WITH SCORE 5255.96
AT ITER 259 NEW BEST:: SOT 15476 SOS 7926 HAS SOPS 7214 HAS SOUS 5751 HAS SOUPS 5214 WITH SCORE 5221.926
AT ITER 268 NEW BEST:: SOT 15440 SOS 7890 HAS SOPS 7178 HAS SOUS 5739 HAS SOUPS 5202 WITH SCORE 5209.89
AT ITER 270 NEW BEST:: SOT 15440 SOS 7890 HAS SOPS 7178 HAS SOUS 5719 HAS SOUPS 5182 WITH SCORE 5189.89
AT ITER 275 NEW BEST:: SOT 15437 SOS 7874 HAS SOPS 7162 HAS SOUS 5718 HAS SOUPS 5181 WITH SCORE 5188.874
AT ITER 282 NEW BEST:: SOT 15437 SOS 7873 HAS SOPS 7161 HAS SOUS 5717 HAS SOUPS 5180 WITH SCORE 5187.873
AT ITER 297 NEW BEST:: SOT 15419 SOS 7711 HAS SOPS 6999 HAS SOUS 5714 HAS SOUPS 5177 WITH SCORE 5184.711
AT ITER 317 NEW BEST:: SOT 15408 SOS 7699 HAS SOPS 6987 HAS SOUS 5702 HAS SOUPS 5165 WITH SCORE 5172.699
AT ITER 319 NEW BEST:: SOT 15415 SOS 7752 HAS SOPS 7040 HAS SOUS 5700 HAS SOUPS 5163 WITH SCORE 5170.752
AT ITER 327 NEW BEST:: SOT 15405 SOS 7742 HAS SOPS 7030 HAS SOUS 5695 HAS SOUPS 5158 WITH SCORE 5165.742
AT ITER 330 NEW BEST:: SOT 15375 SOS 7681 HAS SOPS 6969 HAS SOUS 5664 HAS SOUPS 5127 WITH SCORE 5134.681
AT ITER 340 NEW BEST:: SOT 15375 SOS 7672 HAS SOPS 6960 HAS SOUS 5664 HAS SOUPS 5127 WITH SCORE 5134.672
AT ITER 346 NEW BEST:: SOT 15359 SOS 7640 HAS SOPS 6928 HAS SOUS 5648 HAS SOUPS 5111 WITH SCORE 5118.64
AT ITER 347 NEW BEST:: SOT 15359 SOS 7620 HAS SOPS 6908 HAS SOUS 5628 HAS SOUPS 5091 WITH SCORE 5098.62
AT ITER 349 NEW BEST:: SOT 15345 SOS 7621 HAS SOPS 6909 HAS SOUS 5625 HAS SOUPS 5088 WITH SCORE 5095.621
AT ITER 351 NEW BEST:: SOT 15341 SOS 7617 HAS SOPS 6905 HAS SOUS 5621 HAS SOUPS 5084 WITH SCORE 5091.617
AT ITER 354 NEW BEST:: SOT 15349 SOS 7563 HAS SOPS 6851 HAS SOUS 5618 HAS SOUPS 5081 WITH SCORE 5088.563
AT ITER 355 NEW BEST:: SOT 15432 SOS 7700 HAS SOPS 6934 HAS SOUS 5671 HAS SOUPS 5080 WITH SCORE 5087.7
AT ITER 362 NEW BEST:: SOT 15402 SOS 7690 HAS SOPS 6914 HAS SOUS 5661 HAS SOUPS 5060 WITH SCORE 5067.69
AT ITER 364 NEW BEST:: SOT 15322 SOS 7620 HAS SOPS 6860 HAS SOUS 5591 HAS SOUPS 5006 WITH SCORE 5013.62
AT ITER 370 NEW BEST:: SOT 15304 SOS 7584 HAS SOPS 6824 HAS SOUS 5564 HAS SOUPS 4979 WITH SCORE 4986.584
AT ITER 372 NEW BEST:: SOT 15264 SOS 7524 HAS SOPS 6764 HAS SOUS 5524 HAS SOUPS 4939 WITH SCORE 4946.524
AT ITER 376 NEW BEST:: SOT 15268 SOS 7504 HAS SOPS 6756 HAS SOUS 5516 HAS SOUPS 4931 WITH SCORE 4938.504
AT ITER 384 NEW BEST:: SOT 15233 SOS 7469 HAS SOPS 6721 HAS SOUS 5481 HAS SOUPS 4896 WITH SCORE 4903.469
AT ITER 399 NEW BEST:: SOT 15168 SOS 7283 HAS SOPS 6525 HAS SOUS 5361 HAS SOUPS 4766 WITH SCORE 4773.283
AT ITER 420 NEW BEST:: SOT 15102 SOS 7263 HAS SOPS 6505 HAS SOUS 5341 HAS SOUPS 4746 WITH SCORE 4753.263
AT ITER 428 NEW BEST:: SOT 15057 SOS 7265 HAS SOPS 6460 HAS SOUS 5296 HAS SOUPS 4673 WITH SCORE 4680.265
AT ITER 432 NEW BEST:: SOT 15085 SOS 7263 HAS SOPS 6458 HAS SOUS 5294 HAS SOUPS 4671 WITH SCORE 4678.263
AT ITER 439 NEW BEST:: SOT 15063 SOS 7211 HAS SOPS 6406 HAS SOUS 5264 HAS SOUPS 4641 WITH SCORE 4648.211
AT ITER 442 NEW BEST:: SOT 15057 SOS 7193 HAS SOPS 6388 HAS SOUS 5252 HAS SOUPS 4629 WITH SCORE 4636.193
AT ITER 444 NEW BEST:: SOT 14965 SOS 7101 HAS SOPS 6296 HAS SOUS 5182 HAS SOUPS 4559 WITH SCORE 4566.101
AT ITER 448 NEW BEST:: SOT 14965 SOS 7056 HAS SOPS 6232 HAS SOUS 5193 HAS SOUPS 4551 WITH SCORE 4558.056
AT ITER 467 NEW BEST:: SOT 14939 SOS 7014 HAS SOPS 6190 HAS SOUS 5192 HAS SOUPS 4550 WITH SCORE 4557.014
AT ITER 477 NEW BEST:: SOT 14938 SOS 6995 HAS SOPS 6176 HAS SOUS 5184 HAS SOUPS 4542 WITH SCORE 4548.995
AT ITER 478 NEW BEST:: SOT 14933 SOS 6989 HAS SOPS 6170 HAS SOUS 5142 HAS SOUPS 4500 WITH SCORE 4506.989
AT ITER 480 NEW BEST:: SOT 14900 SOS 6956 HAS SOPS 6137 HAS SOUS 5041 HAS SOUPS 4399 WITH SCORE 4405.956
AT ITER 497 NEW BEST:: SOT 14905 SOS 6951 HAS SOPS 6132 HAS SOUS 5036 HAS SOUPS 4394 WITH SCORE 4400.951
AT ITER 498 NEW BEST:: SOT 14905 SOS 6945 HAS SOPS 6126 HAS SOUS 5030 HAS SOUPS 4388 WITH SCORE 4394.945
AT ITER 504 NEW BEST:: SOT 14901 SOS 7022 HAS SOPS 6087 HAS SOUS 5033 HAS SOUPS 4349 WITH SCORE 4356.022
AT ITER 512 NEW BEST:: SOT 14899 SOS 7024 HAS SOPS 6085 HAS SOUS 5031 HAS SOUPS 4347 WITH SCORE 4354.024
AT ITER 516 NEW BEST:: SOT 14899 SOS 6950 HAS SOPS 6011 HAS SOUS 5027 HAS SOUPS 4343 WITH SCORE 4349.95
AT ITER 524 NEW BEST:: SOT 14905 SOS 6937 HAS SOPS 5998 HAS SOUS 5014 HAS SOUPS 4330 WITH SCORE 4336.937
AT ITER 536 NEW BEST:: SOT 14903 SOS 6875 HAS SOPS 5936 HAS SOUS 4972 HAS SOUPS 4288 WITH SCORE 4294.875
AT ITER 539 NEW BEST:: SOT 14870 SOS 6842 HAS SOPS 5903 HAS SOUS 4945 HAS SOUPS 4261 WITH SCORE 4267.842
AT ITER 550 NEW BEST:: SOT 14828 SOS 6810 HAS SOPS 5861 HAS SOUS 4913 HAS SOUPS 4219 WITH SCORE 4225.81
AT ITER 568 NEW BEST:: SOT 14820 SOS 6802 HAS SOPS 5877 HAS SOUS 4873 HAS SOUPS 4203 WITH SCORE 4209.802
AT ITER 569 NEW BEST:: SOT 14820 SOS 6802 HAS SOPS 5877 HAS SOUS 4867 HAS SOUPS 4197 WITH SCORE 4203.802
AT ITER 577 NEW BEST:: SOT 14824 SOS 6806 HAS SOPS 5876 HAS SOUS 4866 HAS SOUPS 4196 WITH SCORE 4202.806
AT ITER 597 NEW BEST:: SOT 14756 SOS 6684 HAS SOPS 5876 HAS SOUS 4793 HAS SOUPS 4196 WITH SCORE 4202.684
AT ITER 604 NEW BEST:: SOT 14756 SOS 6684 HAS SOPS 5858 HAS SOUS 4793 HAS SOUPS 4178 WITH SCORE 4184.684
AT ITER 619 NEW BEST:: SOT 14756 SOS 6682 HAS SOPS 5856 HAS SOUS 4791 HAS SOUPS 4176 WITH SCORE 4182.682
AT ITER 635 NEW BEST:: SOT 14730 SOS 6667 HAS SOPS 5841 HAS SOUS 4790 HAS SOUPS 4175 WITH SCORE 4181.667
AT ITER 639 NEW BEST:: SOT 14727 SOS 6656 HAS SOPS 5838 HAS SOUS 4787 HAS SOUPS 4172 WITH SCORE 4178.656
AT ITER 646 NEW BEST:: SOT 14727 SOS 6666 HAS SOPS 5848 HAS SOUS 4777 HAS SOUPS 4162 WITH SCORE 4168.666
AT ITER 654 NEW BEST:: SOT 14708 SOS 6647 HAS SOPS 5815 HAS SOUS 4758 HAS SOUPS 4129 WITH SCORE 4135.647
AT ITER 661 NEW BEST:: SOT 14708 SOS 6641 HAS SOPS 5809 HAS SOUS 4752 HAS SOUPS 4123 WITH SCORE 4129.641
AT ITER 662 NEW BEST:: SOT 14706 SOS 6635 HAS SOPS 5807 HAS SOUS 4750 HAS SOUPS 4122 WITH SCORE 4128.635
AT ITER 663 NEW BEST:: SOT 14698 SOS 6603 HAS SOPS 5807 HAS SOUS 4742 HAS SOUPS 4122 WITH SCORE 4128.603
AT ITER 671 NEW BEST:: SOT 14695 SOS 6598 HAS SOPS 5802 HAS SOUS 4739 HAS SOUPS 4119 WITH SCORE 4125.598
AT ITER 675 NEW BEST:: SOT 14695 SOS 6598 HAS SOPS 5802 HAS SOUS 4735 HAS SOUPS 4115 WITH SCORE 4121.598
AT ITER 679 NEW BEST:: SOT 14694 SOS 6597 HAS SOPS 5801 HAS SOUS 4734 HAS SOUPS 4114 WITH SCORE 4120.597
AT ITER 689 NEW BEST:: SOT 14714 SOS 6618 HAS SOPS 5797 HAS SOUS 4755 HAS SOUPS 4110 WITH SCORE 4116.618
AT ITER 704 NEW BEST:: SOT 14711 SOS 6624 HAS SOPS 5791 HAS SOUS 4752 HAS SOUPS 4104 WITH SCORE 4110.624
AT ITER 716 NEW BEST:: SOT 14710 SOS 6621 HAS SOPS 5788 HAS SOUS 4750 HAS SOUPS 4102 WITH SCORE 4108.621
AT ITER 725 NEW BEST:: SOT 14710 SOS 6617 HAS SOPS 5784 HAS SOUS 4748 HAS SOUPS 4100 WITH SCORE 4106.617
AT ITER 734 NEW BEST:: SOT 14643 SOS 6542 HAS SOPS 5709 HAS SOUS 4700 HAS SOUPS 4052 WITH SCORE 4058.542
AT ITER 757 NEW BEST:: SOT 14623 SOS 6532 HAS SOPS 5699 HAS SOUS 4690 HAS SOUPS 4042 WITH SCORE 4048.532
AT ITER 761 NEW BEST:: SOT 14515 SOS 6574 HAS SOPS 5741 HAS SOUS 4678 HAS SOUPS 4030 WITH SCORE 4036.574
AT ITER 766 NEW BEST:: SOT 14480 SOS 6573 HAS SOPS 5740 HAS SOUS 4664 HAS SOUPS 4016 WITH SCORE 4022.573
AT ITER 770 NEW BEST:: SOT 14489 SOS 6572 HAS SOPS 5739 HAS SOUS 4663 HAS SOUPS 4015 WITH SCORE 4021.572
AT ITER 794 NEW BEST:: SOT 14525 SOS 6639 HAS SOPS 5725 HAS SOUS 4699 HAS SOUPS 4002 WITH SCORE 4008.639
AT ITER 803 NEW BEST:: SOT 14514 SOS 6592 HAS SOPS 5678 HAS SOUS 4687 HAS SOUPS 3990 WITH SCORE 3996.592
AT ITER 804 NEW BEST:: SOT 14427 SOS 6493 HAS SOPS 5633 HAS SOUS 4614 HAS SOUPS 3971 WITH SCORE 3977.493
AT ITER 819 NEW BEST:: SOT 14421 SOS 6487 HAS SOPS 5627 HAS SOUS 4602 HAS SOUPS 3959 WITH SCORE 3965.487
AT ITER 821 NEW BEST:: SOT 14420 SOS 6486 HAS SOPS 5625 HAS SOUS 4601 HAS SOUPS 3957 WITH SCORE 3963.486
AT ITER 822 NEW BEST:: SOT 14352 SOS 6439 HAS SOPS 5498 HAS SOUS 4568 HAS SOUPS 3898 WITH SCORE 3904.439
AT ITER 838 NEW BEST:: SOT 14352 SOS 6400 HAS SOPS 5459 HAS SOUS 4565 HAS SOUPS 3895 WITH SCORE 3901.4
AT ITER 841 NEW BEST:: SOT 14352 SOS 6411 HAS SOPS 5470 HAS SOUS 4563 HAS SOUPS 3893 WITH SCORE 3899.411
AT ITER 847 NEW BEST:: SOT 14355 SOS 6409 HAS SOPS 5468 HAS SOUS 4561 HAS SOUPS 3891 WITH SCORE 3897.409
AT ITER 852 NEW BEST:: SOT 14339 SOS 6398 HAS SOPS 5457 HAS SOUS 4550 HAS SOUPS 3880 WITH SCORE 3886.398
AT ITER 859 NEW BEST:: SOT 14339 SOS 6398 HAS SOPS 5457 HAS SOUS 4547 HAS SOUPS 3877 WITH SCORE 3883.398
AT ITER 863 NEW BEST:: SOT 14296 SOS 6355 HAS SOPS 5414 HAS SOUS 4504 HAS SOUPS 3834 WITH SCORE 3840.355
AT ITER 874 NEW BEST:: SOT 14296 SOS 6355 HAS SOPS 5405 HAS SOUS 4504 HAS SOUPS 3825 WITH SCORE 3831.355
AT ITER 888 NEW BEST:: SOT 14278 SOS 6337 HAS SOPS 5387 HAS SOUS 4432 HAS SOUPS 3753 WITH SCORE 3759.337
AT ITER 900 NEW BEST:: SOT 14278 SOS 6310 HAS SOPS 5360 HAS SOUS 4414 HAS SOUPS 3735 WITH SCORE 3741.31
AT ITER 901 NEW BEST:: SOT 14267 SOS 6299 HAS SOPS 5333 HAS SOUS 4392 HAS SOUPS 3713 WITH SCORE 3719.299
AT ITER 911 NEW BEST:: SOT 14237 SOS 6283 HAS SOPS 5312 HAS SOUS 4385 HAS SOUPS 3706 WITH SCORE 3712.283
AT ITER 933 NEW BEST:: SOT 14216 SOS 6262 HAS SOPS 5291 HAS SOUS 4358 HAS SOUPS 3679 WITH SCORE 3685.262
AT ITER 935 NEW BEST:: SOT 14196 SOS 6242 HAS SOPS 5271 HAS SOUS 4338 HAS SOUPS 3659 WITH SCORE 3665.242
AT ITER 937 NEW BEST:: SOT 14186 SOS 6238 HAS SOPS 5267 HAS SOUS 4335 HAS SOUPS 3656 WITH SCORE 3662.238
AT ITER 950 NEW BEST:: SOT 14141 SOS 6148 HAS SOPS 5231 HAS SOUS 4271 HAS SOUPS 3620 WITH SCORE 3626.148
AT ITER 956 NEW BEST:: SOT 14122 SOS 6173 HAS SOPS 5174 HAS SOUS 4233 HAS SOUPS 3563 WITH SCORE 3569.173
AT ITER 961 NEW BEST:: SOT 14122 SOS 6184 HAS SOPS 5152 HAS SOUS 4233 HAS SOUPS 3552 WITH SCORE 3558.184
AT ITER 966 NEW BEST:: SOT 14106 SOS 6183 HAS SOPS 5151 HAS SOUS 4213 HAS SOUPS 3532 WITH SCORE 3538.183
AT ITER 972 NEW BEST:: SOT 14101 SOS 6193 HAS SOPS 5124 HAS SOUS 4207 HAS SOUPS 3514 WITH SCORE 3520.193
AT ITER 990 NEW BEST:: SOT 14099 SOS 6191 HAS SOPS 5122 HAS SOUS 4205 HAS SOUPS 3512 WITH SCORE 3518.191
AT ITER 992 NEW BEST:: SOT 14050 SOS 6156 HAS SOPS 5087 HAS SOUS 4171 HAS SOUPS 3478 WITH SCORE 3484.156
AT ITER 1003 NEW BEST:: SOT 14063 SOS 6175 HAS SOPS 5051 HAS SOUS 4164 HAS SOUPS 3442 WITH SCORE 3448.175
AT ITER 1009 NEW BEST:: SOT 14060 SOS 6169 HAS SOPS 5045 HAS SOUS 4161 HAS SOUPS 3439 WITH SCORE 3445.169
AT ITER 1022 NEW BEST:: SOT 14042 SOS 6155 HAS SOPS 5031 HAS SOUS 4143 HAS SOUPS 3421 WITH SCORE 3427.155
AT ITER 1034 NEW BEST:: SOT 14040 SOS 6150 HAS SOPS 5026 HAS SOUS 4142 HAS SOUPS 3420 WITH SCORE 3426.15
AT ITER 1036 NEW BEST:: SOT 14030 SOS 6125 HAS SOPS 5001 HAS SOUS 4122 HAS SOUPS 3400 WITH SCORE 3406.125
AT ITER 1045 NEW BEST:: SOT 14001 SOS 6074 HAS SOPS 4965 HAS SOUS 4086 HAS SOUPS 3364 WITH SCORE 3370.074
AT ITER 1047 NEW BEST:: SOT 13997 SOS 6064 HAS SOPS 4955 HAS SOUS 4080 HAS SOUPS 3358 WITH SCORE 3364.064
AT ITER 1078 NEW BEST:: SOT 13983 SOS 6074 HAS SOPS 4965 HAS SOUS 4076 HAS SOUPS 3354 WITH SCORE 3360.074
AT ITER 1086 NEW BEST:: SOT 13982 SOS 6073 HAS SOPS 4964 HAS SOUS 4074 HAS SOUPS 3352 WITH SCORE 3358.073
AT ITER 1101 NEW BEST:: SOT 13971 SOS 6050 HAS SOPS 4941 HAS SOUS 4063 HAS SOUPS 3341 WITH SCORE 3347.05
AT ITER 1112 NEW BEST:: SOT 13943 SOS 6018 HAS SOPS 4914 HAS SOUS 4035 HAS SOUPS 3313 WITH SCORE 3319.018
AT ITER 1251 NEW BEST:: SOT 13943 SOS 5978 HAS SOPS 4874 HAS SOUS 4035 HAS SOUPS 3313 WITH SCORE 3318.978
AT ITER 1263 NEW BEST:: SOT 13930 SOS 5965 HAS SOPS 4848 HAS SOUS 4047 HAS SOUPS 3312 WITH SCORE 3317.965
AT ITER 1271 NEW BEST:: SOT 13929 SOS 5964 HAS SOPS 4847 HAS SOUS 4044 HAS SOUPS 3309 WITH SCORE 3314.964
AT ITER 1284 NEW BEST:: SOT 13928 SOS 5965 HAS SOPS 4845 HAS SOUS 4043 HAS SOUPS 3307 WITH SCORE 3312.965
AT ITER 1295 NEW BEST:: SOT 13926 SOS 5963 HAS SOPS 4872 HAS SOUS 4013 HAS SOUPS 3303 WITH SCORE 3308.963
AT ITER 1318 NEW BEST:: SOT 13917 SOS 5913 HAS SOPS 4867 HAS SOUS 3963 HAS SOUPS 3298 WITH SCORE 3303.913
AT ITER 1323 NEW BEST:: SOT 13913 SOS 5980 HAS SOPS 4863 HAS SOUS 3964 HAS SOUPS 3294 WITH SCORE 3299.98
AT ITER 1349 NEW BEST:: SOT 13894 SOS 5953 HAS SOPS 4863 HAS SOUS 3945 HAS SOUPS 3294 WITH SCORE 3299.953
AT ITER 1353 NEW BEST:: SOT 13894 SOS 5944 HAS SOPS 4854 HAS SOUS 3944 HAS SOUPS 3293 WITH SCORE 3298.944
AT ITER 1362 NEW BEST:: SOT 13888 SOS 5938 HAS SOPS 4848 HAS SOUS 3938 HAS SOUPS 3287 WITH SCORE 3292.938
AT ITER 1372 NEW BEST:: SOT 13867 SOS 5917 HAS SOPS 4822 HAS SOUS 3933 HAS SOUPS 3277 WITH SCORE 3282.917
AT ITER 1390 NEW BEST:: SOT 13863 SOS 5913 HAS SOPS 4816 HAS SOUS 3927 HAS SOUPS 3269 WITH SCORE 3274.913
AT ITER 1400 NEW BEST:: SOT 13861 SOS 5911 HAS SOPS 4814 HAS SOUS 3925 HAS SOUPS 3267 WITH SCORE 3272.911
AT ITER 1412 NEW BEST:: SOT 13871 SOS 5920 HAS SOPS 4805 HAS SOUS 3926 HAS SOUPS 3262 WITH SCORE 3267.92
AT ITER 1416 NEW BEST:: SOT 13877 SOS 5929 HAS SOPS 4802 HAS SOUS 3926 HAS SOUPS 3259 WITH SCORE 3264.929
AT ITER 1435 NEW BEST:: SOT 13877 SOS 5929 HAS SOPS 4802 HAS SOUS 3923 HAS SOUPS 3256 WITH SCORE 3261.929
AT ITER 1495 NEW BEST:: SOT 13874 SOS 5922 HAS SOPS 4795 HAS SOUS 3920 HAS SOUPS 3253 WITH SCORE 3258.922
AT ITER 1532 NEW BEST:: SOT 13874 SOS 5916 HAS SOPS 4789 HAS SOUS 3916 HAS SOUPS 3249 WITH SCORE 3254.916
AT ITER 1536 NEW BEST:: SOT 13868 SOS 5919 HAS SOPS 4792 HAS SOUS 3914 HAS SOUPS 3247 WITH SCORE 3252.919
AT ITER 1594 NEW BEST:: SOT 13874 SOS 5925 HAS SOPS 4789 HAS SOUS 3920 HAS SOUPS 3244 WITH SCORE 3249.925
AT ITER 1598 NEW BEST:: SOT 13874 SOS 6013 HAS SOPS 4877 HAS SOUS 3913 HAS SOUPS 3237 WITH SCORE 3243.013
AT ITER 1600 NEW BEST:: SOT 13869 SOS 6008 HAS SOPS 4872 HAS SOUS 3908 HAS SOUPS 3232 WITH SCORE 3238.008
AT ITER 1615 NEW BEST:: SOT 13871 SOS 6007 HAS SOPS 4871 HAS SOUS 3906 HAS SOUPS 3230 WITH SCORE 3236.007
AT ITER 1626 NEW BEST:: SOT 13869 SOS 5993 HAS SOPS 4857 HAS SOUS 3898 HAS SOUPS 3222 WITH SCORE 3227.993
AT ITER 1641 NEW BEST:: SOT 13865 SOS 5989 HAS SOPS 4849 HAS SOUS 3890 HAS SOUPS 3214 WITH SCORE 3219.989
AT ITER 1674 NEW BEST:: SOT 13870 SOS 5984 HAS SOPS 4844 HAS SOUS 3885 HAS SOUPS 3209 WITH SCORE 3214.984
AT ITER 1679 NEW BEST:: SOT 13867 SOS 5981 HAS SOPS 4841 HAS SOUS 3882 HAS SOUPS 3206 WITH SCORE 3211.981
AT ITER 1685 NEW BEST:: SOT 13885 SOS 6039 HAS SOPS 4829 HAS SOUS 3890 HAS SOUPS 3195 WITH SCORE 3201.039
AT ITER 1689 NEW BEST:: SOT 13885 SOS 6039 HAS SOPS 4828 HAS SOUS 3890 HAS SOUPS 3194 WITH SCORE 3200.039
AT ITER 1692 NEW BEST:: SOT 13882 SOS 5966 HAS SOPS 4822 HAS SOUS 3856 HAS SOUPS 3188 WITH SCORE 3193.966
AT ITER 1701 NEW BEST:: SOT 13882 SOS 5862 HAS SOPS 4654 HAS SOUS 3858 HAS SOUPS 3174 WITH SCORE 3179.862
AT ITER 1747 NEW BEST:: SOT 13869 SOS 5857 HAS SOPS 4649 HAS SOUS 3851 HAS SOUPS 3167 WITH SCORE 3172.857
AT ITER 1771 NEW BEST:: SOT 13817 SOS 5742 HAS SOPS 4644 HAS SOUS 3817 HAS SOUPS 3162 WITH SCORE 3167.742
AT ITER 1793 NEW BEST:: SOT 13805 SOS 5730 HAS SOPS 4620 HAS SOUS 3805 HAS SOUPS 3150 WITH SCORE 3155.73
AT ITER 1824 NEW BEST:: SOT 13799 SOS 5691 HAS SOPS 4581 HAS SOUS 3782 HAS SOUPS 3127 WITH SCORE 3132.691
AT ITER 1826 NEW BEST:: SOT 13793 SOS 5685 HAS SOPS 4575 HAS SOUS 3770 HAS SOUPS 3115 WITH SCORE 3120.685
AT ITER 1845 NEW BEST:: SOT 13793 SOS 5662 HAS SOPS 4570 HAS SOUS 3765 HAS SOUPS 3110 WITH SCORE 3115.662
AT ITER 1850 NEW BEST:: SOT 13791 SOS 5651 HAS SOPS 4563 HAS SOUS 3758 HAS SOUPS 3103 WITH SCORE 3108.651
AT ITER 1951 NEW BEST:: SOT 13791 SOS 5672 HAS SOPS 4572 HAS SOUS 3767 HAS SOUPS 3100 WITH SCORE 3105.672
AT ITER 1963 NEW BEST:: SOT 13792 SOS 5652 HAS SOPS 4552 HAS SOUS 3748 HAS SOUPS 3081 WITH SCORE 3086.652
AT ITER 1977 NEW BEST:: SOT 13780 SOS 5650 HAS SOPS 4532 HAS SOUS 3730 HAS SOUPS 3063 WITH SCORE 3068.65
AT ITER 1999 NEW BEST:: SOT 13801 SOS 5672 HAS SOPS 4506 HAS SOUS 3752 HAS SOUPS 3037 WITH SCORE 3042.672
AT ITER 2002 NEW BEST:: SOT 13802 SOS 5657 HAS SOPS 4496 HAS SOUS 3748 HAS SOUPS 3033 WITH SCORE 3038.657
AT ITER 2062 NEW BEST:: SOT 13796 SOS 5651 HAS SOPS 4491 HAS SOUS 3742 HAS SOUPS 3028 WITH SCORE 3033.651
AT ITER 2074 NEW BEST:: SOT 13800 SOS 5649 HAS SOPS 4489 HAS SOUS 3741 HAS SOUPS 3027 WITH SCORE 3032.649
AT ITER 2078 NEW BEST:: SOT 13792 SOS 5649 HAS SOPS 4489 HAS SOUS 3733 HAS SOUPS 3019 WITH SCORE 3024.649
AT ITER 2095 NEW BEST:: SOT 13789 SOS 5640 HAS SOPS 4480 HAS SOUS 3727 HAS SOUPS 3013 WITH SCORE 3018.64
AT ITER 2176 NEW BEST:: SOT 13771 SOS 5586 HAS SOPS 4480 HAS SOUS 3727 HAS SOUPS 3013 WITH SCORE 3018.586
AT ITER 2193 NEW BEST:: SOT 13742 SOS 5591 HAS SOPS 4453 HAS SOUS 3732 HAS SOUPS 2986 WITH SCORE 2991.591
AT ITER 2196 NEW BEST:: SOT 13742 SOS 5562 HAS SOPS 4453 HAS SOUS 3703 HAS SOUPS 2986 WITH SCORE 2991.562
AT ITER 2198 NEW BEST:: SOT 13746 SOS 5566 HAS SOPS 4448 HAS SOUS 3707 HAS SOUPS 2981 WITH SCORE 2986.566
AT ITER 2223 NEW BEST:: SOT 13744 SOS 5562 HAS SOPS 4444 HAS SOUS 3703 HAS SOUPS 2977 WITH SCORE 2982.562
AT ITER 2225 NEW BEST:: SOT 13721 SOS 5539 HAS SOPS 4441 HAS SOUS 3680 HAS SOUPS 2974 WITH SCORE 2979.539
AT ITER 2246 NEW BEST:: SOT 13721 SOS 5548 HAS SOPS 4432 HAS SOUS 3671 HAS SOUPS 2965 WITH SCORE 2970.548
AT ITER 2256 NEW BEST:: SOT 13721 SOS 5542 HAS SOPS 4414 HAS SOUS 3668 HAS SOUPS 2959 WITH SCORE 2964.542
AT ITER 2286 NEW BEST:: SOT 13716 SOS 5537 HAS SOPS 4409 HAS SOUS 3666 HAS SOUPS 2957 WITH SCORE 2962.537
AT ITER 2305 NEW BEST:: SOT 13714 SOS 5535 HAS SOPS 4407 HAS SOUS 3660 HAS SOUPS 2951 WITH SCORE 2956.535
AT ITER 2322 NEW BEST:: SOT 13714 SOS 5535 HAS SOPS 4407 HAS SOUS 3652 HAS SOUPS 2943 WITH SCORE 2948.535
AT ITER 2359 NEW BEST:: SOT 13713 SOS 5526 HAS SOPS 4398 HAS SOUS 3650 HAS SOUPS 2941 WITH SCORE 2946.526
AT ITER 2362 NEW BEST:: SOT 13712 SOS 5523 HAS SOPS 4395 HAS SOUS 3648 HAS SOUPS 2939 WITH SCORE 2944.523
AT ITER 2369 NEW BEST:: SOT 13709 SOS 5492 HAS SOPS 4364 HAS SOUS 3646 HAS SOUPS 2937 WITH SCORE 2942.492
AT ITER 2395 NEW BEST:: SOT 13709 SOS 5492 HAS SOPS 4364 HAS SOUS 3644 HAS SOUPS 2935 WITH SCORE 2940.492
AT ITER 2409 NEW BEST:: SOT 13699 SOS 5482 HAS SOPS 4344 HAS SOUS 3633 HAS SOUPS 2924 WITH SCORE 2929.482
AT ITER 2497 NEW BEST:: SOT 13707 SOS 5490 HAS SOPS 4337 HAS SOUS 3641 HAS SOUPS 2917 WITH SCORE 2922.49
AT ITER 2536 NEW BEST:: SOT 13707 SOS 5478 HAS SOPS 4333 HAS SOUS 3629 HAS SOUPS 2913 WITH SCORE 2918.478
AT ITER 2557 NEW BEST:: SOT 13699 SOS 5462 HAS SOPS 4325 HAS SOUS 3613 HAS SOUPS 2905 WITH SCORE 2910.462
AT ITER 2566 NEW BEST:: SOT 13700 SOS 5460 HAS SOPS 4324 HAS SOUS 3612 HAS SOUPS 2904 WITH SCORE 2909.46
AT ITER 2621 NEW BEST:: SOT 13692 SOS 5452 HAS SOPS 4316 HAS SOUS 3598 HAS SOUPS 2890 WITH SCORE 2895.452
AT ITER 2626 NEW BEST:: SOT 13693 SOS 5453 HAS SOPS 4317 HAS SOUS 3597 HAS SOUPS 2889 WITH SCORE 2894.453
AT ITER 2658 NEW BEST:: SOT 13694 SOS 5499 HAS SOPS 4307 HAS SOUS 3597 HAS SOUPS 2880 WITH SCORE 2885.499
AT ITER 2679 NEW BEST:: SOT 13664 SOS 5469 HAS SOPS 4277 HAS SOUS 3588 HAS SOUPS 2871 WITH SCORE 2876.469
AT ITER 2682 NEW BEST:: SOT 13660 SOS 5461 HAS SOPS 4269 HAS SOUS 3584 HAS SOUPS 2867 WITH SCORE 2872.461
AT ITER 2684 NEW BEST:: SOT 13660 SOS 5458 HAS SOPS 4266 HAS SOUS 3582 HAS SOUPS 2865 WITH SCORE 2870.458
AT ITER 2700 NEW BEST:: SOT 13660 SOS 5454 HAS SOPS 4260 HAS SOUS 3581 HAS SOUPS 2863 WITH SCORE 2868.454
AT ITER 2709 NEW BEST:: SOT 13645 SOS 5433 HAS SOPS 4259 HAS SOUS 3560 HAS SOUPS 2862 WITH SCORE 2867.433
AT ITER 2712 NEW BEST:: SOT 13617 SOS 5377 HAS SOPS 4203 HAS SOUS 3532 HAS SOUPS 2834 WITH SCORE 2839.377
AT ITER 2717 NEW BEST:: SOT 13619 SOS 5379 HAS SOPS 4181 HAS SOUS 3552 HAS SOUPS 2830 WITH SCORE 2835.379
AT ITER 2734 NEW BEST:: SOT 13588 SOS 5351 HAS SOPS 4153 HAS SOUS 3526 HAS SOUPS 2804 WITH SCORE 2809.351
AT ITER 2765 NEW BEST:: SOT 13587 SOS 5346 HAS SOPS 4152 HAS SOUS 3524 HAS SOUPS 2803 WITH SCORE 2808.346
AT ITER 2779 NEW BEST:: SOT 13582 SOS 5259 HAS SOPS 4147 HAS SOUS 3437 HAS SOUPS 2798 WITH SCORE 2803.259
AT ITER 2789 NEW BEST:: SOT 13582 SOS 5247 HAS SOPS 4140 HAS SOUS 3427 HAS SOUPS 2793 WITH SCORE 2798.247
AT ITER 2795 NEW BEST:: SOT 13579 SOS 5244 HAS SOPS 4137 HAS SOUS 3424 HAS SOUPS 2790 WITH SCORE 2795.244
AT ITER 2807 NEW BEST:: SOT 13578 SOS 5243 HAS SOPS 4131 HAS SOUS 3427 HAS SOUPS 2788 WITH SCORE 2793.243
AT ITER 2818 NEW BEST:: SOT 13574 SOS 5239 HAS SOPS 4127 HAS SOUS 3425 HAS SOUPS 2786 WITH SCORE 2791.239
AT ITER 2832 NEW BEST:: SOT 13580 SOS 5254 HAS SOPS 4142 HAS SOUS 3424 HAS SOUPS 2785 WITH SCORE 2790.254
AT ITER 2833 NEW BEST:: SOT 13580 SOS 5252 HAS SOPS 4141 HAS SOUS 3423 HAS SOUPS 2785 WITH SCORE 2790.252
AT ITER 2875 NEW BEST:: SOT 13576 SOS 5248 HAS SOPS 4137 HAS SOUS 3421 HAS SOUPS 2783 WITH SCORE 2788.248
AT ITER 2893 NEW BEST:: SOT 13580 SOS 5258 HAS SOPS 4147 HAS SOUS 3413 HAS SOUPS 2775 WITH SCORE 2780.258
AT ITER 3001 NEW BEST:: SOT 13569 SOS 5227 HAS SOPS 4121 HAS SOUS 3396 HAS SOUPS 2763 WITH SCORE 2768.227
AT ITER 3058 NEW BEST:: SOT 13567 SOS 5221 HAS SOPS 4117 HAS SOUS 3392 HAS SOUPS 2761 WITH SCORE 2766.221
AT ITER 3087 NEW BEST:: SOT 13566 SOS 5220 HAS SOPS 4116 HAS SOUS 3391 HAS SOUPS 2760 WITH SCORE 2765.22
AT ITER 3135 NEW BEST:: SOT 13564 SOS 5218 HAS SOPS 4112 HAS SOUS 3389 HAS SOUPS 2756 WITH SCORE 2761.218
AT ITER 3177 NEW BEST:: SOT 13562 SOS 5184 HAS SOPS 4110 HAS SOUS 3378 HAS SOUPS 2754 WITH SCORE 2759.184
AT ITER 3178 NEW BEST:: SOT 13556 SOS 5172 HAS SOPS 4104 HAS SOUS 3372 HAS SOUPS 2754 WITH SCORE 2759.172
AT ITER 3199 NEW BEST:: SOT 13556 SOS 5172 HAS SOPS 4103 HAS SOUS 3371 HAS SOUPS 2752 WITH SCORE 2757.172
AT ITER 3200 NEW BEST:: SOT 13556 SOS 5175 HAS SOPS 4102 HAS SOUS 3371 HAS SOUPS 2751 WITH SCORE 2756.175
AT ITER 3222 NEW BEST:: SOT 13557 SOS 5198 HAS SOPS 4120 HAS SOUS 3374 HAS SOUPS 2749 WITH SCORE 2754.198
AT ITER 3228 NEW BEST:: SOT 13549 SOS 5175 HAS SOPS 4115 HAS SOUS 3351 HAS SOUPS 2744 WITH SCORE 2749.175
AT ITER 3231 NEW BEST:: SOT 13549 SOS 5168 HAS SOPS 4115 HAS SOUS 3351 HAS SOUPS 2744 WITH SCORE 2749.168
AT ITER 3347 NEW BEST:: SOT 13546 SOS 5165 HAS SOPS 4109 HAS SOUS 3351 HAS SOUPS 2744 WITH SCORE 2749.165
AT ITER 3348 NEW BEST:: SOT 13542 SOS 5139 HAS SOPS 4107 HAS SOUS 3343 HAS SOUPS 2742 WITH SCORE 2747.139
AT ITER 3367 NEW BEST:: SOT 13539 SOS 5136 HAS SOPS 4098 HAS SOUS 3343 HAS SOUPS 2736 WITH SCORE 2741.136
AT ITER 3537 NEW BEST:: SOT 13520 SOS 5102 HAS SOPS 4079 HAS SOUS 3320 HAS SOUPS 2728 WITH SCORE 2733.102
AT ITER 3555 NEW BEST:: SOT 13518 SOS 5100 HAS SOPS 4079 HAS SOUS 3314 HAS SOUPS 2724 WITH SCORE 2729.1
AT ITER 3556 NEW BEST:: SOT 13522 SOS 5107 HAS SOPS 4077 HAS SOUS 3312 HAS SOUPS 2722 WITH SCORE 2727.107
AT ITER 3565 NEW BEST:: SOT 13569 SOS 5106 HAS SOPS 4076 HAS SOUS 3311 HAS SOUPS 2721 WITH SCORE 2726.106
AT ITER 3570 NEW BEST:: SOT 13563 SOS 5096 HAS SOPS 4066 HAS SOUS 3305 HAS SOUPS 2715 WITH SCORE 2720.096
AT ITER 3573 NEW BEST:: SOT 13535 SOS 5068 HAS SOPS 4064 HAS SOUS 3303 HAS SOUPS 2713 WITH SCORE 2718.068
AT ITER 3578 NEW BEST:: SOT 13531 SOS 5064 HAS SOPS 4064 HAS SOUS 3303 HAS SOUPS 2713 WITH SCORE 2718.064
AT ITER 3589 NEW BEST:: SOT 13530 SOS 5063 HAS SOPS 4054 HAS SOUS 3301 HAS SOUPS 2711 WITH SCORE 2716.063
AT ITER 3595 NEW BEST:: SOT 13526 SOS 5059 HAS SOPS 4046 HAS SOUS 3293 HAS SOUPS 2703 WITH SCORE 2708.059
AT ITER 3598 NEW BEST:: SOT 13525 SOS 5057 HAS SOPS 4044 HAS SOUS 3291 HAS SOUPS 2701 WITH SCORE 2706.057
AT ITER 3799 NEW BEST:: SOT 13525 SOS 5051 HAS SOPS 4038 HAS SOUS 3286 HAS SOUPS 2696 WITH SCORE 2701.051
AT ITER 3848 NEW BEST:: SOT 13525 SOS 5045 HAS SOPS 4032 HAS SOUS 3284 HAS SOUPS 2694 WITH SCORE 2699.045
AT ITER 3862 NEW BEST:: SOT 13525 SOS 4993 HAS SOPS 3968 HAS SOUS 3282 HAS SOUPS 2686 WITH SCORE 2690.993
AT ITER 3884 NEW BEST:: SOT 13521 SOS 5061 HAS SOPS 4036 HAS SOUS 3280 HAS SOUPS 2684 WITH SCORE 2689.061
AT ITER 3903 NEW BEST:: SOT 13518 SOS 5058 HAS SOPS 4030 HAS SOUS 3274 HAS SOUPS 2678 WITH SCORE 2683.058
AT ITER 3909 NEW BEST:: SOT 13507 SOS 5063 HAS SOPS 4035 HAS SOUS 3273 HAS SOUPS 2677 WITH SCORE 2682.063
AT ITER 4041 NEW BEST:: SOT 13506 SOS 5062 HAS SOPS 4033 HAS SOUS 3272 HAS SOUPS 2675 WITH SCORE 2680.062
AT ITER 4051 NEW BEST:: SOT 13498 SOS 5054 HAS SOPS 4025 HAS SOUS 3268 HAS SOUPS 2671 WITH SCORE 2676.054
AT ITER 4081 NEW BEST:: SOT 13491 SOS 5047 HAS SOPS 4018 HAS SOUS 3261 HAS SOUPS 2664 WITH SCORE 2669.047
AT ITER 4095 NEW BEST:: SOT 13488 SOS 5044 HAS SOPS 4015 HAS SOUS 3261 HAS SOUPS 2664 WITH SCORE 2669.044
AT ITER 4184 NEW BEST:: SOT 13508 SOS 5062 HAS SOPS 4007 HAS SOUS 3279 HAS SOUPS 2656 WITH SCORE 2661.062
AT ITER 4197 NEW BEST:: SOT 13505 SOS 5053 HAS SOPS 3998 HAS SOUS 3270 HAS SOUPS 2647 WITH SCORE 2652.053
AT ITER 4222 NEW BEST:: SOT 13567 SOS 5004 HAS SOPS 3910 HAS SOUS 3291 HAS SOUPS 2629 WITH SCORE 2634.004
AT ITER 4272 NEW BEST:: SOT 13555 SOS 4982 HAS SOPS 3888 HAS SOUS 3269 HAS SOUPS 2607 WITH SCORE 2611.982
AT ITER 4288 NEW BEST:: SOT 13554 SOS 5023 HAS SOPS 3887 HAS SOUS 3310 HAS SOUPS 2606 WITH SCORE 2611.023
AT ITER 4313 NEW BEST:: SOT 13548 SOS 5005 HAS SOPS 3869 HAS SOUS 3302 HAS SOUPS 2598 WITH SCORE 2603.005
AT ITER 4406 NEW BEST:: SOT 13547 SOS 4988 HAS SOPS 3852 HAS SOUS 3301 HAS SOUPS 2597 WITH SCORE 2601.988
AT ITER 4424 NEW BEST:: SOT 13539 SOS 4975 HAS SOPS 3839 HAS SOUS 3296 HAS SOUPS 2592 WITH SCORE 2596.975
AT ITER 4430 NEW BEST:: SOT 13508 SOS 4932 HAS SOPS 3839 HAS SOUS 3265 HAS SOUPS 2592 WITH SCORE 2596.932
AT ITER 4433 NEW BEST:: SOT 13446 SOS 4852 HAS SOPS 3825 HAS SOUS 3227 HAS SOUPS 2576 WITH SCORE 2580.852
AT ITER 4464 NEW BEST:: SOT 13427 SOS 4833 HAS SOPS 3825 HAS SOUS 3208 HAS SOUPS 2576 WITH SCORE 2580.833
AT ITER 4485 NEW BEST:: SOT 13397 SOS 4803 HAS SOPS 3825 HAS SOUS 3208 HAS SOUPS 2576 WITH SCORE 2580.803
AT ITER 4610 NEW BEST:: SOT 13387 SOS 4793 HAS SOPS 3825 HAS SOUS 3198 HAS SOUPS 2576 WITH SCORE 2580.793
AT ITER 4659 NEW BEST:: SOT 13384 SOS 4793 HAS SOPS 3825 HAS SOUS 3195 HAS SOUPS 2573 WITH SCORE 2577.793
AT ITER 4700 NEW BEST:: SOT 13380 SOS 4783 HAS SOPS 3821 HAS SOUS 3191 HAS SOUPS 2571 WITH SCORE 2575.783
AT ITER 4704 NEW BEST:: SOT 13380 SOS 4783 HAS SOPS 3817 HAS SOUS 3191 HAS SOUPS 2567 WITH SCORE 2571.783
AT ITER 4706 NEW BEST:: SOT 13370 SOS 4433 HAS SOPS 3467 HAS SOUS 3184 HAS SOUPS 2560 WITH SCORE 2564.433
AT ITER 4724 NEW BEST:: SOT 13370 SOS 4429 HAS SOPS 3463 HAS SOUS 3182 HAS SOUPS 2558 WITH SCORE 2562.429
AT ITER 4734 NEW BEST:: SOT 13368 SOS 4420 HAS SOPS 3462 HAS SOUS 3179 HAS SOUPS 2557 WITH SCORE 2561.42
AT ITER 4766 NEW BEST:: SOT 13368 SOS 4420 HAS SOPS 3461 HAS SOUS 3179 HAS SOUPS 2556 WITH SCORE 2560.42
AT ITER 4768 NEW BEST:: SOT 13367 SOS 4425 HAS SOPS 3466 HAS SOUS 3178 HAS SOUPS 2555 WITH SCORE 2559.425
AT ITER 4783 NEW BEST:: SOT 13358 SOS 4316 HAS SOPS 3357 HAS SOUS 3178 HAS SOUPS 2555 WITH SCORE 2559.316
AT ITER 4787 NEW BEST:: SOT 13360 SOS 4313 HAS SOPS 3354 HAS SOUS 3178 HAS SOUPS 2555 WITH SCORE 2559.313
AT ITER 4799 NEW BEST:: SOT 13357 SOS 4313 HAS SOPS 3349 HAS SOUS 3176 HAS SOUPS 2553 WITH SCORE 2557.313
AT ITER 4834 NEW BEST:: SOT 13349 SOS 4284 HAS SOPS 3349 HAS SOUS 3168 HAS SOUPS 2553 WITH SCORE 2557.284
AT ITER 4835 NEW BEST:: SOT 13346 SOS 4251 HAS SOPS 3316 HAS SOUS 3164 HAS SOUPS 2549 WITH SCORE 2553.251
AT ITER 4844 NEW BEST:: SOT 13337 SOS 4242 HAS SOPS 3307 HAS SOUS 3158 HAS SOUPS 2543 WITH SCORE 2547.242
AT ITER 4899 NEW BEST:: SOT 13314 SOS 4217 HAS SOPS 3303 HAS SOUS 3133 HAS SOUPS 2539 WITH SCORE 2543.217
AT ITER 4999 NEW BEST:: SOT 13328 SOS 4175 HAS SOPS 3308 HAS SOUS 3131 HAS SOUPS 2537 WITH SCORE 2541.175
Bounds file is: CTLFireability.xml
PROPERTY: AutoFlight-PT-06a-CTLFireability-00 (AG( ( ( ((potential((tk(P32)>=1)))) | ( (! ((potential((tk(P20)>=1))))) | ( ((potential((tk(P56)>=1) & (tk(P147)>=1)))) & ((potential((tk(P38)>=1)))) ) ) ) | ((potential((tk(P34)>=1)))) )))
PROPERTY: AutoFlight-PT-06a-CTLFireability-01 ( ( (EG( (EX( ((potential((tk(P4)>=1)))))))) | ( (AU( ((potential((tk(P125)>=1) & (tk(P156)>=1)))) , ((potential((tk(P39)>=1)))) )) & ( ( ( ((potential((tk(P6)>=1)))) & ((potential((tk(P8)>=1) & (tk(P81)>=1)))) ) & ( ((potential((tk(P15)>=1) & (tk(P64)>=1)))) | ((potential((tk(P60)>=1)))) ) ) | (EX( ((potential((tk(P59)>=1) & (tk(P153)>=1)))))) ) ) ) & (AU( (! ( ((potential((tk(P43)>=1) & (tk(P86)>=1)))) | ((potential((tk(P75)>=1)))) )) , ((potential((tk(P17)>=1)))) )) )
PROPERTY: AutoFlight-PT-06a-CTLFireability-02 ( (EF( (! (EF( ((potential((tk(P29)>=1) & (tk(P84)>=1))))))))) | ((potential((tk(P19)>=1) & (tk(P115)>=1)))) )
PROPERTY: AutoFlight-PT-06a-CTLFireability-03 (AF( ((potential((tk(P15)>=1) & (tk(P96)>=1))))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-04 (AG( (EF( ( (! ((potential((tk(P7)>=1))))) | ( ((potential((tk(P8)>=1) & (tk(P81)>=1)))) & ((potential((tk(P56)>=1) & (tk(P147)>=1)))) ) )))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-05 (EF( ( ((potential((tk(P17)>=1)))) | (! (AF( ((potential((tk(P34)>=1))))))) )))
PROPERTY: AutoFlight-PT-06a-CTLFireability-06 (AX( (! ( (AG( ((potential((tk(P106)>=1)))))) | (EF( ((potential((tk(P69)>=1)))))) ))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-07 ( (EX( (! (AF( ((potential((tk(P41)>=1))))))))) | ((potential((tk(P39)>=1) & (tk(P151)>=1)))) )
PROPERTY: AutoFlight-PT-06a-CTLFireability-08 ( (EU( (AF( ((potential((tk(P101)>=1)))))) , (! (! ((potential((tk(P18)>=1)))))) )) | (EF( (! (EF( ((potential((tk(P101)>=1))))))))) )
PROPERTY: AutoFlight-PT-06a-CTLFireability-09 (EU( (EX( ((potential((tk(P14)>=1)))))) , (EF( ( ((potential((tk(P79)>=1)))) | ((potential((tk(P78)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-06a-CTLFireability-10 (! (EG( ( (! ( ((potential((tk(P42)>=1)))) & ((potential((tk(P45)>=1)))) )) | (! (! ((potential((tk(P14)>=1)))))) ))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-11 (AU( ((potential((tk(P137)>=1) & (tk(P156)>=1)))) , (AF( ( ((potential((tk(P144)>=1) & (tk(P157)>=1)))) | ((potential((tk(P3)>=1)))) ))) ))
PROPERTY: AutoFlight-PT-06a-CTLFireability-12 (! (! (EX( (EF( ((potential((tk(P28)>=1) & (tk(P140)>=1))))))))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-13 (AG( (AU( ( ((potential((tk(P119)>=1) & (tk(P156)>=1)))) | ((potential((tk(P54)>=1)))) ) , (! ((potential((tk(P54)>=1))))) ))))
PROPERTY: AutoFlight-PT-06a-CTLFireability-14 (AF( ( ( (AG( ((potential((tk(P32)>=1)))))) | (AF( ((potential((tk(P10)>=1)))))) ) | (! (! ( ((potential((tk(P10)>=1)))) & ((potential((tk(P3)>=1)))) ))) )))
PROPERTY: AutoFlight-PT-06a-CTLFireability-15 (! ( ( ( ( ( ((potential((tk(P41)>=1)))) & ((potential((tk(P101)>=1)))) ) & ( ((potential((tk(P76)>=1)))) & ((potential((tk(P54)>=1)))) ) ) & (EG( ((potential((tk(P29)>=1) & (tk(P84)>=1)))))) ) & ((potential((tk(P73)>=1)))) ) | ( ( ((potential((tk(P71)>=1)))) & (! ((potential((tk(P51)>=1))))) ) | (! (AF( ((potential((tk(P144)>=1) & (tk(P157)>=1))))))) ) ))
FORMULA AutoFlight-PT-06a-CTLFireability-00 FALSE 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="AutoFlight-PT-06a"
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 AutoFlight-PT-06a, 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 r003-smll-158897508500452"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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