Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901925900275.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 CloudDeployment-PT-2b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925900275
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 340K
-rw-r--r-- 1 mcc users 3.8K Mar 30 01:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 15:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 07:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 07:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 166K 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 CloudDeployment-PT-2b-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-2b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589131639986

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 2b
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: 556 places, 684 transitions, 1987 arcs.
AT ITER 0 NEW BEST:: SOT 220806 SOS 58153 HAS SOPS 58153 HAS SOUS 46115 HAS SOUPS 46115 WITH SCORE 46173.153
AT ITER 22 NEW BEST:: SOT 220805 SOS 58151 HAS SOPS 58151 HAS SOUS 46113 HAS SOUPS 46113 WITH SCORE 46171.151
AT ITER 29 NEW BEST:: SOT 220777 SOS 58245 HAS SOPS 58245 HAS SOUS 46100 HAS SOUPS 46100 WITH SCORE 46158.245
AT ITER 41 NEW BEST:: SOT 220776 SOS 58243 HAS SOPS 58243 HAS SOUS 45982 HAS SOUPS 45982 WITH SCORE 46040.243
AT ITER 56 NEW BEST:: SOT 220726 SOS 58181 HAS SOPS 58181 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 45978.181
AT ITER 58 NEW BEST:: SOT 220726 SOS 58181 HAS SOPS 58181 HAS SOUS 45856 HAS SOUPS 45856 WITH SCORE 45914.181
AT ITER 75 NEW BEST:: SOT 220726 SOS 58181 HAS SOPS 58181 HAS SOUS 45855 HAS SOUPS 45855 WITH SCORE 45913.181
AT ITER 77 NEW BEST:: SOT 220726 SOS 58181 HAS SOPS 58181 HAS SOUS 45821 HAS SOUPS 45821 WITH SCORE 45879.181
AT ITER 89 NEW BEST:: SOT 220630 SOS 58133 HAS SOPS 58133 HAS SOUS 45725 HAS SOUPS 45725 WITH SCORE 45783.133
AT ITER 92 NEW BEST:: SOT 220529 SOS 58075 HAS SOPS 58075 HAS SOUS 45592 HAS SOUPS 45592 WITH SCORE 45650.075
AT ITER 110 NEW BEST:: SOT 220496 SOS 58075 HAS SOPS 58075 HAS SOUS 45559 HAS SOUPS 45559 WITH SCORE 45617.075
AT ITER 111 NEW BEST:: SOT 220484 SOS 58099 HAS SOPS 58099 HAS SOUS 45547 HAS SOUPS 45547 WITH SCORE 45605.099
AT ITER 132 NEW BEST:: SOT 220484 SOS 58089 HAS SOPS 58089 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45595.089
AT ITER 137 NEW BEST:: SOT 220355 SOS 57960 HAS SOPS 57960 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45594.96
AT ITER 151 NEW BEST:: SOT 220359 SOS 58023 HAS SOPS 58023 HAS SOUS 45521 HAS SOUPS 45521 WITH SCORE 45579.023
AT ITER 157 NEW BEST:: SOT 220285 SOS 57949 HAS SOPS 57949 HAS SOUS 45370 HAS SOUPS 45370 WITH SCORE 45427.949
AT ITER 166 NEW BEST:: SOT 220289 SOS 57890 HAS SOPS 57890 HAS SOUS 45342 HAS SOUPS 45342 WITH SCORE 45399.89
AT ITER 170 NEW BEST:: SOT 220311 SOS 57868 HAS SOPS 57868 HAS SOUS 45342 HAS SOUPS 45342 WITH SCORE 45399.868
AT ITER 171 NEW BEST:: SOT 220392 SOS 58030 HAS SOPS 58030 HAS SOUS 45316 HAS SOUPS 45316 WITH SCORE 45374.03
AT ITER 182 NEW BEST:: SOT 220302 SOS 58088 HAS SOPS 58088 HAS SOUS 45249 HAS SOUPS 45249 WITH SCORE 45307.088
AT ITER 190 NEW BEST:: SOT 220217 SOS 58088 HAS SOPS 58088 HAS SOUS 45164 HAS SOUPS 45164 WITH SCORE 45222.088
AT ITER 205 NEW BEST:: SOT 220163 SOS 57980 HAS SOPS 57980 HAS SOUS 45154 HAS SOUPS 45154 WITH SCORE 45211.98
AT ITER 211 NEW BEST:: SOT 220147 SOS 57948 HAS SOPS 57948 HAS SOUS 45136 HAS SOUPS 45136 WITH SCORE 45193.948
AT ITER 218 NEW BEST:: SOT 220145 SOS 57944 HAS SOPS 57944 HAS SOUS 45132 HAS SOUPS 45132 WITH SCORE 45189.944
AT ITER 248 NEW BEST:: SOT 220129 SOS 57928 HAS SOPS 57928 HAS SOUS 45120 HAS SOUPS 45120 WITH SCORE 45177.928
AT ITER 269 NEW BEST:: SOT 220129 SOS 57862 HAS SOPS 57862 HAS SOUS 45029 HAS SOUPS 45029 WITH SCORE 45086.862
AT ITER 288 NEW BEST:: SOT 220129 SOS 57794 HAS SOPS 57794 HAS SOUS 44986 HAS SOUPS 44986 WITH SCORE 45043.794
AT ITER 290 NEW BEST:: SOT 219950 SOS 57808 HAS SOPS 57808 HAS SOUS 44798 HAS SOUPS 44798 WITH SCORE 44855.808
AT ITER 314 NEW BEST:: SOT 219917 SOS 57827 HAS SOPS 57827 HAS SOUS 44775 HAS SOUPS 44775 WITH SCORE 44832.827
AT ITER 315 NEW BEST:: SOT 219896 SOS 57806 HAS SOPS 57806 HAS SOUS 44733 HAS SOUPS 44733 WITH SCORE 44790.806
AT ITER 317 NEW BEST:: SOT 219896 SOS 57808 HAS SOPS 57808 HAS SOUS 44704 HAS SOUPS 44704 WITH SCORE 44761.808
AT ITER 338 NEW BEST:: SOT 219748 SOS 57728 HAS SOPS 57728 HAS SOUS 44561 HAS SOUPS 44561 WITH SCORE 44618.728
AT ITER 339 NEW BEST:: SOT 219475 SOS 57572 HAS SOPS 57572 HAS SOUS 44326 HAS SOUPS 44326 WITH SCORE 44383.572
AT ITER 343 NEW BEST:: SOT 219475 SOS 57583 HAS SOPS 57583 HAS SOUS 44299 HAS SOUPS 44299 WITH SCORE 44356.583
AT ITER 358 NEW BEST:: SOT 219413 SOS 57523 HAS SOPS 57523 HAS SOUS 44237 HAS SOUPS 44237 WITH SCORE 44294.523
AT ITER 384 NEW BEST:: SOT 219413 SOS 57568 HAS SOPS 57568 HAS SOUS 44209 HAS SOUPS 44209 WITH SCORE 44266.568
AT ITER 386 NEW BEST:: SOT 219447 SOS 57922 HAS SOPS 57922 HAS SOUS 44147 HAS SOUPS 44147 WITH SCORE 44204.922
AT ITER 394 NEW BEST:: SOT 219381 SOS 57790 HAS SOPS 57790 HAS SOUS 44015 HAS SOUPS 44015 WITH SCORE 44072.79
AT ITER 399 NEW BEST:: SOT 219381 SOS 57811 HAS SOPS 57811 HAS SOUS 43976 HAS SOUPS 43976 WITH SCORE 44033.811
AT ITER 420 NEW BEST:: SOT 219360 SOS 57861 HAS SOPS 57861 HAS SOUS 43857 HAS SOUPS 43857 WITH SCORE 43914.861
AT ITER 421 NEW BEST:: SOT 219315 SOS 57636 HAS SOPS 57636 HAS SOUS 43767 HAS SOUPS 43767 WITH SCORE 43824.636
AT ITER 434 NEW BEST:: SOT 219315 SOS 57636 HAS SOPS 57636 HAS SOUS 43738 HAS SOUPS 43738 WITH SCORE 43795.636
AT ITER 436 NEW BEST:: SOT 219315 SOS 57636 HAS SOPS 57636 HAS SOUS 43737 HAS SOUPS 43737 WITH SCORE 43794.636
AT ITER 451 NEW BEST:: SOT 219308 SOS 57622 HAS SOPS 57622 HAS SOUS 43723 HAS SOUPS 43723 WITH SCORE 43780.622
AT ITER 454 NEW BEST:: SOT 219254 SOS 57514 HAS SOPS 57514 HAS SOUS 43615 HAS SOUPS 43615 WITH SCORE 43672.514
AT ITER 489 NEW BEST:: SOT 219232 SOS 57470 HAS SOPS 57470 HAS SOUS 43507 HAS SOUPS 43507 WITH SCORE 43564.47
AT ITER 490 NEW BEST:: SOT 219182 SOS 57370 HAS SOPS 57370 HAS SOUS 43407 HAS SOUPS 43407 WITH SCORE 43464.37
AT ITER 491 NEW BEST:: SOT 218791 SOS 60236 HAS SOPS 60236 HAS SOUS 43183 HAS SOUPS 43183 WITH SCORE 43243.236
AT ITER 511 NEW BEST:: SOT 218779 SOS 60212 HAS SOPS 60212 HAS SOUS 43169 HAS SOUPS 43169 WITH SCORE 43229.212
AT ITER 516 NEW BEST:: SOT 218715 SOS 60020 HAS SOPS 60020 HAS SOUS 43041 HAS SOUPS 43041 WITH SCORE 43101.02
AT ITER 572 NEW BEST:: SOT 218707 SOS 60004 HAS SOPS 60004 HAS SOUS 43025 HAS SOUPS 43025 WITH SCORE 43085.004
AT ITER 590 NEW BEST:: SOT 218690 SOS 59973 HAS SOPS 59973 HAS SOUS 43005 HAS SOUPS 43005 WITH SCORE 43064.973
AT ITER 637 NEW BEST:: SOT 218287 SOS 59797 HAS SOPS 59797 HAS SOUS 42705 HAS SOUPS 42705 WITH SCORE 42764.797
AT ITER 676 NEW BEST:: SOT 218279 SOS 59797 HAS SOPS 59797 HAS SOUS 42697 HAS SOUPS 42697 WITH SCORE 42756.797
AT ITER 677 NEW BEST:: SOT 218278 SOS 59795 HAS SOPS 59795 HAS SOUS 42695 HAS SOUPS 42695 WITH SCORE 42754.795
AT ITER 679 NEW BEST:: SOT 218278 SOS 59761 HAS SOPS 59761 HAS SOUS 42695 HAS SOUPS 42695 WITH SCORE 42754.761
AT ITER 686 NEW BEST:: SOT 218250 SOS 59794 HAS SOPS 59794 HAS SOUS 42667 HAS SOUPS 42667 WITH SCORE 42726.794
AT ITER 707 NEW BEST:: SOT 218222 SOS 59816 HAS SOPS 59816 HAS SOUS 42639 HAS SOUPS 42639 WITH SCORE 42698.816
AT ITER 728 NEW BEST:: SOT 218192 SOS 59756 HAS SOPS 59756 HAS SOUS 42579 HAS SOUPS 42579 WITH SCORE 42638.756
AT ITER 736 NEW BEST:: SOT 218191 SOS 59754 HAS SOPS 59754 HAS SOUS 42577 HAS SOUPS 42577 WITH SCORE 42636.754
AT ITER 746 NEW BEST:: SOT 218191 SOS 59745 HAS SOPS 59745 HAS SOUS 42405 HAS SOUPS 42405 WITH SCORE 42464.745
AT ITER 762 NEW BEST:: SOT 218160 SOS 59902 HAS SOPS 59902 HAS SOUS 42393 HAS SOUPS 42393 WITH SCORE 42452.902
AT ITER 785 NEW BEST:: SOT 218070 SOS 59904 HAS SOPS 59904 HAS SOUS 42322 HAS SOUPS 42322 WITH SCORE 42381.904
AT ITER 794 NEW BEST:: SOT 218050 SOS 59864 HAS SOPS 59864 HAS SOUS 42302 HAS SOUPS 42302 WITH SCORE 42361.864
AT ITER 797 NEW BEST:: SOT 217998 SOS 59723 HAS SOPS 59723 HAS SOUS 42198 HAS SOUPS 42198 WITH SCORE 42257.723
AT ITER 807 NEW BEST:: SOT 217774 SOS 60092 HAS SOPS 60092 HAS SOUS 42165 HAS SOUPS 42165 WITH SCORE 42225.092
AT ITER 808 NEW BEST:: SOT 217771 SOS 60086 HAS SOPS 60086 HAS SOUS 42159 HAS SOUPS 42159 WITH SCORE 42219.086
AT ITER 844 NEW BEST:: SOT 217715 SOS 60278 HAS SOPS 60278 HAS SOUS 42105 HAS SOUPS 42105 WITH SCORE 42165.278
AT ITER 850 NEW BEST:: SOT 217709 SOS 60266 HAS SOPS 60266 HAS SOUS 42093 HAS SOUPS 42093 WITH SCORE 42153.266
AT ITER 858 NEW BEST:: SOT 217680 SOS 60237 HAS SOPS 60237 HAS SOUS 42006 HAS SOUPS 42006 WITH SCORE 42066.237
AT ITER 867 NEW BEST:: SOT 217623 SOS 60201 HAS SOPS 60201 HAS SOUS 41970 HAS SOUPS 41970 WITH SCORE 42030.201
AT ITER 873 NEW BEST:: SOT 217623 SOS 60201 HAS SOPS 60201 HAS SOUS 41960 HAS SOUPS 41960 WITH SCORE 42020.201
AT ITER 883 NEW BEST:: SOT 217621 SOS 60069 HAS SOPS 60069 HAS SOUS 41956 HAS SOUPS 41956 WITH SCORE 42016.069
AT ITER 885 NEW BEST:: SOT 217620 SOS 60068 HAS SOPS 60068 HAS SOUS 41954 HAS SOUPS 41954 WITH SCORE 42014.068
AT ITER 919 NEW BEST:: SOT 217615 SOS 60090 HAS SOPS 60090 HAS SOUS 41944 HAS SOUPS 41944 WITH SCORE 42004.09
AT ITER 944 NEW BEST:: SOT 217614 SOS 60068 HAS SOPS 60068 HAS SOUS 41942 HAS SOUPS 41942 WITH SCORE 42002.068
AT ITER 969 NEW BEST:: SOT 217650 SOS 60121 HAS SOPS 60121 HAS SOUS 41939 HAS SOUPS 41939 WITH SCORE 41999.121
AT ITER 975 NEW BEST:: SOT 217612 SOS 60055 HAS SOPS 60055 HAS SOUS 41906 HAS SOUPS 41906 WITH SCORE 41966.055
AT ITER 1008 NEW BEST:: SOT 217556 SOS 60053 HAS SOPS 60053 HAS SOUS 41904 HAS SOUPS 41904 WITH SCORE 41964.053
AT ITER 1010 NEW BEST:: SOT 217549 SOS 60039 HAS SOPS 60039 HAS SOUS 41890 HAS SOUPS 41890 WITH SCORE 41950.039
AT ITER 1028 NEW BEST:: SOT 217537 SOS 60015 HAS SOPS 60015 HAS SOUS 41862 HAS SOUPS 41862 WITH SCORE 41922.015
AT ITER 1044 NEW BEST:: SOT 217627 SOS 60473 HAS SOPS 60473 HAS SOUS 41813 HAS SOUPS 41813 WITH SCORE 41873.473
AT ITER 1046 NEW BEST:: SOT 217613 SOS 60471 HAS SOPS 60471 HAS SOUS 41807 HAS SOUPS 41807 WITH SCORE 41867.471
AT ITER 1049 NEW BEST:: SOT 217612 SOS 60469 HAS SOPS 60469 HAS SOUS 41805 HAS SOUPS 41805 WITH SCORE 41865.469
AT ITER 1054 NEW BEST:: SOT 217484 SOS 60583 HAS SOPS 60583 HAS SOUS 41677 HAS SOUPS 41677 WITH SCORE 41737.583
AT ITER 1064 NEW BEST:: SOT 217520 SOS 60655 HAS SOPS 60655 HAS SOUS 41642 HAS SOUPS 41642 WITH SCORE 41702.655
AT ITER 1072 NEW BEST:: SOT 217448 SOS 60583 HAS SOPS 60583 HAS SOUS 41570 HAS SOUPS 41570 WITH SCORE 41630.583
AT ITER 1085 NEW BEST:: SOT 217444 SOS 60579 HAS SOPS 60579 HAS SOUS 41566 HAS SOUPS 41566 WITH SCORE 41626.579
AT ITER 1099 NEW BEST:: SOT 217444 SOS 60512 HAS SOPS 60512 HAS SOUS 41499 HAS SOUPS 41499 WITH SCORE 41559.512
AT ITER 1115 NEW BEST:: SOT 217444 SOS 60471 HAS SOPS 60471 HAS SOUS 41458 HAS SOUPS 41458 WITH SCORE 41518.471
AT ITER 1133 NEW BEST:: SOT 217378 SOS 60405 HAS SOPS 60405 HAS SOUS 41393 HAS SOUPS 41393 WITH SCORE 41453.405
AT ITER 1146 NEW BEST:: SOT 217287 SOS 59783 HAS SOPS 59783 HAS SOUS 41192 HAS SOUPS 41192 WITH SCORE 41251.783
AT ITER 1150 NEW BEST:: SOT 217271 SOS 59775 HAS SOPS 59775 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41227.775
AT ITER 1195 NEW BEST:: SOT 217256 SOS 59745 HAS SOPS 59745 HAS SOUS 41138 HAS SOUPS 41138 WITH SCORE 41197.745
AT ITER 1203 NEW BEST:: SOT 217256 SOS 59745 HAS SOPS 59745 HAS SOUS 41132 HAS SOUPS 41132 WITH SCORE 41191.745
AT ITER 1215 NEW BEST:: SOT 217260 SOS 59693 HAS SOPS 59693 HAS SOUS 41023 HAS SOUPS 41023 WITH SCORE 41082.693
AT ITER 1224 NEW BEST:: SOT 217185 SOS 59543 HAS SOPS 59543 HAS SOUS 40948 HAS SOUPS 40948 WITH SCORE 41007.543
AT ITER 1245 NEW BEST:: SOT 217134 SOS 59441 HAS SOPS 59441 HAS SOUS 40894 HAS SOUPS 40894 WITH SCORE 40953.441
AT ITER 1248 NEW BEST:: SOT 217107 SOS 59191 HAS SOPS 59191 HAS SOUS 40894 HAS SOUPS 40894 WITH SCORE 40953.191
AT ITER 1260 NEW BEST:: SOT 217107 SOS 59161 HAS SOPS 59161 HAS SOUS 40751 HAS SOUPS 40751 WITH SCORE 40810.161
AT ITER 1275 NEW BEST:: SOT 217081 SOS 59137 HAS SOPS 59137 HAS SOUS 40731 HAS SOUPS 40731 WITH SCORE 40790.137
AT ITER 1301 NEW BEST:: SOT 217081 SOS 59093 HAS SOPS 59093 HAS SOUS 40731 HAS SOUPS 40731 WITH SCORE 40790.093
AT ITER 1310 NEW BEST:: SOT 217071 SOS 59025 HAS SOPS 59025 HAS SOUS 40705 HAS SOUPS 40705 WITH SCORE 40764.025
AT ITER 1341 NEW BEST:: SOT 217034 SOS 58951 HAS SOPS 58951 HAS SOUS 40668 HAS SOUPS 40668 WITH SCORE 40726.951
AT ITER 1378 NEW BEST:: SOT 217034 SOS 58951 HAS SOPS 58951 HAS SOUS 40645 HAS SOUPS 40645 WITH SCORE 40703.951
AT ITER 1391 NEW BEST:: SOT 217032 SOS 58920 HAS SOPS 58920 HAS SOUS 40643 HAS SOUPS 40643 WITH SCORE 40701.92
AT ITER 1394 NEW BEST:: SOT 217032 SOS 58920 HAS SOPS 58920 HAS SOUS 40642 HAS SOUPS 40642 WITH SCORE 40700.92
AT ITER 1407 NEW BEST:: SOT 217025 SOS 58906 HAS SOPS 58906 HAS SOUS 40635 HAS SOUPS 40635 WITH SCORE 40693.906
AT ITER 1416 NEW BEST:: SOT 217018 SOS 58899 HAS SOPS 58899 HAS SOUS 40614 HAS SOUPS 40614 WITH SCORE 40672.899
AT ITER 1437 NEW BEST:: SOT 216984 SOS 58900 HAS SOPS 58900 HAS SOUS 40605 HAS SOUPS 40605 WITH SCORE 40663.9
AT ITER 1438 NEW BEST:: SOT 216984 SOS 58900 HAS SOPS 58900 HAS SOUS 40497 HAS SOUPS 40497 WITH SCORE 40555.9
AT ITER 1455 NEW BEST:: SOT 216984 SOS 58883 HAS SOPS 58883 HAS SOUS 40497 HAS SOUPS 40497 WITH SCORE 40555.883
AT ITER 1468 NEW BEST:: SOT 216984 SOS 58883 HAS SOPS 58883 HAS SOUS 40455 HAS SOUPS 40455 WITH SCORE 40513.883
AT ITER 1472 NEW BEST:: SOT 216974 SOS 58873 HAS SOPS 58873 HAS SOUS 40445 HAS SOUPS 40445 WITH SCORE 40503.873
AT ITER 1576 NEW BEST:: SOT 216972 SOS 58891 HAS SOPS 58891 HAS SOUS 40437 HAS SOUPS 40437 WITH SCORE 40495.891
AT ITER 1596 NEW BEST:: SOT 216965 SOS 58885 HAS SOPS 58885 HAS SOUS 40430 HAS SOUPS 40430 WITH SCORE 40488.885
AT ITER 1612 NEW BEST:: SOT 216869 SOS 58693 HAS SOPS 58693 HAS SOUS 40261 HAS SOUPS 40261 WITH SCORE 40319.693
AT ITER 1614 NEW BEST:: SOT 216878 SOS 58811 HAS SOPS 58811 HAS SOUS 40251 HAS SOUPS 40251 WITH SCORE 40309.811
AT ITER 1626 NEW BEST:: SOT 216869 SOS 58721 HAS SOPS 58721 HAS SOUS 40233 HAS SOUPS 40233 WITH SCORE 40291.721
AT ITER 1638 NEW BEST:: SOT 216852 SOS 58670 HAS SOPS 58670 HAS SOUS 40216 HAS SOUPS 40216 WITH SCORE 40274.67
AT ITER 1654 NEW BEST:: SOT 216851 SOS 58668 HAS SOPS 58668 HAS SOUS 40187 HAS SOUPS 40187 WITH SCORE 40245.668
AT ITER 1655 NEW BEST:: SOT 216814 SOS 58594 HAS SOPS 58594 HAS SOUS 40113 HAS SOUPS 40113 WITH SCORE 40171.594
AT ITER 1664 NEW BEST:: SOT 216805 SOS 58830 HAS SOPS 58830 HAS SOUS 40095 HAS SOUPS 40095 WITH SCORE 40153.83
AT ITER 1674 NEW BEST:: SOT 216778 SOS 58776 HAS SOPS 58776 HAS SOUS 40041 HAS SOUPS 40041 WITH SCORE 40099.776
AT ITER 1691 NEW BEST:: SOT 216774 SOS 58768 HAS SOPS 58768 HAS SOUS 40029 HAS SOUPS 40029 WITH SCORE 40087.768
AT ITER 1704 NEW BEST:: SOT 216773 SOS 58767 HAS SOPS 58767 HAS SOUS 40028 HAS SOUPS 40028 WITH SCORE 40086.767
AT ITER 1747 NEW BEST:: SOT 216717 SOS 58655 HAS SOPS 58655 HAS SOUS 39916 HAS SOUPS 39916 WITH SCORE 39974.655
AT ITER 1813 NEW BEST:: SOT 216691 SOS 58630 HAS SOPS 58630 HAS SOUS 39891 HAS SOUPS 39891 WITH SCORE 39949.63
AT ITER 1832 NEW BEST:: SOT 216691 SOS 58617 HAS SOPS 58617 HAS SOUS 39878 HAS SOUPS 39878 WITH SCORE 39936.617
AT ITER 1834 NEW BEST:: SOT 216644 SOS 58452 HAS SOPS 58452 HAS SOUS 39827 HAS SOUPS 39827 WITH SCORE 39885.452
AT ITER 1843 NEW BEST:: SOT 216580 SOS 58267 HAS SOPS 58267 HAS SOUS 39699 HAS SOUPS 39699 WITH SCORE 39757.267
AT ITER 1850 NEW BEST:: SOT 216573 SOS 58253 HAS SOPS 58253 HAS SOUS 39694 HAS SOUPS 39694 WITH SCORE 39752.253
AT ITER 1853 NEW BEST:: SOT 216495 SOS 57941 HAS SOPS 57941 HAS SOUS 39538 HAS SOUPS 39538 WITH SCORE 39595.941
AT ITER 1861 NEW BEST:: SOT 216466 SOS 57883 HAS SOPS 57883 HAS SOUS 39465 HAS SOUPS 39465 WITH SCORE 39522.883
AT ITER 1870 NEW BEST:: SOT 216465 SOS 57881 HAS SOPS 57881 HAS SOUS 39463 HAS SOUPS 39463 WITH SCORE 39520.881
AT ITER 1889 NEW BEST:: SOT 216450 SOS 57850 HAS SOPS 57850 HAS SOUS 39433 HAS SOUPS 39433 WITH SCORE 39490.85
AT ITER 1924 NEW BEST:: SOT 216448 SOS 57846 HAS SOPS 57846 HAS SOUS 39431 HAS SOUPS 39431 WITH SCORE 39488.846
AT ITER 1950 NEW BEST:: SOT 216387 SOS 57838 HAS SOPS 57838 HAS SOUS 39385 HAS SOUPS 39385 WITH SCORE 39442.838
AT ITER 1999 NEW BEST:: SOT 216387 SOS 57838 HAS SOPS 57838 HAS SOUS 39302 HAS SOUPS 39302 WITH SCORE 39359.838
AT ITER 2038 NEW BEST:: SOT 216310 SOS 57705 HAS SOPS 57705 HAS SOUS 39225 HAS SOUPS 39225 WITH SCORE 39282.705
AT ITER 2045 NEW BEST:: SOT 216339 SOS 57676 HAS SOPS 57676 HAS SOUS 39225 HAS SOUPS 39225 WITH SCORE 39282.676
AT ITER 2050 NEW BEST:: SOT 216341 SOS 57674 HAS SOPS 57674 HAS SOUS 39223 HAS SOUPS 39223 WITH SCORE 39280.674
AT ITER 2051 NEW BEST:: SOT 216340 SOS 57672 HAS SOPS 57672 HAS SOUS 39221 HAS SOUPS 39221 WITH SCORE 39278.672
AT ITER 2053 NEW BEST:: SOT 216411 SOS 57601 HAS SOPS 57601 HAS SOUS 39221 HAS SOUPS 39221 WITH SCORE 39278.601
AT ITER 2061 NEW BEST:: SOT 216393 SOS 57601 HAS SOPS 57601 HAS SOUS 39177 HAS SOUPS 39177 WITH SCORE 39234.601
AT ITER 2074 NEW BEST:: SOT 216391 SOS 57594 HAS SOPS 57594 HAS SOUS 39175 HAS SOUPS 39175 WITH SCORE 39232.594
AT ITER 2093 NEW BEST:: SOT 216391 SOS 57565 HAS SOPS 57565 HAS SOUS 39147 HAS SOUPS 39147 WITH SCORE 39204.565
AT ITER 2096 NEW BEST:: SOT 216391 SOS 57547 HAS SOPS 57547 HAS SOUS 39147 HAS SOUPS 39147 WITH SCORE 39204.547
AT ITER 2123 NEW BEST:: SOT 216339 SOS 57530 HAS SOPS 57530 HAS SOUS 39130 HAS SOUPS 39130 WITH SCORE 39187.53
AT ITER 2136 NEW BEST:: SOT 216316 SOS 57507 HAS SOPS 57507 HAS SOUS 39121 HAS SOUPS 39121 WITH SCORE 39178.507
AT ITER 2138 NEW BEST:: SOT 216311 SOS 57505 HAS SOPS 57505 HAS SOUS 39116 HAS SOUPS 39116 WITH SCORE 39173.505
AT ITER 2148 NEW BEST:: SOT 216311 SOS 57518 HAS SOPS 57518 HAS SOUS 39103 HAS SOUPS 39103 WITH SCORE 39160.518
AT ITER 2170 NEW BEST:: SOT 216330 SOS 57395 HAS SOPS 57395 HAS SOUS 39101 HAS SOUPS 39101 WITH SCORE 39158.395
AT ITER 2172 NEW BEST:: SOT 216303 SOS 57301 HAS SOPS 57301 HAS SOUS 39073 HAS SOUPS 39073 WITH SCORE 39130.301
AT ITER 2206 NEW BEST:: SOT 216231 SOS 57157 HAS SOPS 57157 HAS SOUS 39001 HAS SOUPS 39001 WITH SCORE 39058.157
AT ITER 2221 NEW BEST:: SOT 216213 SOS 57121 HAS SOPS 57121 HAS SOUS 38965 HAS SOUPS 38965 WITH SCORE 39022.121
AT ITER 2235 NEW BEST:: SOT 216213 SOS 57152 HAS SOPS 57152 HAS SOUS 38934 HAS SOUPS 38934 WITH SCORE 38991.152
AT ITER 2236 NEW BEST:: SOT 216211 SOS 57148 HAS SOPS 57148 HAS SOUS 38930 HAS SOUPS 38930 WITH SCORE 38987.148
AT ITER 2260 NEW BEST:: SOT 216203 SOS 57132 HAS SOPS 57132 HAS SOUS 38914 HAS SOUPS 38914 WITH SCORE 38971.132
AT ITER 2261 NEW BEST:: SOT 216186 SOS 57062 HAS SOPS 57062 HAS SOUS 38895 HAS SOUPS 38895 WITH SCORE 38952.062
AT ITER 2277 NEW BEST:: SOT 216131 SOS 57235 HAS SOPS 57235 HAS SOUS 38861 HAS SOUPS 38861 WITH SCORE 38918.235
AT ITER 2285 NEW BEST:: SOT 216131 SOS 57228 HAS SOPS 57228 HAS SOUS 38861 HAS SOUPS 38861 WITH SCORE 38918.228
AT ITER 2288 NEW BEST:: SOT 216130 SOS 57226 HAS SOPS 57226 HAS SOUS 38860 HAS SOUPS 38860 WITH SCORE 38917.226
AT ITER 2293 NEW BEST:: SOT 216127 SOS 57220 HAS SOPS 57220 HAS SOUS 38854 HAS SOUPS 38854 WITH SCORE 38911.22
AT ITER 2326 NEW BEST:: SOT 216103 SOS 57172 HAS SOPS 57172 HAS SOUS 38801 HAS SOUPS 38801 WITH SCORE 38858.172
AT ITER 2339 NEW BEST:: SOT 216101 SOS 57168 HAS SOPS 57168 HAS SOUS 38797 HAS SOUPS 38797 WITH SCORE 38854.168
AT ITER 2387 NEW BEST:: SOT 216100 SOS 57193 HAS SOPS 57193 HAS SOUS 38792 HAS SOUPS 38792 WITH SCORE 38849.193
AT ITER 2410 NEW BEST:: SOT 216013 SOS 57207 HAS SOPS 57207 HAS SOUS 38752 HAS SOUPS 38752 WITH SCORE 38809.207
AT ITER 2447 NEW BEST:: SOT 216013 SOS 57159 HAS SOPS 57159 HAS SOUS 38736 HAS SOUPS 38736 WITH SCORE 38793.159
AT ITER 2500 NEW BEST:: SOT 215983 SOS 57099 HAS SOPS 57099 HAS SOUS 38676 HAS SOUPS 38676 WITH SCORE 38733.099
AT ITER 2510 NEW BEST:: SOT 216049 SOS 57070 HAS SOPS 57070 HAS SOUS 38647 HAS SOUPS 38647 WITH SCORE 38704.07
AT ITER 2514 NEW BEST:: SOT 216045 SOS 57062 HAS SOPS 57062 HAS SOUS 38639 HAS SOUPS 38639 WITH SCORE 38696.062
AT ITER 2532 NEW BEST:: SOT 216032 SOS 57036 HAS SOPS 57036 HAS SOUS 38613 HAS SOUPS 38613 WITH SCORE 38670.036
AT ITER 2538 NEW BEST:: SOT 216030 SOS 57032 HAS SOPS 57032 HAS SOUS 38609 HAS SOUPS 38609 WITH SCORE 38666.032
AT ITER 2542 NEW BEST:: SOT 216031 SOS 57014 HAS SOPS 57014 HAS SOUS 38591 HAS SOUPS 38591 WITH SCORE 38648.014
AT ITER 2618 NEW BEST:: SOT 216047 SOS 57046 HAS SOPS 57046 HAS SOUS 38574 HAS SOUPS 38574 WITH SCORE 38631.046
AT ITER 2619 NEW BEST:: SOT 216024 SOS 57000 HAS SOPS 57000 HAS SOUS 38557 HAS SOUPS 38557 WITH SCORE 38614.0
AT ITER 2642 NEW BEST:: SOT 216024 SOS 57000 HAS SOPS 57000 HAS SOUS 38517 HAS SOUPS 38517 WITH SCORE 38574.0
AT ITER 2649 NEW BEST:: SOT 216006 SOS 56982 HAS SOPS 56982 HAS SOUS 38499 HAS SOUPS 38499 WITH SCORE 38555.982
AT ITER 2658 NEW BEST:: SOT 215998 SOS 56966 HAS SOPS 56966 HAS SOUS 38483 HAS SOUPS 38483 WITH SCORE 38539.966
AT ITER 2696 NEW BEST:: SOT 215998 SOS 56971 HAS SOPS 56971 HAS SOUS 38478 HAS SOUPS 38478 WITH SCORE 38534.971
AT ITER 2720 NEW BEST:: SOT 215998 SOS 56860 HAS SOPS 56860 HAS SOUS 38478 HAS SOUPS 38478 WITH SCORE 38534.86
AT ITER 2722 NEW BEST:: SOT 215954 SOS 56714 HAS SOPS 56714 HAS SOUS 38445 HAS SOUPS 38445 WITH SCORE 38501.714
AT ITER 2727 NEW BEST:: SOT 215988 SOS 56739 HAS SOPS 56739 HAS SOUS 38400 HAS SOUPS 38400 WITH SCORE 38456.739
AT ITER 2766 NEW BEST:: SOT 215976 SOS 56715 HAS SOPS 56715 HAS SOUS 38376 HAS SOUPS 38376 WITH SCORE 38432.715
AT ITER 2782 NEW BEST:: SOT 215967 SOS 56706 HAS SOPS 56706 HAS SOUS 38367 HAS SOUPS 38367 WITH SCORE 38423.706
AT ITER 2783 NEW BEST:: SOT 215966 SOS 56704 HAS SOPS 56704 HAS SOUS 38365 HAS SOUPS 38365 WITH SCORE 38421.704
AT ITER 2789 NEW BEST:: SOT 215965 SOS 56702 HAS SOPS 56702 HAS SOUS 38364 HAS SOUPS 38364 WITH SCORE 38420.702
AT ITER 2833 NEW BEST:: SOT 215945 SOS 56662 HAS SOPS 56662 HAS SOUS 38324 HAS SOUPS 38324 WITH SCORE 38380.662
AT ITER 2845 NEW BEST:: SOT 215943 SOS 56626 HAS SOPS 56626 HAS SOUS 38251 HAS SOUPS 38251 WITH SCORE 38307.626
AT ITER 2871 NEW BEST:: SOT 215932 SOS 56604 HAS SOPS 56604 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38304.604
AT ITER 2872 NEW BEST:: SOT 215928 SOS 56611 HAS SOPS 56611 HAS SOUS 38244 HAS SOUPS 38244 WITH SCORE 38300.611
AT ITER 2881 NEW BEST:: SOT 215928 SOS 56530 HAS SOPS 56530 HAS SOUS 38240 HAS SOUPS 38240 WITH SCORE 38296.53
AT ITER 2915 NEW BEST:: SOT 215910 SOS 56503 HAS SOPS 56503 HAS SOUS 38222 HAS SOUPS 38222 WITH SCORE 38278.503
AT ITER 2923 NEW BEST:: SOT 215927 SOS 56575 HAS SOPS 56575 HAS SOUS 38188 HAS SOUPS 38188 WITH SCORE 38244.575
AT ITER 2925 NEW BEST:: SOT 215928 SOS 56576 HAS SOPS 56576 HAS SOUS 38178 HAS SOUPS 38178 WITH SCORE 38234.576
AT ITER 2927 NEW BEST:: SOT 215926 SOS 56572 HAS SOPS 56572 HAS SOUS 38174 HAS SOUPS 38174 WITH SCORE 38230.572
AT ITER 2929 NEW BEST:: SOT 215907 SOS 56553 HAS SOPS 56553 HAS SOUS 38136 HAS SOUPS 38136 WITH SCORE 38192.553
AT ITER 2947 NEW BEST:: SOT 215892 SOS 56523 HAS SOPS 56523 HAS SOUS 38081 HAS SOUPS 38081 WITH SCORE 38137.523
AT ITER 2959 NEW BEST:: SOT 215892 SOS 56518 HAS SOPS 56518 HAS SOUS 38081 HAS SOUPS 38081 WITH SCORE 38137.518
AT ITER 2971 NEW BEST:: SOT 215846 SOS 56369 HAS SOPS 56369 HAS SOUS 38051 HAS SOUPS 38051 WITH SCORE 38107.369
AT ITER 2977 NEW BEST:: SOT 215816 SOS 56389 HAS SOPS 56389 HAS SOUS 38048 HAS SOUPS 38048 WITH SCORE 38104.389
AT ITER 3037 NEW BEST:: SOT 215813 SOS 56386 HAS SOPS 56386 HAS SOUS 38048 HAS SOUPS 38048 WITH SCORE 38104.386
AT ITER 3069 NEW BEST:: SOT 215787 SOS 56334 HAS SOPS 56334 HAS SOUS 37996 HAS SOUPS 37996 WITH SCORE 38052.334
AT ITER 3074 NEW BEST:: SOT 215724 SOS 56292 HAS SOPS 56292 HAS SOUS 37878 HAS SOUPS 37878 WITH SCORE 37934.292
AT ITER 3084 NEW BEST:: SOT 215724 SOS 56251 HAS SOPS 56251 HAS SOUS 37878 HAS SOUPS 37878 WITH SCORE 37934.251
AT ITER 3106 NEW BEST:: SOT 215715 SOS 56233 HAS SOPS 56233 HAS SOUS 37860 HAS SOUPS 37860 WITH SCORE 37916.233
AT ITER 3125 NEW BEST:: SOT 215695 SOS 56143 HAS SOPS 56143 HAS SOUS 37815 HAS SOUPS 37815 WITH SCORE 37871.143
AT ITER 3172 NEW BEST:: SOT 215695 SOS 56092 HAS SOPS 56092 HAS SOUS 37815 HAS SOUPS 37815 WITH SCORE 37871.092
AT ITER 3195 NEW BEST:: SOT 215657 SOS 56054 HAS SOPS 56054 HAS SOUS 37777 HAS SOUPS 37777 WITH SCORE 37833.054
AT ITER 3209 NEW BEST:: SOT 215652 SOS 56044 HAS SOPS 56044 HAS SOUS 37772 HAS SOUPS 37772 WITH SCORE 37828.044
AT ITER 3245 NEW BEST:: SOT 215686 SOS 55976 HAS SOPS 55976 HAS SOUS 37738 HAS SOUPS 37738 WITH SCORE 37793.976
AT ITER 3295 NEW BEST:: SOT 215718 SOS 55901 HAS SOPS 55901 HAS SOUS 37702 HAS SOUPS 37702 WITH SCORE 37757.901
AT ITER 3309 NEW BEST:: SOT 215674 SOS 55813 HAS SOPS 55813 HAS SOUS 37614 HAS SOUPS 37614 WITH SCORE 37669.813
AT ITER 3314 NEW BEST:: SOT 215626 SOS 55650 HAS SOPS 55650 HAS SOUS 37570 HAS SOUPS 37570 WITH SCORE 37625.65
AT ITER 3363 NEW BEST:: SOT 215641 SOS 55598 HAS SOPS 55598 HAS SOUS 37416 HAS SOUPS 37416 WITH SCORE 37471.598
AT ITER 3367 NEW BEST:: SOT 215615 SOS 55624 HAS SOPS 55624 HAS SOUS 37390 HAS SOUPS 37390 WITH SCORE 37445.624
AT ITER 3439 NEW BEST:: SOT 215615 SOS 55624 HAS SOPS 55624 HAS SOUS 37389 HAS SOUPS 37389 WITH SCORE 37444.624
AT ITER 3459 NEW BEST:: SOT 215591 SOS 55662 HAS SOPS 55662 HAS SOUS 37375 HAS SOUPS 37375 WITH SCORE 37430.662
AT ITER 3474 NEW BEST:: SOT 215563 SOS 55653 HAS SOPS 55653 HAS SOUS 37349 HAS SOUPS 37349 WITH SCORE 37404.653
AT ITER 3479 NEW BEST:: SOT 215500 SOS 55711 HAS SOPS 55711 HAS SOUS 37336 HAS SOUPS 37336 WITH SCORE 37391.711
AT ITER 3492 NEW BEST:: SOT 215500 SOS 55685 HAS SOPS 55685 HAS SOUS 37270 HAS SOUPS 37270 WITH SCORE 37325.685
AT ITER 3496 NEW BEST:: SOT 215500 SOS 55627 HAS SOPS 55627 HAS SOUS 37212 HAS SOUPS 37212 WITH SCORE 37267.627
AT ITER 3512 NEW BEST:: SOT 215515 SOS 55657 HAS SOPS 55657 HAS SOUS 37208 HAS SOUPS 37208 WITH SCORE 37263.657
AT ITER 3692 NEW BEST:: SOT 215481 SOS 55589 HAS SOPS 55589 HAS SOUS 37140 HAS SOUPS 37140 WITH SCORE 37195.589
AT ITER 3699 NEW BEST:: SOT 215489 SOS 55553 HAS SOPS 55553 HAS SOUS 37111 HAS SOUPS 37111 WITH SCORE 37166.553
AT ITER 3727 NEW BEST:: SOT 215489 SOS 55553 HAS SOPS 55553 HAS SOUS 37089 HAS SOUPS 37089 WITH SCORE 37144.553
AT ITER 3739 NEW BEST:: SOT 215480 SOS 55544 HAS SOPS 55544 HAS SOUS 37071 HAS SOUPS 37071 WITH SCORE 37126.544
AT ITER 3780 NEW BEST:: SOT 215474 SOS 55538 HAS SOPS 55538 HAS SOUS 37065 HAS SOUPS 37065 WITH SCORE 37120.538
AT ITER 3781 NEW BEST:: SOT 215467 SOS 54982 HAS SOPS 54982 HAS SOUS 37049 HAS SOUPS 37049 WITH SCORE 37103.982
AT ITER 3785 NEW BEST:: SOT 215462 SOS 54972 HAS SOPS 54972 HAS SOUS 37044 HAS SOUPS 37044 WITH SCORE 37098.972
AT ITER 3829 NEW BEST:: SOT 215460 SOS 55155 HAS SOPS 55155 HAS SOUS 37004 HAS SOUPS 37004 WITH SCORE 37059.155
AT ITER 3899 NEW BEST:: SOT 215417 SOS 54887 HAS SOPS 54887 HAS SOUS 36943 HAS SOUPS 36943 WITH SCORE 36997.887
AT ITER 3904 NEW BEST:: SOT 215401 SOS 54895 HAS SOPS 54895 HAS SOUS 36938 HAS SOUPS 36938 WITH SCORE 36992.895
AT ITER 3953 NEW BEST:: SOT 215400 SOS 54886 HAS SOPS 54886 HAS SOUS 36936 HAS SOUPS 36936 WITH SCORE 36990.886
AT ITER 3973 NEW BEST:: SOT 215397 SOS 54880 HAS SOPS 54880 HAS SOUS 36930 HAS SOUPS 36930 WITH SCORE 36984.88
AT ITER 3995 NEW BEST:: SOT 215386 SOS 54858 HAS SOPS 54858 HAS SOUS 36908 HAS SOUPS 36908 WITH SCORE 36962.858
AT ITER 4015 NEW BEST:: SOT 215349 SOS 54880 HAS SOPS 54880 HAS SOUS 36872 HAS SOUPS 36872 WITH SCORE 36926.88
AT ITER 4055 NEW BEST:: SOT 215341 SOS 54864 HAS SOPS 54864 HAS SOUS 36856 HAS SOUPS 36856 WITH SCORE 36910.864
AT ITER 4056 NEW BEST:: SOT 215335 SOS 54852 HAS SOPS 54852 HAS SOUS 36850 HAS SOUPS 36850 WITH SCORE 36904.852
AT ITER 4069 NEW BEST:: SOT 215329 SOS 54840 HAS SOPS 54840 HAS SOUS 36838 HAS SOUPS 36838 WITH SCORE 36892.84
AT ITER 4074 NEW BEST:: SOT 215297 SOS 54776 HAS SOPS 54776 HAS SOUS 36806 HAS SOUPS 36806 WITH SCORE 36860.776
AT ITER 4080 NEW BEST:: SOT 215294 SOS 54758 HAS SOPS 54758 HAS SOUS 36803 HAS SOUPS 36803 WITH SCORE 36857.758
AT ITER 4092 NEW BEST:: SOT 215285 SOS 54749 HAS SOPS 54749 HAS SOUS 36803 HAS SOUPS 36803 WITH SCORE 36857.749
AT ITER 4103 NEW BEST:: SOT 215270 SOS 54660 HAS SOPS 54660 HAS SOUS 36737 HAS SOUPS 36737 WITH SCORE 36791.66
AT ITER 4133 NEW BEST:: SOT 215270 SOS 56022 HAS SOPS 56022 HAS SOUS 36735 HAS SOUPS 36735 WITH SCORE 36791.022
AT ITER 4136 NEW BEST:: SOT 215268 SOS 56016 HAS SOPS 56016 HAS SOUS 36733 HAS SOUPS 36733 WITH SCORE 36789.016
AT ITER 4194 NEW BEST:: SOT 215261 SOS 56062 HAS SOPS 56062 HAS SOUS 36717 HAS SOUPS 36717 WITH SCORE 36773.062
AT ITER 4214 NEW BEST:: SOT 215236 SOS 56012 HAS SOPS 56012 HAS SOUS 36667 HAS SOUPS 36667 WITH SCORE 36723.012
AT ITER 4215 NEW BEST:: SOT 215233 SOS 56003 HAS SOPS 56003 HAS SOUS 36664 HAS SOUPS 36664 WITH SCORE 36720.003
AT ITER 4223 NEW BEST:: SOT 215202 SOS 55941 HAS SOPS 55941 HAS SOUS 36612 HAS SOUPS 36612 WITH SCORE 36667.941
AT ITER 4256 NEW BEST:: SOT 215196 SOS 55929 HAS SOPS 55929 HAS SOUS 36583 HAS SOUPS 36583 WITH SCORE 36638.929
AT ITER 4275 NEW BEST:: SOT 215195 SOS 55916 HAS SOPS 55916 HAS SOUS 36572 HAS SOUPS 36572 WITH SCORE 36627.916
AT ITER 4276 NEW BEST:: SOT 215217 SOS 55960 HAS SOPS 55960 HAS SOUS 36571 HAS SOUPS 36571 WITH SCORE 36626.96
AT ITER 4313 NEW BEST:: SOT 215201 SOS 55864 HAS SOPS 55864 HAS SOUS 36539 HAS SOUPS 36539 WITH SCORE 36594.864
AT ITER 4316 NEW BEST:: SOT 215128 SOS 55806 HAS SOPS 55806 HAS SOUS 36466 HAS SOUPS 36466 WITH SCORE 36521.806
AT ITER 4328 NEW BEST:: SOT 215168 SOS 54554 HAS SOPS 54554 HAS SOUS 36401 HAS SOUPS 36401 WITH SCORE 36455.554
AT ITER 4359 NEW BEST:: SOT 215190 SOS 54406 HAS SOPS 54406 HAS SOUS 36399 HAS SOUPS 36399 WITH SCORE 36453.406
AT ITER 4395 NEW BEST:: SOT 215150 SOS 56327 HAS SOPS 56327 HAS SOUS 36394 HAS SOUPS 36394 WITH SCORE 36450.327
AT ITER 4413 NEW BEST:: SOT 215146 SOS 56323 HAS SOPS 56323 HAS SOUS 36393 HAS SOUPS 36393 WITH SCORE 36449.323
AT ITER 4421 NEW BEST:: SOT 215146 SOS 56323 HAS SOPS 56323 HAS SOUS 36372 HAS SOUPS 36372 WITH SCORE 36428.323
AT ITER 4425 NEW BEST:: SOT 215106 SOS 56403 HAS SOPS 56403 HAS SOUS 36332 HAS SOUPS 36332 WITH SCORE 36388.403
AT ITER 4426 NEW BEST:: SOT 215096 SOS 56383 HAS SOPS 56383 HAS SOUS 36322 HAS SOUPS 36322 WITH SCORE 36378.383
AT ITER 4473 NEW BEST:: SOT 215187 SOS 56438 HAS SOPS 56438 HAS SOUS 36317 HAS SOUPS 36317 WITH SCORE 36373.438
AT ITER 4507 NEW BEST:: SOT 215183 SOS 56434 HAS SOPS 56434 HAS SOUS 36313 HAS SOUPS 36313 WITH SCORE 36369.434
AT ITER 4519 NEW BEST:: SOT 215177 SOS 56380 HAS SOPS 56380 HAS SOUS 36293 HAS SOUPS 36293 WITH SCORE 36349.38
AT ITER 4525 NEW BEST:: SOT 215164 SOS 56354 HAS SOPS 56354 HAS SOUS 36254 HAS SOUPS 36254 WITH SCORE 36310.354
AT ITER 4550 NEW BEST:: SOT 215122 SOS 56216 HAS SOPS 56216 HAS SOUS 36143 HAS SOUPS 36143 WITH SCORE 36199.216
AT ITER 4554 NEW BEST:: SOT 215191 SOS 56344 HAS SOPS 56344 HAS SOUS 36132 HAS SOUPS 36132 WITH SCORE 36188.344
AT ITER 4570 NEW BEST:: SOT 215182 SOS 56356 HAS SOPS 56356 HAS SOUS 36112 HAS SOUPS 36112 WITH SCORE 36168.356
AT ITER 4604 NEW BEST:: SOT 215195 SOS 56343 HAS SOPS 56343 HAS SOUS 36112 HAS SOUPS 36112 WITH SCORE 36168.343
AT ITER 4608 NEW BEST:: SOT 215193 SOS 56339 HAS SOPS 56339 HAS SOUS 36108 HAS SOUPS 36108 WITH SCORE 36164.339
AT ITER 4625 NEW BEST:: SOT 215179 SOS 56311 HAS SOPS 56311 HAS SOUS 36080 HAS SOUPS 36080 WITH SCORE 36136.311
AT ITER 4632 NEW BEST:: SOT 215071 SOS 57034 HAS SOPS 57034 HAS SOUS 36047 HAS SOUPS 36047 WITH SCORE 36104.034
AT ITER 4637 NEW BEST:: SOT 215071 SOS 57016 HAS SOPS 57016 HAS SOUS 36011 HAS SOUPS 36011 WITH SCORE 36068.016
AT ITER 4653 NEW BEST:: SOT 215069 SOS 56970 HAS SOPS 56970 HAS SOUS 36009 HAS SOUPS 36009 WITH SCORE 36065.97
AT ITER 4748 NEW BEST:: SOT 215080 SOS 56953 HAS SOPS 56953 HAS SOUS 36007 HAS SOUPS 36007 WITH SCORE 36063.953
AT ITER 4756 NEW BEST:: SOT 215043 SOS 56923 HAS SOPS 56923 HAS SOUS 35981 HAS SOUPS 35981 WITH SCORE 36037.923
AT ITER 4800 NEW BEST:: SOT 215043 SOS 56918 HAS SOPS 56918 HAS SOUS 35976 HAS SOUPS 35976 WITH SCORE 36032.918
AT ITER 4804 NEW BEST:: SOT 215041 SOS 56916 HAS SOPS 56916 HAS SOUS 35974 HAS SOUPS 35974 WITH SCORE 36030.916
AT ITER 4840 NEW BEST:: SOT 214953 SOS 56847 HAS SOPS 56847 HAS SOUS 35886 HAS SOUPS 35886 WITH SCORE 35942.847
AT ITER 4874 NEW BEST:: SOT 214949 SOS 56747 HAS SOPS 56747 HAS SOUS 35876 HAS SOUPS 35876 WITH SCORE 35932.747
AT ITER 4880 NEW BEST:: SOT 214925 SOS 56699 HAS SOPS 56699 HAS SOUS 35828 HAS SOUPS 35828 WITH SCORE 35884.699
AT ITER 4915 NEW BEST:: SOT 214887 SOS 56623 HAS SOPS 56623 HAS SOUS 35808 HAS SOUPS 35808 WITH SCORE 35864.623
AT ITER 4925 NEW BEST:: SOT 214897 SOS 56247 HAS SOPS 56247 HAS SOUS 35763 HAS SOUPS 35763 WITH SCORE 35819.247
AT ITER 4942 NEW BEST:: SOT 214897 SOS 56236 HAS SOPS 56236 HAS SOUS 35763 HAS SOUPS 35763 WITH SCORE 35819.236
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-00 (! (EG( ( potential( (tk(P490)) <= (tk(P152)) ) | potential( (tk(P342)) <= (tk(P384)) ) ))))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-01 (EG( ( ( ( potential( (tk(P140)) <= (tk(P462)) ) & potential( (tk(P421)) <= (tk(P430)) ) ) & potential( (tk(P110)) <= (tk(P206)) ) ) | ( ( potential( (tk(P138)) <= (tk(P295)) ) & potential( (tk(P380)) <= (tk(P133)) ) ) & ( potential( ( 3 ) <= (tk(P93)) ) | potential( (tk(P546)) <= (tk(P464)) ) ) ) )))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-02 (AG( ( ( potential( (tk(P496)) <= (tk(P264)) ) & potential( ( 1 ) <= (tk(P1)) ) ) | ( ( potential( ( 3 ) <= (tk(P276)) ) & potential( ( 3 ) <= (tk(P158)) ) ) | ( potential( (tk(P247)) <= (tk(P201)) ) & potential( (tk(P117)) <= (tk(P16)) ) ) ) )))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-03 ( ( (EG( ( potential( ( 2 ) <= (tk(P236)) ) & potential( (tk(P208)) <= (tk(P91)) ) ))) & ( ( (! potential( (tk(P426)) <= (tk(P285)) )) & (! potential( (tk(P421)) <= (tk(P219)) )) ) | potential( ( 1 ) <= (tk(P111)) ) ) ) | (EU( ( potential( ( 1 ) <= (tk(P108)) ) | potential( (tk(P112)) <= (tk(P442)) ) ),(! potential( (tk(P452)) <= (tk(P17)) )) )) )
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-04 ( (! (AF(potential( ( 1 ) <= (tk(P103)) )))) & (! ( (EX( potential( ( 3 ) <= (tk(P356)) ))) | potential( ( 2 ) <= (tk(P452)) ) )) )
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-05 (AG( (EF(( potential( ( 2 ) <= (tk(P26)) ) | potential( ( 1 ) <= (tk(P471)) ) )))))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-06 ( (AF((AX( potential( ( 1 ) <= (tk(P151)) ))))) | potential( ( 1 ) <= (tk(P202)) ) )
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-07 (EF(( (! ( potential( (tk(P421)) <= (tk(P196)) ) & potential( (tk(P131)) <= (tk(P507)) ) )) & (EX( potential( (tk(P231)) <= (tk(P514)) ))) )))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-08 (AF((EX( (! potential( (tk(P299)) <= (tk(P160)) ))))))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-09 (AF(( ( ( potential( (tk(P464)) <= (tk(P222)) ) & potential( (tk(P1)) <= (tk(P67)) ) ) & potential( ( 2 ) <= (tk(P64)) ) ) | (AX( potential( ( 3 ) <= (tk(P191)) ))) )))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-10 ( ( ( potential( (tk(P275)) <= (tk(P149)) ) & ( ( potential( (tk(P332)) <= (tk(P544)) ) | potential( ( 1 ) <= (tk(P469)) ) ) & potential( ( 3 ) <= (tk(P371)) ) ) ) | (! (AF(potential( ( 2 ) <= (tk(P306)) )))) ) & (! ( (EG( potential( ( 2 ) <= (tk(P282)) ))) | (EX( potential( ( 3 ) <= (tk(P60)) ))) )) )
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-11 (EF((AX( (! potential( (tk(P336)) <= (tk(P186)) ))))))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-12 (! (EF((AG( potential( (tk(P29)) <= (tk(P218)) ))))))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-13 ( (EG( (EX( potential( ( 3 ) <= (tk(P49)) ))))) | (! ( ( (! potential( ( 3 ) <= (tk(P2)) )) | (! potential( ( 2 ) <= (tk(P243)) )) ) & (AG( potential( (tk(P180)) <= (tk(P508)) ))) )) )
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-14 (! (AG( (! potential( ( 3 ) <= (tk(P254)) )))))
PROPERTY: CloudDeployment-PT-2b-CTLCardinality-15 (EF((EX( ( potential( (tk(P534)) <= (tk(P214)) ) & potential( ( 3 ) <= (tk(P77)) ) )))))

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="CloudDeployment-PT-2b"
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 CloudDeployment-PT-2b, 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 r033-smll-158901925900275"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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