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

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

=== Now, execution of the tool begins

BK_START 1589088015371

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 301
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: 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 10 NEW BEST:: SOT 4439016 SOS 755479 HAS SOPS 755479 HAS SOUS 697101 HAS SOUPS 697101 WITH SCORE 697856.479
AT ITER 31 NEW BEST:: SOT 4438866 SOS 755179 HAS SOPS 755179 HAS SOUS 696801 HAS SOUPS 696801 WITH SCORE 697556.179
AT ITER 36 NEW BEST:: SOT 4438866 SOS 755179 HAS SOPS 755179 HAS SOUS 696573 HAS SOUPS 696573 WITH SCORE 697328.179
AT ITER 42 NEW BEST:: SOT 4438866 SOS 755179 HAS SOPS 755179 HAS SOUS 696477 HAS SOUPS 696477 WITH SCORE 697232.179
AT ITER 54 NEW BEST:: SOT 4438718 SOS 754735 HAS SOPS 754735 HAS SOUS 696181 HAS SOUPS 696181 WITH SCORE 696935.735
AT ITER 94 NEW BEST:: SOT 4438718 SOS 754655 HAS SOPS 754655 HAS SOUS 696181 HAS SOUPS 696181 WITH SCORE 696935.655
AT ITER 111 NEW BEST:: SOT 4438796 SOS 754587 HAS SOPS 754587 HAS SOUS 696113 HAS SOUPS 696113 WITH SCORE 696867.587
AT ITER 124 NEW BEST:: SOT 4438796 SOS 754494 HAS SOPS 754494 HAS SOUS 696113 HAS SOUPS 696113 WITH SCORE 696867.494
AT ITER 186 NEW BEST:: SOT 4438424 SOS 754246 HAS SOPS 754246 HAS SOUS 695865 HAS SOUPS 695865 WITH SCORE 696619.246
AT ITER 196 NEW BEST:: SOT 4438188 SOS 754010 HAS SOPS 754010 HAS SOUS 695629 HAS SOUPS 695629 WITH SCORE 696383.01
AT ITER 204 NEW BEST:: SOT 4438288 SOS 754210 HAS SOPS 754210 HAS SOUS 695511 HAS SOUPS 695511 WITH SCORE 696265.21
AT ITER 208 NEW BEST:: SOT 4435883 SOS 751812 HAS SOPS 751812 HAS SOUS 693113 HAS SOUPS 693113 WITH SCORE 693864.812
AT ITER 216 NEW BEST:: SOT 4435882 SOS 751810 HAS SOPS 751810 HAS SOUS 693111 HAS SOUPS 693111 WITH SCORE 693862.81
AT ITER 224 NEW BEST:: SOT 4435882 SOS 751741 HAS SOPS 751741 HAS SOUS 693111 HAS SOUPS 693111 WITH SCORE 693862.741
AT ITER 227 NEW BEST:: SOT 4435842 SOS 751701 HAS SOPS 751701 HAS SOUS 693071 HAS SOUPS 693071 WITH SCORE 693822.701
AT ITER 231 NEW BEST:: SOT 4435612 SOS 751471 HAS SOPS 751471 HAS SOUS 692841 HAS SOUPS 692841 WITH SCORE 693592.471
AT ITER 246 NEW BEST:: SOT 4435316 SOS 751199 HAS SOPS 751199 HAS SOUS 692545 HAS SOUPS 692545 WITH SCORE 693296.199
AT ITER 251 NEW BEST:: SOT 4435028 SOS 750935 HAS SOPS 750935 HAS SOUS 692274 HAS SOUPS 692274 WITH SCORE 693024.935
AT ITER 254 NEW BEST:: SOT 4434928 SOS 750735 HAS SOPS 750735 HAS SOUS 692173 HAS SOUPS 692173 WITH SCORE 692923.735
AT ITER 258 NEW BEST:: SOT 4434721 SOS 750623 HAS SOPS 750623 HAS SOUS 691969 HAS SOUPS 691969 WITH SCORE 692719.623
AT ITER 273 NEW BEST:: SOT 4429252 SOS 765893 HAS SOPS 765893 HAS SOUS 687482 HAS SOUPS 687482 WITH SCORE 688247.893
AT ITER 295 NEW BEST:: SOT 4429252 SOS 765798 HAS SOPS 765798 HAS SOUS 687482 HAS SOUPS 687482 WITH SCORE 688247.798
AT ITER 298 NEW BEST:: SOT 4427169 SOS 764013 HAS SOPS 764013 HAS SOUS 685696 HAS SOUPS 685696 WITH SCORE 686460.013
AT ITER 318 NEW BEST:: SOT 4427234 SOS 764143 HAS SOPS 764143 HAS SOUS 685671 HAS SOUPS 685671 WITH SCORE 686435.143
AT ITER 322 NEW BEST:: SOT 4427143 SOS 763961 HAS SOPS 763961 HAS SOUS 685489 HAS SOUPS 685489 WITH SCORE 686252.961
AT ITER 325 NEW BEST:: SOT 4427142 SOS 763841 HAS SOPS 763841 HAS SOUS 685487 HAS SOUPS 685487 WITH SCORE 686250.841
AT ITER 357 NEW BEST:: SOT 4427142 SOS 763629 HAS SOPS 763629 HAS SOUS 685487 HAS SOUPS 685487 WITH SCORE 686250.629
AT ITER 359 NEW BEST:: SOT 4427124 SOS 763593 HAS SOPS 763593 HAS SOUS 685451 HAS SOUPS 685451 WITH SCORE 686214.593
AT ITER 367 NEW BEST:: SOT 4427062 SOS 763557 HAS SOPS 763557 HAS SOUS 685327 HAS SOUPS 685327 WITH SCORE 686090.557
AT ITER 397 NEW BEST:: SOT 4426910 SOS 763253 HAS SOPS 763253 HAS SOUS 685023 HAS SOUPS 685023 WITH SCORE 685786.253
AT ITER 420 NEW BEST:: SOT 4426910 SOS 763112 HAS SOPS 763112 HAS SOUS 685022 HAS SOUPS 685022 WITH SCORE 685785.112
AT ITER 440 NEW BEST:: SOT 4426773 SOS 762975 HAS SOPS 762975 HAS SOUS 684885 HAS SOUPS 684885 WITH SCORE 685647.975
AT ITER 441 NEW BEST:: SOT 4426150 SOS 762305 HAS SOPS 762305 HAS SOUS 684110 HAS SOUPS 684110 WITH SCORE 684872.305
AT ITER 444 NEW BEST:: SOT 4424721 SOS 761081 HAS SOPS 761081 HAS SOUS 682885 HAS SOUPS 682885 WITH SCORE 683646.081
AT ITER 462 NEW BEST:: SOT 4424433 SOS 760505 HAS SOPS 760505 HAS SOUS 682730 HAS SOUPS 682730 WITH SCORE 683490.505
AT ITER 486 NEW BEST:: SOT 4424284 SOS 760284 HAS SOPS 760284 HAS SOUS 682508 HAS SOUPS 682508 WITH SCORE 683268.284
AT ITER 519 NEW BEST:: SOT 4424346 SOS 760036 HAS SOPS 760036 HAS SOUS 682317 HAS SOUPS 682317 WITH SCORE 683077.036
AT ITER 565 NEW BEST:: SOT 4424294 SOS 759984 HAS SOPS 759984 HAS SOUS 682265 HAS SOUPS 682265 WITH SCORE 683024.984
AT ITER 571 NEW BEST:: SOT 4424190 SOS 759880 HAS SOPS 759880 HAS SOUS 682161 HAS SOUPS 682161 WITH SCORE 682920.88
AT ITER 572 NEW BEST:: SOT 4424280 SOS 759760 HAS SOPS 759760 HAS SOUS 682105 HAS SOUPS 682105 WITH SCORE 682864.76
AT ITER 596 NEW BEST:: SOT 4424273 SOS 759746 HAS SOPS 759746 HAS SOUS 682091 HAS SOUPS 682091 WITH SCORE 682850.746
AT ITER 624 NEW BEST:: SOT 4424130 SOS 759603 HAS SOPS 759603 HAS SOUS 681948 HAS SOUPS 681948 WITH SCORE 682707.603
AT ITER 642 NEW BEST:: SOT 4423916 SOS 759175 HAS SOPS 759175 HAS SOUS 681520 HAS SOUPS 681520 WITH SCORE 682279.175
AT ITER 645 NEW BEST:: SOT 4423876 SOS 759095 HAS SOPS 759095 HAS SOUS 681479 HAS SOUPS 681479 WITH SCORE 682238.095
AT ITER 646 NEW BEST:: SOT 4423757 SOS 758857 HAS SOPS 758857 HAS SOUS 681241 HAS SOUPS 681241 WITH SCORE 681999.857
AT ITER 656 NEW BEST:: SOT 4423707 SOS 758757 HAS SOPS 758757 HAS SOUS 681236 HAS SOUPS 681236 WITH SCORE 681994.757
AT ITER 670 NEW BEST:: SOT 4423590 SOS 758523 HAS SOPS 758523 HAS SOUS 681002 HAS SOUPS 681002 WITH SCORE 681760.523
AT ITER 679 NEW BEST:: SOT 4423392 SOS 758127 HAS SOPS 758127 HAS SOUS 680804 HAS SOUPS 680804 WITH SCORE 681562.127
AT ITER 681 NEW BEST:: SOT 4423391 SOS 758125 HAS SOPS 758125 HAS SOUS 680802 HAS SOUPS 680802 WITH SCORE 681560.125
AT ITER 730 NEW BEST:: SOT 4423391 SOS 757991 HAS SOPS 757991 HAS SOUS 680802 HAS SOUPS 680802 WITH SCORE 681559.991
AT ITER 742 NEW BEST:: SOT 4423332 SOS 757873 HAS SOPS 757873 HAS SOUS 680622 HAS SOUPS 680622 WITH SCORE 681379.873
AT ITER 775 NEW BEST:: SOT 4423326 SOS 757867 HAS SOPS 757867 HAS SOUS 680616 HAS SOUPS 680616 WITH SCORE 681373.867
AT ITER 782 NEW BEST:: SOT 4423326 SOS 757694 HAS SOPS 757694 HAS SOUS 680443 HAS SOUPS 680443 WITH SCORE 681200.694
AT ITER 784 NEW BEST:: SOT 4423326 SOS 757685 HAS SOPS 757685 HAS SOUS 680434 HAS SOUPS 680434 WITH SCORE 681191.685
AT ITER 817 NEW BEST:: SOT 4423310 SOS 757653 HAS SOPS 757653 HAS SOUS 680356 HAS SOUPS 680356 WITH SCORE 681113.653
AT ITER 830 NEW BEST:: SOT 4423053 SOS 757139 HAS SOPS 757139 HAS SOUS 680307 HAS SOUPS 680307 WITH SCORE 681064.139
AT ITER 852 NEW BEST:: SOT 4423053 SOS 757090 HAS SOPS 757090 HAS SOUS 680307 HAS SOUPS 680307 WITH SCORE 681064.09
AT ITER 865 NEW BEST:: SOT 4422749 SOS 756786 HAS SOPS 756786 HAS SOUS 680003 HAS SOUPS 680003 WITH SCORE 680759.786
AT ITER 899 NEW BEST:: SOT 4422693 SOS 756738 HAS SOPS 756738 HAS SOUS 679954 HAS SOUPS 679954 WITH SCORE 680710.738
AT ITER 923 NEW BEST:: SOT 4422693 SOS 756577 HAS SOPS 756577 HAS SOUS 679953 HAS SOUPS 679953 WITH SCORE 680709.577
AT ITER 946 NEW BEST:: SOT 4422673 SOS 756537 HAS SOPS 756537 HAS SOUS 679913 HAS SOUPS 679913 WITH SCORE 680669.537
AT ITER 952 NEW BEST:: SOT 4422624 SOS 756439 HAS SOPS 756439 HAS SOUS 679898 HAS SOUPS 679898 WITH SCORE 680654.439
AT ITER 957 NEW BEST:: SOT 4422243 SOS 756185 HAS SOPS 756185 HAS SOUS 679644 HAS SOUPS 679644 WITH SCORE 680400.185
AT ITER 968 NEW BEST:: SOT 4422243 SOS 756185 HAS SOPS 756185 HAS SOUS 679575 HAS SOUPS 679575 WITH SCORE 680331.185
AT ITER 976 NEW BEST:: SOT 4422243 SOS 756058 HAS SOPS 756058 HAS SOUS 679575 HAS SOUPS 679575 WITH SCORE 680331.058
AT ITER 978 NEW BEST:: SOT 4422243 SOS 755653 HAS SOPS 755653 HAS SOUS 679575 HAS SOUPS 679575 WITH SCORE 680330.653
AT ITER 987 NEW BEST:: SOT 4421910 SOS 755603 HAS SOPS 755603 HAS SOUS 679342 HAS SOUPS 679342 WITH SCORE 680097.603
AT ITER 1037 NEW BEST:: SOT 4421910 SOS 755476 HAS SOPS 755476 HAS SOUS 679341 HAS SOUPS 679341 WITH SCORE 680096.476
AT ITER 1061 NEW BEST:: SOT 4421655 SOS 754966 HAS SOPS 754966 HAS SOUS 679311 HAS SOUPS 679311 WITH SCORE 680065.966
AT ITER 1075 NEW BEST:: SOT 4421654 SOS 754964 HAS SOPS 754964 HAS SOUS 679309 HAS SOUPS 679309 WITH SCORE 680063.964
AT ITER 1078 NEW BEST:: SOT 4421653 SOS 754962 HAS SOPS 754962 HAS SOUS 679307 HAS SOUPS 679307 WITH SCORE 680061.962
AT ITER 1080 NEW BEST:: SOT 4421445 SOS 754546 HAS SOPS 754546 HAS SOUS 678891 HAS SOUPS 678891 WITH SCORE 679645.546
AT ITER 1099 NEW BEST:: SOT 4421445 SOS 754301 HAS SOPS 754301 HAS SOUS 678646 HAS SOUPS 678646 WITH SCORE 679400.301
AT ITER 1111 NEW BEST:: SOT 4421370 SOS 754151 HAS SOPS 754151 HAS SOUS 678496 HAS SOUPS 678496 WITH SCORE 679250.151
AT ITER 1145 NEW BEST:: SOT 4421369 SOS 754149 HAS SOPS 754149 HAS SOUS 678494 HAS SOUPS 678494 WITH SCORE 679248.149
AT ITER 1157 NEW BEST:: SOT 4421368 SOS 754147 HAS SOPS 754147 HAS SOUS 678492 HAS SOUPS 678492 WITH SCORE 679246.147
AT ITER 1158 NEW BEST:: SOT 4421342 SOS 754015 HAS SOPS 754015 HAS SOUS 678238 HAS SOUPS 678238 WITH SCORE 678992.015
AT ITER 1180 NEW BEST:: SOT 4421342 SOS 754015 HAS SOPS 754015 HAS SOUS 678228 HAS SOUPS 678228 WITH SCORE 678982.015
AT ITER 1186 NEW BEST:: SOT 4421341 SOS 754013 HAS SOPS 754013 HAS SOUS 678226 HAS SOUPS 678226 WITH SCORE 678980.013
AT ITER 1193 NEW BEST:: SOT 4420942 SOS 754508 HAS SOPS 754508 HAS SOUS 678023 HAS SOUPS 678023 WITH SCORE 678777.508
AT ITER 1208 NEW BEST:: SOT 4420781 SOS 754506 HAS SOPS 754506 HAS SOUS 677930 HAS SOUPS 677930 WITH SCORE 678684.506
AT ITER 1228 NEW BEST:: SOT 4420685 SOS 754314 HAS SOPS 754314 HAS SOUS 677738 HAS SOUPS 677738 WITH SCORE 678492.314
AT ITER 1231 NEW BEST:: SOT 4420685 SOS 754314 HAS SOPS 754314 HAS SOUS 677737 HAS SOUPS 677737 WITH SCORE 678491.314
AT ITER 1232 NEW BEST:: SOT 4420685 SOS 754080 HAS SOPS 754080 HAS SOUS 677736 HAS SOUPS 677736 WITH SCORE 678490.08
AT ITER 1234 NEW BEST:: SOT 4420516 SOS 754033 HAS SOPS 754033 HAS SOUS 677398 HAS SOUPS 677398 WITH SCORE 678152.033
AT ITER 1236 NEW BEST:: SOT 4420365 SOS 753368 HAS SOPS 753368 HAS SOUS 676923 HAS SOUPS 676923 WITH SCORE 677676.368
AT ITER 1250 NEW BEST:: SOT 4420395 SOS 753428 HAS SOPS 753428 HAS SOUS 676739 HAS SOUPS 676739 WITH SCORE 677492.428
AT ITER 1277 NEW BEST:: SOT 4420345 SOS 753328 HAS SOPS 753328 HAS SOUS 676639 HAS SOUPS 676639 WITH SCORE 677392.328
AT ITER 1278 NEW BEST:: SOT 4420345 SOS 753083 HAS SOPS 753083 HAS SOUS 676639 HAS SOUPS 676639 WITH SCORE 677392.083
AT ITER 1282 NEW BEST:: SOT 4420019 SOS 752779 HAS SOPS 752779 HAS SOUS 676324 HAS SOUPS 676324 WITH SCORE 677076.779
AT ITER 1289 NEW BEST:: SOT 4420045 SOS 752831 HAS SOPS 752831 HAS SOUS 676202 HAS SOUPS 676202 WITH SCORE 676954.831
AT ITER 1321 NEW BEST:: SOT 4420027 SOS 752795 HAS SOPS 752795 HAS SOUS 676166 HAS SOUPS 676166 WITH SCORE 676918.795
AT ITER 1327 NEW BEST:: SOT 4420026 SOS 752793 HAS SOPS 752793 HAS SOUS 676165 HAS SOUPS 676165 WITH SCORE 676917.793
AT ITER 1361 NEW BEST:: SOT 4419478 SOS 752840 HAS SOPS 752840 HAS SOUS 675842 HAS SOUPS 675842 WITH SCORE 676594.84
AT ITER 1374 NEW BEST:: SOT 4419477 SOS 752838 HAS SOPS 752838 HAS SOUS 675840 HAS SOUPS 675840 WITH SCORE 676592.838
AT ITER 1417 NEW BEST:: SOT 4419338 SOS 752421 HAS SOPS 752421 HAS SOUS 675562 HAS SOUPS 675562 WITH SCORE 676314.421
AT ITER 1418 NEW BEST:: SOT 4419107 SOS 752326 HAS SOPS 752326 HAS SOUS 675430 HAS SOUPS 675430 WITH SCORE 676182.326
AT ITER 1432 NEW BEST:: SOT 4419107 SOS 752229 HAS SOPS 752229 HAS SOUS 675430 HAS SOUPS 675430 WITH SCORE 676182.229
AT ITER 1445 NEW BEST:: SOT 4419066 SOS 752147 HAS SOPS 752147 HAS SOUS 675348 HAS SOUPS 675348 WITH SCORE 676100.147
AT ITER 1452 NEW BEST:: SOT 4418958 SOS 752039 HAS SOPS 752039 HAS SOUS 675240 HAS SOUPS 675240 WITH SCORE 675992.039
AT ITER 1453 NEW BEST:: SOT 4418833 SOS 751914 HAS SOPS 751914 HAS SOUS 675115 HAS SOUPS 675115 WITH SCORE 675866.914
AT ITER 1454 NEW BEST:: SOT 4418623 SOS 751704 HAS SOPS 751704 HAS SOUS 674905 HAS SOUPS 674905 WITH SCORE 675656.704
AT ITER 1502 NEW BEST:: SOT 4418620 SOS 751698 HAS SOPS 751698 HAS SOUS 674901 HAS SOUPS 674901 WITH SCORE 675652.698
AT ITER 1532 NEW BEST:: SOT 4418620 SOS 751695 HAS SOPS 751695 HAS SOUS 674898 HAS SOUPS 674898 WITH SCORE 675649.695
AT ITER 1533 NEW BEST:: SOT 4418620 SOS 751695 HAS SOPS 751695 HAS SOUS 674889 HAS SOUPS 674889 WITH SCORE 675640.695
AT ITER 1549 NEW BEST:: SOT 4418620 SOS 751689 HAS SOPS 751689 HAS SOUS 674883 HAS SOUPS 674883 WITH SCORE 675634.689
AT ITER 1553 NEW BEST:: SOT 4418620 SOS 751687 HAS SOPS 751687 HAS SOUS 674882 HAS SOUPS 674882 WITH SCORE 675633.687
AT ITER 1591 NEW BEST:: SOT 4418336 SOS 751442 HAS SOPS 751442 HAS SOUS 674616 HAS SOUPS 674616 WITH SCORE 675367.442
AT ITER 1593 NEW BEST:: SOT 4418179 SOS 751128 HAS SOPS 751128 HAS SOUS 674302 HAS SOUPS 674302 WITH SCORE 675053.128
AT ITER 1631 NEW BEST:: SOT 4418007 SOS 750784 HAS SOPS 750784 HAS SOUS 673958 HAS SOUPS 673958 WITH SCORE 674708.784
AT ITER 1713 NEW BEST:: SOT 4418007 SOS 750560 HAS SOPS 750560 HAS SOUS 673958 HAS SOUPS 673958 WITH SCORE 674708.56
AT ITER 1747 NEW BEST:: SOT 4418007 SOS 750477 HAS SOPS 750477 HAS SOUS 673957 HAS SOUPS 673957 WITH SCORE 674707.477
AT ITER 1765 NEW BEST:: SOT 4417651 SOS 750121 HAS SOPS 750121 HAS SOUS 673601 HAS SOUPS 673601 WITH SCORE 674351.121
AT ITER 1778 NEW BEST:: SOT 4417475 SOS 749769 HAS SOPS 749769 HAS SOUS 673147 HAS SOUPS 673147 WITH SCORE 673896.769
AT ITER 1784 NEW BEST:: SOT 4417281 SOS 749381 HAS SOPS 749381 HAS SOUS 672952 HAS SOUPS 672952 WITH SCORE 673701.381
AT ITER 1790 NEW BEST:: SOT 4417150 SOS 749595 HAS SOPS 749595 HAS SOUS 672821 HAS SOUPS 672821 WITH SCORE 673570.595
AT ITER 1810 NEW BEST:: SOT 4417126 SOS 749547 HAS SOPS 749547 HAS SOUS 672797 HAS SOUPS 672797 WITH SCORE 673546.547
AT ITER 1825 NEW BEST:: SOT 4416886 SOS 749507 HAS SOPS 749507 HAS SOUS 672726 HAS SOUPS 672726 WITH SCORE 673475.507
AT ITER 1852 NEW BEST:: SOT 4416744 SOS 749610 HAS SOPS 749610 HAS SOUS 672701 HAS SOUPS 672701 WITH SCORE 673450.61
AT ITER 1859 NEW BEST:: SOT 4416744 SOS 749531 HAS SOPS 749531 HAS SOUS 672700 HAS SOUPS 672700 WITH SCORE 673449.531
AT ITER 1867 NEW BEST:: SOT 4416671 SOS 749458 HAS SOPS 749458 HAS SOUS 672700 HAS SOUPS 672700 WITH SCORE 673449.458
AT ITER 1890 NEW BEST:: SOT 4416623 SOS 749362 HAS SOPS 749362 HAS SOUS 672604 HAS SOUPS 672604 WITH SCORE 673353.362
AT ITER 1912 NEW BEST:: SOT 4416427 SOS 749362 HAS SOPS 749362 HAS SOUS 672506 HAS SOUPS 672506 WITH SCORE 673255.362
AT ITER 1929 NEW BEST:: SOT 4413809 SOS 795963 HAS SOPS 795963 HAS SOUS 672399 HAS SOUPS 672399 WITH SCORE 673194.963
AT ITER 1931 NEW BEST:: SOT 4413734 SOS 795888 HAS SOPS 795888 HAS SOUS 672324 HAS SOUPS 672324 WITH SCORE 673119.888
AT ITER 1946 NEW BEST:: SOT 4413792 SOS 795198 HAS SOPS 795198 HAS SOUS 671979 HAS SOUPS 671979 WITH SCORE 672774.198
AT ITER 1974 NEW BEST:: SOT 4413487 SOS 781548 HAS SOPS 781548 HAS SOUS 671369 HAS SOUPS 671369 WITH SCORE 672150.548
AT ITER 2019 NEW BEST:: SOT 4413393 SOS 781360 HAS SOPS 781360 HAS SOUS 671181 HAS SOUPS 671181 WITH SCORE 671962.36
AT ITER 2022 NEW BEST:: SOT 4413393 SOS 781309 HAS SOPS 781309 HAS SOUS 671181 HAS SOUPS 671181 WITH SCORE 671962.309
AT ITER 2026 NEW BEST:: SOT 4413345 SOS 780788 HAS SOPS 780788 HAS SOUS 670903 HAS SOUPS 670903 WITH SCORE 671683.788
AT ITER 2035 NEW BEST:: SOT 4413061 SOS 780220 HAS SOPS 780220 HAS SOUS 670335 HAS SOUPS 670335 WITH SCORE 671115.22
AT ITER 2039 NEW BEST:: SOT 4413060 SOS 780218 HAS SOPS 780218 HAS SOUS 670333 HAS SOUPS 670333 WITH SCORE 671113.218
AT ITER 2079 NEW BEST:: SOT 4412933 SOS 779964 HAS SOPS 779964 HAS SOUS 670079 HAS SOUPS 670079 WITH SCORE 670858.964
AT ITER 2127 NEW BEST:: SOT 4412933 SOS 779964 HAS SOPS 779964 HAS SOUS 670030 HAS SOUPS 670030 WITH SCORE 670809.964
AT ITER 2140 NEW BEST:: SOT 4412178 SOS 779264 HAS SOPS 779264 HAS SOUS 669275 HAS SOUPS 669275 WITH SCORE 670054.264
AT ITER 2155 NEW BEST:: SOT 4412151 SOS 779330 HAS SOPS 779330 HAS SOUS 669248 HAS SOUPS 669248 WITH SCORE 670027.33
AT ITER 2170 NEW BEST:: SOT 4412092 SOS 779271 HAS SOPS 779271 HAS SOUS 669189 HAS SOUPS 669189 WITH SCORE 669968.271
AT ITER 2183 NEW BEST:: SOT 4412092 SOS 779271 HAS SOPS 779271 HAS SOUS 669151 HAS SOUPS 669151 WITH SCORE 669930.271
AT ITER 2193 NEW BEST:: SOT 4411853 SOS 779185 HAS SOPS 779185 HAS SOUS 668983 HAS SOUPS 668983 WITH SCORE 669762.185
AT ITER 2214 NEW BEST:: SOT 4411775 SOS 779165 HAS SOPS 779165 HAS SOUS 668963 HAS SOUPS 668963 WITH SCORE 669742.165
AT ITER 2223 NEW BEST:: SOT 4411774 SOS 779148 HAS SOPS 779148 HAS SOUS 668961 HAS SOUPS 668961 WITH SCORE 669740.148
AT ITER 2258 NEW BEST:: SOT 4411713 SOS 779222 HAS SOPS 779222 HAS SOUS 668900 HAS SOUPS 668900 WITH SCORE 669679.222
AT ITER 2273 NEW BEST:: SOT 4411626 SOS 779164 HAS SOPS 779164 HAS SOUS 668813 HAS SOUPS 668813 WITH SCORE 669592.164
AT ITER 2283 NEW BEST:: SOT 4411394 SOS 778700 HAS SOPS 778700 HAS SOUS 668426 HAS SOUPS 668426 WITH SCORE 669204.7
AT ITER 2295 NEW BEST:: SOT 4411394 SOS 778495 HAS SOPS 778495 HAS SOUS 668425 HAS SOUPS 668425 WITH SCORE 669203.495
AT ITER 2349 NEW BEST:: SOT 4410982 SOS 778387 HAS SOPS 778387 HAS SOUS 668252 HAS SOUPS 668252 WITH SCORE 669030.387
AT ITER 2360 NEW BEST:: SOT 4410313 SOS 777495 HAS SOPS 777495 HAS SOUS 667360 HAS SOUPS 667360 WITH SCORE 668137.495
AT ITER 2363 NEW BEST:: SOT 4410313 SOS 777272 HAS SOPS 777272 HAS SOUS 667360 HAS SOUPS 667360 WITH SCORE 668137.272
AT ITER 2393 NEW BEST:: SOT 4410172 SOS 777134 HAS SOPS 777134 HAS SOUS 667075 HAS SOUPS 667075 WITH SCORE 667852.134
AT ITER 2406 NEW BEST:: SOT 4410232 SOS 777254 HAS SOPS 777254 HAS SOUS 666999 HAS SOUPS 666999 WITH SCORE 667776.254
AT ITER 2414 NEW BEST:: SOT 4410210 SOS 777210 HAS SOPS 777210 HAS SOUS 666955 HAS SOUPS 666955 WITH SCORE 667732.21
AT ITER 2421 NEW BEST:: SOT 4410226 SOS 777242 HAS SOPS 777242 HAS SOUS 666619 HAS SOUPS 666619 WITH SCORE 667396.242
AT ITER 2427 NEW BEST:: SOT 4410198 SOS 777220 HAS SOPS 777220 HAS SOUS 666557 HAS SOUPS 666557 WITH SCORE 667334.22
AT ITER 2466 NEW BEST:: SOT 4409979 SOS 776455 HAS SOPS 776455 HAS SOUS 666082 HAS SOUPS 666082 WITH SCORE 666858.455
AT ITER 2488 NEW BEST:: SOT 4409895 SOS 776287 HAS SOPS 776287 HAS SOUS 665914 HAS SOUPS 665914 WITH SCORE 666690.287
AT ITER 2514 NEW BEST:: SOT 4409577 SOS 776052 HAS SOPS 776052 HAS SOUS 665366 HAS SOUPS 665366 WITH SCORE 666142.052
AT ITER 2540 NEW BEST:: SOT 4409502 SOS 775977 HAS SOPS 775977 HAS SOUS 665291 HAS SOUPS 665291 WITH SCORE 666066.977
AT ITER 2542 NEW BEST:: SOT 4409285 SOS 775835 HAS SOPS 775835 HAS SOUS 664857 HAS SOUPS 664857 WITH SCORE 665632.835
AT ITER 2576 NEW BEST:: SOT 4409285 SOS 775738 HAS SOPS 775738 HAS SOUS 664856 HAS SOUPS 664856 WITH SCORE 665631.738
AT ITER 2588 NEW BEST:: SOT 4409263 SOS 775694 HAS SOPS 775694 HAS SOUS 664812 HAS SOUPS 664812 WITH SCORE 665587.694
AT ITER 2606 NEW BEST:: SOT 4409205 SOS 775578 HAS SOPS 775578 HAS SOUS 664696 HAS SOUPS 664696 WITH SCORE 665471.578
AT ITER 2614 NEW BEST:: SOT 4409161 SOS 775088 HAS SOPS 775088 HAS SOUS 664348 HAS SOUPS 664348 WITH SCORE 665123.088
AT ITER 2626 NEW BEST:: SOT 4409131 SOS 774509 HAS SOPS 774509 HAS SOUS 664282 HAS SOUPS 664282 WITH SCORE 665056.509
AT ITER 2632 NEW BEST:: SOT 4409014 SOS 774275 HAS SOPS 774275 HAS SOUS 664048 HAS SOUPS 664048 WITH SCORE 664822.275
AT ITER 2642 NEW BEST:: SOT 4408818 SOS 774235 HAS SOPS 774235 HAS SOUS 663708 HAS SOUPS 663708 WITH SCORE 664482.235
AT ITER 2652 NEW BEST:: SOT 4408818 SOS 774009 HAS SOPS 774009 HAS SOUS 663708 HAS SOUPS 663708 WITH SCORE 664482.009
AT ITER 2663 NEW BEST:: SOT 4408526 SOS 773795 HAS SOPS 773795 HAS SOUS 663490 HAS SOUPS 663490 WITH SCORE 664263.795
AT ITER 2703 NEW BEST:: SOT 4408321 SOS 773590 HAS SOPS 773590 HAS SOUS 663285 HAS SOUPS 663285 WITH SCORE 664058.59
AT ITER 2726 NEW BEST:: SOT 4407974 SOS 773159 HAS SOPS 773159 HAS SOUS 662968 HAS SOUPS 662968 WITH SCORE 663741.159
AT ITER 2734 NEW BEST:: SOT 4407974 SOS 773107 HAS SOPS 773107 HAS SOUS 662967 HAS SOUPS 662967 WITH SCORE 663740.107
AT ITER 2788 NEW BEST:: SOT 4407976 SOS 772895 HAS SOPS 772895 HAS SOUS 662653 HAS SOUPS 662653 WITH SCORE 663425.895
AT ITER 2811 NEW BEST:: SOT 4407700 SOS 772343 HAS SOPS 772343 HAS SOUS 662101 HAS SOUPS 662101 WITH SCORE 662873.343
AT ITER 2834 NEW BEST:: SOT 4407627 SOS 772197 HAS SOPS 772197 HAS SOUS 661955 HAS SOUPS 661955 WITH SCORE 662727.197
AT ITER 2836 NEW BEST:: SOT 4407549 SOS 772119 HAS SOPS 772119 HAS SOUS 661955 HAS SOUPS 661955 WITH SCORE 662727.119
AT ITER 2842 NEW BEST:: SOT 4407549 SOS 772119 HAS SOPS 772119 HAS SOUS 661837 HAS SOUPS 661837 WITH SCORE 662609.119
AT ITER 2860 NEW BEST:: SOT 4407327 SOS 771897 HAS SOPS 771897 HAS SOUS 661836 HAS SOUPS 661836 WITH SCORE 662607.897
AT ITER 2910 NEW BEST:: SOT 4407296 SOS 771866 HAS SOPS 771866 HAS SOUS 661836 HAS SOUPS 661836 WITH SCORE 662607.866
AT ITER 2922 NEW BEST:: SOT 4407265 SOS 771407 HAS SOPS 771407 HAS SOUS 661515 HAS SOUPS 661515 WITH SCORE 662286.407
AT ITER 2948 NEW BEST:: SOT 4407366 SOS 771148 HAS SOPS 771148 HAS SOUS 661233 HAS SOUPS 661233 WITH SCORE 662004.148
AT ITER 2993 NEW BEST:: SOT 4407054 SOS 770524 HAS SOPS 770524 HAS SOUS 661031 HAS SOUPS 661031 WITH SCORE 661801.524
AT ITER 3007 NEW BEST:: SOT 4406947 SOS 770310 HAS SOPS 770310 HAS SOUS 660879 HAS SOUPS 660879 WITH SCORE 661649.31
AT ITER 3012 NEW BEST:: SOT 4406959 SOS 770605 HAS SOPS 770605 HAS SOUS 660816 HAS SOUPS 660816 WITH SCORE 661586.605
AT ITER 3016 NEW BEST:: SOT 4406914 SOS 770515 HAS SOPS 770515 HAS SOUS 660726 HAS SOUPS 660726 WITH SCORE 661496.515
AT ITER 3026 NEW BEST:: SOT 4406756 SOS 770357 HAS SOPS 770357 HAS SOUS 660568 HAS SOUPS 660568 WITH SCORE 661338.357
AT ITER 3049 NEW BEST:: SOT 4406756 SOS 770233 HAS SOPS 770233 HAS SOUS 660568 HAS SOUPS 660568 WITH SCORE 661338.233
AT ITER 3050 NEW BEST:: SOT 4406756 SOS 770017 HAS SOPS 770017 HAS SOUS 660568 HAS SOUPS 660568 WITH SCORE 661338.017
AT ITER 3068 NEW BEST:: SOT 4406733 SOS 770017 HAS SOPS 770017 HAS SOUS 660538 HAS SOUPS 660538 WITH SCORE 661308.017
AT ITER 3083 NEW BEST:: SOT 4406733 SOS 770017 HAS SOPS 770017 HAS SOUS 660340 HAS SOUPS 660340 WITH SCORE 661110.017
AT ITER 3105 NEW BEST:: SOT 4406714 SOS 769823 HAS SOPS 769823 HAS SOUS 660203 HAS SOUPS 660203 WITH SCORE 660972.823
AT ITER 3118 NEW BEST:: SOT 4406895 SOS 770185 HAS SOPS 770185 HAS SOUS 660090 HAS SOUPS 660090 WITH SCORE 660860.185
AT ITER 3123 NEW BEST:: SOT 4406933 SOS 770261 HAS SOPS 770261 HAS SOUS 659622 HAS SOUPS 659622 WITH SCORE 660392.261
AT ITER 3151 NEW BEST:: SOT 4406932 SOS 770174 HAS SOPS 770174 HAS SOUS 659620 HAS SOUPS 659620 WITH SCORE 660390.174
AT ITER 3167 NEW BEST:: SOT 4406931 SOS 770172 HAS SOPS 770172 HAS SOUS 659618 HAS SOUPS 659618 WITH SCORE 660388.172
AT ITER 3178 NEW BEST:: SOT 4406813 SOS 770054 HAS SOPS 770054 HAS SOUS 659500 HAS SOUPS 659500 WITH SCORE 660270.054
AT ITER 3182 NEW BEST:: SOT 4406791 SOS 770010 HAS SOPS 770010 HAS SOUS 659467 HAS SOUPS 659467 WITH SCORE 660237.01
AT ITER 3195 NEW BEST:: SOT 4406702 SOS 769832 HAS SOPS 769832 HAS SOUS 659289 HAS SOUPS 659289 WITH SCORE 660058.832
AT ITER 3207 NEW BEST:: SOT 4406835 SOS 769770 HAS SOPS 769770 HAS SOUS 659227 HAS SOUPS 659227 WITH SCORE 659996.77
AT ITER 3210 NEW BEST:: SOT 4406753 SOS 769606 HAS SOPS 769606 HAS SOUS 659063 HAS SOUPS 659063 WITH SCORE 659832.606
AT ITER 3214 NEW BEST:: SOT 4406724 SOS 769548 HAS SOPS 769548 HAS SOUS 659005 HAS SOUPS 659005 WITH SCORE 659774.548
AT ITER 3215 NEW BEST:: SOT 4406616 SOS 769440 HAS SOPS 769440 HAS SOUS 658897 HAS SOUPS 658897 WITH SCORE 659666.44
AT ITER 3230 NEW BEST:: SOT 4406682 SOS 769572 HAS SOPS 769572 HAS SOUS 658708 HAS SOUPS 658708 WITH SCORE 659477.572
AT ITER 3247 NEW BEST:: SOT 4406682 SOS 769455 HAS SOPS 769455 HAS SOUS 658708 HAS SOUPS 658708 WITH SCORE 659477.455
AT ITER 3282 NEW BEST:: SOT 4406735 SOS 769561 HAS SOPS 769561 HAS SOUS 658704 HAS SOUPS 658704 WITH SCORE 659473.561
AT ITER 3306 NEW BEST:: SOT 4406752 SOS 769480 HAS SOPS 769480 HAS SOUS 658606 HAS SOUPS 658606 WITH SCORE 659375.48
AT ITER 3334 NEW BEST:: SOT 4406751 SOS 769478 HAS SOPS 769478 HAS SOUS 658604 HAS SOUPS 658604 WITH SCORE 659373.478
AT ITER 3338 NEW BEST:: SOT 4406625 SOS 769616 HAS SOPS 769616 HAS SOUS 658569 HAS SOUPS 658569 WITH SCORE 659338.616
AT ITER 3339 NEW BEST:: SOT 4406535 SOS 769526 HAS SOPS 769526 HAS SOUS 658479 HAS SOUPS 658479 WITH SCORE 659248.526
AT ITER 3341 NEW BEST:: SOT 4406593 SOS 769469 HAS SOPS 769469 HAS SOUS 658422 HAS SOUPS 658422 WITH SCORE 659191.469
AT ITER 3351 NEW BEST:: SOT 4406497 SOS 769277 HAS SOPS 769277 HAS SOUS 658230 HAS SOUPS 658230 WITH SCORE 658999.277
AT ITER 3363 NEW BEST:: SOT 4396010 SOS 761332 HAS SOPS 761332 HAS SOUS 648348 HAS SOUPS 648348 WITH SCORE 649109.332
AT ITER 3371 NEW BEST:: SOT 4395417 SOS 760752 HAS SOPS 760752 HAS SOUS 647764 HAS SOUPS 647764 WITH SCORE 648524.752
AT ITER 3394 NEW BEST:: SOT 4395384 SOS 761094 HAS SOPS 761094 HAS SOUS 647731 HAS SOUPS 647731 WITH SCORE 648492.094
AT ITER 3418 NEW BEST:: SOT 4395384 SOS 761094 HAS SOPS 761094 HAS SOUS 647545 HAS SOUPS 647545 WITH SCORE 648306.094
AT ITER 3423 NEW BEST:: SOT 4395384 SOS 760800 HAS SOPS 760800 HAS SOUS 647251 HAS SOUPS 647251 WITH SCORE 648011.8
AT ITER 3494 NEW BEST:: SOT 4395384 SOS 760800 HAS SOPS 760800 HAS SOUS 647200 HAS SOUPS 647200 WITH SCORE 647960.8
AT ITER 3533 NEW BEST:: SOT 4395073 SOS 726082 HAS SOPS 726082 HAS SOUS 646295 HAS SOUPS 646295 WITH SCORE 647021.082
AT ITER 3543 NEW BEST:: SOT 4394612 SOS 726080 HAS SOPS 726080 HAS SOUS 646063 HAS SOUPS 646063 WITH SCORE 646789.08
AT ITER 3551 NEW BEST:: SOT 4394548 SOS 725954 HAS SOPS 725954 HAS SOUS 645999 HAS SOUPS 645999 WITH SCORE 646724.954
AT ITER 3559 NEW BEST:: SOT 4394437 SOS 725843 HAS SOPS 725843 HAS SOUS 645888 HAS SOUPS 645888 WITH SCORE 646613.843
AT ITER 3572 NEW BEST:: SOT 4394311 SOS 725808 HAS SOPS 725808 HAS SOUS 645545 HAS SOUPS 645545 WITH SCORE 646270.808
AT ITER 3628 NEW BEST:: SOT 4394223 SOS 725632 HAS SOPS 725632 HAS SOUS 645369 HAS SOUPS 645369 WITH SCORE 646094.632
AT ITER 3695 NEW BEST:: SOT 4394104 SOS 725394 HAS SOPS 725394 HAS SOUS 645131 HAS SOUPS 645131 WITH SCORE 645856.394
AT ITER 3708 NEW BEST:: SOT 4393223 SOS 727076 HAS SOPS 727076 HAS SOUS 644748 HAS SOUPS 644748 WITH SCORE 645475.076
AT ITER 3719 NEW BEST:: SOT 4393188 SOS 726971 HAS SOPS 726971 HAS SOUS 644643 HAS SOUPS 644643 WITH SCORE 645369.971
AT ITER 3725 NEW BEST:: SOT 4393188 SOS 726914 HAS SOPS 726914 HAS SOUS 644643 HAS SOUPS 644643 WITH SCORE 645369.914
AT ITER 3766 NEW BEST:: SOT 4393188 SOS 726914 HAS SOPS 726914 HAS SOUS 644395 HAS SOUPS 644395 WITH SCORE 645121.914
AT ITER 3768 NEW BEST:: SOT 4393072 SOS 726798 HAS SOPS 726798 HAS SOUS 644279 HAS SOUPS 644279 WITH SCORE 645005.798
AT ITER 3783 NEW BEST:: SOT 4393072 SOS 726783 HAS SOPS 726783 HAS SOUS 644279 HAS SOUPS 644279 WITH SCORE 645005.783
AT ITER 3793 NEW BEST:: SOT 4393170 SOS 726514 HAS SOPS 726514 HAS SOUS 644190 HAS SOUPS 644190 WITH SCORE 644916.514
AT ITER 3796 NEW BEST:: SOT 4393104 SOS 726382 HAS SOPS 726382 HAS SOUS 643861 HAS SOUPS 643861 WITH SCORE 644587.382
AT ITER 3798 NEW BEST:: SOT 4393033 SOS 726240 HAS SOPS 726240 HAS SOUS 643504 HAS SOUPS 643504 WITH SCORE 644230.24
AT ITER 3811 NEW BEST:: SOT 4392946 SOS 726180 HAS SOPS 726180 HAS SOUS 643417 HAS SOUPS 643417 WITH SCORE 644143.18
AT ITER 3821 NEW BEST:: SOT 4393390 SOS 725872 HAS SOPS 725872 HAS SOUS 643405 HAS SOUPS 643405 WITH SCORE 644130.872
AT ITER 3850 NEW BEST:: SOT 4393390 SOS 725362 HAS SOPS 725362 HAS SOUS 643150 HAS SOUPS 643150 WITH SCORE 643875.362
AT ITER 3851 NEW BEST:: SOT 4393211 SOS 725183 HAS SOPS 725183 HAS SOUS 642971 HAS SOUPS 642971 WITH SCORE 643696.183
AT ITER 3867 NEW BEST:: SOT 4393211 SOS 724942 HAS SOPS 724942 HAS SOUS 642971 HAS SOUPS 642971 WITH SCORE 643695.942
AT ITER 3893 NEW BEST:: SOT 4393553 SOS 725274 HAS SOPS 725274 HAS SOUS 642961 HAS SOUPS 642961 WITH SCORE 643686.274
AT ITER 3899 NEW BEST:: SOT 4393552 SOS 725272 HAS SOPS 725272 HAS SOUS 642959 HAS SOUPS 642959 WITH SCORE 643684.272
AT ITER 3904 NEW BEST:: SOT 4392875 SOS 725271 HAS SOPS 725271 HAS SOUS 642365 HAS SOUPS 642365 WITH SCORE 643090.271
AT ITER 3907 NEW BEST:: SOT 4392733 SOS 724987 HAS SOPS 724987 HAS SOUS 642081 HAS SOUPS 642081 WITH SCORE 642805.987
AT ITER 3908 NEW BEST:: SOT 4392669 SOS 725199 HAS SOPS 725199 HAS SOUS 642061 HAS SOUPS 642061 WITH SCORE 642786.199
AT ITER 3931 NEW BEST:: SOT 4392646 SOS 725153 HAS SOPS 725153 HAS SOUS 642015 HAS SOUPS 642015 WITH SCORE 642740.153
AT ITER 3943 NEW BEST:: SOT 4392084 SOS 725357 HAS SOPS 725357 HAS SOUS 641694 HAS SOUPS 641694 WITH SCORE 642419.357
AT ITER 3946 NEW BEST:: SOT 4391901 SOS 725252 HAS SOPS 725252 HAS SOUS 641535 HAS SOUPS 641535 WITH SCORE 642260.252
AT ITER 3947 NEW BEST:: SOT 4391708 SOS 724866 HAS SOPS 724866 HAS SOUS 641064 HAS SOUPS 641064 WITH SCORE 641788.866
AT ITER 3953 NEW BEST:: SOT 4391044 SOS 724558 HAS SOPS 724558 HAS SOUS 640228 HAS SOUPS 640228 WITH SCORE 640952.558
AT ITER 3977 NEW BEST:: SOT 4390860 SOS 724373 HAS SOPS 724373 HAS SOUS 640043 HAS SOUPS 640043 WITH SCORE 640767.373
AT ITER 4017 NEW BEST:: SOT 4390926 SOS 724159 HAS SOPS 724159 HAS SOUS 639940 HAS SOUPS 639940 WITH SCORE 640664.159
AT ITER 4066 NEW BEST:: SOT 4390875 SOS 724057 HAS SOPS 724057 HAS SOUS 639838 HAS SOUPS 639838 WITH SCORE 640562.057
AT ITER 4089 NEW BEST:: SOT 4390919 SOS 724045 HAS SOPS 724045 HAS SOUS 639826 HAS SOUPS 639826 WITH SCORE 640550.045
AT ITER 4099 NEW BEST:: SOT 4390839 SOS 723965 HAS SOPS 723965 HAS SOUS 639826 HAS SOUPS 639826 WITH SCORE 640549.965
AT ITER 4100 NEW BEST:: SOT 4390836 SOS 723953 HAS SOPS 723953 HAS SOUS 639820 HAS SOUPS 639820 WITH SCORE 640543.953
AT ITER 4130 NEW BEST:: SOT 4390761 SOS 723803 HAS SOPS 723803 HAS SOUS 639744 HAS SOUPS 639744 WITH SCORE 640467.803
AT ITER 4139 NEW BEST:: SOT 4390681 SOS 723643 HAS SOPS 723643 HAS SOUS 639584 HAS SOUPS 639584 WITH SCORE 640307.643
AT ITER 4190 NEW BEST:: SOT 4390604 SOS 723643 HAS SOPS 723643 HAS SOUS 639506 HAS SOUPS 639506 WITH SCORE 640229.643
AT ITER 4195 NEW BEST:: SOT 4390603 SOS 723641 HAS SOPS 723641 HAS SOUS 639504 HAS SOUPS 639504 WITH SCORE 640227.641
AT ITER 4214 NEW BEST:: SOT 4390603 SOS 723641 HAS SOPS 723641 HAS SOUS 639459 HAS SOUPS 639459 WITH SCORE 640182.641
AT ITER 4255 NEW BEST:: SOT 4390603 SOS 723540 HAS SOPS 723540 HAS SOUS 639459 HAS SOUPS 639459 WITH SCORE 640182.54
AT ITER 4263 NEW BEST:: SOT 4390603 SOS 723488 HAS SOPS 723488 HAS SOUS 639459 HAS SOUPS 639459 WITH SCORE 640182.488
AT ITER 4295 NEW BEST:: SOT 4389637 SOS 751916 HAS SOPS 751916 HAS SOUS 638630 HAS SOUPS 638630 WITH SCORE 639381.916
AT ITER 4307 NEW BEST:: SOT 4389531 SOS 751630 HAS SOPS 751630 HAS SOUS 638524 HAS SOUPS 638524 WITH SCORE 639275.63
AT ITER 4322 NEW BEST:: SOT 4389441 SOS 751450 HAS SOPS 751450 HAS SOUS 638434 HAS SOUPS 638434 WITH SCORE 639185.45
AT ITER 4354 NEW BEST:: SOT 4389119 SOS 751025 HAS SOPS 751025 HAS SOUS 637893 HAS SOUPS 637893 WITH SCORE 638644.025
AT ITER 4389 NEW BEST:: SOT 4389077 SOS 750941 HAS SOPS 750941 HAS SOUS 637809 HAS SOUPS 637809 WITH SCORE 638559.941
AT ITER 4418 NEW BEST:: SOT 4389057 SOS 750901 HAS SOPS 750901 HAS SOUS 637556 HAS SOUPS 637556 WITH SCORE 638306.901
AT ITER 4426 NEW BEST:: SOT 4389170 SOS 750966 HAS SOPS 750966 HAS SOUS 637365 HAS SOUPS 637365 WITH SCORE 638115.966
AT ITER 4440 NEW BEST:: SOT 4381643 SOS 743710 HAS SOPS 743710 HAS SOUS 630196 HAS SOUPS 630196 WITH SCORE 630939.71
AT ITER 4468 NEW BEST:: SOT 4381585 SOS 743594 HAS SOPS 743594 HAS SOUS 630080 HAS SOUPS 630080 WITH SCORE 630823.594
AT ITER 4473 NEW BEST:: SOT 4381557 SOS 743510 HAS SOPS 743510 HAS SOUS 629996 HAS SOUPS 629996 WITH SCORE 630739.51
AT ITER 4487 NEW BEST:: SOT 4381533 SOS 743462 HAS SOPS 743462 HAS SOUS 629948 HAS SOUPS 629948 WITH SCORE 630691.462
AT ITER 4512 NEW BEST:: SOT 4381275 SOS 742946 HAS SOPS 742946 HAS SOUS 629432 HAS SOUPS 629432 WITH SCORE 630174.946
AT ITER 4572 NEW BEST:: SOT 4381250 SOS 742928 HAS SOPS 742928 HAS SOUS 629414 HAS SOUPS 629414 WITH SCORE 630156.928
AT ITER 4605 NEW BEST:: SOT 4381250 SOS 742848 HAS SOPS 742848 HAS SOUS 629414 HAS SOUPS 629414 WITH SCORE 630156.848
AT ITER 4615 NEW BEST:: SOT 4381174 SOS 742734 HAS SOPS 742734 HAS SOUS 629300 HAS SOUPS 629300 WITH SCORE 630042.734
AT ITER 4626 NEW BEST:: SOT 4381090 SOS 742566 HAS SOPS 742566 HAS SOUS 629265 HAS SOUPS 629265 WITH SCORE 630007.566
AT ITER 4632 NEW BEST:: SOT 4381040 SOS 742248 HAS SOPS 742248 HAS SOUS 629165 HAS SOUPS 629165 WITH SCORE 629907.248
AT ITER 4645 NEW BEST:: SOT 4380978 SOS 742186 HAS SOPS 742186 HAS SOUS 629103 HAS SOUPS 629103 WITH SCORE 629845.186
AT ITER 4647 NEW BEST:: SOT 4381211 SOS 741622 HAS SOPS 741622 HAS SOUS 629086 HAS SOUPS 629086 WITH SCORE 629827.622
AT ITER 4654 NEW BEST:: SOT 4381197 SOS 741594 HAS SOPS 741594 HAS SOUS 629058 HAS SOUPS 629058 WITH SCORE 629799.594
AT ITER 4670 NEW BEST:: SOT 4381128 SOS 741525 HAS SOPS 741525 HAS SOUS 628989 HAS SOUPS 628989 WITH SCORE 629730.525
AT ITER 4674 NEW BEST:: SOT 4380876 SOS 740771 HAS SOPS 740771 HAS SOUS 628485 HAS SOUPS 628485 WITH SCORE 629225.771
AT ITER 4687 NEW BEST:: SOT 4380840 SOS 740699 HAS SOPS 740699 HAS SOUS 628413 HAS SOUPS 628413 WITH SCORE 629153.699
AT ITER 4701 NEW BEST:: SOT 4380936 SOS 740539 HAS SOPS 740539 HAS SOUS 628253 HAS SOUPS 628253 WITH SCORE 628993.539
AT ITER 4709 NEW BEST:: SOT 4381092 SOS 740116 HAS SOPS 740116 HAS SOUS 627828 HAS SOUPS 627828 WITH SCORE 628568.116
AT ITER 4713 NEW BEST:: SOT 4381092 SOS 740058 HAS SOPS 740058 HAS SOUS 627770 HAS SOUPS 627770 WITH SCORE 628510.058
AT ITER 4727 NEW BEST:: SOT 4380823 SOS 739789 HAS SOPS 739789 HAS SOUS 627501 HAS SOUPS 627501 WITH SCORE 628240.789
AT ITER 4731 NEW BEST:: SOT 4380823 SOS 739723 HAS SOPS 739723 HAS SOUS 627501 HAS SOUPS 627501 WITH SCORE 628240.723
AT ITER 4739 NEW BEST:: SOT 4380776 SOS 739715 HAS SOPS 739715 HAS SOUS 627462 HAS SOUPS 627462 WITH SCORE 628201.715
AT ITER 4780 NEW BEST:: SOT 4380734 SOS 739631 HAS SOPS 739631 HAS SOUS 627378 HAS SOUPS 627378 WITH SCORE 628117.631
AT ITER 4793 NEW BEST:: SOT 4380733 SOS 739568 HAS SOPS 739568 HAS SOUS 627316 HAS SOUPS 627316 WITH SCORE 628055.568
AT ITER 4798 NEW BEST:: SOT 4380732 SOS 739566 HAS SOPS 739566 HAS SOUS 627314 HAS SOUPS 627314 WITH SCORE 628053.566
AT ITER 4812 NEW BEST:: SOT 4380709 SOS 739520 HAS SOPS 739520 HAS SOUS 627291 HAS SOUPS 627291 WITH SCORE 628030.52
AT ITER 4862 NEW BEST:: SOT 4380702 SOS 739506 HAS SOPS 739506 HAS SOUS 627277 HAS SOUPS 627277 WITH SCORE 628016.506
AT ITER 4870 NEW BEST:: SOT 4380465 SOS 738769 HAS SOPS 738769 HAS SOUS 627040 HAS SOUPS 627040 WITH SCORE 627778.769
AT ITER 4876 NEW BEST:: SOT 4380506 SOS 738851 HAS SOPS 738851 HAS SOUS 627004 HAS SOUPS 627004 WITH SCORE 627742.851
AT ITER 4896 NEW BEST:: SOT 4380487 SOS 738813 HAS SOPS 738813 HAS SOUS 626966 HAS SOUPS 626966 WITH SCORE 627704.813
AT ITER 4897 NEW BEST:: SOT 4380369 SOS 738695 HAS SOPS 738695 HAS SOUS 626848 HAS SOUPS 626848 WITH SCORE 627586.695
AT ITER 4903 NEW BEST:: SOT 4380327 SOS 750203 HAS SOPS 750203 HAS SOUS 626806 HAS SOUPS 626806 WITH SCORE 627556.203
AT ITER 4928 NEW BEST:: SOT 4380221 SOS 750215 HAS SOPS 750215 HAS SOUS 626761 HAS SOUPS 626761 WITH SCORE 627511.215
AT ITER 4930 NEW BEST:: SOT 4380222 SOS 750217 HAS SOPS 750217 HAS SOUS 626739 HAS SOUPS 626739 WITH SCORE 627489.217
AT ITER 4940 NEW BEST:: SOT 4380199 SOS 750171 HAS SOPS 750171 HAS SOUS 626693 HAS SOUPS 626693 WITH SCORE 627443.171
AT ITER 4942 NEW BEST:: SOT 4380172 SOS 749771 HAS SOPS 749771 HAS SOUS 626293 HAS SOUPS 626293 WITH SCORE 627042.771
AT ITER 4984 NEW BEST:: SOT 4380215 SOS 749642 HAS SOPS 749642 HAS SOUS 626250 HAS SOUPS 626250 WITH SCORE 626999.642
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-00 (EF( ((potential((tk(P789)>=1))))))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-01 (EF( (! (AF( ( ((potential((tk(P810)>=1)))) & ((potential((tk(P2380)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-02 ( (EX( (EG( (! ((potential((tk(P1092)>=1))))))))) | ( (AU( (! ((potential((tk(P1536)>=1))))) , ( ((potential((tk(P164)>=1)))) & ((potential((tk(P1537)>=1)))) ) )) | ( (! (AX( ((potential((tk(P612)>=1))))))) & ((potential((tk(P958)>=1)))) ) ) )
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-03 (AF( ( ( ( ( ((potential((tk(P22)>=1)))) & ((potential((tk(P1888)>=1)))) ) & ( ((potential((tk(P1815)>=1)))) & ((potential((tk(P552)>=1)))) ) ) | ( ( ((potential((tk(P1651)>=1)))) | ((potential((tk(P2046)>=1)))) ) | ( ((potential((tk(P2340)>=1)))) | ((potential((tk(P848)>=1)))) ) ) ) & ( ( ( ((potential((tk(P1397)>=1)))) | ((potential((tk(P1373)>=1)))) ) | (! ((potential((tk(P1399)>=1))))) ) & (EX( ((potential((tk(P2180)>=1)))))) ) )))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-04 (AX( (EU( (! ((potential((tk(P2101)>=1))))) , ( ((potential((tk(P151)>=1)))) | ((potential((tk(P573)>=1) & (tk(P1994)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-05 ( ( (AG( ( (! ((potential((tk(P1726)>=1))))) | ( ((potential((tk(P1832)>=1)))) & ((potential((tk(P445)>=1)))) ) ))) & (! ( (AX( ((potential((tk(P725)>=1)))))) & ( (! ((potential((tk(P1455)>=1))))) | ( ((potential((tk(P1811)>=1)))) | ((potential((tk(P218)>=1)))) ) ) )) ) | ( ((potential((tk(P2107)>=1)))) & (EG( (! ((potential((tk(P2158)>=1))))))) ) )
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-06 (AG( (! (EU( ((potential((tk(P1588)>=1)))) , ((potential((tk(P1757)>=1)))) )))))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-07 (EU( (EF( ( ((potential((tk(P1070)>=1)))) | ((potential((tk(P573)>=1) & (tk(P1926)>=1)))) ))) , (EG( ( ((potential((tk(P1812)>=1)))) & ((potential((tk(P20)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-08 (! ( ( (EX( ( ((potential((tk(P1989)>=1)))) | ((potential((tk(P674)>=1)))) ))) | (AG( (! ((potential((tk(P805)>=1))))))) ) | ( ( ((potential((tk(P573)>=1)))) | (EG( ((potential((tk(P913)>=1)))))) ) & (EU( ((potential((tk(P1890)>=1)))) , ((potential((tk(P2069)>=1)))) )) ) ))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-09 ( ( (EG( (! ( ((potential((tk(P505)>=1)))) & ((potential((tk(P573)>=1) & (tk(P1795)>=1)))) )))) | ( (EX( ( ((potential((tk(P1668)>=1)))) | ((potential((tk(P13)>=1)))) ))) & ((potential((tk(P2322)>=1)))) ) ) & (AF( ( (EG( ((potential((tk(P186)>=1)))))) & (EX( ((potential((tk(P839)>=1)))))) ))) )
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-10 ( ( (EF( (AF( ((potential((tk(P559)>=1)))))))) & (EX( ( (! ((potential((tk(P548)>=1))))) | ((potential((tk(P973)>=1)))) ))) ) | ((potential((tk(P146)>=1)))) )
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-11 (AG( (AG( (EF( ((potential((tk(P1641)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-12 (EF( ( ( (EX( ((potential((tk(P573)>=1) & (tk(P1566)>=1)))))) & (! ( ((potential((tk(P341)>=1)))) & ((potential((tk(P2108)>=1)))) )) ) & (EU( ((potential((tk(P1298)>=1)))) , ((potential((tk(P1317)>=1)))) )) )))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-13 (AG( (EU( (! ((potential((tk(P924)>=1))))) , ( ((potential((tk(P907)>=1)))) | ((potential((tk(P1141)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-14 (AU( (EF( ( ((potential((tk(P507)>=1)))) & ((potential((tk(P139)>=1)))) ))) , ((potential((tk(P2341)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-301-CTLFireability-15 ( ( ((potential((tk(P1608)>=1)))) & (! ( (EX( ((potential((tk(P1582)>=1)))))) & ((potential((tk(P2002)>=1)))) )) ) | ( ( ( (EF( ((potential((tk(P628)>=1)))))) & ( ((potential((tk(P281)>=1)))) & ((potential((tk(P751)>=1)))) ) ) & (AF( (! ((potential((tk(P2572)>=1) & (tk(P2578)>=1))))))) ) | ( (! (EF( ((potential((tk(P1374)>=1))))))) & (! ( ( ((potential((tk(P1770)>=1)))) | ((potential((tk(P1045)>=1)))) ) | ( ((potential((tk(P500)>=1)))) | ((potential((tk(P1741)>=1)))) ) )) ) ) )

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-301"
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 CloudReconfiguration-PT-301, 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 r048-ebro-158902541600004"
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 [ "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 ;