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-158902541800139.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-318, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800139
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:14 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 25K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 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 661K 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-318-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-318-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589099172618

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 318
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458556 SOS 744615 HAS SOPS 744615 HAS SOUS 686857 HAS SOUPS 686857 WITH SCORE 687601.615
AT ITER 6 NEW BEST:: SOT 4458555 SOS 744613 HAS SOPS 744613 HAS SOUS 686855 HAS SOUPS 686855 WITH SCORE 687599.613
AT ITER 40 NEW BEST:: SOT 4458384 SOS 744651 HAS SOPS 744651 HAS SOUS 686847 HAS SOUPS 686847 WITH SCORE 687591.651
AT ITER 67 NEW BEST:: SOT 4458203 SOS 744470 HAS SOPS 744470 HAS SOUS 686666 HAS SOUPS 686666 WITH SCORE 687410.47
AT ITER 79 NEW BEST:: SOT 4458143 SOS 744410 HAS SOPS 744410 HAS SOUS 686665 HAS SOUPS 686665 WITH SCORE 687409.41
AT ITER 88 NEW BEST:: SOT 4456684 SOS 760388 HAS SOPS 760388 HAS SOUS 686095 HAS SOUPS 686095 WITH SCORE 686855.388
AT ITER 94 NEW BEST:: SOT 4456629 SOS 760339 HAS SOPS 760339 HAS SOUS 686040 HAS SOUPS 686040 WITH SCORE 686800.339
AT ITER 96 NEW BEST:: SOT 4456318 SOS 759717 HAS SOPS 759717 HAS SOUS 685418 HAS SOUPS 685418 WITH SCORE 686177.717
AT ITER 118 NEW BEST:: SOT 4456317 SOS 759715 HAS SOPS 759715 HAS SOUS 685416 HAS SOUPS 685416 WITH SCORE 686175.715
AT ITER 149 NEW BEST:: SOT 4456215 SOS 759613 HAS SOPS 759613 HAS SOUS 685314 HAS SOUPS 685314 WITH SCORE 686073.613
AT ITER 164 NEW BEST:: SOT 4455835 SOS 759233 HAS SOPS 759233 HAS SOUS 684934 HAS SOUPS 684934 WITH SCORE 685693.233
AT ITER 189 NEW BEST:: SOT 4452839 SOS 756237 HAS SOPS 756237 HAS SOUS 682276 HAS SOUPS 682276 WITH SCORE 683032.237
AT ITER 228 NEW BEST:: SOT 4452794 SOS 756255 HAS SOPS 756255 HAS SOUS 682179 HAS SOUPS 682179 WITH SCORE 682935.255
AT ITER 252 NEW BEST:: SOT 4452652 SOS 755971 HAS SOPS 755971 HAS SOUS 681895 HAS SOUPS 681895 WITH SCORE 682650.971
AT ITER 258 NEW BEST:: SOT 4452394 SOS 755278 HAS SOPS 755278 HAS SOUS 681208 HAS SOUPS 681208 WITH SCORE 681963.278
AT ITER 262 NEW BEST:: SOT 4452249 SOS 755133 HAS SOPS 755133 HAS SOUS 681063 HAS SOUPS 681063 WITH SCORE 681818.133
AT ITER 266 NEW BEST:: SOT 4452193 SOS 755089 HAS SOPS 755089 HAS SOUS 681059 HAS SOUPS 681059 WITH SCORE 681814.089
AT ITER 268 NEW BEST:: SOT 4451870 SOS 758853 HAS SOPS 758853 HAS SOUS 680874 HAS SOUPS 680874 WITH SCORE 681632.853
AT ITER 297 NEW BEST:: SOT 4452171 SOS 759455 HAS SOPS 759455 HAS SOUS 680769 HAS SOUPS 680769 WITH SCORE 681528.455
AT ITER 322 NEW BEST:: SOT 4452148 SOS 759503 HAS SOPS 759503 HAS SOUS 680746 HAS SOUPS 680746 WITH SCORE 681505.503
AT ITER 333 NEW BEST:: SOT 4451876 SOS 759479 HAS SOPS 759479 HAS SOUS 680356 HAS SOUPS 680356 WITH SCORE 681115.479
AT ITER 339 NEW BEST:: SOT 4451898 SOS 759523 HAS SOPS 759523 HAS SOUS 680290 HAS SOUPS 680290 WITH SCORE 681049.523
AT ITER 345 NEW BEST:: SOT 4451827 SOS 759476 HAS SOPS 759476 HAS SOUS 680244 HAS SOUPS 680244 WITH SCORE 681003.476
AT ITER 356 NEW BEST:: SOT 4451785 SOS 759434 HAS SOPS 759434 HAS SOUS 680202 HAS SOUPS 680202 WITH SCORE 680961.434
AT ITER 363 NEW BEST:: SOT 4451646 SOS 759156 HAS SOPS 759156 HAS SOUS 680063 HAS SOUPS 680063 WITH SCORE 680822.156
AT ITER 371 NEW BEST:: SOT 4451399 SOS 758662 HAS SOPS 758662 HAS SOUS 679816 HAS SOUPS 679816 WITH SCORE 680574.662
AT ITER 375 NEW BEST:: SOT 4451368 SOS 758389 HAS SOPS 758389 HAS SOUS 679553 HAS SOUPS 679553 WITH SCORE 680311.389
AT ITER 379 NEW BEST:: SOT 4451368 SOS 758272 HAS SOPS 758272 HAS SOUS 679436 HAS SOUPS 679436 WITH SCORE 680194.272
AT ITER 395 NEW BEST:: SOT 4451280 SOS 758096 HAS SOPS 758096 HAS SOUS 679260 HAS SOUPS 679260 WITH SCORE 680018.096
AT ITER 410 NEW BEST:: SOT 4450939 SOS 757755 HAS SOPS 757755 HAS SOUS 678919 HAS SOUPS 678919 WITH SCORE 679676.755
AT ITER 411 NEW BEST:: SOT 4450939 SOS 757978 HAS SOPS 757978 HAS SOUS 678767 HAS SOUPS 678767 WITH SCORE 679524.978
AT ITER 412 NEW BEST:: SOT 4450789 SOS 757678 HAS SOPS 757678 HAS SOUS 678467 HAS SOUPS 678467 WITH SCORE 679224.678
AT ITER 470 NEW BEST:: SOT 4450693 SOS 757486 HAS SOPS 757486 HAS SOUS 678275 HAS SOUPS 678275 WITH SCORE 679032.486
AT ITER 492 NEW BEST:: SOT 4450692 SOS 757484 HAS SOPS 757484 HAS SOUS 678273 HAS SOUPS 678273 WITH SCORE 679030.484
AT ITER 505 NEW BEST:: SOT 4450571 SOS 757242 HAS SOPS 757242 HAS SOUS 678031 HAS SOUPS 678031 WITH SCORE 678788.242
AT ITER 512 NEW BEST:: SOT 4450562 SOS 757858 HAS SOPS 757858 HAS SOUS 677864 HAS SOUPS 677864 WITH SCORE 678621.858
AT ITER 538 NEW BEST:: SOT 4450515 SOS 757811 HAS SOPS 757811 HAS SOUS 677817 HAS SOUPS 677817 WITH SCORE 678574.811
AT ITER 550 NEW BEST:: SOT 4450219 SOS 757653 HAS SOPS 757653 HAS SOUS 677593 HAS SOUPS 677593 WITH SCORE 678350.653
AT ITER 569 NEW BEST:: SOT 4450242 SOS 757699 HAS SOPS 757699 HAS SOUS 677545 HAS SOUPS 677545 WITH SCORE 678302.699
AT ITER 585 NEW BEST:: SOT 4450241 SOS 757697 HAS SOPS 757697 HAS SOUS 677543 HAS SOUPS 677543 WITH SCORE 678300.697
AT ITER 586 NEW BEST:: SOT 4450241 SOS 757473 HAS SOPS 757473 HAS SOUS 677543 HAS SOUPS 677543 WITH SCORE 678300.473
AT ITER 611 NEW BEST:: SOT 4450017 SOS 757025 HAS SOPS 757025 HAS SOUS 677095 HAS SOUPS 677095 WITH SCORE 677852.025
AT ITER 623 NEW BEST:: SOT 4449789 SOS 756569 HAS SOPS 756569 HAS SOUS 676639 HAS SOUPS 676639 WITH SCORE 677395.569
AT ITER 627 NEW BEST:: SOT 4449748 SOS 756487 HAS SOPS 756487 HAS SOUS 676557 HAS SOUPS 676557 WITH SCORE 677313.487
AT ITER 666 NEW BEST:: SOT 4449645 SOS 756281 HAS SOPS 756281 HAS SOUS 676392 HAS SOUPS 676392 WITH SCORE 677148.281
AT ITER 672 NEW BEST:: SOT 4449691 SOS 756098 HAS SOPS 756098 HAS SOUS 676219 HAS SOUPS 676219 WITH SCORE 676975.098
AT ITER 678 NEW BEST:: SOT 4449212 SOS 755662 HAS SOPS 755662 HAS SOUS 675740 HAS SOUPS 675740 WITH SCORE 676495.662
AT ITER 706 NEW BEST:: SOT 4449089 SOS 755686 HAS SOPS 755686 HAS SOUS 675715 HAS SOUPS 675715 WITH SCORE 676470.686
AT ITER 733 NEW BEST:: SOT 4448850 SOS 755208 HAS SOPS 755208 HAS SOUS 675237 HAS SOUPS 675237 WITH SCORE 675992.208
AT ITER 734 NEW BEST:: SOT 4448670 SOS 754848 HAS SOPS 754848 HAS SOUS 674910 HAS SOUPS 674910 WITH SCORE 675664.848
AT ITER 755 NEW BEST:: SOT 4448598 SOS 754969 HAS SOPS 754969 HAS SOUS 674854 HAS SOUPS 674854 WITH SCORE 675608.969
AT ITER 793 NEW BEST:: SOT 4448173 SOS 754641 HAS SOPS 754641 HAS SOUS 674429 HAS SOUPS 674429 WITH SCORE 675183.641
AT ITER 801 NEW BEST:: SOT 4447881 SOS 754368 HAS SOPS 754368 HAS SOUS 674151 HAS SOUPS 674151 WITH SCORE 674905.368
AT ITER 802 NEW BEST:: SOT 4443394 SOS 801758 HAS SOPS 801758 HAS SOUS 672060 HAS SOUPS 672060 WITH SCORE 672861.758
AT ITER 823 NEW BEST:: SOT 4443212 SOS 801576 HAS SOPS 801576 HAS SOUS 671878 HAS SOUPS 671878 WITH SCORE 672679.576
AT ITER 848 NEW BEST:: SOT 4442783 SOS 801750 HAS SOPS 801750 HAS SOUS 671538 HAS SOUPS 671538 WITH SCORE 672339.75
AT ITER 850 NEW BEST:: SOT 4442782 SOS 801944 HAS SOPS 801944 HAS SOUS 671445 HAS SOUPS 671445 WITH SCORE 672246.944
AT ITER 853 NEW BEST:: SOT 4442782 SOS 801766 HAS SOPS 801766 HAS SOUS 671445 HAS SOUPS 671445 WITH SCORE 672246.766
AT ITER 871 NEW BEST:: SOT 4442586 SOS 801079 HAS SOPS 801079 HAS SOUS 670954 HAS SOUPS 670954 WITH SCORE 671755.079
AT ITER 873 NEW BEST:: SOT 4442726 SOS 801359 HAS SOPS 801359 HAS SOUS 670938 HAS SOUPS 670938 WITH SCORE 671739.359
AT ITER 885 NEW BEST:: SOT 4442726 SOS 801359 HAS SOPS 801359 HAS SOUS 670792 HAS SOUPS 670792 WITH SCORE 671593.359
AT ITER 911 NEW BEST:: SOT 4442513 SOS 801217 HAS SOPS 801217 HAS SOUS 670650 HAS SOUPS 670650 WITH SCORE 671451.217
AT ITER 918 NEW BEST:: SOT 4442421 SOS 801125 HAS SOPS 801125 HAS SOUS 670647 HAS SOUPS 670647 WITH SCORE 671448.125
AT ITER 920 NEW BEST:: SOT 4442248 SOS 800779 HAS SOPS 800779 HAS SOUS 670591 HAS SOUPS 670591 WITH SCORE 671391.779
AT ITER 934 NEW BEST:: SOT 4442018 SOS 800779 HAS SOPS 800779 HAS SOUS 670361 HAS SOUPS 670361 WITH SCORE 671161.779
AT ITER 938 NEW BEST:: SOT 4442014 SOS 800771 HAS SOPS 800771 HAS SOUS 670353 HAS SOUPS 670353 WITH SCORE 671153.771
AT ITER 953 NEW BEST:: SOT 4441487 SOS 799717 HAS SOPS 799717 HAS SOUS 669628 HAS SOUPS 669628 WITH SCORE 670427.717
AT ITER 964 NEW BEST:: SOT 4441487 SOS 799556 HAS SOPS 799556 HAS SOUS 669628 HAS SOUPS 669628 WITH SCORE 670427.556
AT ITER 972 NEW BEST:: SOT 4441487 SOS 799366 HAS SOPS 799366 HAS SOUS 669627 HAS SOUPS 669627 WITH SCORE 670426.366
AT ITER 979 NEW BEST:: SOT 4441487 SOS 799185 HAS SOPS 799185 HAS SOUS 669566 HAS SOUPS 669566 WITH SCORE 670365.185
AT ITER 991 NEW BEST:: SOT 4441487 SOS 799074 HAS SOPS 799074 HAS SOUS 669566 HAS SOUPS 669566 WITH SCORE 670365.074
AT ITER 998 NEW BEST:: SOT 4441369 SOS 798838 HAS SOPS 798838 HAS SOUS 669330 HAS SOUPS 669330 WITH SCORE 670128.838
AT ITER 1021 NEW BEST:: SOT 4441776 SOS 798690 HAS SOPS 798690 HAS SOUS 669256 HAS SOUPS 669256 WITH SCORE 670054.69
AT ITER 1035 NEW BEST:: SOT 4441682 SOS 798502 HAS SOPS 798502 HAS SOUS 669068 HAS SOUPS 669068 WITH SCORE 669866.502
AT ITER 1043 NEW BEST:: SOT 4441635 SOS 798408 HAS SOPS 798408 HAS SOUS 669021 HAS SOUPS 669021 WITH SCORE 669819.408
AT ITER 1047 NEW BEST:: SOT 4441635 SOS 798345 HAS SOPS 798345 HAS SOUS 668958 HAS SOUPS 668958 WITH SCORE 669756.345
AT ITER 1056 NEW BEST:: SOT 4441611 SOS 798297 HAS SOPS 798297 HAS SOUS 668934 HAS SOUPS 668934 WITH SCORE 669732.297
AT ITER 1087 NEW BEST:: SOT 4441595 SOS 798265 HAS SOPS 798265 HAS SOUS 668902 HAS SOUPS 668902 WITH SCORE 669700.265
AT ITER 1097 NEW BEST:: SOT 4441366 SOS 798036 HAS SOPS 798036 HAS SOUS 668673 HAS SOUPS 668673 WITH SCORE 669471.036
AT ITER 1105 NEW BEST:: SOT 4441434 SOS 798172 HAS SOPS 798172 HAS SOUS 668492 HAS SOUPS 668492 WITH SCORE 669290.172
AT ITER 1107 NEW BEST:: SOT 4441434 SOS 797889 HAS SOPS 797889 HAS SOUS 668491 HAS SOUPS 668491 WITH SCORE 669288.889
AT ITER 1123 NEW BEST:: SOT 4441526 SOS 797577 HAS SOPS 797577 HAS SOUS 668427 HAS SOUPS 668427 WITH SCORE 669224.577
AT ITER 1131 NEW BEST:: SOT 4441442 SOS 797223 HAS SOPS 797223 HAS SOUS 668421 HAS SOUPS 668421 WITH SCORE 669218.223
AT ITER 1137 NEW BEST:: SOT 4441395 SOS 797129 HAS SOPS 797129 HAS SOUS 668374 HAS SOUPS 668374 WITH SCORE 669171.129
AT ITER 1141 NEW BEST:: SOT 4441204 SOS 797564 HAS SOPS 797564 HAS SOUS 668251 HAS SOUPS 668251 WITH SCORE 669048.564
AT ITER 1148 NEW BEST:: SOT 4440974 SOS 797334 HAS SOPS 797334 HAS SOUS 668021 HAS SOUPS 668021 WITH SCORE 668818.334
AT ITER 1167 NEW BEST:: SOT 4440965 SOS 797086 HAS SOPS 797086 HAS SOUS 667709 HAS SOUPS 667709 WITH SCORE 668506.086
AT ITER 1207 NEW BEST:: SOT 4440397 SOS 796376 HAS SOPS 796376 HAS SOUS 666999 HAS SOUPS 666999 WITH SCORE 667795.376
AT ITER 1215 NEW BEST:: SOT 4440092 SOS 795766 HAS SOPS 795766 HAS SOUS 666389 HAS SOUPS 666389 WITH SCORE 667184.766
AT ITER 1228 NEW BEST:: SOT 4439882 SOS 795715 HAS SOPS 795715 HAS SOUS 666179 HAS SOUPS 666179 WITH SCORE 666974.715
AT ITER 1233 NEW BEST:: SOT 4439648 SOS 795247 HAS SOPS 795247 HAS SOUS 665711 HAS SOUPS 665711 WITH SCORE 666506.247
AT ITER 1289 NEW BEST:: SOT 4439398 SOS 794747 HAS SOPS 794747 HAS SOUS 665211 HAS SOUPS 665211 WITH SCORE 666005.747
AT ITER 1304 NEW BEST:: SOT 4438972 SOS 794530 HAS SOPS 794530 HAS SOUS 664912 HAS SOUPS 664912 WITH SCORE 665706.53
AT ITER 1337 NEW BEST:: SOT 4438610 SOS 793444 HAS SOPS 793444 HAS SOUS 664188 HAS SOUPS 664188 WITH SCORE 664981.444
AT ITER 1377 NEW BEST:: SOT 4438198 SOS 792620 HAS SOPS 792620 HAS SOUS 664179 HAS SOUPS 664179 WITH SCORE 664971.62
AT ITER 1382 NEW BEST:: SOT 4438197 SOS 792590 HAS SOPS 792590 HAS SOUS 664150 HAS SOUPS 664150 WITH SCORE 664942.59
AT ITER 1417 NEW BEST:: SOT 4438197 SOS 792473 HAS SOPS 792473 HAS SOUS 664150 HAS SOUPS 664150 WITH SCORE 664942.473
AT ITER 1419 NEW BEST:: SOT 4438196 SOS 792471 HAS SOPS 792471 HAS SOUS 664148 HAS SOUPS 664148 WITH SCORE 664940.471
AT ITER 1421 NEW BEST:: SOT 4438078 SOS 792235 HAS SOPS 792235 HAS SOUS 663912 HAS SOUPS 663912 WITH SCORE 664704.235
AT ITER 1433 NEW BEST:: SOT 4438124 SOS 792097 HAS SOPS 792097 HAS SOUS 663774 HAS SOUPS 663774 WITH SCORE 664566.097
AT ITER 1436 NEW BEST:: SOT 4437640 SOS 791942 HAS SOPS 791942 HAS SOUS 663419 HAS SOUPS 663419 WITH SCORE 664210.942
AT ITER 1476 NEW BEST:: SOT 4437645 SOS 791952 HAS SOPS 791952 HAS SOUS 663390 HAS SOUPS 663390 WITH SCORE 664181.952
AT ITER 1477 NEW BEST:: SOT 4437561 SOS 791868 HAS SOPS 791868 HAS SOUS 663388 HAS SOUPS 663388 WITH SCORE 664179.868
AT ITER 1503 NEW BEST:: SOT 4437457 SOS 791660 HAS SOPS 791660 HAS SOUS 663284 HAS SOUPS 663284 WITH SCORE 664075.66
AT ITER 1520 NEW BEST:: SOT 4437342 SOS 791545 HAS SOPS 791545 HAS SOUS 663213 HAS SOUPS 663213 WITH SCORE 664004.545
AT ITER 1521 NEW BEST:: SOT 4434887 SOS 788932 HAS SOPS 788932 HAS SOUS 661054 HAS SOUPS 661054 WITH SCORE 661842.932
AT ITER 1530 NEW BEST:: SOT 4434821 SOS 788800 HAS SOPS 788800 HAS SOUS 660922 HAS SOUPS 660922 WITH SCORE 661710.8
AT ITER 1532 NEW BEST:: SOT 4434105 SOS 788408 HAS SOPS 788408 HAS SOUS 660310 HAS SOUPS 660310 WITH SCORE 661098.408
AT ITER 1533 NEW BEST:: SOT 4433895 SOS 788285 HAS SOPS 788285 HAS SOUS 660099 HAS SOUPS 660099 WITH SCORE 660887.285
AT ITER 1546 NEW BEST:: SOT 4433895 SOS 788162 HAS SOPS 788162 HAS SOUS 659976 HAS SOUPS 659976 WITH SCORE 660764.162
AT ITER 1550 NEW BEST:: SOT 4433680 SOS 788057 HAS SOPS 788057 HAS SOUS 659761 HAS SOUPS 659761 WITH SCORE 660549.057
AT ITER 1564 NEW BEST:: SOT 4433416 SOS 787529 HAS SOPS 787529 HAS SOUS 659520 HAS SOUPS 659520 WITH SCORE 660307.529
AT ITER 1565 NEW BEST:: SOT 4433365 SOS 787427 HAS SOPS 787427 HAS SOUS 658913 HAS SOUPS 658913 WITH SCORE 659700.427
AT ITER 1574 NEW BEST:: SOT 4433365 SOS 787368 HAS SOPS 787368 HAS SOUS 658913 HAS SOUPS 658913 WITH SCORE 659700.368
AT ITER 1584 NEW BEST:: SOT 4433365 SOS 787326 HAS SOPS 787326 HAS SOUS 658913 HAS SOUPS 658913 WITH SCORE 659700.326
AT ITER 1589 NEW BEST:: SOT 4433365 SOS 787270 HAS SOPS 787270 HAS SOUS 658912 HAS SOUPS 658912 WITH SCORE 659699.27
AT ITER 1608 NEW BEST:: SOT 4433243 SOS 786844 HAS SOPS 786844 HAS SOUS 658668 HAS SOUPS 658668 WITH SCORE 659454.844
AT ITER 1646 NEW BEST:: SOT 4433208 SOS 786774 HAS SOPS 786774 HAS SOUS 658598 HAS SOUPS 658598 WITH SCORE 659384.774
AT ITER 1693 NEW BEST:: SOT 4432995 SOS 786561 HAS SOPS 786561 HAS SOUS 658385 HAS SOUPS 658385 WITH SCORE 659171.561
AT ITER 1768 NEW BEST:: SOT 4432852 SOS 786418 HAS SOPS 786418 HAS SOUS 658242 HAS SOUPS 658242 WITH SCORE 659028.418
AT ITER 1785 NEW BEST:: SOT 4432970 SOS 786348 HAS SOPS 786348 HAS SOUS 658172 HAS SOUPS 658172 WITH SCORE 658958.348
AT ITER 1791 NEW BEST:: SOT 4432965 SOS 786323 HAS SOPS 786323 HAS SOUS 658162 HAS SOUPS 658162 WITH SCORE 658948.323
AT ITER 1814 NEW BEST:: SOT 4432709 SOS 785811 HAS SOPS 785811 HAS SOUS 657650 HAS SOUPS 657650 WITH SCORE 658435.811
AT ITER 1830 NEW BEST:: SOT 4432498 SOS 785389 HAS SOPS 785389 HAS SOUS 657228 HAS SOUPS 657228 WITH SCORE 658013.389
AT ITER 1853 NEW BEST:: SOT 4432540 SOS 785431 HAS SOPS 785431 HAS SOUS 657151 HAS SOUPS 657151 WITH SCORE 657936.431
AT ITER 1864 NEW BEST:: SOT 4432420 SOS 785311 HAS SOPS 785311 HAS SOUS 657031 HAS SOUPS 657031 WITH SCORE 657816.311
AT ITER 1894 NEW BEST:: SOT 4432413 SOS 785297 HAS SOPS 785297 HAS SOUS 657017 HAS SOUPS 657017 WITH SCORE 657802.297
AT ITER 1902 NEW BEST:: SOT 4432188 SOS 785477 HAS SOPS 785477 HAS SOUS 656928 HAS SOUPS 656928 WITH SCORE 657713.477
AT ITER 1905 NEW BEST:: SOT 4432188 SOS 785400 HAS SOPS 785400 HAS SOUS 656928 HAS SOUPS 656928 WITH SCORE 657713.4
AT ITER 1934 NEW BEST:: SOT 4432120 SOS 785264 HAS SOPS 785264 HAS SOUS 656792 HAS SOUPS 656792 WITH SCORE 657577.264
AT ITER 1986 NEW BEST:: SOT 4432132 SOS 784851 HAS SOPS 784851 HAS SOUS 656390 HAS SOUPS 656390 WITH SCORE 657174.851
AT ITER 2017 NEW BEST:: SOT 4432131 SOS 784723 HAS SOPS 784723 HAS SOUS 656388 HAS SOUPS 656388 WITH SCORE 657172.723
AT ITER 2030 NEW BEST:: SOT 4431715 SOS 784723 HAS SOPS 784723 HAS SOUS 656180 HAS SOUPS 656180 WITH SCORE 656964.723
AT ITER 2052 NEW BEST:: SOT 4431715 SOS 784628 HAS SOPS 784628 HAS SOUS 656180 HAS SOUPS 656180 WITH SCORE 656964.628
AT ITER 2057 NEW BEST:: SOT 4431698 SOS 784560 HAS SOPS 784560 HAS SOUS 656146 HAS SOUPS 656146 WITH SCORE 656930.56
AT ITER 2079 NEW BEST:: SOT 4431504 SOS 784172 HAS SOPS 784172 HAS SOUS 655952 HAS SOUPS 655952 WITH SCORE 656736.172
AT ITER 2097 NEW BEST:: SOT 4431274 SOS 783475 HAS SOPS 783475 HAS SOUS 655774 HAS SOUPS 655774 WITH SCORE 656557.475
AT ITER 2152 NEW BEST:: SOT 4431223 SOS 783373 HAS SOPS 783373 HAS SOUS 655672 HAS SOUPS 655672 WITH SCORE 656455.373
AT ITER 2174 NEW BEST:: SOT 4431097 SOS 783121 HAS SOPS 783121 HAS SOUS 655669 HAS SOUPS 655669 WITH SCORE 656452.121
AT ITER 2222 NEW BEST:: SOT 4431126 SOS 782997 HAS SOPS 782997 HAS SOUS 655516 HAS SOUPS 655516 WITH SCORE 656298.997
AT ITER 2236 NEW BEST:: SOT 4430988 SOS 782859 HAS SOPS 782859 HAS SOUS 655378 HAS SOUPS 655378 WITH SCORE 656160.859
AT ITER 2260 NEW BEST:: SOT 4430925 SOS 782733 HAS SOPS 782733 HAS SOUS 655252 HAS SOUPS 655252 WITH SCORE 656034.733
AT ITER 2275 NEW BEST:: SOT 4430685 SOS 782253 HAS SOPS 782253 HAS SOUS 655137 HAS SOUPS 655137 WITH SCORE 655919.253
AT ITER 2340 NEW BEST:: SOT 4430632 SOS 782200 HAS SOPS 782200 HAS SOUS 655137 HAS SOUPS 655137 WITH SCORE 655919.2
AT ITER 2361 NEW BEST:: SOT 4430632 SOS 782041 HAS SOPS 782041 HAS SOUS 654978 HAS SOUPS 654978 WITH SCORE 655760.041
AT ITER 2393 NEW BEST:: SOT 4430632 SOS 781986 HAS SOPS 781986 HAS SOUS 654978 HAS SOUPS 654978 WITH SCORE 655759.986
AT ITER 2408 NEW BEST:: SOT 4430623 SOS 781968 HAS SOPS 781968 HAS SOUS 654960 HAS SOUPS 654960 WITH SCORE 655741.968
AT ITER 2417 NEW BEST:: SOT 4430545 SOS 781812 HAS SOPS 781812 HAS SOUS 654464 HAS SOUPS 654464 WITH SCORE 655245.812
AT ITER 2449 NEW BEST:: SOT 4430382 SOS 781786 HAS SOPS 781786 HAS SOUS 654438 HAS SOUPS 654438 WITH SCORE 655219.786
AT ITER 2474 NEW BEST:: SOT 4430243 SOS 781369 HAS SOPS 781369 HAS SOUS 654160 HAS SOUPS 654160 WITH SCORE 654941.369
AT ITER 2476 NEW BEST:: SOT 4430178 SOS 781239 HAS SOPS 781239 HAS SOUS 654095 HAS SOUPS 654095 WITH SCORE 654876.239
AT ITER 2482 NEW BEST:: SOT 4430150 SOS 781238 HAS SOPS 781238 HAS SOUS 654094 HAS SOUPS 654094 WITH SCORE 654875.238
AT ITER 2495 NEW BEST:: SOT 4430051 SOS 781040 HAS SOPS 781040 HAS SOUS 653995 HAS SOUPS 653995 WITH SCORE 654776.04
AT ITER 2504 NEW BEST:: SOT 4429944 SOS 780826 HAS SOPS 780826 HAS SOUS 653781 HAS SOUPS 653781 WITH SCORE 654561.826
AT ITER 2523 NEW BEST:: SOT 4429676 SOS 780290 HAS SOPS 780290 HAS SOUS 653245 HAS SOUPS 653245 WITH SCORE 654025.29
AT ITER 2524 NEW BEST:: SOT 4429392 SOS 780006 HAS SOPS 780006 HAS SOUS 652961 HAS SOUPS 652961 WITH SCORE 653741.006
AT ITER 2538 NEW BEST:: SOT 4429283 SOS 779925 HAS SOPS 779925 HAS SOUS 652880 HAS SOUPS 652880 WITH SCORE 653659.925
AT ITER 2582 NEW BEST:: SOT 4429389 SOS 780137 HAS SOPS 780137 HAS SOUS 652776 HAS SOUPS 652776 WITH SCORE 653556.137
AT ITER 2587 NEW BEST:: SOT 4429357 SOS 780073 HAS SOPS 780073 HAS SOUS 652744 HAS SOUPS 652744 WITH SCORE 653524.073
AT ITER 2598 NEW BEST:: SOT 4428621 SOS 779669 HAS SOPS 779669 HAS SOUS 652027 HAS SOUPS 652027 WITH SCORE 652806.669
AT ITER 2621 NEW BEST:: SOT 4428053 SOS 778959 HAS SOPS 778959 HAS SOUS 651317 HAS SOUPS 651317 WITH SCORE 652095.959
AT ITER 2625 NEW BEST:: SOT 4428182 SOS 778581 HAS SOPS 778581 HAS SOUS 651128 HAS SOUPS 651128 WITH SCORE 651906.581
AT ITER 2638 NEW BEST:: SOT 4427805 SOS 778045 HAS SOPS 778045 HAS SOUS 650533 HAS SOUPS 650533 WITH SCORE 651311.045
AT ITER 2640 NEW BEST:: SOT 4427809 SOS 777705 HAS SOPS 777705 HAS SOUS 650189 HAS SOUPS 650189 WITH SCORE 650966.705
AT ITER 2649 NEW BEST:: SOT 4427760 SOS 775549 HAS SOPS 775549 HAS SOUS 650091 HAS SOUPS 650091 WITH SCORE 650866.549
AT ITER 2668 NEW BEST:: SOT 4427759 SOS 775547 HAS SOPS 775547 HAS SOUS 650089 HAS SOUPS 650089 WITH SCORE 650864.547
AT ITER 2674 NEW BEST:: SOT 4427876 SOS 775437 HAS SOPS 775437 HAS SOUS 650064 HAS SOUPS 650064 WITH SCORE 650839.437
AT ITER 2680 NEW BEST:: SOT 4427643 SOS 775333 HAS SOPS 775333 HAS SOUS 649875 HAS SOUPS 649875 WITH SCORE 650650.333
AT ITER 2684 NEW BEST:: SOT 4426972 SOS 775091 HAS SOPS 775091 HAS SOUS 649278 HAS SOUPS 649278 WITH SCORE 650053.091
AT ITER 2724 NEW BEST:: SOT 4426971 SOS 775077 HAS SOPS 775077 HAS SOUS 649276 HAS SOUPS 649276 WITH SCORE 650051.077
AT ITER 2746 NEW BEST:: SOT 4426936 SOS 775007 HAS SOPS 775007 HAS SOUS 649240 HAS SOUPS 649240 WITH SCORE 650015.007
AT ITER 2754 NEW BEST:: SOT 4426934 SOS 774933 HAS SOPS 774933 HAS SOUS 649238 HAS SOUPS 649238 WITH SCORE 650012.933
AT ITER 2760 NEW BEST:: SOT 4426655 SOS 774717 HAS SOPS 774717 HAS SOUS 648959 HAS SOUPS 648959 WITH SCORE 649733.717
AT ITER 2764 NEW BEST:: SOT 4426592 SOS 774591 HAS SOPS 774591 HAS SOUS 648913 HAS SOUPS 648913 WITH SCORE 649687.591
AT ITER 2785 NEW BEST:: SOT 4426591 SOS 774590 HAS SOPS 774590 HAS SOUS 648911 HAS SOUPS 648911 WITH SCORE 649685.59
AT ITER 2815 NEW BEST:: SOT 4426446 SOS 774300 HAS SOPS 774300 HAS SOUS 648621 HAS SOUPS 648621 WITH SCORE 649395.3
AT ITER 2837 NEW BEST:: SOT 4426446 SOS 774300 HAS SOPS 774300 HAS SOUS 648619 HAS SOUPS 648619 WITH SCORE 649393.3
AT ITER 2872 NEW BEST:: SOT 4426295 SOS 774402 HAS SOPS 774402 HAS SOUS 648536 HAS SOUPS 648536 WITH SCORE 649310.402
AT ITER 2914 NEW BEST:: SOT 4426271 SOS 774378 HAS SOPS 774378 HAS SOUS 648512 HAS SOUPS 648512 WITH SCORE 649286.378
AT ITER 2927 NEW BEST:: SOT 4426127 SOS 774272 HAS SOPS 774272 HAS SOUS 648368 HAS SOUPS 648368 WITH SCORE 649142.272
AT ITER 2975 NEW BEST:: SOT 4426110 SOS 774238 HAS SOPS 774238 HAS SOUS 648334 HAS SOUPS 648334 WITH SCORE 649108.238
AT ITER 2980 NEW BEST:: SOT 4426110 SOS 774120 HAS SOPS 774120 HAS SOUS 648334 HAS SOUPS 648334 WITH SCORE 649108.12
AT ITER 2993 NEW BEST:: SOT 4426105 SOS 774110 HAS SOPS 774110 HAS SOUS 648324 HAS SOUPS 648324 WITH SCORE 649098.11
AT ITER 2997 NEW BEST:: SOT 4426071 SOS 774076 HAS SOPS 774076 HAS SOUS 648290 HAS SOUPS 648290 WITH SCORE 649064.076
AT ITER 2998 NEW BEST:: SOT 4425846 SOS 773956 HAS SOPS 773956 HAS SOUS 647873 HAS SOUPS 647873 WITH SCORE 648646.956
AT ITER 3012 NEW BEST:: SOT 4425845 SOS 773955 HAS SOPS 773955 HAS SOUS 647871 HAS SOUPS 647871 WITH SCORE 648644.955
AT ITER 3092 NEW BEST:: SOT 4425781 SOS 773827 HAS SOPS 773827 HAS SOUS 647743 HAS SOUPS 647743 WITH SCORE 648516.827
AT ITER 3111 NEW BEST:: SOT 4425692 SOS 774099 HAS SOPS 774099 HAS SOUS 647654 HAS SOUPS 647654 WITH SCORE 648428.099
AT ITER 3113 NEW BEST:: SOT 4425691 SOS 773925 HAS SOPS 773925 HAS SOUS 647338 HAS SOUPS 647338 WITH SCORE 648111.925
AT ITER 3114 NEW BEST:: SOT 4425691 SOS 773895 HAS SOPS 773895 HAS SOUS 647308 HAS SOUPS 647308 WITH SCORE 648081.895
AT ITER 3165 NEW BEST:: SOT 4425541 SOS 773745 HAS SOPS 773745 HAS SOUS 647158 HAS SOUPS 647158 WITH SCORE 647931.745
AT ITER 3177 NEW BEST:: SOT 4425373 SOS 773409 HAS SOPS 773409 HAS SOUS 646822 HAS SOUPS 646822 WITH SCORE 647595.409
AT ITER 3219 NEW BEST:: SOT 4425336 SOS 773335 HAS SOPS 773335 HAS SOUS 646785 HAS SOUPS 646785 WITH SCORE 647558.335
AT ITER 3241 NEW BEST:: SOT 4425336 SOS 773330 HAS SOPS 773330 HAS SOUS 646785 HAS SOUPS 646785 WITH SCORE 647558.33
AT ITER 3321 NEW BEST:: SOT 4425290 SOS 773238 HAS SOPS 773238 HAS SOUS 646693 HAS SOUPS 646693 WITH SCORE 647466.238
AT ITER 3328 NEW BEST:: SOT 4425255 SOS 773449 HAS SOPS 773449 HAS SOUS 646658 HAS SOUPS 646658 WITH SCORE 647431.449
AT ITER 3347 NEW BEST:: SOT 4425171 SOS 773197 HAS SOPS 773197 HAS SOUS 646490 HAS SOUPS 646490 WITH SCORE 647263.197
AT ITER 3358 NEW BEST:: SOT 4425204 SOS 773263 HAS SOPS 773263 HAS SOUS 646281 HAS SOUPS 646281 WITH SCORE 647054.263
AT ITER 3383 NEW BEST:: SOT 4425156 SOS 773167 HAS SOPS 773167 HAS SOUS 646233 HAS SOUPS 646233 WITH SCORE 647006.167
AT ITER 3384 NEW BEST:: SOT 4425150 SOS 773155 HAS SOPS 773155 HAS SOUS 646221 HAS SOUPS 646221 WITH SCORE 646994.155
AT ITER 3394 NEW BEST:: SOT 4424794 SOS 772824 HAS SOPS 772824 HAS SOUS 645865 HAS SOUPS 645865 WITH SCORE 646637.824
AT ITER 3396 NEW BEST:: SOT 4424762 SOS 772760 HAS SOPS 772760 HAS SOUS 645865 HAS SOUPS 645865 WITH SCORE 646637.76
AT ITER 3397 NEW BEST:: SOT 4424652 SOS 772488 HAS SOPS 772488 HAS SOUS 645618 HAS SOUPS 645618 WITH SCORE 646390.488
AT ITER 3418 NEW BEST:: SOT 4424586 SOS 772356 HAS SOPS 772356 HAS SOUS 645552 HAS SOUPS 645552 WITH SCORE 646324.356
AT ITER 3448 NEW BEST:: SOT 4424517 SOS 772356 HAS SOPS 772356 HAS SOUS 645483 HAS SOUPS 645483 WITH SCORE 646255.356
AT ITER 3460 NEW BEST:: SOT 4424422 SOS 772267 HAS SOPS 772267 HAS SOUS 645389 HAS SOUPS 645389 WITH SCORE 646161.267
AT ITER 3479 NEW BEST:: SOT 4424421 SOS 772007 HAS SOPS 772007 HAS SOUS 645387 HAS SOUPS 645387 WITH SCORE 646159.007
AT ITER 3491 NEW BEST:: SOT 4424300 SOS 771609 HAS SOPS 771609 HAS SOUS 645110 HAS SOUPS 645110 WITH SCORE 645881.609
AT ITER 3500 NEW BEST:: SOT 4424130 SOS 771443 HAS SOPS 771443 HAS SOUS 644940 HAS SOUPS 644940 WITH SCORE 645711.443
AT ITER 3513 NEW BEST:: SOT 4420870 SOS 793693 HAS SOPS 793693 HAS SOUS 641955 HAS SOUPS 641955 WITH SCORE 642748.693
AT ITER 3520 NEW BEST:: SOT 4420828 SOS 793674 HAS SOPS 793674 HAS SOUS 641936 HAS SOUPS 641936 WITH SCORE 642729.674
AT ITER 3522 NEW BEST:: SOT 4420943 SOS 793904 HAS SOPS 793904 HAS SOUS 641681 HAS SOUPS 641681 WITH SCORE 642474.904
AT ITER 3549 NEW BEST:: SOT 4420943 SOS 793760 HAS SOPS 793760 HAS SOUS 641681 HAS SOUPS 641681 WITH SCORE 642474.76
AT ITER 3562 NEW BEST:: SOT 4420669 SOS 793196 HAS SOPS 793196 HAS SOUS 641423 HAS SOUPS 641423 WITH SCORE 642216.196
AT ITER 3586 NEW BEST:: SOT 4420669 SOS 793196 HAS SOPS 793196 HAS SOUS 641420 HAS SOUPS 641420 WITH SCORE 642213.196
AT ITER 3602 NEW BEST:: SOT 4420518 SOS 792730 HAS SOPS 792730 HAS SOUS 641105 HAS SOUPS 641105 WITH SCORE 641897.73
AT ITER 3635 NEW BEST:: SOT 4420490 SOS 792674 HAS SOPS 792674 HAS SOUS 641063 HAS SOUPS 641063 WITH SCORE 641855.674
AT ITER 3646 NEW BEST:: SOT 4420490 SOS 792674 HAS SOPS 792674 HAS SOUS 640779 HAS SOUPS 640779 WITH SCORE 641571.674
AT ITER 3659 NEW BEST:: SOT 4420159 SOS 792012 HAS SOPS 792012 HAS SOUS 640702 HAS SOUPS 640702 WITH SCORE 641494.012
AT ITER 3664 NEW BEST:: SOT 4420241 SOS 791930 HAS SOPS 791930 HAS SOUS 640620 HAS SOUPS 640620 WITH SCORE 641411.93
AT ITER 3672 NEW BEST:: SOT 4420726 SOS 791930 HAS SOPS 791930 HAS SOUS 640448 HAS SOUPS 640448 WITH SCORE 641239.93
AT ITER 3712 NEW BEST:: SOT 4420710 SOS 791898 HAS SOPS 791898 HAS SOUS 640432 HAS SOUPS 640432 WITH SCORE 641223.898
AT ITER 3723 NEW BEST:: SOT 4420710 SOS 791894 HAS SOPS 791894 HAS SOUS 640432 HAS SOUPS 640432 WITH SCORE 641223.894
AT ITER 3761 NEW BEST:: SOT 4420816 SOS 792106 HAS SOPS 792106 HAS SOUS 640378 HAS SOUPS 640378 WITH SCORE 641170.106
AT ITER 3788 NEW BEST:: SOT 4420648 SOS 791770 HAS SOPS 791770 HAS SOUS 640288 HAS SOUPS 640288 WITH SCORE 641079.77
AT ITER 3807 NEW BEST:: SOT 4420648 SOS 791652 HAS SOPS 791652 HAS SOUS 640287 HAS SOUPS 640287 WITH SCORE 641078.652
AT ITER 3820 NEW BEST:: SOT 4420648 SOS 791504 HAS SOPS 791504 HAS SOUS 640286 HAS SOUPS 640286 WITH SCORE 641077.504
AT ITER 3824 NEW BEST:: SOT 4420594 SOS 791342 HAS SOPS 791342 HAS SOUS 640232 HAS SOUPS 640232 WITH SCORE 641023.342
AT ITER 3839 NEW BEST:: SOT 4420594 SOS 791137 HAS SOPS 791137 HAS SOUS 640027 HAS SOUPS 640027 WITH SCORE 640818.137
AT ITER 3851 NEW BEST:: SOT 4420594 SOS 791040 HAS SOPS 791040 HAS SOUS 640027 HAS SOUPS 640027 WITH SCORE 640818.04
AT ITER 3893 NEW BEST:: SOT 4420594 SOS 790996 HAS SOPS 790996 HAS SOUS 640005 HAS SOUPS 640005 WITH SCORE 640795.996
AT ITER 3926 NEW BEST:: SOT 4420455 SOS 790718 HAS SOPS 790718 HAS SOUS 639699 HAS SOUPS 639699 WITH SCORE 640489.718
AT ITER 3947 NEW BEST:: SOT 4420433 SOS 790674 HAS SOPS 790674 HAS SOUS 639655 HAS SOUPS 639655 WITH SCORE 640445.674
AT ITER 3950 NEW BEST:: SOT 4420432 SOS 790673 HAS SOPS 790673 HAS SOUS 639653 HAS SOUPS 639653 WITH SCORE 640443.673
AT ITER 4017 NEW BEST:: SOT 4420432 SOS 789161 HAS SOPS 789161 HAS SOUS 639653 HAS SOUPS 639653 WITH SCORE 640442.161
AT ITER 4033 NEW BEST:: SOT 4420424 SOS 789145 HAS SOPS 789145 HAS SOUS 639637 HAS SOUPS 639637 WITH SCORE 640426.145
AT ITER 4036 NEW BEST:: SOT 4420489 SOS 789275 HAS SOPS 789275 HAS SOUS 639542 HAS SOUPS 639542 WITH SCORE 640331.275
AT ITER 4043 NEW BEST:: SOT 4420426 SOS 789149 HAS SOPS 789149 HAS SOUS 639416 HAS SOUPS 639416 WITH SCORE 640205.149
AT ITER 4046 NEW BEST:: SOT 4420374 SOS 789045 HAS SOPS 789045 HAS SOUS 639372 HAS SOUPS 639372 WITH SCORE 640161.045
AT ITER 4068 NEW BEST:: SOT 4419921 SOS 788139 HAS SOPS 788139 HAS SOUS 638466 HAS SOUPS 638466 WITH SCORE 639254.139
AT ITER 4083 NEW BEST:: SOT 4419856 SOS 788009 HAS SOPS 788009 HAS SOUS 638259 HAS SOUPS 638259 WITH SCORE 639047.009
AT ITER 4090 NEW BEST:: SOT 4419856 SOS 787980 HAS SOPS 787980 HAS SOUS 638259 HAS SOUPS 638259 WITH SCORE 639046.98
AT ITER 4105 NEW BEST:: SOT 4419733 SOS 788070 HAS SOPS 788070 HAS SOUS 638197 HAS SOUPS 638197 WITH SCORE 638985.07
AT ITER 4119 NEW BEST:: SOT 4419689 SOS 787982 HAS SOPS 787982 HAS SOUS 638109 HAS SOUPS 638109 WITH SCORE 638896.982
AT ITER 4150 NEW BEST:: SOT 4419673 SOS 787929 HAS SOPS 787929 HAS SOUS 638072 HAS SOUPS 638072 WITH SCORE 638859.929
AT ITER 4159 NEW BEST:: SOT 4419610 SOS 787438 HAS SOPS 787438 HAS SOUS 637936 HAS SOUPS 637936 WITH SCORE 638723.438
AT ITER 4166 NEW BEST:: SOT 4419568 SOS 787354 HAS SOPS 787354 HAS SOUS 637894 HAS SOUPS 637894 WITH SCORE 638681.354
AT ITER 4183 NEW BEST:: SOT 4419523 SOS 787264 HAS SOPS 787264 HAS SOUS 637882 HAS SOUPS 637882 WITH SCORE 638669.264
AT ITER 4187 NEW BEST:: SOT 4419159 SOS 787030 HAS SOPS 787030 HAS SOUS 637487 HAS SOUPS 637487 WITH SCORE 638274.03
AT ITER 4256 NEW BEST:: SOT 4418782 SOS 786276 HAS SOPS 786276 HAS SOUS 637311 HAS SOUPS 637311 WITH SCORE 638097.276
AT ITER 4266 NEW BEST:: SOT 4418720 SOS 786238 HAS SOPS 786238 HAS SOUS 637273 HAS SOUPS 637273 WITH SCORE 638059.238
AT ITER 4270 NEW BEST:: SOT 4418715 SOS 786228 HAS SOPS 786228 HAS SOUS 637263 HAS SOUPS 637263 WITH SCORE 638049.228
AT ITER 4275 NEW BEST:: SOT 4418708 SOS 786214 HAS SOPS 786214 HAS SOUS 637256 HAS SOUPS 637256 WITH SCORE 638042.214
AT ITER 4281 NEW BEST:: SOT 4418708 SOS 786214 HAS SOPS 786214 HAS SOUS 637244 HAS SOUPS 637244 WITH SCORE 638030.214
AT ITER 4292 NEW BEST:: SOT 4418664 SOS 786126 HAS SOPS 786126 HAS SOUS 637198 HAS SOUPS 637198 WITH SCORE 637984.126
AT ITER 4310 NEW BEST:: SOT 4418608 SOS 786070 HAS SOPS 786070 HAS SOUS 637142 HAS SOUPS 637142 WITH SCORE 637928.07
AT ITER 4339 NEW BEST:: SOT 4418567 SOS 786029 HAS SOPS 786029 HAS SOUS 637060 HAS SOUPS 637060 WITH SCORE 637846.029
AT ITER 4359 NEW BEST:: SOT 4418487 SOS 785869 HAS SOPS 785869 HAS SOUS 636992 HAS SOUPS 636992 WITH SCORE 637777.869
AT ITER 4386 NEW BEST:: SOT 4418465 SOS 785825 HAS SOPS 785825 HAS SOUS 636948 HAS SOUPS 636948 WITH SCORE 637733.825
AT ITER 4408 NEW BEST:: SOT 4418465 SOS 785790 HAS SOPS 785790 HAS SOUS 636913 HAS SOUPS 636913 WITH SCORE 637698.79
AT ITER 4416 NEW BEST:: SOT 4418202 SOS 785538 HAS SOPS 785538 HAS SOUS 636828 HAS SOUPS 636828 WITH SCORE 637613.538
AT ITER 4424 NEW BEST:: SOT 4418143 SOS 785420 HAS SOPS 785420 HAS SOUS 636710 HAS SOUPS 636710 WITH SCORE 637495.42
AT ITER 4449 NEW BEST:: SOT 4418206 SOS 785483 HAS SOPS 785483 HAS SOUS 636678 HAS SOUPS 636678 WITH SCORE 637463.483
AT ITER 4486 NEW BEST:: SOT 4418100 SOS 785461 HAS SOPS 785461 HAS SOUS 636601 HAS SOUPS 636601 WITH SCORE 637386.461
AT ITER 4532 NEW BEST:: SOT 4418011 SOS 785372 HAS SOPS 785372 HAS SOUS 636559 HAS SOUPS 636559 WITH SCORE 637344.372
AT ITER 4574 NEW BEST:: SOT 4417991 SOS 785324 HAS SOPS 785324 HAS SOUS 636519 HAS SOUPS 636519 WITH SCORE 637304.324
AT ITER 4583 NEW BEST:: SOT 4417991 SOS 785083 HAS SOPS 785083 HAS SOUS 636519 HAS SOUPS 636519 WITH SCORE 637304.083
AT ITER 4593 NEW BEST:: SOT 4417991 SOS 784977 HAS SOPS 784977 HAS SOUS 636519 HAS SOUPS 636519 WITH SCORE 637303.977
AT ITER 4653 NEW BEST:: SOT 4417991 SOS 784757 HAS SOPS 784757 HAS SOUS 636518 HAS SOUPS 636518 WITH SCORE 637302.757
AT ITER 4667 NEW BEST:: SOT 4418110 SOS 784995 HAS SOPS 784995 HAS SOUS 636496 HAS SOUPS 636496 WITH SCORE 637280.995
AT ITER 4670 NEW BEST:: SOT 4418110 SOS 784995 HAS SOPS 784995 HAS SOUS 636371 HAS SOUPS 636371 WITH SCORE 637155.995
AT ITER 4713 NEW BEST:: SOT 4418110 SOS 784995 HAS SOPS 784995 HAS SOUS 636250 HAS SOUPS 636250 WITH SCORE 637034.995
AT ITER 4766 NEW BEST:: SOT 4418110 SOS 784737 HAS SOPS 784737 HAS SOUS 635992 HAS SOUPS 635992 WITH SCORE 636776.737
AT ITER 4777 NEW BEST:: SOT 4417977 SOS 784686 HAS SOPS 784686 HAS SOUS 635912 HAS SOUPS 635912 WITH SCORE 636696.686
AT ITER 4779 NEW BEST:: SOT 4417783 SOS 784492 HAS SOPS 784492 HAS SOUS 635718 HAS SOUPS 635718 WITH SCORE 636502.492
AT ITER 4789 NEW BEST:: SOT 4417732 SOS 784390 HAS SOPS 784390 HAS SOUS 635616 HAS SOUPS 635616 WITH SCORE 636400.39
AT ITER 4799 NEW BEST:: SOT 4417622 SOS 783992 HAS SOPS 783992 HAS SOUS 635328 HAS SOUPS 635328 WITH SCORE 636111.992
AT ITER 4822 NEW BEST:: SOT 4417560 SOS 783868 HAS SOPS 783868 HAS SOUS 635204 HAS SOUPS 635204 WITH SCORE 635987.868
AT ITER 4827 NEW BEST:: SOT 4417418 SOS 783423 HAS SOPS 783423 HAS SOUS 634920 HAS SOUPS 634920 WITH SCORE 635703.423
AT ITER 4833 NEW BEST:: SOT 4417435 SOS 783207 HAS SOPS 783207 HAS SOUS 634704 HAS SOUPS 634704 WITH SCORE 635487.207
AT ITER 4865 NEW BEST:: SOT 4417435 SOS 782972 HAS SOPS 782972 HAS SOUS 634704 HAS SOUPS 634704 WITH SCORE 635486.972
AT ITER 4903 NEW BEST:: SOT 4417180 SOS 782920 HAS SOPS 782920 HAS SOUS 634548 HAS SOUPS 634548 WITH SCORE 635330.92
AT ITER 4904 NEW BEST:: SOT 4417043 SOS 782509 HAS SOPS 782509 HAS SOUS 634274 HAS SOUPS 634274 WITH SCORE 635056.509
AT ITER 4922 NEW BEST:: SOT 4417010 SOS 782443 HAS SOPS 782443 HAS SOUS 634274 HAS SOUPS 634274 WITH SCORE 635056.443
AT ITER 4936 NEW BEST:: SOT 4417010 SOS 782259 HAS SOPS 782259 HAS SOUS 634090 HAS SOUPS 634090 WITH SCORE 634872.259
AT ITER 4954 NEW BEST:: SOT 4417010 SOS 782210 HAS SOPS 782210 HAS SOUS 634090 HAS SOUPS 634090 WITH SCORE 634872.21
AT ITER 4978 NEW BEST:: SOT 4416666 SOS 782033 HAS SOPS 782033 HAS SOUS 633820 HAS SOUPS 633820 WITH SCORE 634602.033
AT ITER 4982 NEW BEST:: SOT 4416523 SOS 781498 HAS SOPS 781498 HAS SOUS 633500 HAS SOUPS 633500 WITH SCORE 634281.498
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-00 (AG( ( ( (! potential( (tk(P8)) <= (tk(P2254)) )) | (! potential( (tk(P1865)) <= (tk(P155)) )) ) | (! ( potential( (tk(P1595)) <= (tk(P376)) ) & potential( ( 1 ) <= (tk(P2283)) ) )) )))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-01 ( ( (EF(( potential( ( 2 ) <= (tk(P1830)) ) & potential( ( 2 ) <= (tk(P645)) ) ))) & ( (! (! potential( ( 3 ) <= (tk(P1530)) ))) | (AG( potential( (tk(P1354)) <= (tk(P1989)) ))) ) ) & (EG( ( ( potential( (tk(P1430)) <= (tk(P2250)) ) & potential( (tk(P951)) <= (tk(P865)) ) ) | (! potential( (tk(P973)) <= (tk(P1992)) )) ))) )
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-02 (EG( (AU( potential( (tk(P2215)) <= (tk(P2083)) ),potential( ( 2 ) <= (tk(P1392)) ) ))))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-03 ( (EG( ( ( potential( ( 3 ) <= (tk(P1397)) ) & potential( ( 3 ) <= (tk(P1083)) ) ) | (! potential( (tk(P1941)) <= (tk(P1920)) )) ))) | (! (! (AF(potential( ( 1 ) <= (tk(P888)) ))))) )
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-04 (EU( (! ( potential( (tk(P2042)) <= (tk(P535)) ) | potential( (tk(P1096)) <= (tk(P154)) ) )),(AG( potential( (tk(P338)) <= (tk(P1284)) ))) ))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-05 (! (EU( ( potential( ( 1 ) <= (tk(P540)) ) | potential( (tk(P2346)) <= (tk(P939)) ) ),( potential( (tk(P1943)) <= (tk(P496)) ) & potential( ( 1 ) <= (tk(P1983)) ) ) )))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-06 (! (AF(( potential( ( 2 ) <= (tk(P626)) ) | potential( ( 2 ) <= (tk(P712)) ) ))))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-07 (EU( (AX( potential( (tk(P769)) <= (tk(P2583)) ))),potential( ( 2 ) <= (tk(P766)) ) ))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-08 (EF((! ( (! potential( ( 3 ) <= (tk(P471)) )) | (! potential( (tk(P1951)) <= (tk(P2395)) )) ))))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-09 (EF((EU( potential( (tk(P1338)) <= (tk(P1750)) ),potential( ( 3 ) <= (tk(P2169)) ) ))))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-10 (AU( ( ( potential( (tk(P1601)) <= (tk(P1018)) ) & potential( ( 2 ) <= (tk(P941)) ) ) | (! potential( ( 3 ) <= (tk(P412)) )) ),( ( potential( ( 3 ) <= (tk(P1229)) ) | potential( (tk(P734)) <= (tk(P1312)) ) ) & ( potential( ( 3 ) <= (tk(P956)) ) & potential( ( 2 ) <= (tk(P1931)) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-11 (! (AG( ( ( potential( (tk(P569)) <= (tk(P89)) ) | potential( ( 2 ) <= (tk(P2194)) ) ) | ( potential( ( 2 ) <= (tk(P879)) ) & potential( ( 1 ) <= (tk(P87)) ) ) ))))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-12 (! (AU( ( potential( (tk(P360)) <= (tk(P2424)) ) | potential( (tk(P1801)) <= (tk(P911)) ) ),( potential( ( 2 ) <= (tk(P563)) ) & potential( (tk(P595)) <= (tk(P1758)) ) ) )))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-13 ( ( potential( (tk(P297)) <= (tk(P636)) ) | (AF(( potential( ( 2 ) <= (tk(P2394)) ) | potential( ( 2 ) <= (tk(P542)) ) ))) ) & (EX( (EF(potential( ( 2 ) <= (tk(P901)) ))))) )
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-14 (EG( (! (AG( potential( ( 3 ) <= (tk(P971)) ))))))
PROPERTY: CloudReconfiguration-PT-318-CTLCardinality-15 ( potential( (tk(P160)) <= (tk(P1043)) ) & ( ( ( (! potential( (tk(P1147)) <= (tk(P271)) )) | (! potential( ( 2 ) <= (tk(P1371)) )) ) & (AF(potential( ( 1 ) <= (tk(P1484)) ))) ) | ( ( potential( ( 2 ) <= (tk(P2417)) ) | (! potential( (tk(P1997)) <= (tk(P1848)) )) ) & potential( ( 1 ) <= (tk(P133)) ) ) ) )

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-318"
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-318, 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-158902541800139"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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