fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902541700108
Last Updated
Jun 28, 2020

About the Execution of smart for CloudReconfiguration-PT-314

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.240 3600000.00 3600089.00 9.90 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 16:13 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.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 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-314-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-314-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589095466282

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 314
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4448374 SOS 744558 HAS SOPS 744558 HAS SOUS 686884 HAS SOUPS 686884 WITH SCORE 687628.558
AT ITER 8 NEW BEST:: SOT 4447935 SOS 744120 HAS SOPS 744120 HAS SOUS 686446 HAS SOUPS 686446 WITH SCORE 687190.12
AT ITER 11 NEW BEST:: SOT 4447859 SOS 743968 HAS SOPS 743968 HAS SOUS 686367 HAS SOUPS 686367 WITH SCORE 687110.968
AT ITER 25 NEW BEST:: SOT 4447813 SOS 743675 HAS SOPS 743675 HAS SOUS 686120 HAS SOUPS 686120 WITH SCORE 686863.675
AT ITER 38 NEW BEST:: SOT 4441836 SOS 753615 HAS SOPS 753615 HAS SOUS 680544 HAS SOUPS 680544 WITH SCORE 681297.615
AT ITER 69 NEW BEST:: SOT 4441684 SOS 753463 HAS SOPS 753463 HAS SOUS 680392 HAS SOUPS 680392 WITH SCORE 681145.463
AT ITER 80 NEW BEST:: SOT 4441766 SOS 753627 HAS SOPS 753627 HAS SOUS 680168 HAS SOUPS 680168 WITH SCORE 680921.627
AT ITER 83 NEW BEST:: SOT 4441766 SOS 753582 HAS SOPS 753582 HAS SOUS 680168 HAS SOUPS 680168 WITH SCORE 680921.582
AT ITER 99 NEW BEST:: SOT 4441613 SOS 753276 HAS SOPS 753276 HAS SOUS 679862 HAS SOUPS 679862 WITH SCORE 680615.276
AT ITER 114 NEW BEST:: SOT 4441719 SOS 753140 HAS SOPS 753140 HAS SOUS 679805 HAS SOUPS 679805 WITH SCORE 680558.14
AT ITER 142 NEW BEST:: SOT 4441565 SOS 753136 HAS SOPS 753136 HAS SOUS 679801 HAS SOUPS 679801 WITH SCORE 680554.136
AT ITER 165 NEW BEST:: SOT 4441579 SOS 753164 HAS SOPS 753164 HAS SOUS 679798 HAS SOUPS 679798 WITH SCORE 680551.164
AT ITER 199 NEW BEST:: SOT 4441387 SOS 752378 HAS SOPS 752378 HAS SOUS 679606 HAS SOUPS 679606 WITH SCORE 680358.378
AT ITER 201 NEW BEST:: SOT 4440954 SOS 752352 HAS SOPS 752352 HAS SOUS 679225 HAS SOUPS 679225 WITH SCORE 679977.352
AT ITER 218 NEW BEST:: SOT 4440954 SOS 752352 HAS SOPS 752352 HAS SOUS 679224 HAS SOUPS 679224 WITH SCORE 679976.352
AT ITER 222 NEW BEST:: SOT 4440606 SOS 752004 HAS SOPS 752004 HAS SOUS 678876 HAS SOUPS 678876 WITH SCORE 679628.004
AT ITER 260 NEW BEST:: SOT 4440605 SOS 751969 HAS SOPS 751969 HAS SOUS 678842 HAS SOUPS 678842 WITH SCORE 679593.969
AT ITER 290 NEW BEST:: SOT 4440497 SOS 751753 HAS SOPS 751753 HAS SOUS 678626 HAS SOUPS 678626 WITH SCORE 679377.753
AT ITER 303 NEW BEST:: SOT 4440261 SOS 751281 HAS SOPS 751281 HAS SOUS 678154 HAS SOUPS 678154 WITH SCORE 678905.281
AT ITER 305 NEW BEST:: SOT 4440031 SOS 751051 HAS SOPS 751051 HAS SOUS 677924 HAS SOUPS 677924 WITH SCORE 678675.051
AT ITER 338 NEW BEST:: SOT 4439909 SOS 750807 HAS SOPS 750807 HAS SOUS 677680 HAS SOUPS 677680 WITH SCORE 678430.807
AT ITER 384 NEW BEST:: SOT 4439291 SOS 750229 HAS SOPS 750229 HAS SOUS 677081 HAS SOUPS 677081 WITH SCORE 677831.229
AT ITER 387 NEW BEST:: SOT 4439289 SOS 750225 HAS SOPS 750225 HAS SOUS 677077 HAS SOUPS 677077 WITH SCORE 677827.225
AT ITER 417 NEW BEST:: SOT 4439289 SOS 750077 HAS SOPS 750077 HAS SOUS 677077 HAS SOUPS 677077 WITH SCORE 677827.077
AT ITER 467 NEW BEST:: SOT 4439162 SOS 749823 HAS SOPS 749823 HAS SOUS 676823 HAS SOUPS 676823 WITH SCORE 677572.823
AT ITER 490 NEW BEST:: SOT 4439061 SOS 749621 HAS SOPS 749621 HAS SOUS 676721 HAS SOUPS 676721 WITH SCORE 677470.621
AT ITER 495 NEW BEST:: SOT 4438980 SOS 749459 HAS SOPS 749459 HAS SOUS 676715 HAS SOUPS 676715 WITH SCORE 677464.459
AT ITER 511 NEW BEST:: SOT 4438705 SOS 749867 HAS SOPS 749867 HAS SOUS 676280 HAS SOUPS 676280 WITH SCORE 677029.867
AT ITER 513 NEW BEST:: SOT 4438713 SOS 749739 HAS SOPS 749739 HAS SOUS 676152 HAS SOUPS 676152 WITH SCORE 676901.739
AT ITER 540 NEW BEST:: SOT 4438713 SOS 749739 HAS SOPS 749739 HAS SOUS 676151 HAS SOUPS 676151 WITH SCORE 676900.739
AT ITER 581 NEW BEST:: SOT 4438560 SOS 749656 HAS SOPS 749656 HAS SOUS 675922 HAS SOUPS 675922 WITH SCORE 676671.656
AT ITER 595 NEW BEST:: SOT 4438560 SOS 749656 HAS SOPS 749656 HAS SOUS 675862 HAS SOUPS 675862 WITH SCORE 676611.656
AT ITER 600 NEW BEST:: SOT 4438560 SOS 749479 HAS SOPS 749479 HAS SOUS 675862 HAS SOUPS 675862 WITH SCORE 676611.479
AT ITER 629 NEW BEST:: SOT 4438270 SOS 748899 HAS SOPS 748899 HAS SOUS 675282 HAS SOUPS 675282 WITH SCORE 676030.899
AT ITER 632 NEW BEST:: SOT 4438112 SOS 748350 HAS SOPS 748350 HAS SOUS 674966 HAS SOUPS 674966 WITH SCORE 675714.35
AT ITER 662 NEW BEST:: SOT 4438112 SOS 748328 HAS SOPS 748328 HAS SOUS 674965 HAS SOUPS 674965 WITH SCORE 675713.328
AT ITER 679 NEW BEST:: SOT 4437915 SOS 748267 HAS SOPS 748267 HAS SOUS 674817 HAS SOUPS 674817 WITH SCORE 675565.267
AT ITER 715 NEW BEST:: SOT 4437914 SOS 748265 HAS SOPS 748265 HAS SOUS 674815 HAS SOUPS 674815 WITH SCORE 675563.265
AT ITER 730 NEW BEST:: SOT 4437797 SOS 748165 HAS SOPS 748165 HAS SOUS 674698 HAS SOUPS 674698 WITH SCORE 675446.165
AT ITER 792 NEW BEST:: SOT 4437797 SOS 748165 HAS SOPS 748165 HAS SOUS 674604 HAS SOUPS 674604 WITH SCORE 675352.165
AT ITER 797 NEW BEST:: SOT 4437078 SOS 747448 HAS SOPS 747448 HAS SOUS 673887 HAS SOUPS 673887 WITH SCORE 674634.448
AT ITER 806 NEW BEST:: SOT 4436419 SOS 746818 HAS SOPS 746818 HAS SOUS 673001 HAS SOUPS 673001 WITH SCORE 673747.818
AT ITER 823 NEW BEST:: SOT 4436082 SOS 746385 HAS SOPS 746385 HAS SOUS 672545 HAS SOUPS 672545 WITH SCORE 673291.385
AT ITER 859 NEW BEST:: SOT 4436053 SOS 746356 HAS SOPS 746356 HAS SOUS 672516 HAS SOUPS 672516 WITH SCORE 673262.356
AT ITER 860 NEW BEST:: SOT 4435923 SOS 746226 HAS SOPS 746226 HAS SOUS 672386 HAS SOUPS 672386 WITH SCORE 673132.226
AT ITER 887 NEW BEST:: SOT 4436018 SOS 746112 HAS SOPS 746112 HAS SOUS 672279 HAS SOUPS 672279 WITH SCORE 673025.112
AT ITER 903 NEW BEST:: SOT 4436100 SOS 746276 HAS SOPS 746276 HAS SOUS 672258 HAS SOUPS 672258 WITH SCORE 673004.276
AT ITER 911 NEW BEST:: SOT 4435984 SOS 746264 HAS SOPS 746264 HAS SOUS 672215 HAS SOUPS 672215 WITH SCORE 672961.264
AT ITER 921 NEW BEST:: SOT 4435930 SOS 746210 HAS SOPS 746210 HAS SOUS 672161 HAS SOUPS 672161 WITH SCORE 672907.21
AT ITER 938 NEW BEST:: SOT 4434911 SOS 746608 HAS SOPS 746608 HAS SOUS 671599 HAS SOUPS 671599 WITH SCORE 672345.608
AT ITER 959 NEW BEST:: SOT 4434797 SOS 746494 HAS SOPS 746494 HAS SOUS 671485 HAS SOUPS 671485 WITH SCORE 672231.494
AT ITER 974 NEW BEST:: SOT 4434797 SOS 746494 HAS SOPS 746494 HAS SOUS 671446 HAS SOUPS 671446 WITH SCORE 672192.494
AT ITER 999 NEW BEST:: SOT 4434735 SOS 746472 HAS SOPS 746472 HAS SOUS 671423 HAS SOUPS 671423 WITH SCORE 672169.472
AT ITER 1040 NEW BEST:: SOT 4434734 SOS 746470 HAS SOPS 746470 HAS SOUS 671421 HAS SOUPS 671421 WITH SCORE 672167.47
AT ITER 1085 NEW BEST:: SOT 4434787 SOS 746576 HAS SOPS 746576 HAS SOUS 671294 HAS SOUPS 671294 WITH SCORE 672040.576
AT ITER 1134 NEW BEST:: SOT 4434887 SOS 746196 HAS SOPS 746196 HAS SOUS 671104 HAS SOUPS 671104 WITH SCORE 671850.196
AT ITER 1136 NEW BEST:: SOT 4434844 SOS 746110 HAS SOPS 746110 HAS SOUS 671018 HAS SOUPS 671018 WITH SCORE 671764.11
AT ITER 1158 NEW BEST:: SOT 4434839 SOS 746100 HAS SOPS 746100 HAS SOUS 671008 HAS SOUPS 671008 WITH SCORE 671754.1
AT ITER 1163 NEW BEST:: SOT 4434748 SOS 745623 HAS SOPS 745623 HAS SOUS 670585 HAS SOUPS 670585 WITH SCORE 671330.623
AT ITER 1165 NEW BEST:: SOT 4434748 SOS 745623 HAS SOPS 745623 HAS SOUS 670549 HAS SOUPS 670549 WITH SCORE 671294.623
AT ITER 1173 NEW BEST:: SOT 4434759 SOS 745645 HAS SOPS 745645 HAS SOUS 670409 HAS SOUPS 670409 WITH SCORE 671154.645
AT ITER 1207 NEW BEST:: SOT 4434540 SOS 745434 HAS SOPS 745434 HAS SOUS 670196 HAS SOUPS 670196 WITH SCORE 670941.434
AT ITER 1259 NEW BEST:: SOT 4434505 SOS 745364 HAS SOPS 745364 HAS SOUS 670126 HAS SOUPS 670126 WITH SCORE 670871.364
AT ITER 1285 NEW BEST:: SOT 4434288 SOS 744930 HAS SOPS 744930 HAS SOUS 669692 HAS SOUPS 669692 WITH SCORE 670436.93
AT ITER 1317 NEW BEST:: SOT 4434207 SOS 744768 HAS SOPS 744768 HAS SOUS 669530 HAS SOUPS 669530 WITH SCORE 670274.768
AT ITER 1329 NEW BEST:: SOT 4433940 SOS 744234 HAS SOPS 744234 HAS SOUS 668996 HAS SOUPS 668996 WITH SCORE 669740.234
AT ITER 1332 NEW BEST:: SOT 4433403 SOS 743876 HAS SOPS 743876 HAS SOUS 668459 HAS SOUPS 668459 WITH SCORE 669202.876
AT ITER 1344 NEW BEST:: SOT 4433328 SOS 743651 HAS SOPS 743651 HAS SOUS 668309 HAS SOUPS 668309 WITH SCORE 669052.651
AT ITER 1355 NEW BEST:: SOT 4433228 SOS 743551 HAS SOPS 743551 HAS SOUS 668209 HAS SOUPS 668209 WITH SCORE 668952.551
AT ITER 1359 NEW BEST:: SOT 4432955 SOS 743408 HAS SOPS 743408 HAS SOUS 667995 HAS SOUPS 667995 WITH SCORE 668738.408
AT ITER 1366 NEW BEST:: SOT 4432759 SOS 743212 HAS SOPS 743212 HAS SOUS 667799 HAS SOUPS 667799 WITH SCORE 668542.212
AT ITER 1373 NEW BEST:: SOT 4432390 SOS 743109 HAS SOPS 743109 HAS SOUS 667557 HAS SOUPS 667557 WITH SCORE 668300.109
AT ITER 1375 NEW BEST:: SOT 4432266 SOS 742861 HAS SOPS 742861 HAS SOUS 667450 HAS SOUPS 667450 WITH SCORE 668192.861
AT ITER 1380 NEW BEST:: SOT 4432266 SOS 742861 HAS SOPS 742861 HAS SOUS 667342 HAS SOUPS 667342 WITH SCORE 668084.861
AT ITER 1422 NEW BEST:: SOT 4432353 SOS 743035 HAS SOPS 743035 HAS SOUS 667275 HAS SOUPS 667275 WITH SCORE 668018.035
AT ITER 1448 NEW BEST:: SOT 4432353 SOS 742872 HAS SOPS 742872 HAS SOUS 667275 HAS SOUPS 667275 WITH SCORE 668017.872
AT ITER 1462 NEW BEST:: SOT 4432266 SOS 742698 HAS SOPS 742698 HAS SOUS 667101 HAS SOUPS 667101 WITH SCORE 667843.698
AT ITER 1468 NEW BEST:: SOT 4432218 SOS 742602 HAS SOPS 742602 HAS SOUS 666896 HAS SOUPS 666896 WITH SCORE 667638.602
AT ITER 1471 NEW BEST:: SOT 4432218 SOS 742602 HAS SOPS 742602 HAS SOUS 666853 HAS SOUPS 666853 WITH SCORE 667595.602
AT ITER 1485 NEW BEST:: SOT 4431994 SOS 742528 HAS SOPS 742528 HAS SOUS 666682 HAS SOUPS 666682 WITH SCORE 667424.528
AT ITER 1506 NEW BEST:: SOT 4431970 SOS 742480 HAS SOPS 742480 HAS SOUS 666655 HAS SOUPS 666655 WITH SCORE 667397.48
AT ITER 1540 NEW BEST:: SOT 4431805 SOS 742397 HAS SOPS 742397 HAS SOUS 666258 HAS SOUPS 666258 WITH SCORE 667000.397
AT ITER 1569 NEW BEST:: SOT 4431711 SOS 742209 HAS SOPS 742209 HAS SOUS 666164 HAS SOUPS 666164 WITH SCORE 666906.209
AT ITER 1603 NEW BEST:: SOT 4431644 SOS 741880 HAS SOPS 741880 HAS SOUS 666152 HAS SOUPS 666152 WITH SCORE 666893.88
AT ITER 1609 NEW BEST:: SOT 4431637 SOS 742220 HAS SOPS 742220 HAS SOUS 666145 HAS SOUPS 666145 WITH SCORE 666887.22
AT ITER 1614 NEW BEST:: SOT 4431636 SOS 742218 HAS SOPS 742218 HAS SOUS 666143 HAS SOUPS 666143 WITH SCORE 666885.218
AT ITER 1618 NEW BEST:: SOT 4431636 SOS 742015 HAS SOPS 742015 HAS SOUS 666142 HAS SOUPS 666142 WITH SCORE 666884.015
AT ITER 1622 NEW BEST:: SOT 4431636 SOS 741906 HAS SOPS 741906 HAS SOUS 666142 HAS SOUPS 666142 WITH SCORE 666883.906
AT ITER 1624 NEW BEST:: SOT 4431576 SOS 741936 HAS SOPS 741936 HAS SOUS 666112 HAS SOUPS 666112 WITH SCORE 666853.936
AT ITER 1649 NEW BEST:: SOT 4431587 SOS 741832 HAS SOPS 741832 HAS SOUS 666008 HAS SOUPS 666008 WITH SCORE 666749.832
AT ITER 1654 NEW BEST:: SOT 4431658 SOS 741584 HAS SOPS 741584 HAS SOUS 665768 HAS SOUPS 665768 WITH SCORE 666509.584
AT ITER 1677 NEW BEST:: SOT 4431570 SOS 741496 HAS SOPS 741496 HAS SOUS 665636 HAS SOUPS 665636 WITH SCORE 666377.496
AT ITER 1726 NEW BEST:: SOT 4430534 SOS 740660 HAS SOPS 740660 HAS SOUS 664600 HAS SOUPS 664600 WITH SCORE 665340.66
AT ITER 1733 NEW BEST:: SOT 4430466 SOS 740592 HAS SOPS 740592 HAS SOUS 664532 HAS SOUPS 664532 WITH SCORE 665272.592
AT ITER 1755 NEW BEST:: SOT 4430466 SOS 740314 HAS SOPS 740314 HAS SOUS 664393 HAS SOUPS 664393 WITH SCORE 665133.314
AT ITER 1768 NEW BEST:: SOT 4430463 SOS 740308 HAS SOPS 740308 HAS SOUS 664387 HAS SOUPS 664387 WITH SCORE 665127.308
AT ITER 1776 NEW BEST:: SOT 4430316 SOS 740116 HAS SOPS 740116 HAS SOUS 664169 HAS SOUPS 664169 WITH SCORE 664909.116
AT ITER 1777 NEW BEST:: SOT 4426765 SOS 739104 HAS SOPS 739104 HAS SOUS 660905 HAS SOUPS 660905 WITH SCORE 661644.104
AT ITER 1783 NEW BEST:: SOT 4426707 SOS 739104 HAS SOPS 739104 HAS SOUS 660876 HAS SOUPS 660876 WITH SCORE 661615.104
AT ITER 1800 NEW BEST:: SOT 4426652 SOS 738838 HAS SOPS 738838 HAS SOUS 660665 HAS SOUPS 660665 WITH SCORE 661403.838
AT ITER 1824 NEW BEST:: SOT 4426627 SOS 738788 HAS SOPS 738788 HAS SOUS 660615 HAS SOUPS 660615 WITH SCORE 661353.788
AT ITER 1828 NEW BEST:: SOT 4426647 SOS 738672 HAS SOPS 738672 HAS SOUS 660586 HAS SOUPS 660586 WITH SCORE 661324.672
AT ITER 1830 NEW BEST:: SOT 4426533 SOS 738558 HAS SOPS 738558 HAS SOUS 660472 HAS SOUPS 660472 WITH SCORE 661210.558
AT ITER 1840 NEW BEST:: SOT 4426333 SOS 738358 HAS SOPS 738358 HAS SOUS 660272 HAS SOUPS 660272 WITH SCORE 661010.358
AT ITER 1844 NEW BEST:: SOT 4426424 SOS 738273 HAS SOPS 738273 HAS SOUS 660186 HAS SOUPS 660186 WITH SCORE 660924.273
AT ITER 1847 NEW BEST:: SOT 4426415 SOS 738255 HAS SOPS 738255 HAS SOUS 660168 HAS SOUPS 660168 WITH SCORE 660906.255
AT ITER 1849 NEW BEST:: SOT 4426415 SOS 738255 HAS SOPS 738255 HAS SOUS 660087 HAS SOUPS 660087 WITH SCORE 660825.255
AT ITER 1857 NEW BEST:: SOT 4426415 SOS 738107 HAS SOPS 738107 HAS SOUS 660087 HAS SOUPS 660087 WITH SCORE 660825.107
AT ITER 1885 NEW BEST:: SOT 4426286 SOS 738119 HAS SOPS 738119 HAS SOUS 659958 HAS SOUPS 659958 WITH SCORE 660696.119
AT ITER 1901 NEW BEST:: SOT 4426184 SOS 738118 HAS SOPS 738118 HAS SOUS 659907 HAS SOUPS 659907 WITH SCORE 660645.118
AT ITER 1913 NEW BEST:: SOT 4426000 SOS 738198 HAS SOPS 738198 HAS SOUS 659664 HAS SOUPS 659664 WITH SCORE 660402.198
AT ITER 1954 NEW BEST:: SOT 4425882 SOS 738357 HAS SOPS 738357 HAS SOUS 659621 HAS SOUPS 659621 WITH SCORE 660359.357
AT ITER 1991 NEW BEST:: SOT 4425757 SOS 738107 HAS SOPS 738107 HAS SOUS 659371 HAS SOUPS 659371 WITH SCORE 660109.107
AT ITER 2081 NEW BEST:: SOT 4425669 SOS 737931 HAS SOPS 737931 HAS SOUS 659195 HAS SOUPS 659195 WITH SCORE 659932.931
AT ITER 2105 NEW BEST:: SOT 4425482 SOS 738017 HAS SOPS 738017 HAS SOUS 659026 HAS SOUPS 659026 WITH SCORE 659764.017
AT ITER 2119 NEW BEST:: SOT 4424832 SOS 738809 HAS SOPS 738809 HAS SOUS 658904 HAS SOUPS 658904 WITH SCORE 659642.809
AT ITER 2127 NEW BEST:: SOT 4424832 SOS 738584 HAS SOPS 738584 HAS SOUS 658679 HAS SOUPS 658679 WITH SCORE 659417.584
AT ITER 2147 NEW BEST:: SOT 4424832 SOS 738142 HAS SOPS 738142 HAS SOUS 658398 HAS SOUPS 658398 WITH SCORE 659136.142
AT ITER 2159 NEW BEST:: SOT 4424748 SOS 737974 HAS SOPS 737974 HAS SOUS 658230 HAS SOUPS 658230 WITH SCORE 658967.974
AT ITER 2163 NEW BEST:: SOT 4424600 SOS 737826 HAS SOPS 737826 HAS SOUS 658082 HAS SOUPS 658082 WITH SCORE 658819.826
AT ITER 2182 NEW BEST:: SOT 4424462 SOS 737717 HAS SOPS 737717 HAS SOUS 657973 HAS SOUPS 657973 WITH SCORE 658710.717
AT ITER 2196 NEW BEST:: SOT 4424433 SOS 737688 HAS SOPS 737688 HAS SOUS 657944 HAS SOUPS 657944 WITH SCORE 658681.688
AT ITER 2219 NEW BEST:: SOT 4423929 SOS 736985 HAS SOPS 736985 HAS SOUS 657190 HAS SOUPS 657190 WITH SCORE 657926.985
AT ITER 2229 NEW BEST:: SOT 4423964 SOS 736859 HAS SOPS 736859 HAS SOUS 657159 HAS SOUPS 657159 WITH SCORE 657895.859
AT ITER 2246 NEW BEST:: SOT 4423936 SOS 736803 HAS SOPS 736803 HAS SOUS 657103 HAS SOUPS 657103 WITH SCORE 657839.803
AT ITER 2279 NEW BEST:: SOT 4423936 SOS 736803 HAS SOPS 736803 HAS SOUS 656968 HAS SOUPS 656968 WITH SCORE 657704.803
AT ITER 2290 NEW BEST:: SOT 4423900 SOS 736731 HAS SOPS 736731 HAS SOUS 656896 HAS SOUPS 656896 WITH SCORE 657632.731
AT ITER 2327 NEW BEST:: SOT 4423736 SOS 736403 HAS SOPS 736403 HAS SOUS 656568 HAS SOUPS 656568 WITH SCORE 657304.403
AT ITER 2344 NEW BEST:: SOT 4423793 SOS 736332 HAS SOPS 736332 HAS SOUS 656497 HAS SOUPS 656497 WITH SCORE 657233.332
AT ITER 2373 NEW BEST:: SOT 4423756 SOS 736258 HAS SOPS 736258 HAS SOUS 656225 HAS SOUPS 656225 WITH SCORE 656961.258
AT ITER 2387 NEW BEST:: SOT 4423304 SOS 735795 HAS SOPS 735795 HAS SOUS 655762 HAS SOUPS 655762 WITH SCORE 656497.795
AT ITER 2427 NEW BEST:: SOT 4422980 SOS 735471 HAS SOPS 735471 HAS SOUS 655438 HAS SOUPS 655438 WITH SCORE 656173.471
AT ITER 2435 NEW BEST:: SOT 4422742 SOS 734557 HAS SOPS 734557 HAS SOUS 654907 HAS SOUPS 654907 WITH SCORE 655641.557
AT ITER 2440 NEW BEST:: SOT 4422860 SOS 734412 HAS SOPS 734412 HAS SOUS 654787 HAS SOUPS 654787 WITH SCORE 655521.412
AT ITER 2443 NEW BEST:: SOT 4422699 SOS 734090 HAS SOPS 734090 HAS SOUS 654465 HAS SOUPS 654465 WITH SCORE 655199.09
AT ITER 2444 NEW BEST:: SOT 4422660 SOS 733802 HAS SOPS 733802 HAS SOUS 654216 HAS SOUPS 654216 WITH SCORE 654949.802
AT ITER 2483 NEW BEST:: SOT 4422657 SOS 733796 HAS SOPS 733796 HAS SOUS 654213 HAS SOUPS 654213 WITH SCORE 654946.796
AT ITER 2505 NEW BEST:: SOT 4422627 SOS 733676 HAS SOPS 733676 HAS SOUS 654153 HAS SOUPS 654153 WITH SCORE 654886.676
AT ITER 2530 NEW BEST:: SOT 4422440 SOS 733698 HAS SOPS 733698 HAS SOUS 654080 HAS SOUPS 654080 WITH SCORE 654813.698
AT ITER 2548 NEW BEST:: SOT 4422230 SOS 733558 HAS SOPS 733558 HAS SOUS 653870 HAS SOUPS 653870 WITH SCORE 654603.558
AT ITER 2575 NEW BEST:: SOT 4422058 SOS 733386 HAS SOPS 733386 HAS SOUS 653698 HAS SOUPS 653698 WITH SCORE 654431.386
AT ITER 2584 NEW BEST:: SOT 4422001 SOS 733374 HAS SOPS 733374 HAS SOUS 653686 HAS SOUPS 653686 WITH SCORE 654419.374
AT ITER 2603 NEW BEST:: SOT 4421793 SOS 733128 HAS SOPS 733128 HAS SOUS 653308 HAS SOUPS 653308 WITH SCORE 654041.128
AT ITER 2635 NEW BEST:: SOT 4421355 SOS 732763 HAS SOPS 732763 HAS SOUS 652871 HAS SOUPS 652871 WITH SCORE 653603.763
AT ITER 2637 NEW BEST:: SOT 4421342 SOS 733189 HAS SOPS 733189 HAS SOUS 652845 HAS SOUPS 652845 WITH SCORE 653578.189
AT ITER 2656 NEW BEST:: SOT 4421212 SOS 732596 HAS SOPS 732596 HAS SOUS 652584 HAS SOUPS 652584 WITH SCORE 653316.596
AT ITER 2666 NEW BEST:: SOT 4421154 SOS 732538 HAS SOPS 732538 HAS SOUS 652526 HAS SOUPS 652526 WITH SCORE 653258.538
AT ITER 2686 NEW BEST:: SOT 4421149 SOS 732528 HAS SOPS 732528 HAS SOUS 652516 HAS SOUPS 652516 WITH SCORE 653248.528
AT ITER 2703 NEW BEST:: SOT 4421149 SOS 732528 HAS SOPS 732528 HAS SOUS 652514 HAS SOUPS 652514 WITH SCORE 653246.528
AT ITER 2704 NEW BEST:: SOT 4420872 SOS 731974 HAS SOPS 731974 HAS SOUS 651891 HAS SOUPS 651891 WITH SCORE 652622.974
AT ITER 2711 NEW BEST:: SOT 4420732 SOS 731834 HAS SOPS 731834 HAS SOUS 651751 HAS SOUPS 651751 WITH SCORE 652482.834
AT ITER 2726 NEW BEST:: SOT 4420198 SOS 731935 HAS SOPS 731935 HAS SOUS 651326 HAS SOUPS 651326 WITH SCORE 652057.935
AT ITER 2733 NEW BEST:: SOT 4419884 SOS 730954 HAS SOPS 730954 HAS SOUS 650659 HAS SOUPS 650659 WITH SCORE 651389.954
AT ITER 2750 NEW BEST:: SOT 4419883 SOS 731135 HAS SOPS 731135 HAS SOUS 650657 HAS SOUPS 650657 WITH SCORE 651388.135
AT ITER 2753 NEW BEST:: SOT 4419819 SOS 731007 HAS SOPS 731007 HAS SOUS 650557 HAS SOUPS 650557 WITH SCORE 651288.007
AT ITER 2799 NEW BEST:: SOT 4419761 SOS 727555 HAS SOPS 727555 HAS SOUS 650499 HAS SOUPS 650499 WITH SCORE 651226.555
AT ITER 2805 NEW BEST:: SOT 4419761 SOS 727555 HAS SOPS 727555 HAS SOUS 650284 HAS SOUPS 650284 WITH SCORE 651011.555
AT ITER 2820 NEW BEST:: SOT 4419761 SOS 727555 HAS SOPS 727555 HAS SOUS 650283 HAS SOUPS 650283 WITH SCORE 651010.555
AT ITER 2825 NEW BEST:: SOT 4419617 SOS 727411 HAS SOPS 727411 HAS SOUS 650139 HAS SOUPS 650139 WITH SCORE 650866.411
AT ITER 2842 NEW BEST:: SOT 4419582 SOS 727341 HAS SOPS 727341 HAS SOUS 650069 HAS SOUPS 650069 WITH SCORE 650796.341
AT ITER 2871 NEW BEST:: SOT 4419471 SOS 727295 HAS SOPS 727295 HAS SOUS 649988 HAS SOUPS 649988 WITH SCORE 650715.295
AT ITER 2887 NEW BEST:: SOT 4419315 SOS 727139 HAS SOPS 727139 HAS SOUS 649832 HAS SOUPS 649832 WITH SCORE 650559.139
AT ITER 2924 NEW BEST:: SOT 4419239 SOS 727138 HAS SOPS 727138 HAS SOUS 649831 HAS SOUPS 649831 WITH SCORE 650558.138
AT ITER 2939 NEW BEST:: SOT 4419105 SOS 726870 HAS SOPS 726870 HAS SOUS 649563 HAS SOUPS 649563 WITH SCORE 650289.87
AT ITER 2944 NEW BEST:: SOT 4418831 SOS 726322 HAS SOPS 726322 HAS SOUS 649015 HAS SOUPS 649015 WITH SCORE 649741.322
AT ITER 2967 NEW BEST:: SOT 4418677 SOS 726014 HAS SOPS 726014 HAS SOUS 648707 HAS SOUPS 648707 WITH SCORE 649433.014
AT ITER 3005 NEW BEST:: SOT 4418510 SOS 725847 HAS SOPS 725847 HAS SOUS 648540 HAS SOUPS 648540 WITH SCORE 649265.847
AT ITER 3014 NEW BEST:: SOT 4418508 SOS 725843 HAS SOPS 725843 HAS SOUS 648536 HAS SOUPS 648536 WITH SCORE 649261.843
AT ITER 3016 NEW BEST:: SOT 4418493 SOS 725813 HAS SOPS 725813 HAS SOUS 648521 HAS SOUPS 648521 WITH SCORE 649246.813
AT ITER 3036 NEW BEST:: SOT 4418481 SOS 725862 HAS SOPS 725862 HAS SOUS 648509 HAS SOUPS 648509 WITH SCORE 649234.862
AT ITER 3120 NEW BEST:: SOT 4418442 SOS 725848 HAS SOPS 725848 HAS SOUS 648483 HAS SOUPS 648483 WITH SCORE 649208.848
AT ITER 3142 NEW BEST:: SOT 4417747 SOS 725538 HAS SOPS 725538 HAS SOUS 648004 HAS SOUPS 648004 WITH SCORE 648729.538
AT ITER 3166 NEW BEST:: SOT 4417747 SOS 725413 HAS SOPS 725413 HAS SOUS 648002 HAS SOUPS 648002 WITH SCORE 648727.413
AT ITER 3187 NEW BEST:: SOT 4417747 SOS 725413 HAS SOPS 725413 HAS SOUS 647978 HAS SOUPS 647978 WITH SCORE 648703.413
AT ITER 3217 NEW BEST:: SOT 4417383 SOS 725528 HAS SOPS 725528 HAS SOUS 647469 HAS SOUPS 647469 WITH SCORE 648194.528
AT ITER 3235 NEW BEST:: SOT 4417279 SOS 725320 HAS SOPS 725320 HAS SOUS 647261 HAS SOUPS 647261 WITH SCORE 647986.32
AT ITER 3260 NEW BEST:: SOT 4417321 SOS 725165 HAS SOPS 725165 HAS SOUS 646926 HAS SOUPS 646926 WITH SCORE 647651.165
AT ITER 3264 NEW BEST:: SOT 4417105 SOS 724733 HAS SOPS 724733 HAS SOUS 646494 HAS SOUPS 646494 WITH SCORE 647218.733
AT ITER 3269 NEW BEST:: SOT 4417113 SOS 724679 HAS SOPS 724679 HAS SOUS 646467 HAS SOUPS 646467 WITH SCORE 647191.679
AT ITER 3271 NEW BEST:: SOT 4416671 SOS 724775 HAS SOPS 724775 HAS SOUS 646101 HAS SOUPS 646101 WITH SCORE 646825.775
AT ITER 3290 NEW BEST:: SOT 4415792 SOS 723954 HAS SOPS 723954 HAS SOUS 645263 HAS SOUPS 645263 WITH SCORE 645986.954
AT ITER 3291 NEW BEST:: SOT 4415624 SOS 723618 HAS SOPS 723618 HAS SOUS 645094 HAS SOUPS 645094 WITH SCORE 645817.618
AT ITER 3303 NEW BEST:: SOT 4415623 SOS 723573 HAS SOPS 723573 HAS SOUS 645092 HAS SOUPS 645092 WITH SCORE 645815.573
AT ITER 3337 NEW BEST:: SOT 4415449 SOS 723225 HAS SOPS 723225 HAS SOUS 644744 HAS SOUPS 644744 WITH SCORE 645467.225
AT ITER 3358 NEW BEST:: SOT 4415449 SOS 723225 HAS SOPS 723225 HAS SOUS 644743 HAS SOUPS 644743 WITH SCORE 645466.225
AT ITER 3368 NEW BEST:: SOT 4415449 SOS 723065 HAS SOPS 723065 HAS SOUS 644743 HAS SOUPS 644743 WITH SCORE 645466.065
AT ITER 3369 NEW BEST:: SOT 4415190 SOS 722547 HAS SOPS 722547 HAS SOUS 644225 HAS SOUPS 644225 WITH SCORE 644947.547
AT ITER 3400 NEW BEST:: SOT 4415368 SOS 722535 HAS SOPS 722535 HAS SOUS 644213 HAS SOUPS 644213 WITH SCORE 644935.535
AT ITER 3426 NEW BEST:: SOT 4415368 SOS 722293 HAS SOPS 722293 HAS SOUS 644212 HAS SOUPS 644212 WITH SCORE 644934.293
AT ITER 3435 NEW BEST:: SOT 4414958 SOS 721757 HAS SOPS 721757 HAS SOUS 643667 HAS SOUPS 643667 WITH SCORE 644388.757
AT ITER 3441 NEW BEST:: SOT 4414716 SOS 721475 HAS SOPS 721475 HAS SOUS 643385 HAS SOUPS 643385 WITH SCORE 644106.475
AT ITER 3460 NEW BEST:: SOT 4414716 SOS 721132 HAS SOPS 721132 HAS SOUS 643385 HAS SOUPS 643385 WITH SCORE 644106.132
AT ITER 3461 NEW BEST:: SOT 4414393 SOS 720809 HAS SOPS 720809 HAS SOUS 643062 HAS SOUPS 643062 WITH SCORE 643782.809
AT ITER 3462 NEW BEST:: SOT 4414392 SOS 720807 HAS SOPS 720807 HAS SOUS 643060 HAS SOUPS 643060 WITH SCORE 643780.807
AT ITER 3486 NEW BEST:: SOT 4414392 SOS 720807 HAS SOPS 720807 HAS SOUS 643016 HAS SOUPS 643016 WITH SCORE 643736.807
AT ITER 3538 NEW BEST:: SOT 4414392 SOS 720807 HAS SOPS 720807 HAS SOUS 642921 HAS SOUPS 642921 WITH SCORE 643641.807
AT ITER 3553 NEW BEST:: SOT 4414262 SOS 720287 HAS SOPS 720287 HAS SOUS 642661 HAS SOUPS 642661 WITH SCORE 643381.287
AT ITER 3568 NEW BEST:: SOT 4414130 SOS 720179 HAS SOPS 720179 HAS SOUS 642553 HAS SOUPS 642553 WITH SCORE 643273.179
AT ITER 3613 NEW BEST:: SOT 4413614 SOS 719663 HAS SOPS 719663 HAS SOUS 642037 HAS SOUPS 642037 WITH SCORE 642756.663
AT ITER 3649 NEW BEST:: SOT 4413614 SOS 719534 HAS SOPS 719534 HAS SOUS 641908 HAS SOUPS 641908 WITH SCORE 642627.534
AT ITER 3671 NEW BEST:: SOT 4413470 SOS 736105 HAS SOPS 736105 HAS SOUS 641620 HAS SOUPS 641620 WITH SCORE 642356.105
AT ITER 3700 NEW BEST:: SOT 4413419 SOS 736003 HAS SOPS 736003 HAS SOUS 641569 HAS SOUPS 641569 WITH SCORE 642305.003
AT ITER 3719 NEW BEST:: SOT 4413192 SOS 735776 HAS SOPS 735776 HAS SOUS 641342 HAS SOUPS 641342 WITH SCORE 642077.776
AT ITER 3736 NEW BEST:: SOT 4413168 SOS 735728 HAS SOPS 735728 HAS SOUS 641208 HAS SOUPS 641208 WITH SCORE 641943.728
AT ITER 3740 NEW BEST:: SOT 4413139 SOS 735670 HAS SOPS 735670 HAS SOUS 641179 HAS SOUPS 641179 WITH SCORE 641914.67
AT ITER 3750 NEW BEST:: SOT 4412915 SOS 735222 HAS SOPS 735222 HAS SOUS 640955 HAS SOUPS 640955 WITH SCORE 641690.222
AT ITER 3756 NEW BEST:: SOT 4412954 SOS 735075 HAS SOPS 735075 HAS SOUS 640840 HAS SOUPS 640840 WITH SCORE 641575.075
AT ITER 3762 NEW BEST:: SOT 4412730 SOS 734909 HAS SOPS 734909 HAS SOUS 640646 HAS SOUPS 640646 WITH SCORE 641380.909
AT ITER 3788 NEW BEST:: SOT 4413284 SOS 735667 HAS SOPS 735667 HAS SOUS 640589 HAS SOUPS 640589 WITH SCORE 641324.667
AT ITER 3795 NEW BEST:: SOT 4413160 SOS 735419 HAS SOPS 735419 HAS SOUS 640341 HAS SOUPS 640341 WITH SCORE 641076.419
AT ITER 3838 NEW BEST:: SOT 4413110 SOS 735319 HAS SOPS 735319 HAS SOUS 640291 HAS SOUPS 640291 WITH SCORE 641026.319
AT ITER 3848 NEW BEST:: SOT 4412528 SOS 736175 HAS SOPS 736175 HAS SOUS 639945 HAS SOUPS 639945 WITH SCORE 640681.175
AT ITER 3861 NEW BEST:: SOT 4412415 SOS 735949 HAS SOPS 735949 HAS SOUS 639742 HAS SOUPS 639742 WITH SCORE 640477.949
AT ITER 3863 NEW BEST:: SOT 4412423 SOS 735965 HAS SOPS 735965 HAS SOUS 639739 HAS SOUPS 639739 WITH SCORE 640474.965
AT ITER 3867 NEW BEST:: SOT 4412416 SOS 735951 HAS SOPS 735951 HAS SOUS 639732 HAS SOUPS 639732 WITH SCORE 640467.951
AT ITER 3871 NEW BEST:: SOT 4412101 SOS 735739 HAS SOPS 735739 HAS SOUS 639661 HAS SOUPS 639661 WITH SCORE 640396.739
AT ITER 3886 NEW BEST:: SOT 4412090 SOS 735717 HAS SOPS 735717 HAS SOUS 639639 HAS SOUPS 639639 WITH SCORE 640374.717
AT ITER 3907 NEW BEST:: SOT 4412090 SOS 735717 HAS SOPS 735717 HAS SOUS 639600 HAS SOUPS 639600 WITH SCORE 640335.717
AT ITER 3978 NEW BEST:: SOT 4412042 SOS 735621 HAS SOPS 735621 HAS SOUS 639552 HAS SOUPS 639552 WITH SCORE 640287.621
AT ITER 4019 NEW BEST:: SOT 4412011 SOS 735559 HAS SOPS 735559 HAS SOUS 639521 HAS SOUPS 639521 WITH SCORE 640256.559
AT ITER 4063 NEW BEST:: SOT 4412010 SOS 735557 HAS SOPS 735557 HAS SOUS 639519 HAS SOUPS 639519 WITH SCORE 640254.557
AT ITER 4069 NEW BEST:: SOT 4411978 SOS 735493 HAS SOPS 735493 HAS SOUS 639508 HAS SOUPS 639508 WITH SCORE 640243.493
AT ITER 4094 NEW BEST:: SOT 4411854 SOS 735367 HAS SOPS 735367 HAS SOUS 639383 HAS SOUPS 639383 WITH SCORE 640118.367
AT ITER 4101 NEW BEST:: SOT 4411711 SOS 735262 HAS SOPS 735262 HAS SOUS 639084 HAS SOUPS 639084 WITH SCORE 639819.262
AT ITER 4108 NEW BEST:: SOT 4411555 SOS 734794 HAS SOPS 734794 HAS SOUS 638772 HAS SOUPS 638772 WITH SCORE 639506.794
AT ITER 4127 NEW BEST:: SOT 4411385 SOS 734624 HAS SOPS 734624 HAS SOUS 638517 HAS SOUPS 638517 WITH SCORE 639251.624
AT ITER 4167 NEW BEST:: SOT 4411383 SOS 734793 HAS SOPS 734793 HAS SOUS 638514 HAS SOUPS 638514 WITH SCORE 639248.793
AT ITER 4181 NEW BEST:: SOT 4411328 SOS 734683 HAS SOPS 734683 HAS SOUS 638478 HAS SOUPS 638478 WITH SCORE 639212.683
AT ITER 4189 NEW BEST:: SOT 4411328 SOS 734429 HAS SOPS 734429 HAS SOUS 638224 HAS SOUPS 638224 WITH SCORE 638958.429
AT ITER 4215 NEW BEST:: SOT 4411328 SOS 734338 HAS SOPS 734338 HAS SOUS 638224 HAS SOUPS 638224 WITH SCORE 638958.338
AT ITER 4231 NEW BEST:: SOT 4411320 SOS 734603 HAS SOPS 734603 HAS SOUS 638216 HAS SOUPS 638216 WITH SCORE 638950.603
AT ITER 4235 NEW BEST:: SOT 4411319 SOS 734601 HAS SOPS 734601 HAS SOUS 638214 HAS SOUPS 638214 WITH SCORE 638948.601
AT ITER 4237 NEW BEST:: SOT 4411532 SOS 734252 HAS SOPS 734252 HAS SOUS 638126 HAS SOUPS 638126 WITH SCORE 638860.252
AT ITER 4254 NEW BEST:: SOT 4411532 SOS 734207 HAS SOPS 734207 HAS SOUS 638081 HAS SOUPS 638081 WITH SCORE 638815.207
AT ITER 4309 NEW BEST:: SOT 4411503 SOS 734149 HAS SOPS 734149 HAS SOUS 638052 HAS SOUPS 638052 WITH SCORE 638786.149
AT ITER 4336 NEW BEST:: SOT 4411534 SOS 734211 HAS SOPS 734211 HAS SOUS 637916 HAS SOUPS 637916 WITH SCORE 638650.211
AT ITER 4340 NEW BEST:: SOT 4411509 SOS 734186 HAS SOPS 734186 HAS SOUS 637916 HAS SOUPS 637916 WITH SCORE 638650.186
AT ITER 4386 NEW BEST:: SOT 4411394 SOS 733956 HAS SOPS 733956 HAS SOUS 637686 HAS SOUPS 637686 WITH SCORE 638419.956
AT ITER 4389 NEW BEST:: SOT 4411393 SOS 733954 HAS SOPS 733954 HAS SOUS 637684 HAS SOUPS 637684 WITH SCORE 638417.954
AT ITER 4451 NEW BEST:: SOT 4411081 SOS 733642 HAS SOPS 733642 HAS SOUS 637372 HAS SOUPS 637372 WITH SCORE 638105.642
AT ITER 4475 NEW BEST:: SOT 4411073 SOS 733626 HAS SOPS 733626 HAS SOUS 637356 HAS SOUPS 637356 WITH SCORE 638089.626
AT ITER 4491 NEW BEST:: SOT 4410960 SOS 733624 HAS SOPS 733624 HAS SOUS 637247 HAS SOUPS 637247 WITH SCORE 637980.624
AT ITER 4494 NEW BEST:: SOT 4410816 SOS 733528 HAS SOPS 733528 HAS SOUS 637103 HAS SOUPS 637103 WITH SCORE 637836.528
AT ITER 4501 NEW BEST:: SOT 4410684 SOS 733396 HAS SOPS 733396 HAS SOUS 636971 HAS SOUPS 636971 WITH SCORE 637704.396
AT ITER 4530 NEW BEST:: SOT 4410775 SOS 733153 HAS SOPS 733153 HAS SOUS 636842 HAS SOUPS 636842 WITH SCORE 637575.153
AT ITER 4555 NEW BEST:: SOT 4410730 SOS 733164 HAS SOPS 733164 HAS SOUS 636797 HAS SOUPS 636797 WITH SCORE 637530.164
AT ITER 4588 NEW BEST:: SOT 4410253 SOS 733642 HAS SOPS 733642 HAS SOUS 636729 HAS SOUPS 636729 WITH SCORE 637462.642
AT ITER 4596 NEW BEST:: SOT 4410253 SOS 733547 HAS SOPS 733547 HAS SOUS 636634 HAS SOUPS 636634 WITH SCORE 637367.547
AT ITER 4639 NEW BEST:: SOT 4410112 SOS 733406 HAS SOPS 733406 HAS SOUS 636493 HAS SOUPS 636493 WITH SCORE 637226.406
AT ITER 4678 NEW BEST:: SOT 4409844 SOS 732870 HAS SOPS 732870 HAS SOUS 635957 HAS SOUPS 635957 WITH SCORE 636689.87
AT ITER 4787 NEW BEST:: SOT 4409591 SOS 732364 HAS SOPS 732364 HAS SOUS 635704 HAS SOUPS 635704 WITH SCORE 636436.364
AT ITER 4861 NEW BEST:: SOT 4409517 SOS 732216 HAS SOPS 732216 HAS SOUS 635630 HAS SOUPS 635630 WITH SCORE 636362.216
AT ITER 4867 NEW BEST:: SOT 4409160 SOS 732097 HAS SOPS 732097 HAS SOUS 635392 HAS SOUPS 635392 WITH SCORE 636124.097
AT ITER 4902 NEW BEST:: SOT 4409170 SOS 697204 HAS SOPS 697204 HAS SOUS 635402 HAS SOUPS 635402 WITH SCORE 636099.204
AT ITER 4943 NEW BEST:: SOT 4408860 SOS 697539 HAS SOPS 697539 HAS SOUS 635256 HAS SOUPS 635256 WITH SCORE 635953.539
AT ITER 4960 NEW BEST:: SOT 4408201 SOS 699560 HAS SOPS 699560 HAS SOUS 634844 HAS SOUPS 634844 WITH SCORE 635543.56
AT ITER 4988 NEW BEST:: SOT 4408163 SOS 699484 HAS SOPS 699484 HAS SOUS 634768 HAS SOUPS 634768 WITH SCORE 635467.484
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-00 (AF( (AU( (! ((potential((tk(P1591)>=1))))) , ( ((potential((tk(P1176)>=1)))) & ((potential((tk(P239)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-01 (EF( (! (EX( (! ((potential((tk(P20)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-02 (EU( ( (EX( ((potential((tk(P117)>=1)))))) | (! ( ((potential((tk(P1012)>=1)))) & ((potential((tk(P1614)>=1)))) )) ) , (EX( ( ((potential((tk(P224)>=1)))) & ((potential((tk(P2265)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-03 (AG( (! (EF( ((potential((tk(P1068)>=1)))))))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-04 (EF( (EX( (AX( ((potential((tk(P573)>=1) & (tk(P1087)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-05 (! (EF( ( ( (! ((potential((tk(P1944)>=1))))) | (! ((potential((tk(P101)>=1))))) ) & (AG( ((potential((tk(P1902)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-06 (! (EX( (AF( ( ((potential((tk(P573)>=1) & (tk(P1666)>=1)))) & ((potential((tk(P1495)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-07 (EU( (! ( (! ((potential((tk(P873)>=1))))) & (! ((potential((tk(P1079)>=1))))) )) , ( ( ((potential((tk(P2375)>=1)))) & ( ((potential((tk(P302)>=1)))) | ((potential((tk(P1212)>=1)))) ) ) | (AF( ((potential((tk(P58)>=1)))))) ) ))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-08 (EF( (EU( ((potential((tk(P2245)>=1)))) , ( ((potential((tk(P1366)>=1)))) | ((potential((tk(P1627)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-09 (AF( (EU( ( ((potential((tk(P911)>=1)))) & ((potential((tk(P1098)>=1)))) ) , ( ((potential((tk(P1211)>=1)))) | ((potential((tk(P1268)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-10 (EX( (EX( (EF( ((potential((tk(P2159)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-11 (! (AG( (EX( (! ((potential((tk(P297)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-12 (EF( (AG( ( ((potential((tk(P1791)>=1)))) & (! ((potential((tk(P873)>=1))))) )))))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-13 (EU( ( (EG( ((potential((tk(P2118)>=1)))))) & ((potential((tk(P1520)>=1)))) ) , (! (EF( ((potential((tk(P1072)>=1))))))) ))
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-14 ( (EG( ( ((potential((tk(P2218)>=1)))) & (AF( ((potential((tk(P552)>=1)))))) ))) | (AU( (EF( ((potential((tk(P573)>=1) & (tk(P2337)>=1)))))) , (AX( ((potential((tk(P596)>=1)))))) )) )
PROPERTY: CloudReconfiguration-PT-314-CTLFireability-15 (EX( (AF( (AX( ((potential((tk(P75)>=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-314"
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-314, 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-158902541700108"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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