Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 7.7K Feb 25 14:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 14:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 14:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 25 14:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 14:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 97K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678296532297

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

Filename model.pnml
Petri model created: 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 1 NEW BEST:: SOT 23076 SOS 13506 HAS SOPS 12422 HAS SOUS 10726 HAS SOUPS 9724 WITH SCORE 9737.506
AT ITER 4 NEW BEST:: SOT 23083 SOS 13508 HAS SOPS 12420 HAS SOUS 10728 HAS SOUPS 9722 WITH SCORE 9735.508
AT ITER 7 NEW BEST:: SOT 23091 SOS 13512 HAS SOPS 12424 HAS SOUS 10724 HAS SOUPS 9718 WITH SCORE 9731.512
AT ITER 20 NEW BEST:: SOT 23100 SOS 13255 HAS SOPS 12167 HAS SOUS 10722 HAS SOUPS 9716 WITH SCORE 9729.255
AT ITER 23 NEW BEST:: SOT 23106 SOS 13255 HAS SOPS 12164 HAS SOUS 10719 HAS SOUPS 9710 WITH SCORE 9723.255
AT ITER 25 NEW BEST:: SOT 23106 SOS 13244 HAS SOPS 12153 HAS SOUS 10689 HAS SOUPS 9680 WITH SCORE 9693.244
AT ITER 26 NEW BEST:: SOT 23103 SOS 13235 HAS SOPS 12147 HAS SOUS 10674 HAS SOUPS 9668 WITH SCORE 9681.235
AT ITER 27 NEW BEST:: SOT 23103 SOS 13983 HAS SOPS 12895 HAS SOUS 10568 HAS SOUPS 9562 WITH SCORE 9575.983
AT ITER 33 NEW BEST:: SOT 23045 SOS 13924 HAS SOPS 12807 HAS SOUS 10591 HAS SOUPS 9556 WITH SCORE 9569.924
AT ITER 34 NEW BEST:: SOT 23036 SOS 13933 HAS SOPS 12816 HAS SOUS 10582 HAS SOUPS 9547 WITH SCORE 9560.933
AT ITER 35 NEW BEST:: SOT 23004 SOS 13837 HAS SOPS 12752 HAS SOUS 10469 HAS SOUPS 9466 WITH SCORE 9479.837
AT ITER 36 NEW BEST:: SOT 23128 SOS 13930 HAS SOPS 12895 HAS SOUS 10387 HAS SOUPS 9434 WITH SCORE 9447.93
AT ITER 38 NEW BEST:: SOT 23125 SOS 13924 HAS SOPS 12889 HAS SOUS 10383 HAS SOUPS 9430 WITH SCORE 9443.924
AT ITER 40 NEW BEST:: SOT 23110 SOS 13903 HAS SOPS 12904 HAS SOUS 10290 HAS SOUPS 9373 WITH SCORE 9386.903
AT ITER 42 NEW BEST:: SOT 23110 SOS 13861 HAS SOPS 12862 HAS SOUS 10230 HAS SOUPS 9313 WITH SCORE 9326.861
AT ITER 43 NEW BEST:: SOT 23110 SOS 13859 HAS SOPS 12860 HAS SOUS 10229 HAS SOUPS 9312 WITH SCORE 9325.859
AT ITER 45 NEW BEST:: SOT 23210 SOS 13875 HAS SOPS 12917 HAS SOUS 10130 HAS SOUPS 9256 WITH SCORE 9269.875
AT ITER 46 NEW BEST:: SOT 23346 SOS 13985 HAS SOPS 13070 HAS SOUS 10021 HAS SOUPS 9198 WITH SCORE 9211.985
AT ITER 49 NEW BEST:: SOT 23339 SOS 13966 HAS SOPS 13046 HAS SOUS 10018 HAS SOUPS 9190 WITH SCORE 9203.966
AT ITER 50 NEW BEST:: SOT 23489 SOS 14014 HAS SOPS 13114 HAS SOUS 9963 HAS SOUPS 9159 WITH SCORE 9173.014
AT ITER 51 NEW BEST:: SOT 23604 SOS 14132 HAS SOPS 13278 HAS SOUS 9882 HAS SOUPS 9124 WITH SCORE 9138.132
AT ITER 54 NEW BEST:: SOT 23452 SOS 14140 HAS SOPS 13176 HAS SOUS 9859 HAS SOUPS 9104 WITH SCORE 9118.14
AT ITER 55 NEW BEST:: SOT 23587 SOS 14280 HAS SOPS 13317 HAS SOUS 9776 HAS SOUPS 9021 WITH SCORE 9035.28
AT ITER 56 NEW BEST:: SOT 23589 SOS 14284 HAS SOPS 13322 HAS SOUS 9774 HAS SOUPS 9020 WITH SCORE 9034.284
AT ITER 62 NEW BEST:: SOT 23738 SOS 14385 HAS SOPS 13499 HAS SOUS 9670 HAS SOUPS 8992 WITH SCORE 9006.385
AT ITER 68 NEW BEST:: SOT 23623 SOS 14205 HAS SOPS 13371 HAS SOUS 9408 HAS SOUPS 8782 WITH SCORE 8796.205
AT ITER 70 NEW BEST:: SOT 23547 SOS 14208 HAS SOPS 13312 HAS SOUS 9313 HAS SOUPS 8701 WITH SCORE 8715.208
AT ITER 72 NEW BEST:: SOT 23476 SOS 14134 HAS SOPS 13194 HAS SOUS 9345 HAS SOUPS 8689 WITH SCORE 8703.134
AT ITER 73 NEW BEST:: SOT 23540 SOS 14132 HAS SOPS 13225 HAS SOUS 9244 HAS SOUPS 8621 WITH SCORE 8635.132
AT ITER 74 NEW BEST:: SOT 23550 SOS 14140 HAS SOPS 13227 HAS SOUS 9249 HAS SOUPS 8620 WITH SCORE 8634.14
AT ITER 76 NEW BEST:: SOT 23550 SOS 14140 HAS SOPS 13246 HAS SOUS 9193 HAS SOUPS 8583 WITH SCORE 8597.14
AT ITER 77 NEW BEST:: SOT 23138 SOS 14628 HAS SOPS 13015 HAS SOUS 8911 HAS SOUPS 8333 WITH SCORE 8347.628
AT ITER 78 NEW BEST:: SOT 23159 SOS 14646 HAS SOPS 13033 HAS SOUS 8865 HAS SOUPS 8287 WITH SCORE 8301.646
AT ITER 82 NEW BEST:: SOT 23159 SOS 14637 HAS SOPS 13022 HAS SOUS 8865 HAS SOUPS 8287 WITH SCORE 8301.637
AT ITER 90 NEW BEST:: SOT 23177 SOS 14628 HAS SOPS 13013 HAS SOUS 8865 HAS SOUPS 8287 WITH SCORE 8301.628
AT ITER 92 NEW BEST:: SOT 22288 SOS 14240 HAS SOPS 12439 HAS SOUS 8260 HAS SOUPS 7755 WITH SCORE 7769.24
AT ITER 95 NEW BEST:: SOT 22050 SOS 14040 HAS SOPS 12228 HAS SOUS 8054 HAS SOUPS 7538 WITH SCORE 7552.04
AT ITER 97 NEW BEST:: SOT 21792 SOS 13782 HAS SOPS 12013 HAS SOUS 8006 HAS SOUPS 7491 WITH SCORE 7504.782
AT ITER 101 NEW BEST:: SOT 21738 SOS 13736 HAS SOPS 11959 HAS SOUS 7972 HAS SOUPS 7454 WITH SCORE 7467.736
AT ITER 102 NEW BEST:: SOT 21750 SOS 13742 HAS SOPS 11965 HAS SOUS 7957 HAS SOUPS 7439 WITH SCORE 7452.742
AT ITER 103 NEW BEST:: SOT 21824 SOS 13686 HAS SOPS 11909 HAS SOUS 7922 HAS SOUPS 7404 WITH SCORE 7417.686
AT ITER 106 NEW BEST:: SOT 21824 SOS 13692 HAS SOPS 11903 HAS SOUS 7916 HAS SOUPS 7398 WITH SCORE 7411.692
AT ITER 107 NEW BEST:: SOT 21732 SOS 13657 HAS SOPS 11821 HAS SOUS 7845 HAS SOUPS 7328 WITH SCORE 7341.657
AT ITER 110 NEW BEST:: SOT 21673 SOS 13612 HAS SOPS 11776 HAS SOUS 7805 HAS SOUPS 7288 WITH SCORE 7301.612
AT ITER 113 NEW BEST:: SOT 21587 SOS 13532 HAS SOPS 11696 HAS SOUS 7705 HAS SOUPS 7188 WITH SCORE 7201.532
AT ITER 117 NEW BEST:: SOT 21696 SOS 13597 HAS SOPS 11761 HAS SOUS 7686 HAS SOUPS 7169 WITH SCORE 7182.597
AT ITER 123 NEW BEST:: SOT 21879 SOS 13644 HAS SOPS 11895 HAS SOUS 7627 HAS SOUPS 7110 WITH SCORE 7123.644
AT ITER 125 NEW BEST:: SOT 22059 SOS 13773 HAS SOPS 12021 HAS SOUS 7619 HAS SOUPS 7102 WITH SCORE 7115.773
AT ITER 126 NEW BEST:: SOT 21683 SOS 13620 HAS SOPS 11639 HAS SOUS 7186 HAS SOUPS 6660 WITH SCORE 6673.62
AT ITER 127 NEW BEST:: SOT 21649 SOS 13712 HAS SOPS 11603 HAS SOUS 7133 HAS SOUPS 6599 WITH SCORE 6612.712
AT ITER 128 NEW BEST:: SOT 21449 SOS 13570 HAS SOPS 11589 HAS SOUS 7000 HAS SOUPS 6513 WITH SCORE 6526.57
AT ITER 129 NEW BEST:: SOT 21467 SOS 13562 HAS SOPS 11590 HAS SOUS 6965 HAS SOUPS 6487 WITH SCORE 6500.562
AT ITER 131 NEW BEST:: SOT 21558 SOS 13601 HAS SOPS 11611 HAS SOUS 6944 HAS SOUPS 6466 WITH SCORE 6479.601
AT ITER 136 NEW BEST:: SOT 21478 SOS 13534 HAS SOPS 11609 HAS SOUS 6941 HAS SOUPS 6451 WITH SCORE 6464.534
AT ITER 140 NEW BEST:: SOT 21473 SOS 13529 HAS SOPS 11604 HAS SOUS 6941 HAS SOUPS 6451 WITH SCORE 6464.529
AT ITER 143 NEW BEST:: SOT 21519 SOS 13552 HAS SOPS 11627 HAS SOUS 6872 HAS SOUPS 6382 WITH SCORE 6395.552
AT ITER 146 NEW BEST:: SOT 21519 SOS 13822 HAS SOPS 11897 HAS SOUS 6869 HAS SOUPS 6379 WITH SCORE 6392.822
AT ITER 149 NEW BEST:: SOT 20702 SOS 13171 HAS SOPS 11574 HAS SOUS 6428 HAS SOUPS 6031 WITH SCORE 6044.171
AT ITER 151 NEW BEST:: SOT 20717 SOS 13129 HAS SOPS 11532 HAS SOUS 6404 HAS SOUPS 6007 WITH SCORE 6020.129
AT ITER 157 NEW BEST:: SOT 20706 SOS 13118 HAS SOPS 11521 HAS SOUS 6360 HAS SOUPS 5963 WITH SCORE 5976.118
AT ITER 158 NEW BEST:: SOT 20869 SOS 13228 HAS SOPS 11631 HAS SOUS 6334 HAS SOUPS 5937 WITH SCORE 5950.228
AT ITER 159 NEW BEST:: SOT 20792 SOS 13160 HAS SOPS 11563 HAS SOUS 6314 HAS SOUPS 5917 WITH SCORE 5930.16
AT ITER 164 NEW BEST:: SOT 20729 SOS 13110 HAS SOPS 11513 HAS SOUS 6277 HAS SOUPS 5880 WITH SCORE 5893.11
AT ITER 175 NEW BEST:: SOT 20176 SOS 12701 HAS SOPS 11059 HAS SOUS 6112 HAS SOUPS 5654 WITH SCORE 5666.701
AT ITER 179 NEW BEST:: SOT 20145 SOS 12589 HAS SOPS 10972 HAS SOUS 6061 HAS SOUPS 5603 WITH SCORE 5615.589
AT ITER 181 NEW BEST:: SOT 20007 SOS 12455 HAS SOPS 10829 HAS SOUS 5957 HAS SOUPS 5508 WITH SCORE 5520.455
AT ITER 194 NEW BEST:: SOT 19995 SOS 12408 HAS SOPS 10743 HAS SOUS 5954 HAS SOUPS 5478 WITH SCORE 5490.408
AT ITER 201 NEW BEST:: SOT 20118 SOS 12341 HAS SOPS 10678 HAS SOUS 5919 HAS SOUPS 5469 WITH SCORE 5481.341
AT ITER 202 NEW BEST:: SOT 20118 SOS 12362 HAS SOPS 10699 HAS SOUS 5903 HAS SOUPS 5460 WITH SCORE 5472.362
AT ITER 204 NEW BEST:: SOT 20020 SOS 12355 HAS SOPS 10711 HAS SOUS 5871 HAS SOUPS 5442 WITH SCORE 5454.355
AT ITER 210 NEW BEST:: SOT 20009 SOS 12322 HAS SOPS 10678 HAS SOUS 5871 HAS SOUPS 5442 WITH SCORE 5454.322
AT ITER 213 NEW BEST:: SOT 20009 SOS 12324 HAS SOPS 10682 HAS SOUS 5862 HAS SOUPS 5435 WITH SCORE 5447.324
AT ITER 214 NEW BEST:: SOT 19985 SOS 12276 HAS SOPS 10626 HAS SOUS 5846 HAS SOUPS 5411 WITH SCORE 5423.276
AT ITER 216 NEW BEST:: SOT 20004 SOS 12128 HAS SOPS 10530 HAS SOUS 5827 HAS SOUPS 5392 WITH SCORE 5404.128
AT ITER 223 NEW BEST:: SOT 19920 SOS 11994 HAS SOPS 10371 HAS SOUS 5802 HAS SOUPS 5370 WITH SCORE 5381.994
AT ITER 225 NEW BEST:: SOT 19907 SOS 11981 HAS SOPS 10363 HAS SOUS 5780 HAS SOUPS 5348 WITH SCORE 5359.981
AT ITER 226 NEW BEST:: SOT 19976 SOS 12054 HAS SOPS 10499 HAS SOUS 5764 HAS SOUPS 5332 WITH SCORE 5344.054
AT ITER 229 NEW BEST:: SOT 20048 SOS 12090 HAS SOPS 10499 HAS SOUS 5704 HAS SOUPS 5272 WITH SCORE 5284.09
AT ITER 232 NEW BEST:: SOT 19940 SOS 12067 HAS SOPS 10429 HAS SOUS 5684 HAS SOUPS 5240 WITH SCORE 5252.067
AT ITER 236 NEW BEST:: SOT 19916 SOS 12051 HAS SOPS 10409 HAS SOUS 5680 HAS SOUPS 5236 WITH SCORE 5248.051
AT ITER 253 NEW BEST:: SOT 19626 SOS 11799 HAS SOPS 10155 HAS SOUS 5686 HAS SOUPS 5204 WITH SCORE 5215.799
AT ITER 257 NEW BEST:: SOT 19645 SOS 11818 HAS SOPS 10160 HAS SOUS 5677 HAS SOUPS 5195 WITH SCORE 5206.818
AT ITER 258 NEW BEST:: SOT 19715 SOS 11860 HAS SOPS 10202 HAS SOUS 5663 HAS SOUPS 5181 WITH SCORE 5192.86
AT ITER 266 NEW BEST:: SOT 19710 SOS 11855 HAS SOPS 10197 HAS SOUS 5662 HAS SOUPS 5180 WITH SCORE 5191.855
AT ITER 269 NEW BEST:: SOT 19693 SOS 11539 HAS SOPS 9877 HAS SOUS 5662 HAS SOUPS 5180 WITH SCORE 5191.539
AT ITER 271 NEW BEST:: SOT 19753 SOS 11499 HAS SOPS 9873 HAS SOUS 5662 HAS SOUPS 5180 WITH SCORE 5191.499
AT ITER 281 NEW BEST:: SOT 19743 SOS 11479 HAS SOPS 9853 HAS SOUS 5639 HAS SOUPS 5159 WITH SCORE 5170.479
AT ITER 282 NEW BEST:: SOT 19743 SOS 10856 HAS SOPS 9230 HAS SOUS 5635 HAS SOUPS 5155 WITH SCORE 5165.856
AT ITER 285 NEW BEST:: SOT 19779 SOS 10856 HAS SOPS 9230 HAS SOUS 5599 HAS SOUPS 5119 WITH SCORE 5129.856
AT ITER 286 NEW BEST:: SOT 19729 SOS 10829 HAS SOPS 9209 HAS SOUS 5580 HAS SOUPS 5106 WITH SCORE 5116.829
AT ITER 289 NEW BEST:: SOT 19720 SOS 10820 HAS SOPS 9191 HAS SOUS 5571 HAS SOUPS 5097 WITH SCORE 5107.82
AT ITER 290 NEW BEST:: SOT 19705 SOS 10818 HAS SOPS 9189 HAS SOUS 5570 HAS SOUPS 5096 WITH SCORE 5106.818
AT ITER 302 NEW BEST:: SOT 19691 SOS 10732 HAS SOPS 9122 HAS SOUS 5541 HAS SOUPS 5067 WITH SCORE 5077.732
AT ITER 317 NEW BEST:: SOT 19973 SOS 10724 HAS SOPS 9114 HAS SOUS 5480 HAS SOUPS 5006 WITH SCORE 5016.724
AT ITER 319 NEW BEST:: SOT 20002 SOS 10733 HAS SOPS 9123 HAS SOUS 5429 HAS SOUPS 4955 WITH SCORE 4965.733
AT ITER 326 NEW BEST:: SOT 19985 SOS 10716 HAS SOPS 9109 HAS SOUS 5413 HAS SOUPS 4941 WITH SCORE 4951.716
AT ITER 329 NEW BEST:: SOT 19941 SOS 10672 HAS SOPS 9065 HAS SOUS 5369 HAS SOUPS 4897 WITH SCORE 4907.672
AT ITER 346 NEW BEST:: SOT 19941 SOS 10660 HAS SOPS 9049 HAS SOUS 5345 HAS SOUPS 4873 WITH SCORE 4883.66
AT ITER 351 NEW BEST:: SOT 19914 SOS 10633 HAS SOPS 9013 HAS SOUS 5318 HAS SOUPS 4837 WITH SCORE 4847.633
AT ITER 356 NEW BEST:: SOT 20052 SOS 10673 HAS SOPS 9092 HAS SOUS 5301 HAS SOUPS 4820 WITH SCORE 4830.673
AT ITER 357 NEW BEST:: SOT 20042 SOS 10667 HAS SOPS 9077 HAS SOUS 5286 HAS SOUPS 4805 WITH SCORE 4815.667
AT ITER 358 NEW BEST:: SOT 20048 SOS 10649 HAS SOPS 9059 HAS SOUS 5286 HAS SOUPS 4805 WITH SCORE 4815.649
AT ITER 362 NEW BEST:: SOT 20035 SOS 10685 HAS SOPS 9087 HAS SOUS 5266 HAS SOUPS 4785 WITH SCORE 4795.685
AT ITER 367 NEW BEST:: SOT 20045 SOS 10687 HAS SOPS 9089 HAS SOUS 5231 HAS SOUPS 4756 WITH SCORE 4766.687
AT ITER 374 NEW BEST:: SOT 20053 SOS 10679 HAS SOPS 9081 HAS SOUS 5227 HAS SOUPS 4752 WITH SCORE 4762.679
AT ITER 386 NEW BEST:: SOT 20025 SOS 10651 HAS SOPS 9045 HAS SOUS 5201 HAS SOUPS 4726 WITH SCORE 4736.651
AT ITER 388 NEW BEST:: SOT 19937 SOS 10563 HAS SOPS 8985 HAS SOUS 5131 HAS SOUPS 4674 WITH SCORE 4684.563
AT ITER 391 NEW BEST:: SOT 19983 SOS 10583 HAS SOPS 9010 HAS SOUS 5119 HAS SOUPS 4662 WITH SCORE 4672.583
AT ITER 400 NEW BEST:: SOT 19993 SOS 10603 HAS SOPS 9030 HAS SOUS 5115 HAS SOUPS 4658 WITH SCORE 4668.603
AT ITER 403 NEW BEST:: SOT 19989 SOS 10609 HAS SOPS 9030 HAS SOUS 5109 HAS SOUPS 4652 WITH SCORE 4662.609
AT ITER 405 NEW BEST:: SOT 19964 SOS 10619 HAS SOPS 9028 HAS SOUS 5107 HAS SOUPS 4648 WITH SCORE 4658.619
AT ITER 422 NEW BEST:: SOT 19964 SOS 10607 HAS SOPS 9016 HAS SOUS 5107 HAS SOUPS 4648 WITH SCORE 4658.607
AT ITER 423 NEW BEST:: SOT 20019 SOS 11196 HAS SOPS 9042 HAS SOUS 5149 HAS SOUPS 4643 WITH SCORE 4654.196
AT ITER 427 NEW BEST:: SOT 19955 SOS 11151 HAS SOPS 9055 HAS SOUS 5011 HAS SOUPS 4535 WITH SCORE 4546.151
AT ITER 428 NEW BEST:: SOT 19991 SOS 11258 HAS SOPS 9186 HAS SOUS 4992 HAS SOUPS 4516 WITH SCORE 4527.258
AT ITER 432 NEW BEST:: SOT 19985 SOS 11231 HAS SOPS 9159 HAS SOUS 4986 HAS SOUPS 4510 WITH SCORE 4521.231
AT ITER 436 NEW BEST:: SOT 19959 SOS 11217 HAS SOPS 9126 HAS SOUS 4976 HAS SOUPS 4492 WITH SCORE 4503.217
AT ITER 444 NEW BEST:: SOT 19932 SOS 11191 HAS SOPS 9095 HAS SOUS 4955 HAS SOUPS 4464 WITH SCORE 4475.191
AT ITER 445 NEW BEST:: SOT 19724 SOS 11158 HAS SOPS 9062 HAS SOUS 4934 HAS SOUPS 4443 WITH SCORE 4454.158
AT ITER 451 NEW BEST:: SOT 19711 SOS 11101 HAS SOPS 9040 HAS SOUS 4864 HAS SOUPS 4393 WITH SCORE 4404.101
AT ITER 452 NEW BEST:: SOT 19561 SOS 11711 HAS SOPS 8940 HAS SOUS 4835 HAS SOUPS 4346 WITH SCORE 4357.711
AT ITER 455 NEW BEST:: SOT 18867 SOS 11872 HAS SOPS 8901 HAS SOUS 4667 HAS SOUPS 4209 WITH SCORE 4220.872
AT ITER 457 NEW BEST:: SOT 18860 SOS 11859 HAS SOPS 8888 HAS SOUS 4665 HAS SOUPS 4207 WITH SCORE 4218.859
AT ITER 458 NEW BEST:: SOT 18847 SOS 11854 HAS SOPS 8956 HAS SOUS 4623 HAS SOUPS 4168 WITH SCORE 4179.854
AT ITER 464 NEW BEST:: SOT 18883 SOS 11844 HAS SOPS 8946 HAS SOUS 4613 HAS SOUPS 4158 WITH SCORE 4169.844
AT ITER 466 NEW BEST:: SOT 18882 SOS 11844 HAS SOPS 9031 HAS SOUS 4612 HAS SOUPS 4157 WITH SCORE 4168.844
AT ITER 467 NEW BEST:: SOT 18939 SOS 11825 HAS SOPS 9008 HAS SOUS 4604 HAS SOUPS 4149 WITH SCORE 4160.825
AT ITER 487 NEW BEST:: SOT 18814 SOS 11749 HAS SOPS 8944 HAS SOUS 4536 HAS SOUPS 4081 WITH SCORE 4092.749
AT ITER 489 NEW BEST:: SOT 18804 SOS 11743 HAS SOPS 8938 HAS SOUS 4536 HAS SOUPS 4081 WITH SCORE 4092.743
AT ITER 499 NEW BEST:: SOT 18829 SOS 11773 HAS SOPS 8958 HAS SOUS 4492 HAS SOUPS 4032 WITH SCORE 4043.773
AT ITER 506 NEW BEST:: SOT 18814 SOS 11783 HAS SOPS 8928 HAS SOUS 4484 HAS SOUPS 4008 WITH SCORE 4019.783
AT ITER 511 NEW BEST:: SOT 18742 SOS 11648 HAS SOPS 8767 HAS SOUS 4388 HAS SOUPS 3912 WITH SCORE 3923.648
AT ITER 519 NEW BEST:: SOT 18728 SOS 11796 HAS SOPS 8763 HAS SOUS 4388 HAS SOUPS 3908 WITH SCORE 3919.796
AT ITER 524 NEW BEST:: SOT 18756 SOS 11812 HAS SOPS 8771 HAS SOUS 4392 HAS SOUPS 3904 WITH SCORE 3915.812
AT ITER 526 NEW BEST:: SOT 18736 SOS 11776 HAS SOPS 8739 HAS SOUS 4376 HAS SOUPS 3888 WITH SCORE 3899.776
AT ITER 527 NEW BEST:: SOT 18736 SOS 11770 HAS SOPS 8731 HAS SOUS 4370 HAS SOUPS 3882 WITH SCORE 3893.77
AT ITER 552 NEW BEST:: SOT 18732 SOS 11750 HAS SOPS 8715 HAS SOUS 4366 HAS SOUPS 3878 WITH SCORE 3889.75
AT ITER 562 NEW BEST:: SOT 18630 SOS 11673 HAS SOPS 8678 HAS SOUS 4342 HAS SOUPS 3853 WITH SCORE 3864.673
AT ITER 575 NEW BEST:: SOT 18565 SOS 11632 HAS SOPS 8637 HAS SOUS 4336 HAS SOUPS 3847 WITH SCORE 3858.632
AT ITER 577 NEW BEST:: SOT 18812 SOS 11157 HAS SOPS 8637 HAS SOUS 4305 HAS SOUPS 3845 WITH SCORE 3856.157
AT ITER 591 NEW BEST:: SOT 18809 SOS 11098 HAS SOPS 8578 HAS SOUS 4297 HAS SOUPS 3837 WITH SCORE 3848.098
AT ITER 601 NEW BEST:: SOT 18799 SOS 11088 HAS SOPS 8568 HAS SOUS 4287 HAS SOUPS 3827 WITH SCORE 3838.088
AT ITER 622 NEW BEST:: SOT 18842 SOS 11104 HAS SOPS 8558 HAS SOUS 4281 HAS SOUPS 3825 WITH SCORE 3836.104
AT ITER 633 NEW BEST:: SOT 18807 SOS 10945 HAS SOPS 8399 HAS SOUS 4175 HAS SOUPS 3719 WITH SCORE 3729.945
AT ITER 640 NEW BEST:: SOT 18815 SOS 10941 HAS SOPS 8391 HAS SOUS 4159 HAS SOUPS 3703 WITH SCORE 3713.941
AT ITER 652 NEW BEST:: SOT 18848 SOS 10799 HAS SOPS 8249 HAS SOUS 4088 HAS SOUPS 3632 WITH SCORE 3642.799
AT ITER 655 NEW BEST:: SOT 18802 SOS 10773 HAS SOPS 8234 HAS SOUS 4064 HAS SOUPS 3618 WITH SCORE 3628.773
AT ITER 661 NEW BEST:: SOT 18796 SOS 10767 HAS SOPS 8226 HAS SOUS 4058 HAS SOUPS 3612 WITH SCORE 3622.767
AT ITER 686 NEW BEST:: SOT 18755 SOS 10694 HAS SOPS 8174 HAS SOUS 4039 HAS SOUPS 3590 WITH SCORE 3600.694
AT ITER 707 NEW BEST:: SOT 18785 SOS 10724 HAS SOPS 8168 HAS SOUS 4047 HAS SOUPS 3584 WITH SCORE 3594.724
AT ITER 714 NEW BEST:: SOT 18610 SOS 10606 HAS SOPS 8079 HAS SOUS 4045 HAS SOUPS 3582 WITH SCORE 3592.606
AT ITER 727 NEW BEST:: SOT 18311 SOS 11120 HAS SOPS 7971 HAS SOUS 4026 HAS SOUPS 3527 WITH SCORE 3538.12
AT ITER 732 NEW BEST:: SOT 18318 SOS 11033 HAS SOPS 7884 HAS SOUS 3993 HAS SOUPS 3494 WITH SCORE 3505.033
AT ITER 765 NEW BEST:: SOT 18326 SOS 11043 HAS SOPS 7893 HAS SOUS 3989 HAS SOUPS 3490 WITH SCORE 3501.043
AT ITER 774 NEW BEST:: SOT 18345 SOS 11070 HAS SOPS 7918 HAS SOUS 3985 HAS SOUPS 3486 WITH SCORE 3497.07
AT ITER 783 NEW BEST:: SOT 18351 SOS 10986 HAS SOPS 7834 HAS SOUS 3941 HAS SOUPS 3442 WITH SCORE 3452.986
AT ITER 795 NEW BEST:: SOT 18292 SOS 10927 HAS SOPS 7777 HAS SOUS 3888 HAS SOUPS 3389 WITH SCORE 3399.927
AT ITER 800 NEW BEST:: SOT 18296 SOS 10921 HAS SOPS 7766 HAS SOUS 3871 HAS SOUPS 3372 WITH SCORE 3382.921
AT ITER 801 NEW BEST:: SOT 18282 SOS 10949 HAS SOPS 7758 HAS SOUS 3865 HAS SOUPS 3358 WITH SCORE 3368.949
AT ITER 807 NEW BEST:: SOT 18341 SOS 11024 HAS SOPS 7831 HAS SOUS 3849 HAS SOUPS 3342 WITH SCORE 3353.024
AT ITER 809 NEW BEST:: SOT 18334 SOS 11022 HAS SOPS 7823 HAS SOUS 3841 HAS SOUPS 3334 WITH SCORE 3345.022
AT ITER 816 NEW BEST:: SOT 18328 SOS 11016 HAS SOPS 7817 HAS SOUS 3835 HAS SOUPS 3328 WITH SCORE 3339.016
AT ITER 875 NEW BEST:: SOT 18320 SOS 11008 HAS SOPS 7808 HAS SOUS 3835 HAS SOUPS 3328 WITH SCORE 3339.008
AT ITER 876 NEW BEST:: SOT 18320 SOS 11004 HAS SOPS 7804 HAS SOUS 3833 HAS SOUPS 3326 WITH SCORE 3337.004
AT ITER 887 NEW BEST:: SOT 18315 SOS 10994 HAS SOPS 7799 HAS SOUS 3819 HAS SOUPS 3312 WITH SCORE 3322.994
AT ITER 890 NEW BEST:: SOT 18404 SOS 11070 HAS SOPS 7858 HAS SOUS 3829 HAS SOUPS 3307 WITH SCORE 3318.07
AT ITER 893 NEW BEST:: SOT 18498 SOS 11109 HAS SOPS 7874 HAS SOUS 3816 HAS SOUPS 3277 WITH SCORE 3288.109
AT ITER 902 NEW BEST:: SOT 18482 SOS 11081 HAS SOPS 7850 HAS SOUS 3803 HAS SOUPS 3264 WITH SCORE 3275.081
AT ITER 904 NEW BEST:: SOT 18479 SOS 11050 HAS SOPS 7816 HAS SOUS 3755 HAS SOUPS 3216 WITH SCORE 3227.05
AT ITER 921 NEW BEST:: SOT 18511 SOS 11066 HAS SOPS 7824 HAS SOUS 3751 HAS SOUPS 3212 WITH SCORE 3223.066
AT ITER 930 NEW BEST:: SOT 18519 SOS 11070 HAS SOPS 7828 HAS SOUS 3747 HAS SOUPS 3208 WITH SCORE 3219.07
AT ITER 942 NEW BEST:: SOT 18519 SOS 11040 HAS SOPS 7846 HAS SOUS 3735 HAS SOUPS 3196 WITH SCORE 3207.04
AT ITER 958 NEW BEST:: SOT 18577 SOS 11069 HAS SOPS 7862 HAS SOUS 3716 HAS SOUPS 3177 WITH SCORE 3188.069
AT ITER 1002 NEW BEST:: SOT 18572 SOS 11063 HAS SOPS 7856 HAS SOUS 3713 HAS SOUPS 3174 WITH SCORE 3185.063
AT ITER 1010 NEW BEST:: SOT 18539 SOS 11039 HAS SOPS 7825 HAS SOUS 3712 HAS SOUPS 3166 WITH SCORE 3177.039
AT ITER 1040 NEW BEST:: SOT 18557 SOS 10847 HAS SOPS 7825 HAS SOUS 3719 HAS SOUPS 3166 WITH SCORE 3176.847
AT ITER 1050 NEW BEST:: SOT 18569 SOS 10847 HAS SOPS 7825 HAS SOUS 3715 HAS SOUPS 3162 WITH SCORE 3172.847
AT ITER 1067 NEW BEST:: SOT 18746 SOS 10977 HAS SOPS 7915 HAS SOUS 3692 HAS SOUPS 3139 WITH SCORE 3149.977
AT ITER 1078 NEW BEST:: SOT 18737 SOS 10965 HAS SOPS 7903 HAS SOUS 3686 HAS SOUPS 3133 WITH SCORE 3143.965
AT ITER 1084 NEW BEST:: SOT 18806 SOS 10995 HAS SOPS 7933 HAS SOUS 3677 HAS SOUPS 3124 WITH SCORE 3134.995
AT ITER 1093 NEW BEST:: SOT 18794 SOS 10975 HAS SOPS 7917 HAS SOUS 3673 HAS SOUPS 3120 WITH SCORE 3130.975
AT ITER 1094 NEW BEST:: SOT 18881 SOS 11004 HAS SOPS 7917 HAS SOUS 3586 HAS SOUPS 3033 WITH SCORE 3044.004
AT ITER 1105 NEW BEST:: SOT 18881 SOS 11003 HAS SOPS 7915 HAS SOUS 3585 HAS SOUPS 3032 WITH SCORE 3043.003
AT ITER 1112 NEW BEST:: SOT 18935 SOS 11024 HAS SOPS 7933 HAS SOUS 3567 HAS SOUPS 3018 WITH SCORE 3029.024
AT ITER 1118 NEW BEST:: SOT 18935 SOS 11008 HAS SOPS 7917 HAS SOUS 3559 HAS SOUPS 3010 WITH SCORE 3021.008
AT ITER 1126 NEW BEST:: SOT 18887 SOS 10988 HAS SOPS 7917 HAS SOUS 3559 HAS SOUPS 3006 WITH SCORE 3016.988
AT ITER 1129 NEW BEST:: SOT 18878 SOS 10980 HAS SOPS 7914 HAS SOUS 3558 HAS SOUPS 3005 WITH SCORE 3015.98
AT ITER 1144 NEW BEST:: SOT 18860 SOS 10962 HAS SOPS 7899 HAS SOUS 3558 HAS SOUPS 3005 WITH SCORE 3015.962
AT ITER 1151 NEW BEST:: SOT 18847 SOS 10937 HAS SOPS 7881 HAS SOUS 3548 HAS SOUPS 2995 WITH SCORE 3005.937
AT ITER 1165 NEW BEST:: SOT 18842 SOS 10933 HAS SOPS 7878 HAS SOUS 3548 HAS SOUPS 2995 WITH SCORE 3005.933
AT ITER 1178 NEW BEST:: SOT 18789 SOS 10916 HAS SOPS 7876 HAS SOUS 3550 HAS SOUPS 2993 WITH SCORE 3003.916
AT ITER 1180 NEW BEST:: SOT 18787 SOS 10902 HAS SOPS 7872 HAS SOUS 3544 HAS SOUPS 2987 WITH SCORE 2997.902
AT ITER 1192 NEW BEST:: SOT 18751 SOS 10866 HAS SOPS 7872 HAS SOUS 3522 HAS SOUPS 2987 WITH SCORE 2997.866
AT ITER 1214 NEW BEST:: SOT 18511 SOS 11404 HAS SOPS 7870 HAS SOUS 3548 HAS SOUPS 2984 WITH SCORE 2995.404
AT ITER 1223 NEW BEST:: SOT 18508 SOS 11405 HAS SOPS 7871 HAS SOUS 3545 HAS SOUPS 2981 WITH SCORE 2992.405
AT ITER 1227 NEW BEST:: SOT 18504 SOS 11401 HAS SOPS 7865 HAS SOUS 3535 HAS SOUPS 2971 WITH SCORE 2982.401
AT ITER 1245 NEW BEST:: SOT 18501 SOS 11398 HAS SOPS 7863 HAS SOUS 3533 HAS SOUPS 2969 WITH SCORE 2980.398
AT ITER 1261 NEW BEST:: SOT 18475 SOS 11378 HAS SOPS 7842 HAS SOUS 3528 HAS SOUPS 2964 WITH SCORE 2975.378
AT ITER 1271 NEW BEST:: SOT 18463 SOS 11354 HAS SOPS 7818 HAS SOUS 3522 HAS SOUPS 2958 WITH SCORE 2969.354
AT ITER 1300 NEW BEST:: SOT 18455 SOS 11432 HAS SOPS 7877 HAS SOUS 3515 HAS SOUPS 2951 WITH SCORE 2962.432
AT ITER 1306 NEW BEST:: SOT 18452 SOS 11429 HAS SOPS 7874 HAS SOUS 3512 HAS SOUPS 2948 WITH SCORE 2959.429
AT ITER 1317 NEW BEST:: SOT 18441 SOS 11358 HAS SOPS 7822 HAS SOUS 3490 HAS SOUPS 2926 WITH SCORE 2937.358
AT ITER 1360 NEW BEST:: SOT 18447 SOS 11307 HAS SOPS 7771 HAS SOUS 3461 HAS SOUPS 2897 WITH SCORE 2908.307
AT ITER 1368 NEW BEST:: SOT 18441 SOS 11304 HAS SOPS 7764 HAS SOUS 3462 HAS SOUPS 2895 WITH SCORE 2906.304
AT ITER 1370 NEW BEST:: SOT 18436 SOS 11303 HAS SOPS 7748 HAS SOUS 3454 HAS SOUPS 2887 WITH SCORE 2898.303
AT ITER 1390 NEW BEST:: SOT 18438 SOS 11285 HAS SOPS 7744 HAS SOUS 3444 HAS SOUPS 2887 WITH SCORE 2898.285
AT ITER 1393 NEW BEST:: SOT 18438 SOS 11255 HAS SOPS 7714 HAS SOUS 3408 HAS SOUPS 2851 WITH SCORE 2862.255
AT ITER 1402 NEW BEST:: SOT 18458 SOS 11203 HAS SOPS 7718 HAS SOUS 3402 HAS SOUPS 2851 WITH SCORE 2862.203
AT ITER 1441 NEW BEST:: SOT 18451 SOS 11196 HAS SOPS 7711 HAS SOUS 3401 HAS SOUPS 2850 WITH SCORE 2861.196
AT ITER 1449 NEW BEST:: SOT 18433 SOS 11182 HAS SOPS 7686 HAS SOUS 3375 HAS SOUPS 2824 WITH SCORE 2835.182
AT ITER 1499 NEW BEST:: SOT 18402 SOS 11169 HAS SOPS 7655 HAS SOUS 3375 HAS SOUPS 2821 WITH SCORE 2832.169
AT ITER 1542 NEW BEST:: SOT 18402 SOS 11149 HAS SOPS 7695 HAS SOUS 3362 HAS SOUPS 2816 WITH SCORE 2827.149
AT ITER 1567 NEW BEST:: SOT 18401 SOS 11110 HAS SOPS 7707 HAS SOUS 3319 HAS SOUPS 2793 WITH SCORE 2804.11
AT ITER 1570 NEW BEST:: SOT 18397 SOS 11102 HAS SOPS 7699 HAS SOUS 3311 HAS SOUPS 2785 WITH SCORE 2796.102
AT ITER 1597 NEW BEST:: SOT 18394 SOS 11058 HAS SOPS 7674 HAS SOUS 3311 HAS SOUPS 2785 WITH SCORE 2796.058
AT ITER 1622 NEW BEST:: SOT 18386 SOS 11026 HAS SOPS 7642 HAS SOUS 3291 HAS SOUPS 2765 WITH SCORE 2776.026
AT ITER 1630 NEW BEST:: SOT 18380 SOS 11003 HAS SOPS 7620 HAS SOUS 3276 HAS SOUPS 2750 WITH SCORE 2761.003
AT ITER 1664 NEW BEST:: SOT 18347 SOS 10973 HAS SOPS 7572 HAS SOUS 3249 HAS SOUPS 2723 WITH SCORE 2733.973
AT ITER 1702 NEW BEST:: SOT 18336 SOS 10969 HAS SOPS 7568 HAS SOUS 3245 HAS SOUPS 2719 WITH SCORE 2729.969
AT ITER 1711 NEW BEST:: SOT 18333 SOS 10957 HAS SOPS 7556 HAS SOUS 3242 HAS SOUPS 2716 WITH SCORE 2726.957
AT ITER 1729 NEW BEST:: SOT 18287 SOS 10943 HAS SOPS 7544 HAS SOUS 3246 HAS SOUPS 2704 WITH SCORE 2714.943
AT ITER 1736 NEW BEST:: SOT 18286 SOS 10929 HAS SOPS 7530 HAS SOUS 3233 HAS SOUPS 2691 WITH SCORE 2701.929
AT ITER 1787 NEW BEST:: SOT 18279 SOS 10920 HAS SOPS 7526 HAS SOUS 3226 HAS SOUPS 2685 WITH SCORE 2695.92
AT ITER 1859 NEW BEST:: SOT 18272 SOS 10917 HAS SOPS 7524 HAS SOUS 3223 HAS SOUPS 2682 WITH SCORE 2692.917
AT ITER 1860 NEW BEST:: SOT 18251 SOS 10899 HAS SOPS 7509 HAS SOUS 3208 HAS SOUPS 2667 WITH SCORE 2677.899
AT ITER 1892 NEW BEST:: SOT 18248 SOS 10893 HAS SOPS 7503 HAS SOUS 3205 HAS SOUPS 2664 WITH SCORE 2674.893
AT ITER 1942 NEW BEST:: SOT 18218 SOS 10869 HAS SOPS 7485 HAS SOUS 3205 HAS SOUPS 2664 WITH SCORE 2674.869
AT ITER 1973 NEW BEST:: SOT 18218 SOS 10867 HAS SOPS 7485 HAS SOUS 3205 HAS SOUPS 2664 WITH SCORE 2674.867
AT ITER 1981 NEW BEST:: SOT 18230 SOS 10871 HAS SOPS 7484 HAS SOUS 3188 HAS SOUPS 2647 WITH SCORE 2657.871
AT ITER 1986 NEW BEST:: SOT 18159 SOS 10815 HAS SOPS 7434 HAS SOUS 3172 HAS SOUPS 2631 WITH SCORE 2641.815
AT ITER 2009 NEW BEST:: SOT 18161 SOS 10813 HAS SOPS 7434 HAS SOUS 3171 HAS SOUPS 2630 WITH SCORE 2640.813
AT ITER 2035 NEW BEST:: SOT 18162 SOS 10811 HAS SOPS 7432 HAS SOUS 3170 HAS SOUPS 2629 WITH SCORE 2639.811
AT ITER 2053 NEW BEST:: SOT 18163 SOS 10808 HAS SOPS 7429 HAS SOUS 3170 HAS SOUPS 2629 WITH SCORE 2639.808
AT ITER 2055 NEW BEST:: SOT 18161 SOS 10806 HAS SOPS 7451 HAS SOUS 3168 HAS SOUPS 2627 WITH SCORE 2637.806
AT ITER 2149 NEW BEST:: SOT 18144 SOS 10712 HAS SOPS 7374 HAS SOUS 3125 HAS SOUPS 2584 WITH SCORE 2594.712
AT ITER 2188 NEW BEST:: SOT 18145 SOS 10713 HAS SOPS 7374 HAS SOUS 3125 HAS SOUPS 2583 WITH SCORE 2593.713
AT ITER 2239 NEW BEST:: SOT 18145 SOS 10693 HAS SOPS 7364 HAS SOUS 3125 HAS SOUPS 2583 WITH SCORE 2593.693
AT ITER 2250 NEW BEST:: SOT 18139 SOS 10687 HAS SOPS 7360 HAS SOUS 3121 HAS SOUPS 2581 WITH SCORE 2591.687
AT ITER 2304 NEW BEST:: SOT 18132 SOS 10682 HAS SOPS 7355 HAS SOUS 3117 HAS SOUPS 2577 WITH SCORE 2587.682
AT ITER 2321 NEW BEST:: SOT 18147 SOS 10696 HAS SOPS 7365 HAS SOUS 3114 HAS SOUPS 2574 WITH SCORE 2584.696
AT ITER 2385 NEW BEST:: SOT 18148 SOS 10671 HAS SOPS 7340 HAS SOUS 3109 HAS SOUPS 2569 WITH SCORE 2579.671
AT ITER 2389 NEW BEST:: SOT 18150 SOS 10670 HAS SOPS 7339 HAS SOUS 3108 HAS SOUPS 2568 WITH SCORE 2578.67
AT ITER 2392 NEW BEST:: SOT 18172 SOS 10540 HAS SOPS 7339 HAS SOUS 3110 HAS SOUPS 2568 WITH SCORE 2578.54
AT ITER 2478 NEW BEST:: SOT 18163 SOS 10562 HAS SOPS 7335 HAS SOUS 3112 HAS SOUPS 2566 WITH SCORE 2576.562
AT ITER 2479 NEW BEST:: SOT 18161 SOS 10554 HAS SOPS 7327 HAS SOUS 3106 HAS SOUPS 2560 WITH SCORE 2570.554
AT ITER 2516 NEW BEST:: SOT 18167 SOS 10554 HAS SOPS 7324 HAS SOUS 3094 HAS SOUPS 2548 WITH SCORE 2558.554
AT ITER 2528 NEW BEST:: SOT 18161 SOS 10551 HAS SOPS 7316 HAS SOUS 3094 HAS SOUPS 2546 WITH SCORE 2556.551
AT ITER 2574 NEW BEST:: SOT 18191 SOS 10567 HAS SOPS 7332 HAS SOUS 3072 HAS SOUPS 2524 WITH SCORE 2534.567
AT ITER 2642 NEW BEST:: SOT 18184 SOS 10601 HAS SOPS 7342 HAS SOUS 3066 HAS SOUPS 2518 WITH SCORE 2528.601
AT ITER 2645 NEW BEST:: SOT 18175 SOS 10589 HAS SOPS 7330 HAS SOUS 3060 HAS SOUPS 2512 WITH SCORE 2522.589
AT ITER 2674 NEW BEST:: SOT 18169 SOS 10585 HAS SOPS 7322 HAS SOUS 3054 HAS SOUPS 2506 WITH SCORE 2516.585
AT ITER 2687 NEW BEST:: SOT 18168 SOS 10582 HAS SOPS 7319 HAS SOUS 3052 HAS SOUPS 2504 WITH SCORE 2514.582
AT ITER 2762 NEW BEST:: SOT 18158 SOS 10572 HAS SOPS 7309 HAS SOUS 3050 HAS SOUPS 2502 WITH SCORE 2512.572
AT ITER 2818 NEW BEST:: SOT 18149 SOS 10569 HAS SOPS 7306 HAS SOUS 3038 HAS SOUPS 2490 WITH SCORE 2500.569
AT ITER 2824 NEW BEST:: SOT 18150 SOS 10569 HAS SOPS 7294 HAS SOUS 3036 HAS SOUPS 2488 WITH SCORE 2498.569
AT ITER 2928 NEW BEST:: SOT 18145 SOS 10554 HAS SOPS 7279 HAS SOUS 3029 HAS SOUPS 2481 WITH SCORE 2491.554
AT ITER 2967 NEW BEST:: SOT 18137 SOS 10538 HAS SOPS 7263 HAS SOUS 3005 HAS SOUPS 2459 WITH SCORE 2469.538
AT ITER 2996 NEW BEST:: SOT 18125 SOS 10529 HAS SOPS 7248 HAS SOUS 3008 HAS SOUPS 2459 WITH SCORE 2469.529
AT ITER 3026 NEW BEST:: SOT 18119 SOS 10528 HAS SOPS 7248 HAS SOUS 3010 HAS SOUPS 2459 WITH SCORE 2469.528
AT ITER 3059 NEW BEST:: SOT 18118 SOS 10518 HAS SOPS 7238 HAS SOUS 2998 HAS SOUPS 2447 WITH SCORE 2457.518
AT ITER 3060 NEW BEST:: SOT 18117 SOS 10516 HAS SOPS 7236 HAS SOUS 2996 HAS SOUPS 2445 WITH SCORE 2455.516
AT ITER 3106 NEW BEST:: SOT 18113 SOS 10508 HAS SOPS 7228 HAS SOUS 2984 HAS SOUPS 2433 WITH SCORE 2443.508
AT ITER 3139 NEW BEST:: SOT 18118 SOS 10506 HAS SOPS 7228 HAS SOUS 2984 HAS SOUPS 2433 WITH SCORE 2443.506
AT ITER 3145 NEW BEST:: SOT 18114 SOS 10504 HAS SOPS 7224 HAS SOUS 2978 HAS SOUPS 2427 WITH SCORE 2437.504
AT ITER 3254 NEW BEST:: SOT 18156 SOS 10480 HAS SOPS 7224 HAS SOUS 2978 HAS SOUPS 2427 WITH SCORE 2437.48
AT ITER 3265 NEW BEST:: SOT 18155 SOS 10479 HAS SOPS 7223 HAS SOUS 2977 HAS SOUPS 2426 WITH SCORE 2436.479
AT ITER 3288 NEW BEST:: SOT 18208 SOS 10424 HAS SOPS 7223 HAS SOUS 2963 HAS SOUPS 2426 WITH SCORE 2436.424
AT ITER 3289 NEW BEST:: SOT 18214 SOS 10426 HAS SOPS 7225 HAS SOUS 2959 HAS SOUPS 2422 WITH SCORE 2432.426
AT ITER 3325 NEW BEST:: SOT 18206 SOS 10415 HAS SOPS 7214 HAS SOUS 2958 HAS SOUPS 2421 WITH SCORE 2431.415
AT ITER 3390 NEW BEST:: SOT 18205 SOS 10405 HAS SOPS 7182 HAS SOUS 2959 HAS SOUPS 2418 WITH SCORE 2428.405
AT ITER 3585 NEW BEST:: SOT 18205 SOS 10403 HAS SOPS 7180 HAS SOUS 2958 HAS SOUPS 2417 WITH SCORE 2427.403
AT ITER 3684 NEW BEST:: SOT 18196 SOS 10400 HAS SOPS 7172 HAS SOUS 2951 HAS SOUPS 2410 WITH SCORE 2420.4
AT ITER 3762 NEW BEST:: SOT 18188 SOS 10388 HAS SOPS 7162 HAS SOUS 2949 HAS SOUPS 2408 WITH SCORE 2418.388
AT ITER 3786 NEW BEST:: SOT 18168 SOS 10368 HAS SOPS 7144 HAS SOUS 2945 HAS SOUPS 2404 WITH SCORE 2414.368
AT ITER 3830 NEW BEST:: SOT 18179 SOS 10350 HAS SOPS 7124 HAS SOUS 2932 HAS SOUPS 2391 WITH SCORE 2401.35
AT ITER 3878 NEW BEST:: SOT 18180 SOS 10349 HAS SOPS 7123 HAS SOUS 2931 HAS SOUPS 2390 WITH SCORE 2400.349
AT ITER 3898 NEW BEST:: SOT 18176 SOS 10350 HAS SOPS 7125 HAS SOUS 2928 HAS SOUPS 2387 WITH SCORE 2397.35
AT ITER 4004 NEW BEST:: SOT 18161 SOS 10432 HAS SOPS 7121 HAS SOUS 2928 HAS SOUPS 2385 WITH SCORE 2395.432
AT ITER 4037 NEW BEST:: SOT 18159 SOS 10431 HAS SOPS 7119 HAS SOUS 2927 HAS SOUPS 2384 WITH SCORE 2394.431
AT ITER 4058 NEW BEST:: SOT 18158 SOS 10429 HAS SOPS 7029 HAS SOUS 2925 HAS SOUPS 2381 WITH SCORE 2391.429
AT ITER 4084 NEW BEST:: SOT 18160 SOS 10422 HAS SOPS 7027 HAS SOUS 2923 HAS SOUPS 2380 WITH SCORE 2390.422
AT ITER 4088 NEW BEST:: SOT 18148 SOS 10418 HAS SOPS 7023 HAS SOUS 2923 HAS SOUPS 2380 WITH SCORE 2390.418
AT ITER 4147 NEW BEST:: SOT 18147 SOS 10415 HAS SOPS 7020 HAS SOUS 2920 HAS SOUPS 2377 WITH SCORE 2387.415
AT ITER 4179 NEW BEST:: SOT 18146 SOS 10413 HAS SOPS 7018 HAS SOUS 2913 HAS SOUPS 2371 WITH SCORE 2381.413
AT ITER 4316 NEW BEST:: SOT 18146 SOS 10407 HAS SOPS 7018 HAS SOUS 2907 HAS SOUPS 2371 WITH SCORE 2381.407
AT ITER 4521 NEW BEST:: SOT 18143 SOS 10404 HAS SOPS 7015 HAS SOUS 2904 HAS SOUPS 2368 WITH SCORE 2378.404
AT ITER 4665 NEW BEST:: SOT 18143 SOS 10404 HAS SOPS 7014 HAS SOUS 2901 HAS SOUPS 2365 WITH SCORE 2375.404
AT ITER 4670 NEW BEST:: SOT 18103 SOS 10618 HAS SOPS 7013 HAS SOUS 2905 HAS SOUPS 2364 WITH SCORE 2374.618
AT ITER 4693 NEW BEST:: SOT 18127 SOS 10378 HAS SOPS 7013 HAS SOUS 2913 HAS SOUPS 2364 WITH SCORE 2374.378
AT ITER 4707 NEW BEST:: SOT 18127 SOS 10360 HAS SOPS 6995 HAS SOUS 2904 HAS SOUPS 2355 WITH SCORE 2365.36
AT ITER 4726 NEW BEST:: SOT 18070 SOS 10354 HAS SOPS 6995 HAS SOUS 2905 HAS SOUPS 2355 WITH SCORE 2365.354
AT ITER 4741 NEW BEST:: SOT 18065 SOS 10348 HAS SOPS 6989 HAS SOUS 2902 HAS SOUPS 2352 WITH SCORE 2362.348
AT ITER 4754 NEW BEST:: SOT 18070 SOS 10346 HAS SOPS 6989 HAS SOUS 2902 HAS SOUPS 2352 WITH SCORE 2362.346
AT ITER 4830 NEW BEST:: SOT 18069 SOS 10344 HAS SOPS 6987 HAS SOUS 2900 HAS SOUPS 2349 WITH SCORE 2359.344
AT ITER 4846 NEW BEST:: SOT 18063 SOS 10338 HAS SOPS 6979 HAS SOUS 2893 HAS SOUPS 2341 WITH SCORE 2351.338
AT ITER 4916 NEW BEST:: SOT 18048 SOS 10331 HAS SOPS 6970 HAS SOUS 2890 HAS SOUPS 2338 WITH SCORE 2348.331
AT ITER 4971 NEW BEST:: SOT 18063 SOS 10342 HAS SOPS 6980 HAS SOUS 2887 HAS SOUPS 2335 WITH SCORE 2345.342
AT ITER 5239 NEW BEST:: SOT 18060 SOS 10323 HAS SOPS 6961 HAS SOUS 2885 HAS SOUPS 2333 WITH SCORE 2343.323
AT ITER 5257 NEW BEST:: SOT 18052 SOS 10319 HAS SOPS 6945 HAS SOUS 2877 HAS SOUPS 2321 WITH SCORE 2331.319
AT ITER 5359 NEW BEST:: SOT 18022 SOS 10357 HAS SOPS 6944 HAS SOUS 2894 HAS SOUPS 2320 WITH SCORE 2330.357
AT ITER 5445 NEW BEST:: SOT 18023 SOS 10361 HAS SOPS 6940 HAS SOUS 2890 HAS SOUPS 2316 WITH SCORE 2326.361
AT ITER 5542 NEW BEST:: SOT 18024 SOS 10362 HAS SOPS 6946 HAS SOUS 2888 HAS SOUPS 2315 WITH SCORE 2325.362
AT ITER 5564 NEW BEST:: SOT 18025 SOS 10363 HAS SOPS 6946 HAS SOUS 2884 HAS SOUPS 2311 WITH SCORE 2321.363
AT ITER 5711 NEW BEST:: SOT 18027 SOS 10366 HAS SOPS 6948 HAS SOUS 2883 HAS SOUPS 2310 WITH SCORE 2320.366
AT ITER 5844 NEW BEST:: SOT 18000 SOS 10357 HAS SOPS 6939 HAS SOUS 2883 HAS SOUPS 2310 WITH SCORE 2320.357
AT ITER 5860 NEW BEST:: SOT 17996 SOS 10347 HAS SOPS 6929 HAS SOUS 2873 HAS SOUPS 2300 WITH SCORE 2310.347
AT ITER 6007 NEW BEST:: SOT 17995 SOS 10344 HAS SOPS 6927 HAS SOUS 2871 HAS SOUPS 2299 WITH SCORE 2309.344
AT ITER 6008 NEW BEST:: SOT 17984 SOS 10414 HAS SOPS 6915 HAS SOUS 2871 HAS SOUPS 2297 WITH SCORE 2307.414
AT ITER 6123 NEW BEST:: SOT 17979 SOS 10408 HAS SOPS 6910 HAS SOUS 2869 HAS SOUPS 2295 WITH SCORE 2305.408
AT ITER 6129 NEW BEST:: SOT 17977 SOS 10404 HAS SOPS 6906 HAS SOUS 2867 HAS SOUPS 2293 WITH SCORE 2303.404
AT ITER 6179 NEW BEST:: SOT 17963 SOS 10388 HAS SOPS 6893 HAS SOUS 2865 HAS SOUPS 2291 WITH SCORE 2301.388
AT ITER 6184 NEW BEST:: SOT 18000 SOS 10347 HAS SOPS 6889 HAS SOUS 2863 HAS SOUPS 2289 WITH SCORE 2299.347
AT ITER 6280 NEW BEST:: SOT 17994 SOS 10359 HAS SOPS 6889 HAS SOUS 2860 HAS SOUPS 2286 WITH SCORE 2296.359
AT ITER 6299 NEW BEST:: SOT 17994 SOS 10353 HAS SOPS 6885 HAS SOUS 2856 HAS SOUPS 2284 WITH SCORE 2294.353
AT ITER 6457 NEW BEST:: SOT 18003 SOS 10359 HAS SOPS 6891 HAS SOUS 2853 HAS SOUPS 2281 WITH SCORE 2291.359
AT ITER 6909 NEW BEST:: SOT 18003 SOS 10357 HAS SOPS 6895 HAS SOUS 2853 HAS SOUPS 2281 WITH SCORE 2291.357
AT ITER 6925 NEW BEST:: SOT 17999 SOS 10349 HAS SOPS 6887 HAS SOUS 2853 HAS SOUPS 2281 WITH SCORE 2291.349
AT ITER 6946 NEW BEST:: SOT 18004 SOS 10347 HAS SOPS 6887 HAS SOUS 2853 HAS SOUPS 2281 WITH SCORE 2291.347
AT ITER 6954 NEW BEST:: SOT 17999 SOS 10340 HAS SOPS 6883 HAS SOUS 2849 HAS SOUPS 2280 WITH SCORE 2290.34
AT ITER 7034 NEW BEST:: SOT 18002 SOS 10339 HAS SOPS 6882 HAS SOUS 2844 HAS SOUPS 2275 WITH SCORE 2285.339
AT ITER 7097 NEW BEST:: SOT 18002 SOS 10337 HAS SOPS 6882 HAS SOUS 2844 HAS SOUPS 2275 WITH SCORE 2285.337
AT ITER 7233 NEW BEST:: SOT 18012 SOS 10348 HAS SOPS 6890 HAS SOUS 2843 HAS SOUPS 2274 WITH SCORE 2284.348
AT ITER 7281 NEW BEST:: SOT 18010 SOS 10346 HAS SOPS 6888 HAS SOUS 2841 HAS SOUPS 2272 WITH SCORE 2282.346
AT ITER 7455 NEW BEST:: SOT 18004 SOS 10342 HAS SOPS 6886 HAS SOUS 2837 HAS SOUPS 2270 WITH SCORE 2280.342
AT ITER 7457 NEW BEST:: SOT 18002 SOS 10341 HAS SOPS 6885 HAS SOUS 2837 HAS SOUPS 2270 WITH SCORE 2280.341
AT ITER 7521 NEW BEST:: SOT 18001 SOS 10342 HAS SOPS 6885 HAS SOUS 2836 HAS SOUPS 2269 WITH SCORE 2279.342
AT ITER 7591 NEW BEST:: SOT 17989 SOS 10342 HAS SOPS 6873 HAS SOUS 2830 HAS SOUPS 2263 WITH SCORE 2273.342
AT ITER 7707 NEW BEST:: SOT 17991 SOS 10332 HAS SOPS 6869 HAS SOUS 2830 HAS SOUPS 2263 WITH SCORE 2273.332
AT ITER 7774 NEW BEST:: SOT 17967 SOS 10471 HAS SOPS 6868 HAS SOUS 2833 HAS SOUPS 2262 WITH SCORE 2272.471
AT ITER 7807 NEW BEST:: SOT 17911 SOS 10443 HAS SOPS 6868 HAS SOUS 2833 HAS SOUPS 2262 WITH SCORE 2272.443
AT ITER 7835 NEW BEST:: SOT 17897 SOS 10423 HAS SOPS 6848 HAS SOUS 2833 HAS SOUPS 2262 WITH SCORE 2272.423
AT ITER 7880 NEW BEST:: SOT 17886 SOS 10421 HAS SOPS 6836 HAS SOUS 2835 HAS SOUPS 2260 WITH SCORE 2270.421
AT ITER 8116 NEW BEST:: SOT 17888 SOS 10413 HAS SOPS 6836 HAS SOUS 2835 HAS SOUPS 2260 WITH SCORE 2270.413
AT ITER 8212 NEW BEST:: SOT 17877 SOS 10400 HAS SOPS 6826 HAS SOUS 2834 HAS SOUPS 2259 WITH SCORE 2269.4
AT ITER 8674 NEW BEST:: SOT 17871 SOS 10399 HAS SOPS 6826 HAS SOUS 2836 HAS SOUPS 2259 WITH SCORE 2269.399
AT ITER 9215 NEW BEST:: SOT 17869 SOS 10388 HAS SOPS 6817 HAS SOUS 2834 HAS SOUPS 2257 WITH SCORE 2267.388
AT ITER 9377 NEW BEST:: SOT 17860 SOS 10383 HAS SOPS 6814 HAS SOUS 2834 HAS SOUPS 2257 WITH SCORE 2267.383
AT ITER 9454 NEW BEST:: SOT 17857 SOS 10383 HAS SOPS 6814 HAS SOUS 2833 HAS SOUPS 2256 WITH SCORE 2266.383
AT ITER 9526 NEW BEST:: SOT 17851 SOS 10382 HAS SOPS 6814 HAS SOUS 2835 HAS SOUPS 2256 WITH SCORE 2266.382
AT ITER 9529 NEW BEST:: SOT 17852 SOS 10383 HAS SOPS 6814 HAS SOUS 2833 HAS SOUPS 2254 WITH SCORE 2264.383
AT ITER 9738 NEW BEST:: SOT 17851 SOS 10384 HAS SOPS 6815 HAS SOUS 2832 HAS SOUPS 2253 WITH SCORE 2263.384
AT ITER 9755 NEW BEST:: SOT 17860 SOS 10392 HAS SOPS 6823 HAS SOUS 2830 HAS SOUPS 2251 WITH SCORE 2261.392
AT ITER 9941 NEW BEST:: SOT 17859 SOS 10393 HAS SOPS 6823 HAS SOUS 2830 HAS SOUPS 2250 WITH SCORE 2260.393
AT ITER 9948 NEW BEST:: SOT 17868 SOS 10405 HAS SOPS 6832 HAS SOUS 2827 HAS SOUPS 2247 WITH SCORE 2257.405
STATE_SPACE STATES 190102 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7698055 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678296556050

--------------------
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="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-3a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r067-smll-167814394800384"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;