Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541600003.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 CloudReconfiguration-PT-301, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600003
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 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:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K 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 CloudReconfiguration-PT-301-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-301-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589088015322

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

GOT IT HERE. BS
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439016 SOS 755663 HAS SOPS 755663 HAS SOUS 697101 HAS SOUPS 697101 WITH SCORE 697856.663
AT ITER 1 NEW BEST:: SOT 4437700 SOS 755464 HAS SOPS 755464 HAS SOUS 695984 HAS SOUPS 695984 WITH SCORE 696739.464
AT ITER 20 NEW BEST:: SOT 4437538 SOS 755140 HAS SOPS 755140 HAS SOUS 695660 HAS SOUPS 695660 WITH SCORE 696415.14
AT ITER 29 NEW BEST:: SOT 4436682 SOS 755348 HAS SOPS 755348 HAS SOUS 695207 HAS SOUPS 695207 WITH SCORE 695962.348
AT ITER 31 NEW BEST:: SOT 4436528 SOS 755040 HAS SOPS 755040 HAS SOUS 694899 HAS SOUPS 694899 WITH SCORE 695654.04
AT ITER 69 NEW BEST:: SOT 4436528 SOS 754812 HAS SOPS 754812 HAS SOUS 694899 HAS SOUPS 694899 WITH SCORE 695653.812
AT ITER 79 NEW BEST:: SOT 4436191 SOS 754475 HAS SOPS 754475 HAS SOUS 694562 HAS SOUPS 694562 WITH SCORE 695316.475
AT ITER 106 NEW BEST:: SOT 4436189 SOS 754471 HAS SOPS 754471 HAS SOUS 694558 HAS SOUPS 694558 WITH SCORE 695312.471
AT ITER 134 NEW BEST:: SOT 4436095 SOS 754283 HAS SOPS 754283 HAS SOUS 694370 HAS SOUPS 694370 WITH SCORE 695124.283
AT ITER 152 NEW BEST:: SOT 4435880 SOS 754214 HAS SOPS 754214 HAS SOUS 694197 HAS SOUPS 694197 WITH SCORE 694951.214
AT ITER 164 NEW BEST:: SOT 4435817 SOS 754172 HAS SOPS 754172 HAS SOUS 694155 HAS SOUPS 694155 WITH SCORE 694909.172
AT ITER 169 NEW BEST:: SOT 4435639 SOS 753816 HAS SOPS 753816 HAS SOUS 693799 HAS SOUPS 693799 WITH SCORE 694552.816
AT ITER 173 NEW BEST:: SOT 4435639 SOS 753675 HAS SOPS 753675 HAS SOUS 693798 HAS SOUPS 693798 WITH SCORE 694551.675
AT ITER 179 NEW BEST:: SOT 4435477 SOS 753351 HAS SOPS 753351 HAS SOUS 693474 HAS SOUPS 693474 WITH SCORE 694227.351
AT ITER 230 NEW BEST:: SOT 4435426 SOS 753249 HAS SOPS 753249 HAS SOUS 693171 HAS SOUPS 693171 WITH SCORE 693924.249
AT ITER 236 NEW BEST:: SOT 4435017 SOS 753661 HAS SOPS 753661 HAS SOUS 693118 HAS SOUPS 693118 WITH SCORE 693871.661
AT ITER 244 NEW BEST:: SOT 4434974 SOS 753623 HAS SOPS 753623 HAS SOUS 693080 HAS SOUPS 693080 WITH SCORE 693833.623
AT ITER 251 NEW BEST:: SOT 4434852 SOS 753379 HAS SOPS 753379 HAS SOUS 692836 HAS SOUPS 692836 WITH SCORE 693589.379
AT ITER 260 NEW BEST:: SOT 4434822 SOS 753319 HAS SOPS 753319 HAS SOUS 692776 HAS SOUPS 692776 WITH SCORE 693529.319
AT ITER 267 NEW BEST:: SOT 4434821 SOS 753317 HAS SOPS 753317 HAS SOUS 692774 HAS SOUPS 692774 WITH SCORE 693527.317
AT ITER 280 NEW BEST:: SOT 4434633 SOS 752941 HAS SOPS 752941 HAS SOUS 692586 HAS SOUPS 692586 WITH SCORE 693338.941
AT ITER 299 NEW BEST:: SOT 4434603 SOS 752911 HAS SOPS 752911 HAS SOUS 692556 HAS SOUPS 692556 WITH SCORE 693308.911
AT ITER 302 NEW BEST:: SOT 4434345 SOS 752809 HAS SOPS 752809 HAS SOUS 692214 HAS SOUPS 692214 WITH SCORE 692966.809
AT ITER 307 NEW BEST:: SOT 4428353 SOS 802702 HAS SOPS 802702 HAS SOUS 688707 HAS SOUPS 688707 WITH SCORE 689509.702
AT ITER 321 NEW BEST:: SOT 4428160 SOS 802509 HAS SOPS 802509 HAS SOUS 688514 HAS SOUPS 688514 WITH SCORE 689316.509
AT ITER 327 NEW BEST:: SOT 4428154 SOS 802497 HAS SOPS 802497 HAS SOUS 688502 HAS SOUPS 688502 WITH SCORE 689304.497
AT ITER 334 NEW BEST:: SOT 4428153 SOS 802361 HAS SOPS 802361 HAS SOUS 688500 HAS SOUPS 688500 WITH SCORE 689302.361
AT ITER 342 NEW BEST:: SOT 4427900 SOS 802046 HAS SOPS 802046 HAS SOUS 688121 HAS SOUPS 688121 WITH SCORE 688923.046
AT ITER 354 NEW BEST:: SOT 4427761 SOS 801768 HAS SOPS 801768 HAS SOUS 687843 HAS SOUPS 687843 WITH SCORE 688644.768
AT ITER 355 NEW BEST:: SOT 4427571 SOS 801578 HAS SOPS 801578 HAS SOUS 687653 HAS SOUPS 687653 WITH SCORE 688454.578
AT ITER 361 NEW BEST:: SOT 4427017 SOS 800952 HAS SOPS 800952 HAS SOUS 687027 HAS SOUPS 687027 WITH SCORE 687827.952
AT ITER 403 NEW BEST:: SOT 4426839 SOS 800226 HAS SOPS 800226 HAS SOUS 686541 HAS SOUPS 686541 WITH SCORE 687341.226
AT ITER 411 NEW BEST:: SOT 4424176 SOS 809726 HAS SOPS 809726 HAS SOUS 684228 HAS SOUPS 684228 WITH SCORE 685037.726
AT ITER 422 NEW BEST:: SOT 4424110 SOS 809660 HAS SOPS 809660 HAS SOUS 684162 HAS SOUPS 684162 WITH SCORE 684971.66
AT ITER 424 NEW BEST:: SOT 4423845 SOS 809487 HAS SOPS 809487 HAS SOUS 683989 HAS SOUPS 683989 WITH SCORE 684798.487
AT ITER 426 NEW BEST:: SOT 4423845 SOS 809290 HAS SOPS 809290 HAS SOUS 683792 HAS SOUPS 683792 WITH SCORE 684601.29
AT ITER 457 NEW BEST:: SOT 4423607 SOS 808814 HAS SOPS 808814 HAS SOUS 683316 HAS SOUPS 683316 WITH SCORE 684124.814
AT ITER 460 NEW BEST:: SOT 4423621 SOS 808842 HAS SOPS 808842 HAS SOUS 683005 HAS SOUPS 683005 WITH SCORE 683813.842
AT ITER 472 NEW BEST:: SOT 4423423 SOS 808873 HAS SOPS 808873 HAS SOUS 682864 HAS SOUPS 682864 WITH SCORE 683672.873
AT ITER 481 NEW BEST:: SOT 4423423 SOS 808663 HAS SOPS 808663 HAS SOUS 682654 HAS SOUPS 682654 WITH SCORE 683462.663
AT ITER 541 NEW BEST:: SOT 4423107 SOS 808363 HAS SOPS 808363 HAS SOUS 682338 HAS SOUPS 682338 WITH SCORE 683146.363
AT ITER 560 NEW BEST:: SOT 4422961 SOS 807672 HAS SOPS 807672 HAS SOUS 681982 HAS SOUPS 681982 WITH SCORE 682789.672
AT ITER 588 NEW BEST:: SOT 4422950 SOS 807650 HAS SOPS 807650 HAS SOUS 681960 HAS SOUPS 681960 WITH SCORE 682767.65
AT ITER 594 NEW BEST:: SOT 4422924 SOS 807637 HAS SOPS 807637 HAS SOUS 681947 HAS SOUPS 681947 WITH SCORE 682754.637
AT ITER 618 NEW BEST:: SOT 4423034 SOS 807857 HAS SOPS 807857 HAS SOUS 681854 HAS SOUPS 681854 WITH SCORE 682661.857
AT ITER 633 NEW BEST:: SOT 4422813 SOS 807670 HAS SOPS 807670 HAS SOUS 681643 HAS SOUPS 681643 WITH SCORE 682450.67
AT ITER 658 NEW BEST:: SOT 4422767 SOS 807532 HAS SOPS 807532 HAS SOUS 681551 HAS SOUPS 681551 WITH SCORE 682358.532
AT ITER 665 NEW BEST:: SOT 4422766 SOS 807530 HAS SOPS 807530 HAS SOUS 681549 HAS SOUPS 681549 WITH SCORE 682356.53
AT ITER 667 NEW BEST:: SOT 4422766 SOS 807530 HAS SOPS 807530 HAS SOUS 681526 HAS SOUPS 681526 WITH SCORE 682333.53
AT ITER 689 NEW BEST:: SOT 4422166 SOS 806930 HAS SOPS 806930 HAS SOUS 680926 HAS SOUPS 680926 WITH SCORE 681732.93
AT ITER 699 NEW BEST:: SOT 4422166 SOS 806908 HAS SOPS 806908 HAS SOUS 680925 HAS SOUPS 680925 WITH SCORE 681731.908
AT ITER 715 NEW BEST:: SOT 4422080 SOS 807228 HAS SOPS 807228 HAS SOUS 680839 HAS SOUPS 680839 WITH SCORE 681646.228
AT ITER 724 NEW BEST:: SOT 4421928 SOS 807112 HAS SOPS 807112 HAS SOUS 680687 HAS SOUPS 680687 WITH SCORE 681494.112
AT ITER 727 NEW BEST:: SOT 4421830 SOS 807014 HAS SOPS 807014 HAS SOUS 680589 HAS SOUPS 680589 WITH SCORE 681396.014
AT ITER 736 NEW BEST:: SOT 4421715 SOS 806899 HAS SOPS 806899 HAS SOUS 680474 HAS SOUPS 680474 WITH SCORE 681280.899
AT ITER 738 NEW BEST:: SOT 4421483 SOS 806861 HAS SOPS 806861 HAS SOUS 680313 HAS SOUPS 680313 WITH SCORE 681119.861
AT ITER 756 NEW BEST:: SOT 4421483 SOS 806861 HAS SOPS 806861 HAS SOUS 680148 HAS SOUPS 680148 WITH SCORE 680954.861
AT ITER 762 NEW BEST:: SOT 4421321 SOS 806618 HAS SOPS 806618 HAS SOUS 679905 HAS SOUPS 679905 WITH SCORE 680711.618
AT ITER 769 NEW BEST:: SOT 4421121 SOS 806418 HAS SOPS 806418 HAS SOUS 679705 HAS SOUPS 679705 WITH SCORE 680511.418
AT ITER 782 NEW BEST:: SOT 4421121 SOS 806335 HAS SOPS 806335 HAS SOUS 679704 HAS SOUPS 679704 WITH SCORE 680510.335
AT ITER 806 NEW BEST:: SOT 4421117 SOS 806327 HAS SOPS 806327 HAS SOUS 679696 HAS SOUPS 679696 WITH SCORE 680502.327
AT ITER 813 NEW BEST:: SOT 4421117 SOS 806327 HAS SOPS 806327 HAS SOUS 679618 HAS SOUPS 679618 WITH SCORE 680424.327
AT ITER 832 NEW BEST:: SOT 4421117 SOS 806283 HAS SOPS 806283 HAS SOUS 679618 HAS SOUPS 679618 WITH SCORE 680424.283
AT ITER 840 NEW BEST:: SOT 4420122 SOS 805663 HAS SOPS 805663 HAS SOUS 678414 HAS SOUPS 678414 WITH SCORE 679219.663
AT ITER 850 NEW BEST:: SOT 4420122 SOS 805507 HAS SOPS 805507 HAS SOUS 678414 HAS SOUPS 678414 WITH SCORE 679219.507
AT ITER 884 NEW BEST:: SOT 4420122 SOS 805177 HAS SOPS 805177 HAS SOUS 678249 HAS SOUPS 678249 WITH SCORE 679054.177
AT ITER 894 NEW BEST:: SOT 4419980 SOS 804893 HAS SOPS 804893 HAS SOUS 677906 HAS SOUPS 677906 WITH SCORE 678710.893
AT ITER 922 NEW BEST:: SOT 4417371 SOS 802888 HAS SOPS 802888 HAS SOUS 675452 HAS SOUPS 675452 WITH SCORE 676254.888
AT ITER 928 NEW BEST:: SOT 4417216 SOS 802733 HAS SOPS 802733 HAS SOUS 675297 HAS SOUPS 675297 WITH SCORE 676099.733
AT ITER 932 NEW BEST:: SOT 4417386 SOS 803073 HAS SOPS 803073 HAS SOUS 675285 HAS SOUPS 675285 WITH SCORE 676088.073
AT ITER 936 NEW BEST:: SOT 4417385 SOS 803071 HAS SOPS 803071 HAS SOUS 675283 HAS SOUPS 675283 WITH SCORE 676086.071
AT ITER 937 NEW BEST:: SOT 4417022 SOS 803385 HAS SOPS 803385 HAS SOUS 675265 HAS SOUPS 675265 WITH SCORE 676068.385
AT ITER 955 NEW BEST:: SOT 4417022 SOS 803184 HAS SOPS 803184 HAS SOUS 675264 HAS SOUPS 675264 WITH SCORE 676067.184
AT ITER 978 NEW BEST:: SOT 4416947 SOS 803238 HAS SOPS 803238 HAS SOUS 675222 HAS SOUPS 675222 WITH SCORE 676025.238
AT ITER 988 NEW BEST:: SOT 4416988 SOS 803320 HAS SOPS 803320 HAS SOUS 675126 HAS SOUPS 675126 WITH SCORE 675929.32
AT ITER 998 NEW BEST:: SOT 4416935 SOS 803214 HAS SOPS 803214 HAS SOUS 675073 HAS SOUPS 675073 WITH SCORE 675876.214
AT ITER 1005 NEW BEST:: SOT 4416873 SOS 803002 HAS SOPS 803002 HAS SOUS 674923 HAS SOUPS 674923 WITH SCORE 675726.002
AT ITER 1008 NEW BEST:: SOT 4416742 SOS 802871 HAS SOPS 802871 HAS SOUS 674792 HAS SOUPS 674792 WITH SCORE 675594.871
AT ITER 1037 NEW BEST:: SOT 4416615 SOS 802617 HAS SOPS 802617 HAS SOUS 674538 HAS SOUPS 674538 WITH SCORE 675340.617
AT ITER 1065 NEW BEST:: SOT 4413653 SOS 844651 HAS SOPS 844651 HAS SOUS 673944 HAS SOUPS 673944 WITH SCORE 674788.651
AT ITER 1071 NEW BEST:: SOT 4413564 SOS 844681 HAS SOPS 844681 HAS SOUS 673916 HAS SOUPS 673916 WITH SCORE 674760.681
AT ITER 1096 NEW BEST:: SOT 4413509 SOS 842371 HAS SOPS 842371 HAS SOUS 673806 HAS SOUPS 673806 WITH SCORE 674648.371
AT ITER 1098 NEW BEST:: SOT 4413436 SOS 842480 HAS SOPS 842480 HAS SOUS 673800 HAS SOUPS 673800 WITH SCORE 674642.48
AT ITER 1112 NEW BEST:: SOT 4413204 SOS 842327 HAS SOPS 842327 HAS SOUS 673586 HAS SOUPS 673586 WITH SCORE 674428.327
AT ITER 1116 NEW BEST:: SOT 4413258 SOS 842169 HAS SOPS 842169 HAS SOUS 673428 HAS SOUPS 673428 WITH SCORE 674270.169
AT ITER 1158 NEW BEST:: SOT 4413243 SOS 842154 HAS SOPS 842154 HAS SOUS 673413 HAS SOUPS 673413 WITH SCORE 674255.154
AT ITER 1240 NEW BEST:: SOT 4413243 SOS 842047 HAS SOPS 842047 HAS SOUS 673306 HAS SOUPS 673306 WITH SCORE 674148.047
AT ITER 1272 NEW BEST:: SOT 4413180 SOS 841921 HAS SOPS 841921 HAS SOUS 673180 HAS SOUPS 673180 WITH SCORE 674021.921
AT ITER 1323 NEW BEST:: SOT 4412988 SOS 841681 HAS SOPS 841681 HAS SOUS 672916 HAS SOUPS 672916 WITH SCORE 673757.681
AT ITER 1325 NEW BEST:: SOT 4412947 SOS 841599 HAS SOPS 841599 HAS SOUS 672834 HAS SOUPS 672834 WITH SCORE 673675.599
AT ITER 1343 NEW BEST:: SOT 4412416 SOS 841245 HAS SOPS 841245 HAS SOUS 672480 HAS SOUPS 672480 WITH SCORE 673321.245
AT ITER 1368 NEW BEST:: SOT 4412416 SOS 841245 HAS SOPS 841245 HAS SOUS 672261 HAS SOUPS 672261 WITH SCORE 673102.245
AT ITER 1382 NEW BEST:: SOT 4412117 SOS 841343 HAS SOPS 841343 HAS SOUS 671909 HAS SOUPS 671909 WITH SCORE 672750.343
AT ITER 1383 NEW BEST:: SOT 4411982 SOS 841073 HAS SOPS 841073 HAS SOUS 671639 HAS SOUPS 671639 WITH SCORE 672480.073
AT ITER 1419 NEW BEST:: SOT 4411944 SOS 840997 HAS SOPS 840997 HAS SOUS 671563 HAS SOUPS 671563 WITH SCORE 672403.997
AT ITER 1458 NEW BEST:: SOT 4411847 SOS 840900 HAS SOPS 840900 HAS SOUS 671369 HAS SOUPS 671369 WITH SCORE 672209.9
AT ITER 1465 NEW BEST:: SOT 4411838 SOS 840820 HAS SOPS 840820 HAS SOUS 671295 HAS SOUPS 671295 WITH SCORE 672135.82
AT ITER 1469 NEW BEST:: SOT 4411588 SOS 840320 HAS SOPS 840320 HAS SOUS 670795 HAS SOUPS 670795 WITH SCORE 671635.32
AT ITER 1472 NEW BEST:: SOT 4411588 SOS 840257 HAS SOPS 840257 HAS SOUS 670795 HAS SOUPS 670795 WITH SCORE 671635.257
AT ITER 1502 NEW BEST:: SOT 4410913 SOS 839459 HAS SOPS 839459 HAS SOUS 669997 HAS SOUPS 669997 WITH SCORE 670836.459
AT ITER 1520 NEW BEST:: SOT 4410913 SOS 839084 HAS SOPS 839084 HAS SOUS 669997 HAS SOUPS 669997 WITH SCORE 670836.084
AT ITER 1531 NEW BEST:: SOT 4410912 SOS 839082 HAS SOPS 839082 HAS SOUS 669995 HAS SOUPS 669995 WITH SCORE 670834.082
AT ITER 1544 NEW BEST:: SOT 4410721 SOS 839600 HAS SOPS 839600 HAS SOUS 669804 HAS SOUPS 669804 WITH SCORE 670643.6
AT ITER 1558 NEW BEST:: SOT 4410339 SOS 839027 HAS SOPS 839027 HAS SOUS 669231 HAS SOUPS 669231 WITH SCORE 670070.027
AT ITER 1580 NEW BEST:: SOT 4410339 SOS 838894 HAS SOPS 838894 HAS SOUS 669231 HAS SOUPS 669231 WITH SCORE 670069.894
AT ITER 1599 NEW BEST:: SOT 4410417 SOS 838325 HAS SOPS 838325 HAS SOUS 668998 HAS SOUPS 668998 WITH SCORE 669836.325
AT ITER 1622 NEW BEST:: SOT 4410417 SOS 838325 HAS SOPS 838325 HAS SOUS 668765 HAS SOUPS 668765 WITH SCORE 669603.325
AT ITER 1645 NEW BEST:: SOT 4410707 SOS 838905 HAS SOPS 838905 HAS SOUS 668668 HAS SOUPS 668668 WITH SCORE 669506.905
AT ITER 1668 NEW BEST:: SOT 4409010 SOS 839513 HAS SOPS 839513 HAS SOUS 667029 HAS SOUPS 667029 WITH SCORE 667868.513
AT ITER 1687 NEW BEST:: SOT 4408712 SOS 838582 HAS SOPS 838582 HAS SOUS 666419 HAS SOUPS 666419 WITH SCORE 667257.582
AT ITER 1693 NEW BEST:: SOT 4408563 SOS 838574 HAS SOPS 838574 HAS SOUS 666270 HAS SOUPS 666270 WITH SCORE 667108.574
AT ITER 1717 NEW BEST:: SOT 4408397 SOS 838242 HAS SOPS 838242 HAS SOUS 665938 HAS SOUPS 665938 WITH SCORE 666776.242
AT ITER 1719 NEW BEST:: SOT 4408158 SOS 838059 HAS SOPS 838059 HAS SOUS 665699 HAS SOUPS 665699 WITH SCORE 666537.059
AT ITER 1735 NEW BEST:: SOT 4408139 SOS 838021 HAS SOPS 838021 HAS SOUS 665661 HAS SOUPS 665661 WITH SCORE 666499.021
AT ITER 1741 NEW BEST:: SOT 4408144 SOS 838031 HAS SOPS 838031 HAS SOUS 665591 HAS SOUPS 665591 WITH SCORE 666429.031
AT ITER 1745 NEW BEST:: SOT 4408140 SOS 838023 HAS SOPS 838023 HAS SOUS 665482 HAS SOUPS 665482 WITH SCORE 666320.023
AT ITER 1753 NEW BEST:: SOT 4407771 SOS 837820 HAS SOPS 837820 HAS SOUS 665113 HAS SOUPS 665113 WITH SCORE 665950.82
AT ITER 1770 NEW BEST:: SOT 4407771 SOS 837796 HAS SOPS 837796 HAS SOUS 665089 HAS SOUPS 665089 WITH SCORE 665926.796
AT ITER 1786 NEW BEST:: SOT 4407829 SOS 837487 HAS SOPS 837487 HAS SOUS 664722 HAS SOUPS 664722 WITH SCORE 665559.487
AT ITER 1793 NEW BEST:: SOT 4407824 SOS 837523 HAS SOPS 837523 HAS SOUS 664718 HAS SOUPS 664718 WITH SCORE 665555.523
AT ITER 1814 NEW BEST:: SOT 4407806 SOS 837487 HAS SOPS 837487 HAS SOUS 664682 HAS SOUPS 664682 WITH SCORE 665519.487
AT ITER 1834 NEW BEST:: SOT 4407741 SOS 837012 HAS SOPS 837012 HAS SOUS 664272 HAS SOUPS 664272 WITH SCORE 665109.012
AT ITER 1858 NEW BEST:: SOT 4407649 SOS 837010 HAS SOPS 837010 HAS SOUS 664270 HAS SOUPS 664270 WITH SCORE 665107.01
AT ITER 1906 NEW BEST:: SOT 4407408 SOS 836528 HAS SOPS 836528 HAS SOUS 663788 HAS SOUPS 663788 WITH SCORE 664624.528
AT ITER 1960 NEW BEST:: SOT 4407245 SOS 836202 HAS SOPS 836202 HAS SOUS 663625 HAS SOUPS 663625 WITH SCORE 664461.202
AT ITER 1965 NEW BEST:: SOT 4407141 SOS 835994 HAS SOPS 835994 HAS SOUS 663417 HAS SOUPS 663417 WITH SCORE 664252.994
AT ITER 2044 NEW BEST:: SOT 4407141 SOS 835994 HAS SOPS 835994 HAS SOUS 663317 HAS SOUPS 663317 WITH SCORE 664152.994
AT ITER 2064 NEW BEST:: SOT 4407140 SOS 835992 HAS SOPS 835992 HAS SOUS 663316 HAS SOUPS 663316 WITH SCORE 664151.992
AT ITER 2069 NEW BEST:: SOT 4406936 SOS 835584 HAS SOPS 835584 HAS SOUS 662908 HAS SOUPS 662908 WITH SCORE 663743.584
AT ITER 2070 NEW BEST:: SOT 4406744 SOS 835455 HAS SOPS 835455 HAS SOUS 662741 HAS SOUPS 662741 WITH SCORE 663576.455
AT ITER 2086 NEW BEST:: SOT 4406847 SOS 835217 HAS SOPS 835217 HAS SOUS 662514 HAS SOUPS 662514 WITH SCORE 663349.217
AT ITER 2112 NEW BEST:: SOT 4406847 SOS 835217 HAS SOPS 835217 HAS SOUS 662513 HAS SOUPS 662513 WITH SCORE 663348.217
AT ITER 2123 NEW BEST:: SOT 4406773 SOS 835069 HAS SOPS 835069 HAS SOUS 662439 HAS SOUPS 662439 WITH SCORE 663274.069
AT ITER 2146 NEW BEST:: SOT 4406623 SOS 834769 HAS SOPS 834769 HAS SOUS 662076 HAS SOUPS 662076 WITH SCORE 662910.769
AT ITER 2157 NEW BEST:: SOT 4406657 SOS 834837 HAS SOPS 834837 HAS SOUS 662075 HAS SOUPS 662075 WITH SCORE 662909.837
AT ITER 2173 NEW BEST:: SOT 4406301 SOS 834125 HAS SOPS 834125 HAS SOUS 661363 HAS SOUPS 661363 WITH SCORE 662197.125
AT ITER 2232 NEW BEST:: SOT 4406215 SOS 834039 HAS SOPS 834039 HAS SOUS 661277 HAS SOUPS 661277 WITH SCORE 662111.039
AT ITER 2237 NEW BEST:: SOT 4406213 SOS 834037 HAS SOPS 834037 HAS SOUS 661275 HAS SOUPS 661275 WITH SCORE 662109.037
AT ITER 2246 NEW BEST:: SOT 4406213 SOS 833905 HAS SOPS 833905 HAS SOUS 661275 HAS SOUPS 661275 WITH SCORE 662108.905
AT ITER 2248 NEW BEST:: SOT 4406213 SOS 833905 HAS SOPS 833905 HAS SOUS 660894 HAS SOUPS 660894 WITH SCORE 661727.905
AT ITER 2281 NEW BEST:: SOT 4406213 SOS 833905 HAS SOPS 833905 HAS SOUS 660749 HAS SOUPS 660749 WITH SCORE 661582.905
AT ITER 2315 NEW BEST:: SOT 4405969 SOS 833691 HAS SOPS 833691 HAS SOUS 660522 HAS SOUPS 660522 WITH SCORE 661355.691
AT ITER 2333 NEW BEST:: SOT 4405969 SOS 833525 HAS SOPS 833525 HAS SOUS 660356 HAS SOUPS 660356 WITH SCORE 661189.525
AT ITER 2351 NEW BEST:: SOT 4405968 SOS 833523 HAS SOPS 833523 HAS SOUS 660354 HAS SOUPS 660354 WITH SCORE 661187.523
AT ITER 2370 NEW BEST:: SOT 4405923 SOS 833433 HAS SOPS 833433 HAS SOUS 660264 HAS SOUPS 660264 WITH SCORE 661097.433
AT ITER 2387 NEW BEST:: SOT 4405900 SOS 833387 HAS SOPS 833387 HAS SOUS 660241 HAS SOUPS 660241 WITH SCORE 661074.387
AT ITER 2401 NEW BEST:: SOT 4405622 SOS 833321 HAS SOPS 833321 HAS SOUS 660175 HAS SOUPS 660175 WITH SCORE 661008.321
AT ITER 2466 NEW BEST:: SOT 4405348 SOS 833087 HAS SOPS 833087 HAS SOUS 659926 HAS SOUPS 659926 WITH SCORE 660759.087
AT ITER 2471 NEW BEST:: SOT 4405165 SOS 832721 HAS SOPS 832721 HAS SOUS 659560 HAS SOUPS 659560 WITH SCORE 660392.721
AT ITER 2483 NEW BEST:: SOT 4396099 SOS 861452 HAS SOPS 861452 HAS SOUS 652327 HAS SOUPS 652327 WITH SCORE 653188.452
AT ITER 2495 NEW BEST:: SOT 4396237 SOS 861187 HAS SOPS 861187 HAS SOUS 652107 HAS SOUPS 652107 WITH SCORE 652968.187
AT ITER 2508 NEW BEST:: SOT 4396237 SOS 861187 HAS SOPS 861187 HAS SOUS 651935 HAS SOUPS 651935 WITH SCORE 652796.187
AT ITER 2510 NEW BEST:: SOT 4396212 SOS 861385 HAS SOPS 861385 HAS SOUS 651910 HAS SOUPS 651910 WITH SCORE 652771.385
AT ITER 2519 NEW BEST:: SOT 4396211 SOS 861383 HAS SOPS 861383 HAS SOUS 651908 HAS SOUPS 651908 WITH SCORE 652769.383
AT ITER 2544 NEW BEST:: SOT 4396169 SOS 861050 HAS SOPS 861050 HAS SOUS 651824 HAS SOUPS 651824 WITH SCORE 652685.05
AT ITER 2593 NEW BEST:: SOT 4396280 SOS 861272 HAS SOPS 861272 HAS SOUS 651626 HAS SOUPS 651626 WITH SCORE 652487.272
AT ITER 2595 NEW BEST:: SOT 4396170 SOS 861107 HAS SOPS 861107 HAS SOUS 651461 HAS SOUPS 651461 WITH SCORE 652322.107
AT ITER 2609 NEW BEST:: SOT 4396065 SOS 861002 HAS SOPS 861002 HAS SOUS 651461 HAS SOUPS 651461 WITH SCORE 652322.002
AT ITER 2642 NEW BEST:: SOT 4396037 SOS 860946 HAS SOPS 860946 HAS SOUS 651371 HAS SOUPS 651371 WITH SCORE 652231.946
AT ITER 2644 NEW BEST:: SOT 4394872 SOS 862836 HAS SOPS 862836 HAS SOUS 650799 HAS SOUPS 650799 WITH SCORE 651661.836
AT ITER 2679 NEW BEST:: SOT 4393477 SOS 862286 HAS SOPS 862286 HAS SOUS 649546 HAS SOUPS 649546 WITH SCORE 650408.286
AT ITER 2687 NEW BEST:: SOT 4393175 SOS 861984 HAS SOPS 861984 HAS SOUS 649244 HAS SOUPS 649244 WITH SCORE 650105.984
AT ITER 2698 NEW BEST:: SOT 4393036 SOS 861706 HAS SOPS 861706 HAS SOUS 648966 HAS SOUPS 648966 WITH SCORE 649827.706
AT ITER 2714 NEW BEST:: SOT 4392887 SOS 861408 HAS SOPS 861408 HAS SOUS 648817 HAS SOUPS 648817 WITH SCORE 649678.408
AT ITER 2725 NEW BEST:: SOT 4392887 SOS 861231 HAS SOPS 861231 HAS SOUS 648817 HAS SOUPS 648817 WITH SCORE 649678.231
AT ITER 2744 NEW BEST:: SOT 4392700 SOS 861061 HAS SOPS 861061 HAS SOUS 648641 HAS SOUPS 648641 WITH SCORE 649502.061
AT ITER 2816 NEW BEST:: SOT 4392700 SOS 860681 HAS SOPS 860681 HAS SOUS 648641 HAS SOUPS 648641 WITH SCORE 649501.681
AT ITER 2847 NEW BEST:: SOT 4392498 SOS 860277 HAS SOPS 860277 HAS SOUS 648398 HAS SOUPS 648398 WITH SCORE 649258.277
AT ITER 2854 NEW BEST:: SOT 4392396 SOS 860073 HAS SOPS 860073 HAS SOUS 648194 HAS SOUPS 648194 WITH SCORE 649054.073
AT ITER 2881 NEW BEST:: SOT 4392104 SOS 859781 HAS SOPS 859781 HAS SOUS 647902 HAS SOUPS 647902 WITH SCORE 648761.781
AT ITER 2898 NEW BEST:: SOT 4392140 SOS 859794 HAS SOPS 859794 HAS SOUS 647804 HAS SOUPS 647804 WITH SCORE 648663.794
AT ITER 2936 NEW BEST:: SOT 4391846 SOS 859206 HAS SOPS 859206 HAS SOUS 647216 HAS SOUPS 647216 WITH SCORE 648075.206
AT ITER 2944 NEW BEST:: SOT 4391642 SOS 827038 HAS SOPS 827038 HAS SOUS 647012 HAS SOUPS 647012 WITH SCORE 647839.038
AT ITER 2975 NEW BEST:: SOT 4391610 SOS 827014 HAS SOPS 827014 HAS SOUS 646948 HAS SOUPS 646948 WITH SCORE 647775.014
AT ITER 2984 NEW BEST:: SOT 4391406 SOS 826810 HAS SOPS 826810 HAS SOUS 646744 HAS SOUPS 646744 WITH SCORE 647570.81
AT ITER 2992 NEW BEST:: SOT 4391520 SOS 826871 HAS SOPS 826871 HAS SOUS 646658 HAS SOUPS 646658 WITH SCORE 647484.871
AT ITER 3028 NEW BEST:: SOT 4391428 SOS 826595 HAS SOPS 826595 HAS SOUS 646474 HAS SOUPS 646474 WITH SCORE 647300.595
AT ITER 3034 NEW BEST:: SOT 4391753 SOS 826270 HAS SOPS 826270 HAS SOUS 646474 HAS SOUPS 646474 WITH SCORE 647300.27
AT ITER 3040 NEW BEST:: SOT 4391827 SOS 826078 HAS SOPS 826078 HAS SOUS 646346 HAS SOUPS 646346 WITH SCORE 647172.078
AT ITER 3080 NEW BEST:: SOT 4391827 SOS 826011 HAS SOPS 826011 HAS SOUS 646265 HAS SOUPS 646265 WITH SCORE 647091.011
AT ITER 3140 NEW BEST:: SOT 4391717 SOS 825901 HAS SOPS 825901 HAS SOUS 646155 HAS SOUPS 646155 WITH SCORE 646980.901
AT ITER 3195 NEW BEST:: SOT 4391717 SOS 825901 HAS SOPS 825901 HAS SOUS 646111 HAS SOUPS 646111 WITH SCORE 646936.901
AT ITER 3198 NEW BEST:: SOT 4391468 SOS 825403 HAS SOPS 825403 HAS SOUS 645613 HAS SOUPS 645613 WITH SCORE 646438.403
AT ITER 3199 NEW BEST:: SOT 4391449 SOS 825384 HAS SOPS 825384 HAS SOUS 645594 HAS SOUPS 645594 WITH SCORE 646419.384
AT ITER 3267 NEW BEST:: SOT 4391656 SOS 825365 HAS SOPS 825365 HAS SOUS 645575 HAS SOUPS 645575 WITH SCORE 646400.365
AT ITER 3289 NEW BEST:: SOT 4391590 SOS 825233 HAS SOPS 825233 HAS SOUS 645403 HAS SOUPS 645403 WITH SCORE 646228.233
AT ITER 3295 NEW BEST:: SOT 4391589 SOS 824924 HAS SOPS 824924 HAS SOUS 645400 HAS SOUPS 645400 WITH SCORE 646224.924
AT ITER 3310 NEW BEST:: SOT 4391530 SOS 824908 HAS SOPS 824908 HAS SOUS 645341 HAS SOUPS 645341 WITH SCORE 646165.908
AT ITER 3358 NEW BEST:: SOT 4391436 SOS 824814 HAS SOPS 824814 HAS SOUS 645341 HAS SOUPS 645341 WITH SCORE 646165.814
AT ITER 3370 NEW BEST:: SOT 4391436 SOS 824761 HAS SOPS 824761 HAS SOUS 645340 HAS SOUPS 645340 WITH SCORE 646164.761
AT ITER 3405 NEW BEST:: SOT 4391432 SOS 825095 HAS SOPS 825095 HAS SOUS 645336 HAS SOUPS 645336 WITH SCORE 646161.095
AT ITER 3443 NEW BEST:: SOT 4391408 SOS 825047 HAS SOPS 825047 HAS SOUS 645204 HAS SOUPS 645204 WITH SCORE 646029.047
AT ITER 3466 NEW BEST:: SOT 4391476 SOS 825183 HAS SOPS 825183 HAS SOUS 644993 HAS SOUPS 644993 WITH SCORE 645818.183
AT ITER 3506 NEW BEST:: SOT 4391238 SOS 824707 HAS SOPS 824707 HAS SOUS 644517 HAS SOUPS 644517 WITH SCORE 645341.707
AT ITER 3569 NEW BEST:: SOT 4390930 SOS 824091 HAS SOPS 824091 HAS SOUS 643901 HAS SOUPS 643901 WITH SCORE 644725.091
AT ITER 3570 NEW BEST:: SOT 4390930 SOS 824074 HAS SOPS 824074 HAS SOUS 643884 HAS SOUPS 643884 WITH SCORE 644708.074
AT ITER 3572 NEW BEST:: SOT 4390879 SOS 823972 HAS SOPS 823972 HAS SOUS 643833 HAS SOUPS 643833 WITH SCORE 644656.972
AT ITER 3592 NEW BEST:: SOT 4390787 SOS 823788 HAS SOPS 823788 HAS SOUS 643709 HAS SOUPS 643709 WITH SCORE 644532.788
AT ITER 3617 NEW BEST:: SOT 4390812 SOS 823764 HAS SOPS 823764 HAS SOUS 643660 HAS SOUPS 643660 WITH SCORE 644483.764
AT ITER 3623 NEW BEST:: SOT 4390811 SOS 823390 HAS SOPS 823390 HAS SOUS 643285 HAS SOUPS 643285 WITH SCORE 644108.39
AT ITER 3647 NEW BEST:: SOT 4390800 SOS 823368 HAS SOPS 823368 HAS SOUS 643246 HAS SOUPS 643246 WITH SCORE 644069.368
AT ITER 3663 NEW BEST:: SOT 4390795 SOS 823363 HAS SOPS 823363 HAS SOUS 643241 HAS SOUPS 643241 WITH SCORE 644064.363
AT ITER 3668 NEW BEST:: SOT 4390711 SOS 823279 HAS SOPS 823279 HAS SOUS 643157 HAS SOUPS 643157 WITH SCORE 643980.279
AT ITER 3684 NEW BEST:: SOT 4390711 SOS 823264 HAS SOPS 823264 HAS SOUS 643157 HAS SOUPS 643157 WITH SCORE 643980.264
AT ITER 3703 NEW BEST:: SOT 4390711 SOS 823205 HAS SOPS 823205 HAS SOUS 643098 HAS SOUPS 643098 WITH SCORE 643921.205
AT ITER 3734 NEW BEST:: SOT 4390628 SOS 823039 HAS SOPS 823039 HAS SOUS 642932 HAS SOUPS 642932 WITH SCORE 643755.039
AT ITER 3757 NEW BEST:: SOT 4390571 SOS 822982 HAS SOPS 822982 HAS SOUS 642875 HAS SOUPS 642875 WITH SCORE 643697.982
AT ITER 3759 NEW BEST:: SOT 4390644 SOS 822622 HAS SOPS 822622 HAS SOUS 642768 HAS SOUPS 642768 WITH SCORE 643590.622
AT ITER 3770 NEW BEST:: SOT 4390442 SOS 823020 HAS SOPS 823020 HAS SOUS 642745 HAS SOUPS 642745 WITH SCORE 643568.02
AT ITER 3786 NEW BEST:: SOT 4390399 SOS 822891 HAS SOPS 822891 HAS SOUS 642702 HAS SOUPS 642702 WITH SCORE 643524.891
AT ITER 3801 NEW BEST:: SOT 4390257 SOS 822465 HAS SOPS 822465 HAS SOUS 642560 HAS SOUPS 642560 WITH SCORE 643382.465
AT ITER 3810 NEW BEST:: SOT 4390191 SOS 822426 HAS SOPS 822426 HAS SOUS 642515 HAS SOUPS 642515 WITH SCORE 643337.426
AT ITER 3838 NEW BEST:: SOT 4390191 SOS 822366 HAS SOPS 822366 HAS SOUS 642515 HAS SOUPS 642515 WITH SCORE 643337.366
AT ITER 3848 NEW BEST:: SOT 4384599 SOS 844509 HAS SOPS 844509 HAS SOUS 638417 HAS SOUPS 638417 WITH SCORE 639261.509
AT ITER 3858 NEW BEST:: SOT 4384566 SOS 844443 HAS SOPS 844443 HAS SOUS 638396 HAS SOUPS 638396 WITH SCORE 639240.443
AT ITER 3907 NEW BEST:: SOT 4384566 SOS 844442 HAS SOPS 844442 HAS SOUS 638396 HAS SOUPS 638396 WITH SCORE 639240.442
AT ITER 3948 NEW BEST:: SOT 4384566 SOS 844135 HAS SOPS 844135 HAS SOUS 638396 HAS SOUPS 638396 WITH SCORE 639240.135
AT ITER 3952 NEW BEST:: SOT 4384537 SOS 844077 HAS SOPS 844077 HAS SOUS 638338 HAS SOUPS 638338 WITH SCORE 639182.077
AT ITER 3963 NEW BEST:: SOT 4384537 SOS 844077 HAS SOPS 844077 HAS SOUS 638333 HAS SOUPS 638333 WITH SCORE 639177.077
AT ITER 3967 NEW BEST:: SOT 4384537 SOS 844009 HAS SOPS 844009 HAS SOUS 638333 HAS SOUPS 638333 WITH SCORE 639177.009
AT ITER 3978 NEW BEST:: SOT 4384536 SOS 844007 HAS SOPS 844007 HAS SOUS 638331 HAS SOUPS 638331 WITH SCORE 639175.007
AT ITER 3998 NEW BEST:: SOT 4384535 SOS 844005 HAS SOPS 844005 HAS SOUS 638329 HAS SOUPS 638329 WITH SCORE 639173.005
AT ITER 4001 NEW BEST:: SOT 4384534 SOS 843956 HAS SOPS 843956 HAS SOUS 638327 HAS SOUPS 638327 WITH SCORE 639170.956
AT ITER 4096 NEW BEST:: SOT 4384460 SOS 843808 HAS SOPS 843808 HAS SOUS 638179 HAS SOUPS 638179 WITH SCORE 639022.808
AT ITER 4110 NEW BEST:: SOT 4384330 SOS 843548 HAS SOPS 843548 HAS SOUS 638002 HAS SOUPS 638002 WITH SCORE 638845.548
AT ITER 4129 NEW BEST:: SOT 4384462 SOS 843156 HAS SOPS 843156 HAS SOUS 637982 HAS SOUPS 637982 WITH SCORE 638825.156
AT ITER 4145 NEW BEST:: SOT 4384113 SOS 842834 HAS SOPS 842834 HAS SOUS 637326 HAS SOUPS 637326 WITH SCORE 638168.834
AT ITER 4148 NEW BEST:: SOT 4383825 SOS 842834 HAS SOPS 842834 HAS SOUS 637182 HAS SOUPS 637182 WITH SCORE 638024.834
AT ITER 4149 NEW BEST:: SOT 4383825 SOS 842745 HAS SOPS 842745 HAS SOUS 637093 HAS SOUPS 637093 WITH SCORE 637935.745
AT ITER 4162 NEW BEST:: SOT 4383744 SOS 842318 HAS SOPS 842318 HAS SOUS 636809 HAS SOUPS 636809 WITH SCORE 637651.318
AT ITER 4188 NEW BEST:: SOT 4383574 SOS 841978 HAS SOPS 841978 HAS SOUS 636469 HAS SOUPS 636469 WITH SCORE 637310.978
AT ITER 4201 NEW BEST:: SOT 4383235 SOS 841300 HAS SOPS 841300 HAS SOUS 635840 HAS SOUPS 635840 WITH SCORE 636681.3
AT ITER 4266 NEW BEST:: SOT 4383128 SOS 841086 HAS SOPS 841086 HAS SOUS 635626 HAS SOUPS 635626 WITH SCORE 636467.086
AT ITER 4273 NEW BEST:: SOT 4383127 SOS 841084 HAS SOPS 841084 HAS SOUS 635624 HAS SOUPS 635624 WITH SCORE 636465.084
AT ITER 4282 NEW BEST:: SOT 4383126 SOS 841140 HAS SOPS 841140 HAS SOUS 635622 HAS SOUPS 635622 WITH SCORE 636463.14
AT ITER 4291 NEW BEST:: SOT 4383126 SOS 840920 HAS SOPS 840920 HAS SOUS 635622 HAS SOUPS 635622 WITH SCORE 636462.92
AT ITER 4294 NEW BEST:: SOT 4383089 SOS 840846 HAS SOPS 840846 HAS SOUS 635548 HAS SOUPS 635548 WITH SCORE 636388.846
AT ITER 4308 NEW BEST:: SOT 4383046 SOS 840760 HAS SOPS 840760 HAS SOUS 635462 HAS SOUPS 635462 WITH SCORE 636302.76
AT ITER 4314 NEW BEST:: SOT 4383164 SOS 840996 HAS SOPS 840996 HAS SOUS 635450 HAS SOUPS 635450 WITH SCORE 636290.996
AT ITER 4315 NEW BEST:: SOT 4383164 SOS 840888 HAS SOPS 840888 HAS SOUS 635450 HAS SOUPS 635450 WITH SCORE 636290.888
AT ITER 4335 NEW BEST:: SOT 4383115 SOS 840404 HAS SOPS 840404 HAS SOUS 635401 HAS SOUPS 635401 WITH SCORE 636241.404
AT ITER 4358 NEW BEST:: SOT 4383091 SOS 840356 HAS SOPS 840356 HAS SOUS 635377 HAS SOUPS 635377 WITH SCORE 636217.356
AT ITER 4408 NEW BEST:: SOT 4383079 SOS 839800 HAS SOPS 839800 HAS SOUS 635099 HAS SOUPS 635099 WITH SCORE 635938.8
AT ITER 4434 NEW BEST:: SOT 4383050 SOS 839780 HAS SOPS 839780 HAS SOUS 635070 HAS SOUPS 635070 WITH SCORE 635909.78
AT ITER 4472 NEW BEST:: SOT 4383049 SOS 839779 HAS SOPS 839779 HAS SOUS 635068 HAS SOUPS 635068 WITH SCORE 635907.779
AT ITER 4486 NEW BEST:: SOT 4383059 SOS 839799 HAS SOPS 839799 HAS SOUS 634951 HAS SOUPS 634951 WITH SCORE 635790.799
AT ITER 4493 NEW BEST:: SOT 4382819 SOS 839319 HAS SOPS 839319 HAS SOUS 634553 HAS SOUPS 634553 WITH SCORE 635392.319
AT ITER 4516 NEW BEST:: SOT 4382819 SOS 839319 HAS SOPS 839319 HAS SOUS 634539 HAS SOUPS 634539 WITH SCORE 635378.319
AT ITER 4566 NEW BEST:: SOT 4382819 SOS 839254 HAS SOPS 839254 HAS SOUS 634539 HAS SOUPS 634539 WITH SCORE 635378.254
AT ITER 4567 NEW BEST:: SOT 4382704 SOS 839163 HAS SOPS 839163 HAS SOUS 634436 HAS SOUPS 634436 WITH SCORE 635275.163
AT ITER 4579 NEW BEST:: SOT 4382698 SOS 839151 HAS SOPS 839151 HAS SOUS 634424 HAS SOUPS 634424 WITH SCORE 635263.151
AT ITER 4614 NEW BEST:: SOT 4382513 SOS 838781 HAS SOPS 838781 HAS SOUS 634054 HAS SOUPS 634054 WITH SCORE 634892.781
AT ITER 4641 NEW BEST:: SOT 4382387 SOS 838655 HAS SOPS 838655 HAS SOUS 634054 HAS SOUPS 634054 WITH SCORE 634892.655
AT ITER 4662 NEW BEST:: SOT 4382067 SOS 838335 HAS SOPS 838335 HAS SOUS 633734 HAS SOUPS 633734 WITH SCORE 634572.335
AT ITER 4671 NEW BEST:: SOT 4381932 SOS 838200 HAS SOPS 838200 HAS SOUS 633599 HAS SOUPS 633599 WITH SCORE 634437.2
AT ITER 4676 NEW BEST:: SOT 4381931 SOS 837567 HAS SOPS 837567 HAS SOUS 633597 HAS SOUPS 633597 WITH SCORE 634434.567
AT ITER 4694 NEW BEST:: SOT 4381709 SOS 837123 HAS SOPS 837123 HAS SOUS 633153 HAS SOUPS 633153 WITH SCORE 633990.123
AT ITER 4731 NEW BEST:: SOT 4381699 SOS 837098 HAS SOPS 837098 HAS SOUS 633133 HAS SOUPS 633133 WITH SCORE 633970.098
AT ITER 4746 NEW BEST:: SOT 4381656 SOS 837055 HAS SOPS 837055 HAS SOUS 633047 HAS SOUPS 633047 WITH SCORE 633884.055
AT ITER 4761 NEW BEST:: SOT 4381575 SOS 836893 HAS SOPS 836893 HAS SOUS 632885 HAS SOUPS 632885 WITH SCORE 633721.893
AT ITER 4776 NEW BEST:: SOT 4381545 SOS 836833 HAS SOPS 836833 HAS SOUS 632825 HAS SOUPS 632825 WITH SCORE 633661.833
AT ITER 4786 NEW BEST:: SOT 4381545 SOS 836669 HAS SOPS 836669 HAS SOUS 632661 HAS SOUPS 632661 WITH SCORE 633497.669
AT ITER 4817 NEW BEST:: SOT 4381903 SOS 834590 HAS SOPS 834590 HAS SOUS 632511 HAS SOUPS 632511 WITH SCORE 633345.59
AT ITER 4830 NEW BEST:: SOT 4381834 SOS 834452 HAS SOPS 834452 HAS SOUS 632373 HAS SOUPS 632373 WITH SCORE 633207.452
AT ITER 4833 NEW BEST:: SOT 4381662 SOS 834293 HAS SOPS 834293 HAS SOUS 632201 HAS SOUPS 632201 WITH SCORE 633035.293
AT ITER 4840 NEW BEST:: SOT 4381625 SOS 834219 HAS SOPS 834219 HAS SOUS 632127 HAS SOUPS 632127 WITH SCORE 632961.219
AT ITER 4848 NEW BEST:: SOT 4377418 SOS 882337 HAS SOPS 882337 HAS SOUS 630460 HAS SOUPS 630460 WITH SCORE 631342.337
AT ITER 4859 NEW BEST:: SOT 4377417 SOS 882335 HAS SOPS 882335 HAS SOUS 630458 HAS SOUPS 630458 WITH SCORE 631340.335
AT ITER 4888 NEW BEST:: SOT 4377417 SOS 882307 HAS SOPS 882307 HAS SOUS 630458 HAS SOUPS 630458 WITH SCORE 631340.307
AT ITER 4904 NEW BEST:: SOT 4377433 SOS 882230 HAS SOPS 882230 HAS SOUS 630365 HAS SOUPS 630365 WITH SCORE 631247.23
AT ITER 4978 NEW BEST:: SOT 4377060 SOS 881754 HAS SOPS 881754 HAS SOUS 629889 HAS SOUPS 629889 WITH SCORE 630770.754
AT ITER 4985 NEW BEST:: SOT 4376973 SOS 881580 HAS SOPS 881580 HAS SOUS 629715 HAS SOUPS 629715 WITH SCORE 630596.58
AT ITER 4989 NEW BEST:: SOT 4376972 SOS 881183 HAS SOPS 881183 HAS SOUS 629714 HAS SOUPS 629714 WITH SCORE 630595.183
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-00 (EF(( (! ( potential( ( 3 ) <= (tk(P311)) ) | potential( (tk(P1895)) <= (tk(P443)) ) )) & potential( (tk(P265)) <= (tk(P305)) ) )))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-01 (EF((AG( ( potential( ( 1 ) <= (tk(P246)) ) | potential( ( 3 ) <= (tk(P1987)) ) )))))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-02 ( potential( ( 2 ) <= (tk(P2308)) ) | ( (AG( ( potential( (tk(P344)) <= (tk(P85)) ) | potential( ( 3 ) <= (tk(P2144)) ) ))) | potential( ( 3 ) <= (tk(P1616)) ) ) )
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-03 (EX( (AG( ( potential( (tk(P2252)) <= (tk(P2091)) ) | potential( ( 2 ) <= (tk(P1913)) ) )))))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-04 (! (EG( (EX( potential( (tk(P1620)) <= (tk(P1885)) ))))))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-05 (AF(( ( potential( ( 2 ) <= (tk(P1409)) ) & potential( ( 2 ) <= (tk(P1116)) ) ) & ( ( potential( ( 1 ) <= (tk(P553)) ) & potential( ( 3 ) <= (tk(P966)) ) ) | ( potential( ( 3 ) <= (tk(P336)) ) | potential( ( 3 ) <= (tk(P715)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-06 (EG( ( ( ( potential( (tk(P1536)) <= (tk(P1640)) ) | potential( ( 1 ) <= (tk(P1653)) ) ) | ( potential( ( 3 ) <= (tk(P2478)) ) & potential( (tk(P2329)) <= (tk(P2093)) ) ) ) | (! (! potential( ( 1 ) <= (tk(P341)) ))) )))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-07 (AX( (EG( potential( (tk(P2408)) <= (tk(P2110)) )))))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-08 ( ( (EG( ( potential( ( 3 ) <= (tk(P2294)) ) | potential( (tk(P891)) <= (tk(P1405)) ) ))) | (AF((! potential( (tk(P1985)) <= (tk(P600)) )))) ) | (! ( (EX( potential( (tk(P1831)) <= (tk(P2582)) ))) | (! ( potential( ( 1 ) <= (tk(P410)) ) | potential( (tk(P1306)) <= (tk(P2384)) ) )) )) )
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-09 ( ( (AX( (! potential( ( 1 ) <= (tk(P1708)) )))) | (AG( ( potential( ( 1 ) <= (tk(P1447)) ) & potential( (tk(P2486)) <= (tk(P785)) ) ))) ) & (AF((AX( potential( ( 1 ) <= (tk(P55)) ))))) )
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-10 (EF(( ( potential( ( 1 ) <= (tk(P517)) ) & ( potential( ( 3 ) <= (tk(P1034)) ) & potential( ( 3 ) <= (tk(P663)) ) ) ) & (! (! potential( ( 3 ) <= (tk(P2583)) ))) )))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-11 (AX( ( ( (! potential( ( 3 ) <= (tk(P1421)) )) | (! potential( (tk(P2131)) <= (tk(P1810)) )) ) & (EF(potential( ( 2 ) <= (tk(P858)) ))) )))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-12 ( ( (! (AX( potential( (tk(P701)) <= (tk(P1048)) )))) | potential( ( 2 ) <= (tk(P87)) ) ) | ( ( (EG( potential( (tk(P1500)) <= (tk(P2181)) ))) | potential( ( 1 ) <= (tk(P740)) ) ) | (AU( potential( (tk(P1497)) <= (tk(P532)) ),potential( ( 3 ) <= (tk(P2149)) ) )) ) )
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-13 ( (! (AG( (! potential( ( 1 ) <= (tk(P2581)) ))))) & (AG( (EF(potential( (tk(P2399)) <= (tk(P1228)) ))))) )
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-14 (AG( ( potential( (tk(P1509)) <= (tk(P4)) ) & (EF(potential( ( 2 ) <= (tk(P1182)) ))) )))
PROPERTY: CloudReconfiguration-PT-301-CTLCardinality-15 (! ( ( ( potential( ( 1 ) <= (tk(P533)) ) & ( potential( (tk(P2346)) <= (tk(P253)) ) | potential( ( 2 ) <= (tk(P2171)) ) ) ) | (AF(potential( ( 2 ) <= (tk(P465)) ))) ) | (EF(( potential( ( 3 ) <= (tk(P1004)) ) & potential( ( 3 ) <= (tk(P836)) ) ))) ))

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="CloudReconfiguration-PT-301"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-301, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541600003"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-301.tgz
mv CloudReconfiguration-PT-301 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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