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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.7K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K 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.5K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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-311-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-311-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589091793114

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 311
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4449288 SOS 709644 HAS SOPS 709644 HAS SOUS 687805 HAS SOUPS 687805 WITH SCORE 688514.644
AT ITER 14 NEW BEST:: SOT 4449288 SOS 709643 HAS SOPS 709643 HAS SOUS 687804 HAS SOUPS 687804 WITH SCORE 688513.643
AT ITER 15 NEW BEST:: SOT 4449288 SOS 709643 HAS SOPS 709643 HAS SOUS 687672 HAS SOUPS 687672 WITH SCORE 688381.643
AT ITER 17 NEW BEST:: SOT 4449151 SOS 710105 HAS SOPS 710105 HAS SOUS 687646 HAS SOUPS 687646 WITH SCORE 688356.105
AT ITER 39 NEW BEST:: SOT 4449041 SOS 709885 HAS SOPS 709885 HAS SOUS 687426 HAS SOUPS 687426 WITH SCORE 688135.885
AT ITER 40 NEW BEST:: SOT 4448972 SOS 709747 HAS SOPS 709747 HAS SOUS 687288 HAS SOUPS 687288 WITH SCORE 687997.747
AT ITER 51 NEW BEST:: SOT 4449065 SOS 709933 HAS SOPS 709933 HAS SOUS 687211 HAS SOUPS 687211 WITH SCORE 687920.933
AT ITER 63 NEW BEST:: SOT 4449020 SOS 709843 HAS SOPS 709843 HAS SOUS 687121 HAS SOUPS 687121 WITH SCORE 687830.843
AT ITER 81 NEW BEST:: SOT 4449112 SOS 709805 HAS SOPS 709805 HAS SOUS 687083 HAS SOUPS 687083 WITH SCORE 687792.805
AT ITER 94 NEW BEST:: SOT 4449092 SOS 709260 HAS SOPS 709260 HAS SOUS 686665 HAS SOUPS 686665 WITH SCORE 687374.26
AT ITER 113 NEW BEST:: SOT 4448957 SOS 709136 HAS SOPS 709136 HAS SOUS 686541 HAS SOUPS 686541 WITH SCORE 687250.136
AT ITER 125 NEW BEST:: SOT 4448569 SOS 708768 HAS SOPS 708768 HAS SOUS 686164 HAS SOUPS 686164 WITH SCORE 686872.768
AT ITER 180 NEW BEST:: SOT 4448477 SOS 708770 HAS SOPS 708770 HAS SOUS 686072 HAS SOUPS 686072 WITH SCORE 686780.77
AT ITER 190 NEW BEST:: SOT 4448387 SOS 708645 HAS SOPS 708645 HAS SOUS 685947 HAS SOUPS 685947 WITH SCORE 686655.645
AT ITER 202 NEW BEST:: SOT 4448382 SOS 708635 HAS SOPS 708635 HAS SOUS 685937 HAS SOUPS 685937 WITH SCORE 686645.635
AT ITER 257 NEW BEST:: SOT 4448215 SOS 708300 HAS SOPS 708300 HAS SOUS 685602 HAS SOUPS 685602 WITH SCORE 686310.3
AT ITER 280 NEW BEST:: SOT 4448089 SOS 708193 HAS SOPS 708193 HAS SOUS 685495 HAS SOUPS 685495 WITH SCORE 686203.193
AT ITER 312 NEW BEST:: SOT 4448003 SOS 707704 HAS SOPS 707704 HAS SOUS 685006 HAS SOUPS 685006 WITH SCORE 685713.704
AT ITER 325 NEW BEST:: SOT 4447959 SOS 707616 HAS SOPS 707616 HAS SOUS 684701 HAS SOUPS 684701 WITH SCORE 685408.616
AT ITER 342 NEW BEST:: SOT 4447833 SOS 707587 HAS SOPS 707587 HAS SOUS 684624 HAS SOUPS 684624 WITH SCORE 685331.587
AT ITER 348 NEW BEST:: SOT 4447508 SOS 706937 HAS SOPS 706937 HAS SOUS 683904 HAS SOUPS 683904 WITH SCORE 684610.937
AT ITER 352 NEW BEST:: SOT 4447699 SOS 707074 HAS SOPS 707074 HAS SOUS 683850 HAS SOUPS 683850 WITH SCORE 684557.074
AT ITER 365 NEW BEST:: SOT 4447282 SOS 706796 HAS SOPS 706796 HAS SOUS 683433 HAS SOUPS 683433 WITH SCORE 684139.796
AT ITER 450 NEW BEST:: SOT 4447150 SOS 706620 HAS SOPS 706620 HAS SOUS 683257 HAS SOUPS 683257 WITH SCORE 683963.62
AT ITER 464 NEW BEST:: SOT 4447150 SOS 706438 HAS SOPS 706438 HAS SOUS 683166 HAS SOUPS 683166 WITH SCORE 683872.438
AT ITER 504 NEW BEST:: SOT 4446742 SOS 706166 HAS SOPS 706166 HAS SOUS 682758 HAS SOUPS 682758 WITH SCORE 683464.166
AT ITER 514 NEW BEST:: SOT 4446741 SOS 706164 HAS SOPS 706164 HAS SOUS 682756 HAS SOUPS 682756 WITH SCORE 683462.164
AT ITER 538 NEW BEST:: SOT 4446671 SOS 706024 HAS SOPS 706024 HAS SOUS 682238 HAS SOUPS 682238 WITH SCORE 682944.024
AT ITER 539 NEW BEST:: SOT 4446579 SOS 705964 HAS SOPS 705964 HAS SOUS 682178 HAS SOUPS 682178 WITH SCORE 682883.964
AT ITER 552 NEW BEST:: SOT 4446561 SOS 705928 HAS SOPS 705928 HAS SOUS 682077 HAS SOUPS 682077 WITH SCORE 682782.928
AT ITER 561 NEW BEST:: SOT 4446398 SOS 705602 HAS SOPS 705602 HAS SOUS 681914 HAS SOUPS 681914 WITH SCORE 682619.602
AT ITER 573 NEW BEST:: SOT 4446397 SOS 705600 HAS SOPS 705600 HAS SOUS 681886 HAS SOUPS 681886 WITH SCORE 682591.6
AT ITER 617 NEW BEST:: SOT 4446260 SOS 705463 HAS SOPS 705463 HAS SOUS 681749 HAS SOUPS 681749 WITH SCORE 682454.463
AT ITER 673 NEW BEST:: SOT 4446129 SOS 705418 HAS SOPS 705418 HAS SOUS 681658 HAS SOUPS 681658 WITH SCORE 682363.418
AT ITER 676 NEW BEST:: SOT 4446069 SOS 705058 HAS SOPS 705058 HAS SOUS 681538 HAS SOUPS 681538 WITH SCORE 682243.058
AT ITER 685 NEW BEST:: SOT 4446069 SOS 705058 HAS SOPS 705058 HAS SOUS 681526 HAS SOUPS 681526 WITH SCORE 682231.058
AT ITER 720 NEW BEST:: SOT 4446016 SOS 704952 HAS SOPS 704952 HAS SOUS 681420 HAS SOUPS 681420 WITH SCORE 682124.952
AT ITER 723 NEW BEST:: SOT 4445981 SOS 704882 HAS SOPS 704882 HAS SOUS 681385 HAS SOUPS 681385 WITH SCORE 682089.882
AT ITER 724 NEW BEST:: SOT 4446107 SOS 705515 HAS SOPS 705515 HAS SOUS 681304 HAS SOUPS 681304 WITH SCORE 682009.515
AT ITER 727 NEW BEST:: SOT 4446107 SOS 705515 HAS SOPS 705515 HAS SOUS 681211 HAS SOUPS 681211 WITH SCORE 681916.515
AT ITER 733 NEW BEST:: SOT 4445936 SOS 705173 HAS SOPS 705173 HAS SOUS 680743 HAS SOUPS 680743 WITH SCORE 681448.173
AT ITER 753 NEW BEST:: SOT 4445098 SOS 704001 HAS SOPS 704001 HAS SOUS 679683 HAS SOUPS 679683 WITH SCORE 680387.001
AT ITER 762 NEW BEST:: SOT 4445086 SOS 703977 HAS SOPS 703977 HAS SOUS 679659 HAS SOUPS 679659 WITH SCORE 680362.977
AT ITER 765 NEW BEST:: SOT 4444396 SOS 703297 HAS SOPS 703297 HAS SOUS 678979 HAS SOUPS 678979 WITH SCORE 679682.297
AT ITER 780 NEW BEST:: SOT 4444377 SOS 703259 HAS SOPS 703259 HAS SOUS 678967 HAS SOUPS 678967 WITH SCORE 679670.259
AT ITER 789 NEW BEST:: SOT 4444200 SOS 703082 HAS SOPS 703082 HAS SOUS 678790 HAS SOUPS 678790 WITH SCORE 679493.082
AT ITER 794 NEW BEST:: SOT 4444193 SOS 702698 HAS SOPS 702698 HAS SOUS 678452 HAS SOUPS 678452 WITH SCORE 679154.698
AT ITER 796 NEW BEST:: SOT 4444141 SOS 702594 HAS SOPS 702594 HAS SOUS 678348 HAS SOUPS 678348 WITH SCORE 679050.594
AT ITER 839 NEW BEST:: SOT 4444283 SOS 702878 HAS SOPS 702878 HAS SOUS 678300 HAS SOUPS 678300 WITH SCORE 679002.878
AT ITER 870 NEW BEST:: SOT 4444239 SOS 702790 HAS SOPS 702790 HAS SOUS 678212 HAS SOUPS 678212 WITH SCORE 678914.79
AT ITER 977 NEW BEST:: SOT 4444129 SOS 702698 HAS SOPS 702698 HAS SOUS 678114 HAS SOUPS 678114 WITH SCORE 678816.698
AT ITER 980 NEW BEST:: SOT 4444100 SOS 702640 HAS SOPS 702640 HAS SOUS 678085 HAS SOUPS 678085 WITH SCORE 678787.64
AT ITER 1032 NEW BEST:: SOT 4442576 SOS 706144 HAS SOPS 706144 HAS SOUS 676714 HAS SOUPS 676714 WITH SCORE 677420.144
AT ITER 1037 NEW BEST:: SOT 4442463 SOS 705918 HAS SOPS 705918 HAS SOUS 676601 HAS SOUPS 676601 WITH SCORE 677306.918
AT ITER 1038 NEW BEST:: SOT 4442422 SOS 705836 HAS SOPS 705836 HAS SOUS 676560 HAS SOUPS 676560 WITH SCORE 677265.836
AT ITER 1075 NEW BEST:: SOT 4442448 SOS 705888 HAS SOPS 705888 HAS SOUS 676352 HAS SOUPS 676352 WITH SCORE 677057.888
AT ITER 1093 NEW BEST:: SOT 4442265 SOS 705171 HAS SOPS 705171 HAS SOUS 675818 HAS SOUPS 675818 WITH SCORE 676523.171
AT ITER 1155 NEW BEST:: SOT 4442265 SOS 704909 HAS SOPS 704909 HAS SOUS 675817 HAS SOUPS 675817 WITH SCORE 676521.909
AT ITER 1173 NEW BEST:: SOT 4442265 SOS 704891 HAS SOPS 704891 HAS SOUS 675799 HAS SOUPS 675799 WITH SCORE 676503.891
AT ITER 1180 NEW BEST:: SOT 4442215 SOS 704791 HAS SOPS 704791 HAS SOUS 675699 HAS SOUPS 675699 WITH SCORE 676403.791
AT ITER 1190 NEW BEST:: SOT 4442094 SOS 704289 HAS SOPS 704289 HAS SOUS 675318 HAS SOUPS 675318 WITH SCORE 676022.289
AT ITER 1205 NEW BEST:: SOT 4442094 SOS 704098 HAS SOPS 704098 HAS SOUS 675127 HAS SOUPS 675127 WITH SCORE 675831.098
AT ITER 1264 NEW BEST:: SOT 4441913 SOS 703917 HAS SOPS 703917 HAS SOUS 674946 HAS SOUPS 674946 WITH SCORE 675649.917
AT ITER 1281 NEW BEST:: SOT 4441831 SOS 703753 HAS SOPS 703753 HAS SOUS 674782 HAS SOUPS 674782 WITH SCORE 675485.753
AT ITER 1313 NEW BEST:: SOT 4441714 SOS 703519 HAS SOPS 703519 HAS SOUS 674548 HAS SOUPS 674548 WITH SCORE 675251.519
AT ITER 1317 NEW BEST:: SOT 4441439 SOS 702969 HAS SOPS 702969 HAS SOUS 673998 HAS SOUPS 673998 WITH SCORE 674700.969
AT ITER 1324 NEW BEST:: SOT 4441282 SOS 703318 HAS SOPS 703318 HAS SOUS 673882 HAS SOUPS 673882 WITH SCORE 674585.318
AT ITER 1340 NEW BEST:: SOT 4441270 SOS 703868 HAS SOPS 703868 HAS SOUS 673764 HAS SOUPS 673764 WITH SCORE 674467.868
AT ITER 1374 NEW BEST:: SOT 4441270 SOS 703868 HAS SOPS 703868 HAS SOUS 673742 HAS SOUPS 673742 WITH SCORE 674445.868
AT ITER 1396 NEW BEST:: SOT 4440994 SOS 703316 HAS SOPS 703316 HAS SOUS 673190 HAS SOUPS 673190 WITH SCORE 673893.316
AT ITER 1410 NEW BEST:: SOT 4440867 SOS 703239 HAS SOPS 703239 HAS SOUS 673063 HAS SOUPS 673063 WITH SCORE 673766.239
AT ITER 1417 NEW BEST:: SOT 4440686 SOS 702876 HAS SOPS 702876 HAS SOUS 672429 HAS SOUPS 672429 WITH SCORE 673131.876
AT ITER 1432 NEW BEST:: SOT 4440441 SOS 702386 HAS SOPS 702386 HAS SOUS 672070 HAS SOUPS 672070 WITH SCORE 672772.386
AT ITER 1438 NEW BEST:: SOT 4440399 SOS 702302 HAS SOPS 702302 HAS SOUS 671986 HAS SOUPS 671986 WITH SCORE 672688.302
AT ITER 1463 NEW BEST:: SOT 4440336 SOS 702176 HAS SOPS 702176 HAS SOUS 671860 HAS SOUPS 671860 WITH SCORE 672562.176
AT ITER 1533 NEW BEST:: SOT 4440292 SOS 702173 HAS SOPS 702173 HAS SOUS 671816 HAS SOUPS 671816 WITH SCORE 672518.173
AT ITER 1545 NEW BEST:: SOT 4440057 SOS 701938 HAS SOPS 701938 HAS SOUS 671581 HAS SOUPS 671581 WITH SCORE 672282.938
AT ITER 1567 NEW BEST:: SOT 4439942 SOS 701708 HAS SOPS 701708 HAS SOUS 671351 HAS SOUPS 671351 WITH SCORE 672052.708
AT ITER 1575 NEW BEST:: SOT 4440018 SOS 701860 HAS SOPS 701860 HAS SOUS 671148 HAS SOUPS 671148 WITH SCORE 671849.86
AT ITER 1580 NEW BEST:: SOT 4440015 SOS 701854 HAS SOPS 701854 HAS SOUS 671063 HAS SOUPS 671063 WITH SCORE 671764.854
AT ITER 1583 NEW BEST:: SOT 4440015 SOS 701853 HAS SOPS 701853 HAS SOUS 671062 HAS SOUPS 671062 WITH SCORE 671763.853
AT ITER 1619 NEW BEST:: SOT 4440014 SOS 701851 HAS SOPS 701851 HAS SOUS 671060 HAS SOUPS 671060 WITH SCORE 671761.851
AT ITER 1622 NEW BEST:: SOT 4439907 SOS 701637 HAS SOPS 701637 HAS SOUS 670846 HAS SOUPS 670846 WITH SCORE 671547.637
AT ITER 1653 NEW BEST:: SOT 4439694 SOS 702483 HAS SOPS 702483 HAS SOUS 670821 HAS SOUPS 670821 WITH SCORE 671523.483
AT ITER 1656 NEW BEST:: SOT 4439490 SOS 702336 HAS SOPS 702336 HAS SOUS 670356 HAS SOUPS 670356 WITH SCORE 671058.336
AT ITER 1660 NEW BEST:: SOT 4439445 SOS 702291 HAS SOPS 702291 HAS SOUS 670311 HAS SOUPS 670311 WITH SCORE 671013.291
AT ITER 1672 NEW BEST:: SOT 4439326 SOS 702395 HAS SOPS 702395 HAS SOUS 670219 HAS SOUPS 670219 WITH SCORE 670921.395
AT ITER 1722 NEW BEST:: SOT 4439104 SOS 702082 HAS SOPS 702082 HAS SOUS 669906 HAS SOUPS 669906 WITH SCORE 670608.082
AT ITER 1735 NEW BEST:: SOT 4439104 SOS 701884 HAS SOPS 701884 HAS SOUS 669807 HAS SOUPS 669807 WITH SCORE 670508.884
AT ITER 1755 NEW BEST:: SOT 4439104 SOS 701859 HAS SOPS 701859 HAS SOUS 669807 HAS SOUPS 669807 WITH SCORE 670508.859
AT ITER 1774 NEW BEST:: SOT 4439105 SOS 701633 HAS SOPS 701633 HAS SOUS 669694 HAS SOUPS 669694 WITH SCORE 670395.633
AT ITER 1783 NEW BEST:: SOT 4438603 SOS 701131 HAS SOPS 701131 HAS SOUS 669192 HAS SOUPS 669192 WITH SCORE 669893.131
AT ITER 1793 NEW BEST:: SOT 4436676 SOS 753263 HAS SOPS 753263 HAS SOUS 669126 HAS SOUPS 669126 WITH SCORE 669879.263
AT ITER 1795 NEW BEST:: SOT 4436562 SOS 753164 HAS SOPS 753164 HAS SOUS 669109 HAS SOUPS 669109 WITH SCORE 669862.164
AT ITER 1826 NEW BEST:: SOT 4436455 SOS 752950 HAS SOPS 752950 HAS SOUS 669002 HAS SOUPS 669002 WITH SCORE 669754.95
AT ITER 1845 NEW BEST:: SOT 4436330 SOS 752700 HAS SOPS 752700 HAS SOUS 669001 HAS SOUPS 669001 WITH SCORE 669753.7
AT ITER 1873 NEW BEST:: SOT 4436329 SOS 752698 HAS SOPS 752698 HAS SOUS 668999 HAS SOUPS 668999 WITH SCORE 669751.698
AT ITER 1886 NEW BEST:: SOT 4436278 SOS 752596 HAS SOPS 752596 HAS SOUS 668897 HAS SOUPS 668897 WITH SCORE 669649.596
AT ITER 1897 NEW BEST:: SOT 4435975 SOS 752422 HAS SOPS 752422 HAS SOUS 668594 HAS SOUPS 668594 WITH SCORE 669346.422
AT ITER 1914 NEW BEST:: SOT 4435908 SOS 752288 HAS SOPS 752288 HAS SOUS 668460 HAS SOUPS 668460 WITH SCORE 669212.288
AT ITER 1924 NEW BEST:: SOT 4435846 SOS 752262 HAS SOPS 752262 HAS SOUS 668434 HAS SOUPS 668434 WITH SCORE 669186.262
AT ITER 1928 NEW BEST:: SOT 4435442 SOS 752342 HAS SOPS 752342 HAS SOUS 668231 HAS SOUPS 668231 WITH SCORE 668983.342
AT ITER 1934 NEW BEST:: SOT 4435305 SOS 752204 HAS SOPS 752204 HAS SOUS 668093 HAS SOUPS 668093 WITH SCORE 668845.204
AT ITER 1935 NEW BEST:: SOT 4435171 SOS 752572 HAS SOPS 752572 HAS SOUS 668052 HAS SOUPS 668052 WITH SCORE 668804.572
AT ITER 1943 NEW BEST:: SOT 4434796 SOS 752302 HAS SOPS 752302 HAS SOUS 667546 HAS SOUPS 667546 WITH SCORE 668298.302
AT ITER 1944 NEW BEST:: SOT 4434366 SOS 751871 HAS SOPS 751871 HAS SOUS 667501 HAS SOUPS 667501 WITH SCORE 668252.871
AT ITER 1970 NEW BEST:: SOT 4433901 SOS 750941 HAS SOPS 750941 HAS SOUS 667092 HAS SOUPS 667092 WITH SCORE 667842.941
AT ITER 1999 NEW BEST:: SOT 4433793 SOS 750725 HAS SOPS 750725 HAS SOUS 666927 HAS SOUPS 666927 WITH SCORE 667677.725
AT ITER 2006 NEW BEST:: SOT 4433793 SOS 750724 HAS SOPS 750724 HAS SOUS 666926 HAS SOUPS 666926 WITH SCORE 667676.724
AT ITER 2029 NEW BEST:: SOT 4433635 SOS 750408 HAS SOPS 750408 HAS SOUS 666610 HAS SOUPS 666610 WITH SCORE 667360.408
AT ITER 2078 NEW BEST:: SOT 4433617 SOS 750372 HAS SOPS 750372 HAS SOUS 666574 HAS SOUPS 666574 WITH SCORE 667324.372
AT ITER 2097 NEW BEST:: SOT 4433684 SOS 750110 HAS SOPS 750110 HAS SOUS 666556 HAS SOUPS 666556 WITH SCORE 667306.11
AT ITER 2112 NEW BEST:: SOT 4433596 SOS 750030 HAS SOPS 750030 HAS SOUS 666471 HAS SOUPS 666471 WITH SCORE 667221.03
AT ITER 2134 NEW BEST:: SOT 4433395 SOS 749896 HAS SOPS 749896 HAS SOUS 666270 HAS SOUPS 666270 WITH SCORE 667019.896
AT ITER 2136 NEW BEST:: SOT 4433127 SOS 749628 HAS SOPS 749628 HAS SOUS 666002 HAS SOUPS 666002 WITH SCORE 666751.628
AT ITER 2140 NEW BEST:: SOT 4432939 SOS 749252 HAS SOPS 749252 HAS SOUS 665812 HAS SOUPS 665812 WITH SCORE 666561.252
AT ITER 2166 NEW BEST:: SOT 4432784 SOS 748942 HAS SOPS 748942 HAS SOUS 665502 HAS SOUPS 665502 WITH SCORE 666250.942
AT ITER 2189 NEW BEST:: SOT 4432542 SOS 748700 HAS SOPS 748700 HAS SOUS 665260 HAS SOUPS 665260 WITH SCORE 666008.7
AT ITER 2206 NEW BEST:: SOT 4432528 SOS 748672 HAS SOPS 748672 HAS SOUS 665232 HAS SOUPS 665232 WITH SCORE 665980.672
AT ITER 2208 NEW BEST:: SOT 4431713 SOS 748318 HAS SOPS 748318 HAS SOUS 664456 HAS SOUPS 664456 WITH SCORE 665204.318
AT ITER 2218 NEW BEST:: SOT 4431495 SOS 747882 HAS SOPS 747882 HAS SOUS 664020 HAS SOUPS 664020 WITH SCORE 664767.882
AT ITER 2231 NEW BEST:: SOT 4431583 SOS 748058 HAS SOPS 748058 HAS SOUS 663865 HAS SOUPS 663865 WITH SCORE 664613.058
AT ITER 2237 NEW BEST:: SOT 4431390 SOS 747902 HAS SOPS 747902 HAS SOUS 663709 HAS SOUPS 663709 WITH SCORE 664456.902
AT ITER 2266 NEW BEST:: SOT 4431058 SOS 747238 HAS SOPS 747238 HAS SOUS 663533 HAS SOUPS 663533 WITH SCORE 664280.238
AT ITER 2276 NEW BEST:: SOT 4431008 SOS 747241 HAS SOPS 747241 HAS SOUS 663461 HAS SOUPS 663461 WITH SCORE 664208.241
AT ITER 2288 NEW BEST:: SOT 4431149 SOS 747523 HAS SOPS 747523 HAS SOUS 663351 HAS SOUPS 663351 WITH SCORE 664098.523
AT ITER 2291 NEW BEST:: SOT 4431149 SOS 747523 HAS SOPS 747523 HAS SOUS 663329 HAS SOUPS 663329 WITH SCORE 664076.523
AT ITER 2301 NEW BEST:: SOT 4430953 SOS 747334 HAS SOPS 747334 HAS SOUS 663133 HAS SOUPS 663133 WITH SCORE 663880.334
AT ITER 2303 NEW BEST:: SOT 4430827 SOS 747240 HAS SOPS 747240 HAS SOUS 662881 HAS SOUPS 662881 WITH SCORE 663628.24
AT ITER 2309 NEW BEST:: SOT 4430702 SOS 746990 HAS SOPS 746990 HAS SOUS 662361 HAS SOUPS 662361 WITH SCORE 663107.99
AT ITER 2313 NEW BEST:: SOT 4430678 SOS 746966 HAS SOPS 746966 HAS SOUS 662337 HAS SOUPS 662337 WITH SCORE 663083.966
AT ITER 2343 NEW BEST:: SOT 4430572 SOS 746754 HAS SOPS 746754 HAS SOUS 662125 HAS SOUPS 662125 WITH SCORE 662871.754
AT ITER 2345 NEW BEST:: SOT 4430445 SOS 746627 HAS SOPS 746627 HAS SOUS 661998 HAS SOUPS 661998 WITH SCORE 662744.627
AT ITER 2352 NEW BEST:: SOT 4430576 SOS 746484 HAS SOPS 746484 HAS SOUS 661855 HAS SOUPS 661855 WITH SCORE 662601.484
AT ITER 2375 NEW BEST:: SOT 4430493 SOS 746318 HAS SOPS 746318 HAS SOUS 661832 HAS SOUPS 661832 WITH SCORE 662578.318
AT ITER 2376 NEW BEST:: SOT 4430486 SOS 746250 HAS SOPS 746250 HAS SOUS 661825 HAS SOUPS 661825 WITH SCORE 662571.25
AT ITER 2406 NEW BEST:: SOT 4430355 SOS 746375 HAS SOPS 746375 HAS SOUS 661760 HAS SOUPS 661760 WITH SCORE 662506.375
AT ITER 2425 NEW BEST:: SOT 4430322 SOS 746309 HAS SOPS 746309 HAS SOUS 661727 HAS SOUPS 661727 WITH SCORE 662473.309
AT ITER 2432 NEW BEST:: SOT 4430143 SOS 745951 HAS SOPS 745951 HAS SOUS 661548 HAS SOUPS 661548 WITH SCORE 662293.951
AT ITER 2447 NEW BEST:: SOT 4430071 SOS 745879 HAS SOPS 745879 HAS SOUS 661476 HAS SOUPS 661476 WITH SCORE 662221.879
AT ITER 2472 NEW BEST:: SOT 4429785 SOS 745593 HAS SOPS 745593 HAS SOUS 661190 HAS SOUPS 661190 WITH SCORE 661935.593
AT ITER 2499 NEW BEST:: SOT 4429785 SOS 745498 HAS SOPS 745498 HAS SOUS 661190 HAS SOUPS 661190 WITH SCORE 661935.498
AT ITER 2506 NEW BEST:: SOT 4429785 SOS 745498 HAS SOPS 745498 HAS SOUS 661189 HAS SOUPS 661189 WITH SCORE 661934.498
AT ITER 2524 NEW BEST:: SOT 4429715 SOS 745358 HAS SOPS 745358 HAS SOUS 661119 HAS SOUPS 661119 WITH SCORE 661864.358
AT ITER 2534 NEW BEST:: SOT 4429672 SOS 745272 HAS SOPS 745272 HAS SOUS 661076 HAS SOUPS 661076 WITH SCORE 661821.272
AT ITER 2547 NEW BEST:: SOT 4429672 SOS 745250 HAS SOPS 745250 HAS SOUS 661054 HAS SOUPS 661054 WITH SCORE 661799.25
AT ITER 2554 NEW BEST:: SOT 4429672 SOS 745197 HAS SOPS 745197 HAS SOUS 661001 HAS SOUPS 661001 WITH SCORE 661746.197
AT ITER 2563 NEW BEST:: SOT 4429153 SOS 744159 HAS SOPS 744159 HAS SOUS 659963 HAS SOUPS 659963 WITH SCORE 660707.159
AT ITER 2573 NEW BEST:: SOT 4429072 SOS 743997 HAS SOPS 743997 HAS SOUS 659801 HAS SOUPS 659801 WITH SCORE 660544.997
AT ITER 2584 NEW BEST:: SOT 4428924 SOS 743701 HAS SOPS 743701 HAS SOUS 659646 HAS SOUPS 659646 WITH SCORE 660389.701
AT ITER 2588 NEW BEST:: SOT 4428796 SOS 743445 HAS SOPS 743445 HAS SOUS 659390 HAS SOUPS 659390 WITH SCORE 660133.445
AT ITER 2608 NEW BEST:: SOT 4428760 SOS 743373 HAS SOPS 743373 HAS SOUS 659318 HAS SOUPS 659318 WITH SCORE 660061.373
AT ITER 2616 NEW BEST:: SOT 4428609 SOS 743070 HAS SOPS 743070 HAS SOUS 659015 HAS SOUPS 659015 WITH SCORE 659758.07
AT ITER 2647 NEW BEST:: SOT 4428280 SOS 742412 HAS SOPS 742412 HAS SOUS 658357 HAS SOUPS 658357 WITH SCORE 659099.412
AT ITER 2652 NEW BEST:: SOT 4428258 SOS 742338 HAS SOPS 742338 HAS SOUS 658283 HAS SOUPS 658283 WITH SCORE 659025.338
AT ITER 2664 NEW BEST:: SOT 4428359 SOS 741676 HAS SOPS 741676 HAS SOUS 657811 HAS SOUPS 657811 WITH SCORE 658552.676
AT ITER 2666 NEW BEST:: SOT 4428189 SOS 741295 HAS SOPS 741295 HAS SOUS 657641 HAS SOUPS 657641 WITH SCORE 658382.295
AT ITER 2670 NEW BEST:: SOT 4428023 SOS 741106 HAS SOPS 741106 HAS SOUS 657452 HAS SOUPS 657452 WITH SCORE 658193.106
AT ITER 2705 NEW BEST:: SOT 4428089 SOS 740974 HAS SOPS 740974 HAS SOUS 657452 HAS SOUPS 657452 WITH SCORE 658192.974
AT ITER 2715 NEW BEST:: SOT 4428050 SOS 740896 HAS SOPS 740896 HAS SOUS 657410 HAS SOUPS 657410 WITH SCORE 658150.896
AT ITER 2729 NEW BEST:: SOT 4427803 SOS 740402 HAS SOPS 740402 HAS SOUS 656916 HAS SOUPS 656916 WITH SCORE 657656.402
AT ITER 2732 NEW BEST:: SOT 4427796 SOS 740388 HAS SOPS 740388 HAS SOUS 656902 HAS SOUPS 656902 WITH SCORE 657642.388
AT ITER 2740 NEW BEST:: SOT 4427796 SOS 740354 HAS SOPS 740354 HAS SOUS 656868 HAS SOUPS 656868 WITH SCORE 657608.354
AT ITER 2747 NEW BEST:: SOT 4427742 SOS 740246 HAS SOPS 740246 HAS SOUS 656760 HAS SOUPS 656760 WITH SCORE 657500.246
AT ITER 2763 NEW BEST:: SOT 4427629 SOS 740020 HAS SOPS 740020 HAS SOUS 656534 HAS SOUPS 656534 WITH SCORE 657274.02
AT ITER 2771 NEW BEST:: SOT 4427487 SOS 739736 HAS SOPS 739736 HAS SOUS 656112 HAS SOUPS 656112 WITH SCORE 656851.736
AT ITER 2823 NEW BEST:: SOT 4427355 SOS 739792 HAS SOPS 739792 HAS SOUS 655993 HAS SOUPS 655993 WITH SCORE 656732.792
AT ITER 2844 NEW BEST:: SOT 4427293 SOS 739668 HAS SOPS 739668 HAS SOUS 655869 HAS SOUPS 655869 WITH SCORE 656608.668
AT ITER 2849 NEW BEST:: SOT 4427253 SOS 737908 HAS SOPS 737908 HAS SOUS 655789 HAS SOUPS 655789 WITH SCORE 656526.908
AT ITER 2860 NEW BEST:: SOT 4427701 SOS 737732 HAS SOPS 737732 HAS SOUS 655701 HAS SOUPS 655701 WITH SCORE 656438.732
AT ITER 2917 NEW BEST:: SOT 4427515 SOS 737704 HAS SOPS 737704 HAS SOUS 655587 HAS SOUPS 655587 WITH SCORE 656324.704
AT ITER 2918 NEW BEST:: SOT 4427455 SOS 737664 HAS SOPS 737664 HAS SOUS 655547 HAS SOUPS 655547 WITH SCORE 656284.664
AT ITER 2926 NEW BEST:: SOT 4427451 SOS 737656 HAS SOPS 737656 HAS SOUS 655317 HAS SOUPS 655317 WITH SCORE 656054.656
AT ITER 2929 NEW BEST:: SOT 4427351 SOS 737456 HAS SOPS 737456 HAS SOUS 655117 HAS SOUPS 655117 WITH SCORE 655854.456
AT ITER 2941 NEW BEST:: SOT 4426965 SOS 737212 HAS SOPS 737212 HAS SOUS 654780 HAS SOUPS 654780 WITH SCORE 655517.212
AT ITER 2967 NEW BEST:: SOT 4426879 SOS 737040 HAS SOPS 737040 HAS SOUS 654694 HAS SOUPS 654694 WITH SCORE 655431.04
AT ITER 2980 NEW BEST:: SOT 4426879 SOS 736977 HAS SOPS 736977 HAS SOUS 654631 HAS SOUPS 654631 WITH SCORE 655367.977
AT ITER 2999 NEW BEST:: SOT 4426879 SOS 736976 HAS SOPS 736976 HAS SOUS 654630 HAS SOUPS 654630 WITH SCORE 655366.976
AT ITER 3001 NEW BEST:: SOT 4426570 SOS 736962 HAS SOPS 736962 HAS SOUS 654119 HAS SOUPS 654119 WITH SCORE 654855.962
AT ITER 3044 NEW BEST:: SOT 4426623 SOS 736782 HAS SOPS 736782 HAS SOUS 654012 HAS SOUPS 654012 WITH SCORE 654748.782
AT ITER 3050 NEW BEST:: SOT 4426455 SOS 736446 HAS SOPS 736446 HAS SOUS 653676 HAS SOUPS 653676 WITH SCORE 654412.446
AT ITER 3061 NEW BEST:: SOT 4426455 SOS 736445 HAS SOPS 736445 HAS SOUS 653675 HAS SOUPS 653675 WITH SCORE 654411.445
AT ITER 3073 NEW BEST:: SOT 4426406 SOS 736347 HAS SOPS 736347 HAS SOUS 653656 HAS SOUPS 653656 WITH SCORE 654392.347
AT ITER 3083 NEW BEST:: SOT 4426284 SOS 736225 HAS SOPS 736225 HAS SOUS 653534 HAS SOUPS 653534 WITH SCORE 654270.225
AT ITER 3106 NEW BEST:: SOT 4426163 SOS 736104 HAS SOPS 736104 HAS SOUS 653413 HAS SOUPS 653413 WITH SCORE 654149.104
AT ITER 3107 NEW BEST:: SOT 4425890 SOS 736746 HAS SOPS 736746 HAS SOUS 653346 HAS SOUPS 653346 WITH SCORE 654082.746
AT ITER 3110 NEW BEST:: SOT 4425702 SOS 736370 HAS SOPS 736370 HAS SOUS 652970 HAS SOUPS 652970 WITH SCORE 653706.37
AT ITER 3112 NEW BEST:: SOT 4425547 SOS 736060 HAS SOPS 736060 HAS SOUS 652660 HAS SOUPS 652660 WITH SCORE 653396.06
AT ITER 3114 NEW BEST:: SOT 4425546 SOS 736058 HAS SOPS 736058 HAS SOUS 652658 HAS SOUPS 652658 WITH SCORE 653394.058
AT ITER 3119 NEW BEST:: SOT 4425677 SOS 735972 HAS SOPS 735972 HAS SOUS 652637 HAS SOUPS 652637 WITH SCORE 653372.972
AT ITER 3122 NEW BEST:: SOT 4425676 SOS 735970 HAS SOPS 735970 HAS SOUS 652635 HAS SOUPS 652635 WITH SCORE 653370.97
AT ITER 3124 NEW BEST:: SOT 4425560 SOS 735738 HAS SOPS 735738 HAS SOUS 652519 HAS SOUPS 652519 WITH SCORE 653254.738
AT ITER 3150 NEW BEST:: SOT 4425472 SOS 735562 HAS SOPS 735562 HAS SOUS 652345 HAS SOUPS 652345 WITH SCORE 653080.562
AT ITER 3195 NEW BEST:: SOT 4425467 SOS 735552 HAS SOPS 735552 HAS SOUS 652266 HAS SOUPS 652266 WITH SCORE 653001.552
AT ITER 3242 NEW BEST:: SOT 4425276 SOS 735170 HAS SOPS 735170 HAS SOUS 652067 HAS SOUPS 652067 WITH SCORE 652802.17
AT ITER 3243 NEW BEST:: SOT 4425284 SOS 735186 HAS SOPS 735186 HAS SOUS 652042 HAS SOUPS 652042 WITH SCORE 652777.186
AT ITER 3269 NEW BEST:: SOT 4424989 SOS 734908 HAS SOPS 734908 HAS SOUS 651764 HAS SOUPS 651764 WITH SCORE 652498.908
AT ITER 3317 NEW BEST:: SOT 4424851 SOS 734632 HAS SOPS 734632 HAS SOUS 651507 HAS SOUPS 651507 WITH SCORE 652241.632
AT ITER 3338 NEW BEST:: SOT 4424750 SOS 734689 HAS SOPS 734689 HAS SOUS 651406 HAS SOUPS 651406 WITH SCORE 652140.689
AT ITER 3359 NEW BEST:: SOT 4424750 SOS 734689 HAS SOPS 734689 HAS SOUS 651399 HAS SOUPS 651399 WITH SCORE 652133.689
AT ITER 3378 NEW BEST:: SOT 4424750 SOS 734689 HAS SOPS 734689 HAS SOUS 651397 HAS SOUPS 651397 WITH SCORE 652131.689
AT ITER 3410 NEW BEST:: SOT 4424715 SOS 734619 HAS SOPS 734619 HAS SOUS 651362 HAS SOUPS 651362 WITH SCORE 652096.619
AT ITER 3418 NEW BEST:: SOT 4424697 SOS 734583 HAS SOPS 734583 HAS SOUS 651326 HAS SOUPS 651326 WITH SCORE 652060.583
AT ITER 3419 NEW BEST:: SOT 4424697 SOS 734583 HAS SOPS 734583 HAS SOUS 651325 HAS SOUPS 651325 WITH SCORE 652059.583
AT ITER 3458 NEW BEST:: SOT 4424639 SOS 734525 HAS SOPS 734525 HAS SOUS 651267 HAS SOUPS 651267 WITH SCORE 652001.525
AT ITER 3459 NEW BEST:: SOT 4424604 SOS 734490 HAS SOPS 734490 HAS SOUS 651232 HAS SOUPS 651232 WITH SCORE 651966.49
AT ITER 3511 NEW BEST:: SOT 4424392 SOS 734278 HAS SOPS 734278 HAS SOUS 651020 HAS SOUPS 651020 WITH SCORE 651754.278
AT ITER 3565 NEW BEST:: SOT 4424305 SOS 734104 HAS SOPS 734104 HAS SOUS 650846 HAS SOUPS 650846 WITH SCORE 651580.104
AT ITER 3569 NEW BEST:: SOT 4424200 SOS 734104 HAS SOPS 734104 HAS SOUS 650741 HAS SOUPS 650741 WITH SCORE 651475.104
AT ITER 3610 NEW BEST:: SOT 4424115 SOS 733934 HAS SOPS 733934 HAS SOUS 650571 HAS SOUPS 650571 WITH SCORE 651304.934
AT ITER 3615 NEW BEST:: SOT 4423775 SOS 733254 HAS SOPS 733254 HAS SOUS 650104 HAS SOUPS 650104 WITH SCORE 650837.254
AT ITER 3621 NEW BEST:: SOT 4423708 SOS 733120 HAS SOPS 733120 HAS SOUS 650067 HAS SOUPS 650067 WITH SCORE 650800.12
AT ITER 3694 NEW BEST:: SOT 4423476 SOS 732952 HAS SOPS 732952 HAS SOUS 649858 HAS SOUPS 649858 WITH SCORE 650590.952
AT ITER 3839 NEW BEST:: SOT 4423419 SOS 732838 HAS SOPS 732838 HAS SOUS 649744 HAS SOUPS 649744 WITH SCORE 650476.838
AT ITER 3845 NEW BEST:: SOT 4423285 SOS 732704 HAS SOPS 732704 HAS SOUS 649744 HAS SOUPS 649744 WITH SCORE 650476.704
AT ITER 3846 NEW BEST:: SOT 4423178 SOS 732780 HAS SOPS 732780 HAS SOUS 649729 HAS SOUPS 649729 WITH SCORE 650461.78
AT ITER 3861 NEW BEST:: SOT 4423177 SOS 732778 HAS SOPS 732778 HAS SOUS 649727 HAS SOUPS 649727 WITH SCORE 650459.778
AT ITER 3864 NEW BEST:: SOT 4423162 SOS 732733 HAS SOPS 732733 HAS SOUS 649697 HAS SOUPS 649697 WITH SCORE 650429.733
AT ITER 3901 NEW BEST:: SOT 4423050 SOS 732621 HAS SOPS 732621 HAS SOUS 649585 HAS SOUPS 649585 WITH SCORE 650317.621
AT ITER 3909 NEW BEST:: SOT 4422848 SOS 732217 HAS SOPS 732217 HAS SOUS 649356 HAS SOUPS 649356 WITH SCORE 650088.217
AT ITER 3943 NEW BEST:: SOT 4423033 SOS 732587 HAS SOPS 732587 HAS SOUS 649313 HAS SOUPS 649313 WITH SCORE 650045.587
AT ITER 3945 NEW BEST:: SOT 4423033 SOS 732580 HAS SOPS 732580 HAS SOUS 649306 HAS SOUPS 649306 WITH SCORE 650038.58
AT ITER 3998 NEW BEST:: SOT 4422871 SOS 732332 HAS SOPS 732332 HAS SOUS 649236 HAS SOUPS 649236 WITH SCORE 649968.332
AT ITER 4019 NEW BEST:: SOT 4422871 SOS 732331 HAS SOPS 732331 HAS SOUS 649235 HAS SOUPS 649235 WITH SCORE 649967.331
AT ITER 4022 NEW BEST:: SOT 4422728 SOS 732045 HAS SOPS 732045 HAS SOUS 648809 HAS SOUPS 648809 WITH SCORE 649541.045
AT ITER 4052 NEW BEST:: SOT 4422656 SOS 731901 HAS SOPS 731901 HAS SOUS 648665 HAS SOUPS 648665 WITH SCORE 649396.901
AT ITER 4063 NEW BEST:: SOT 4422249 SOS 731291 HAS SOPS 731291 HAS SOUS 648054 HAS SOUPS 648054 WITH SCORE 648785.291
AT ITER 4065 NEW BEST:: SOT 4422170 SOS 731219 HAS SOPS 731219 HAS SOUS 647982 HAS SOUPS 647982 WITH SCORE 648713.219
AT ITER 4123 NEW BEST:: SOT 4422001 SOS 731050 HAS SOPS 731050 HAS SOUS 647813 HAS SOUPS 647813 WITH SCORE 648544.05
AT ITER 4125 NEW BEST:: SOT 4421829 SOS 730706 HAS SOPS 730706 HAS SOUS 647496 HAS SOUPS 647496 WITH SCORE 648226.706
AT ITER 4142 NEW BEST:: SOT 4421751 SOS 730550 HAS SOPS 730550 HAS SOUS 647340 HAS SOUPS 647340 WITH SCORE 648070.55
AT ITER 4209 NEW BEST:: SOT 4421744 SOS 730536 HAS SOPS 730536 HAS SOUS 647333 HAS SOUPS 647333 WITH SCORE 648063.536
AT ITER 4212 NEW BEST:: SOT 4421649 SOS 730400 HAS SOPS 730400 HAS SOUS 647197 HAS SOUPS 647197 WITH SCORE 647927.4
AT ITER 4226 NEW BEST:: SOT 4421217 SOS 730148 HAS SOPS 730148 HAS SOUS 646834 HAS SOUPS 646834 WITH SCORE 647564.148
AT ITER 4248 NEW BEST:: SOT 4421217 SOS 729683 HAS SOPS 729683 HAS SOUS 646369 HAS SOUPS 646369 WITH SCORE 647098.683
AT ITER 4279 NEW BEST:: SOT 4420677 SOS 728963 HAS SOPS 728963 HAS SOUS 645649 HAS SOUPS 645649 WITH SCORE 646377.963
AT ITER 4292 NEW BEST:: SOT 4420677 SOS 728963 HAS SOPS 728963 HAS SOUS 645606 HAS SOUPS 645606 WITH SCORE 646334.963
AT ITER 4293 NEW BEST:: SOT 4420624 SOS 728857 HAS SOPS 728857 HAS SOUS 645500 HAS SOUPS 645500 WITH SCORE 646228.857
AT ITER 4302 NEW BEST:: SOT 4417474 SOS 792361 HAS SOPS 792361 HAS SOUS 645383 HAS SOUPS 645383 WITH SCORE 646175.361
AT ITER 4316 NEW BEST:: SOT 4417428 SOS 792216 HAS SOPS 792216 HAS SOUS 645284 HAS SOUPS 645284 WITH SCORE 646076.216
AT ITER 4353 NEW BEST:: SOT 4417317 SOS 791994 HAS SOPS 791994 HAS SOUS 645144 HAS SOUPS 645144 WITH SCORE 645935.994
AT ITER 4355 NEW BEST:: SOT 4417178 SOS 791716 HAS SOPS 791716 HAS SOUS 645068 HAS SOUPS 645068 WITH SCORE 645859.716
AT ITER 4356 NEW BEST:: SOT 4417094 SOS 791590 HAS SOPS 791590 HAS SOUS 644942 HAS SOUPS 644942 WITH SCORE 645733.59
AT ITER 4380 NEW BEST:: SOT 4416960 SOS 791322 HAS SOPS 791322 HAS SOUS 644869 HAS SOUPS 644869 WITH SCORE 645660.322
AT ITER 4398 NEW BEST:: SOT 4416960 SOS 791312 HAS SOPS 791312 HAS SOUS 644859 HAS SOUPS 644859 WITH SCORE 645650.312
AT ITER 4412 NEW BEST:: SOT 4416979 SOS 791350 HAS SOPS 791350 HAS SOUS 644825 HAS SOUPS 644825 WITH SCORE 645616.35
AT ITER 4442 NEW BEST:: SOT 4416979 SOS 791232 HAS SOPS 791232 HAS SOUS 644825 HAS SOUPS 644825 WITH SCORE 645616.232
AT ITER 4485 NEW BEST:: SOT 4416799 SOS 791380 HAS SOPS 791380 HAS SOUS 644803 HAS SOUPS 644803 WITH SCORE 645594.38
AT ITER 4488 NEW BEST:: SOT 4416197 SOS 792288 HAS SOPS 792288 HAS SOUS 644384 HAS SOUPS 644384 WITH SCORE 645176.288
AT ITER 4503 NEW BEST:: SOT 4416197 SOS 792288 HAS SOPS 792288 HAS SOUS 644383 HAS SOUPS 644383 WITH SCORE 645175.288
AT ITER 4513 NEW BEST:: SOT 4416105 SOS 792104 HAS SOPS 792104 HAS SOUS 644096 HAS SOUPS 644096 WITH SCORE 644888.104
AT ITER 4551 NEW BEST:: SOT 4416105 SOS 791348 HAS SOPS 791348 HAS SOUS 643340 HAS SOUPS 643340 WITH SCORE 644131.348
AT ITER 4567 NEW BEST:: SOT 4415992 SOS 791122 HAS SOPS 791122 HAS SOUS 643272 HAS SOUPS 643272 WITH SCORE 644063.122
AT ITER 4573 NEW BEST:: SOT 4415873 SOS 791003 HAS SOPS 791003 HAS SOUS 643153 HAS SOUPS 643153 WITH SCORE 643944.003
AT ITER 4577 NEW BEST:: SOT 4415768 SOS 790897 HAS SOPS 790897 HAS SOUS 643047 HAS SOUPS 643047 WITH SCORE 643837.897
AT ITER 4593 NEW BEST:: SOT 4415570 SOS 790684 HAS SOPS 790684 HAS SOUS 642805 HAS SOUPS 642805 WITH SCORE 643595.684
AT ITER 4624 NEW BEST:: SOT 4415518 SOS 790580 HAS SOPS 790580 HAS SOUS 642760 HAS SOUPS 642760 WITH SCORE 643550.58
AT ITER 4627 NEW BEST:: SOT 4415518 SOS 790181 HAS SOPS 790181 HAS SOUS 642361 HAS SOUPS 642361 WITH SCORE 643151.181
AT ITER 4641 NEW BEST:: SOT 4415416 SOS 790079 HAS SOPS 790079 HAS SOUS 642259 HAS SOUPS 642259 WITH SCORE 643049.079
AT ITER 4643 NEW BEST:: SOT 4415416 SOS 790079 HAS SOPS 790079 HAS SOUS 642141 HAS SOUPS 642141 WITH SCORE 642931.079
AT ITER 4668 NEW BEST:: SOT 4415415 SOS 790077 HAS SOPS 790077 HAS SOUS 642139 HAS SOUPS 642139 WITH SCORE 642929.077
AT ITER 4678 NEW BEST:: SOT 4415311 SOS 789869 HAS SOPS 789869 HAS SOUS 641645 HAS SOUPS 641645 WITH SCORE 642434.869
AT ITER 4710 NEW BEST:: SOT 4415256 SOS 789759 HAS SOPS 789759 HAS SOUS 641589 HAS SOUPS 641589 WITH SCORE 642378.759
AT ITER 4747 NEW BEST:: SOT 4415216 SOS 789679 HAS SOPS 789679 HAS SOUS 641509 HAS SOUPS 641509 WITH SCORE 642298.679
AT ITER 4758 NEW BEST:: SOT 4415215 SOS 789677 HAS SOPS 789677 HAS SOUS 641507 HAS SOUPS 641507 WITH SCORE 642296.677
AT ITER 4779 NEW BEST:: SOT 4415049 SOS 789677 HAS SOPS 789677 HAS SOUS 641341 HAS SOUPS 641341 WITH SCORE 642130.677
AT ITER 4806 NEW BEST:: SOT 4415542 SOS 789739 HAS SOPS 789739 HAS SOUS 641175 HAS SOUPS 641175 WITH SCORE 641964.739
AT ITER 4838 NEW BEST:: SOT 4415408 SOS 789471 HAS SOPS 789471 HAS SOUS 641175 HAS SOUPS 641175 WITH SCORE 641964.471
AT ITER 4848 NEW BEST:: SOT 4415320 SOS 789295 HAS SOPS 789295 HAS SOUS 641087 HAS SOUPS 641087 WITH SCORE 641876.295
AT ITER 4862 NEW BEST:: SOT 4415331 SOS 789317 HAS SOPS 789317 HAS SOUS 641055 HAS SOUPS 641055 WITH SCORE 641844.317
AT ITER 4871 NEW BEST:: SOT 4415306 SOS 789292 HAS SOPS 789292 HAS SOUS 641030 HAS SOUPS 641030 WITH SCORE 641819.292
AT ITER 4872 NEW BEST:: SOT 4414922 SOS 788524 HAS SOPS 788524 HAS SOUS 640781 HAS SOUPS 640781 WITH SCORE 641569.524
AT ITER 4887 NEW BEST:: SOT 4415107 SOS 788894 HAS SOPS 788894 HAS SOUS 640569 HAS SOUPS 640569 WITH SCORE 641357.894
AT ITER 4905 NEW BEST:: SOT 4414926 SOS 788532 HAS SOPS 788532 HAS SOUS 640207 HAS SOUPS 640207 WITH SCORE 640995.532
AT ITER 4918 NEW BEST:: SOT 4414992 SOS 788664 HAS SOPS 788664 HAS SOUS 639967 HAS SOUPS 639967 WITH SCORE 640755.664
AT ITER 4930 NEW BEST:: SOT 4414977 SOS 788634 HAS SOPS 788634 HAS SOUS 639937 HAS SOUPS 639937 WITH SCORE 640725.634
AT ITER 4948 NEW BEST:: SOT 4414977 SOS 788599 HAS SOPS 788599 HAS SOUS 639937 HAS SOUPS 639937 WITH SCORE 640725.599
AT ITER 4971 NEW BEST:: SOT 4414794 SOS 788366 HAS SOPS 788366 HAS SOUS 639704 HAS SOUPS 639704 WITH SCORE 640492.366
AT ITER 4991 NEW BEST:: SOT 4414771 SOS 788320 HAS SOPS 788320 HAS SOUS 639681 HAS SOUPS 639681 WITH SCORE 640469.32
AT ITER 4994 NEW BEST:: SOT 4414577 SOS 789204 HAS SOPS 789204 HAS SOUS 639425 HAS SOUPS 639425 WITH SCORE 640214.204
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-00 (AG( (! (EF(potential( ( 3 ) <= (tk(P2058)) ))))))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-01 (! ( (AU( potential( ( 3 ) <= (tk(P675)) ),potential( (tk(P2160)) <= (tk(P408)) ) )) & ( (AF(potential( (tk(P1262)) <= (tk(P1221)) ))) & (EG( potential( (tk(P517)) <= (tk(P353)) ))) ) ))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-02 ( (AF((AG( potential( (tk(P62)) <= (tk(P972)) ))))) & (EX( (AF(potential( (tk(P82)) <= (tk(P222)) ))))) )
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-03 (AF(( potential( ( 1 ) <= (tk(P1085)) ) & ( ( potential( ( 3 ) <= (tk(P2481)) ) | potential( (tk(P1382)) <= (tk(P1848)) ) ) & (! potential( ( 1 ) <= (tk(P184)) )) ) )))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-04 ( (AU( ( potential( (tk(P2221)) <= (tk(P313)) ) | potential( ( 3 ) <= (tk(P1732)) ) ),( potential( ( 1 ) <= (tk(P387)) ) & potential( ( 2 ) <= (tk(P1401)) ) ) )) | (AG( ( ( potential( (tk(P2046)) <= (tk(P2205)) ) & potential( ( 1 ) <= (tk(P2445)) ) ) | (! potential( ( 2 ) <= (tk(P1637)) )) ))) )
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-05 (EF((! (! ( potential( ( 2 ) <= (tk(P1218)) ) | potential( ( 1 ) <= (tk(P451)) ) )))))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-06 (AG( (AG( ( potential( (tk(P454)) <= (tk(P1885)) ) & potential( (tk(P2477)) <= (tk(P526)) ) )))))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-07 (AG( (! ( ( potential( ( 3 ) <= (tk(P2038)) ) | potential( ( 3 ) <= (tk(P1316)) ) ) | (! potential( (tk(P2306)) <= (tk(P800)) )) ))))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-08 (AF((EG( ( potential( (tk(P179)) <= (tk(P300)) ) & potential( (tk(P2366)) <= (tk(P1726)) ) )))))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-09 (EG( ( (EX( potential( (tk(P2156)) <= (tk(P775)) ))) & (AF(potential( (tk(P1224)) <= (tk(P671)) ))) )))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-10 ( (! (AU( potential( ( 1 ) <= (tk(P1660)) ),potential( (tk(P394)) <= (tk(P1341)) ) ))) | (EF(( (! potential( (tk(P1522)) <= (tk(P1047)) )) | ( potential( ( 2 ) <= (tk(P1901)) ) & potential( ( 2 ) <= (tk(P51)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-11 ( (EF(( potential( (tk(P1636)) <= (tk(P2561)) ) & potential( ( 2 ) <= (tk(P190)) ) ))) & (EX( ( potential( (tk(P1419)) <= (tk(P1688)) ) & (! potential( ( 1 ) <= (tk(P67)) )) ))) )
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-12 (EU( (EF(potential( (tk(P2569)) <= (tk(P1096)) ))),potential( ( 3 ) <= (tk(P1754)) ) ))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-13 (EF(potential( ( 3 ) <= (tk(P565)) )))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-14 (AG( ( (EF(potential( ( 2 ) <= (tk(P64)) ))) | (! potential( ( 1 ) <= (tk(P623)) )) )))
PROPERTY: CloudReconfiguration-PT-311-CTLCardinality-15 (EU( ( (! potential( ( 3 ) <= (tk(P1295)) )) | (! potential( (tk(P2280)) <= (tk(P2053)) )) ),(! potential( (tk(P2231)) <= (tk(P2029)) )) ))

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

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