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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 840K
-rw-r--r-- 1 mcc users 4.1K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K 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.1K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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-309-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-309-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589091735817

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 309
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 4443228 SOS 758806 HAS SOPS 758806 HAS SOUS 699828 HAS SOUPS 699828 WITH SCORE 700586.806
AT ITER 2 NEW BEST:: SOT 4443048 SOS 758806 HAS SOPS 758806 HAS SOUS 699738 HAS SOUPS 699738 WITH SCORE 700496.806
AT ITER 10 NEW BEST:: SOT 4443048 SOS 758650 HAS SOPS 758650 HAS SOUS 699738 HAS SOUPS 699738 WITH SCORE 700496.65
AT ITER 24 NEW BEST:: SOT 4438601 SOS 780916 HAS SOPS 780916 HAS SOUS 696042 HAS SOUPS 696042 WITH SCORE 696822.916
AT ITER 27 NEW BEST:: SOT 4438590 SOS 780894 HAS SOPS 780894 HAS SOUS 696020 HAS SOUPS 696020 WITH SCORE 696800.894
AT ITER 36 NEW BEST:: SOT 4438404 SOS 780708 HAS SOPS 780708 HAS SOUS 695834 HAS SOUPS 695834 WITH SCORE 696614.708
AT ITER 45 NEW BEST:: SOT 4431488 SOS 833752 HAS SOPS 833752 HAS SOUS 692365 HAS SOUPS 692365 WITH SCORE 693198.752
AT ITER 49 NEW BEST:: SOT 4431469 SOS 834364 HAS SOPS 834364 HAS SOUS 692346 HAS SOUPS 692346 WITH SCORE 693180.364
AT ITER 54 NEW BEST:: SOT 4427176 SOS 830071 HAS SOPS 830071 HAS SOUS 688101 HAS SOUPS 688101 WITH SCORE 688931.071
AT ITER 66 NEW BEST:: SOT 4427175 SOS 830069 HAS SOPS 830069 HAS SOUS 688099 HAS SOUPS 688099 WITH SCORE 688929.069
AT ITER 72 NEW BEST:: SOT 4427157 SOS 830033 HAS SOPS 830033 HAS SOUS 688063 HAS SOUPS 688063 WITH SCORE 688893.033
AT ITER 76 NEW BEST:: SOT 4427130 SOS 830024 HAS SOPS 830024 HAS SOUS 688054 HAS SOUPS 688054 WITH SCORE 688884.024
AT ITER 80 NEW BEST:: SOT 4427130 SOS 829848 HAS SOPS 829848 HAS SOUS 688054 HAS SOUPS 688054 WITH SCORE 688883.848
AT ITER 100 NEW BEST:: SOT 4427130 SOS 829770 HAS SOPS 829770 HAS SOUS 688054 HAS SOUPS 688054 WITH SCORE 688883.77
AT ITER 126 NEW BEST:: SOT 4427302 SOS 830114 HAS SOPS 830114 HAS SOUS 688040 HAS SOUPS 688040 WITH SCORE 688870.114
AT ITER 132 NEW BEST:: SOT 4420454 SOS 827421 HAS SOPS 827421 HAS SOUS 682048 HAS SOUPS 682048 WITH SCORE 682875.421
AT ITER 157 NEW BEST:: SOT 4420454 SOS 827312 HAS SOPS 827312 HAS SOUS 682048 HAS SOUPS 682048 WITH SCORE 682875.312
AT ITER 162 NEW BEST:: SOT 4420359 SOS 826920 HAS SOPS 826920 HAS SOUS 681775 HAS SOUPS 681775 WITH SCORE 682601.92
AT ITER 167 NEW BEST:: SOT 4419927 SOS 826748 HAS SOPS 826748 HAS SOUS 681431 HAS SOUPS 681431 WITH SCORE 682257.748
AT ITER 169 NEW BEST:: SOT 4419849 SOS 826670 HAS SOPS 826670 HAS SOUS 681353 HAS SOUPS 681353 WITH SCORE 682179.67
AT ITER 202 NEW BEST:: SOT 4419849 SOS 826646 HAS SOPS 826646 HAS SOUS 681353 HAS SOUPS 681353 WITH SCORE 682179.646
AT ITER 204 NEW BEST:: SOT 4419585 SOS 826118 HAS SOPS 826118 HAS SOUS 681260 HAS SOUPS 681260 WITH SCORE 682086.118
AT ITER 216 NEW BEST:: SOT 4419413 SOS 826342 HAS SOPS 826342 HAS SOUS 681221 HAS SOUPS 681221 WITH SCORE 682047.342
AT ITER 227 NEW BEST:: SOT 4419372 SOS 826260 HAS SOPS 826260 HAS SOUS 681139 HAS SOUPS 681139 WITH SCORE 681965.26
AT ITER 277 NEW BEST:: SOT 4419335 SOS 826186 HAS SOPS 826186 HAS SOUS 681065 HAS SOUPS 681065 WITH SCORE 681891.186
AT ITER 287 NEW BEST:: SOT 4419334 SOS 826184 HAS SOPS 826184 HAS SOUS 681064 HAS SOUPS 681064 WITH SCORE 681890.184
AT ITER 305 NEW BEST:: SOT 4419306 SOS 826100 HAS SOPS 826100 HAS SOUS 681008 HAS SOUPS 681008 WITH SCORE 681834.1
AT ITER 352 NEW BEST:: SOT 4419306 SOS 825929 HAS SOPS 825929 HAS SOUS 681008 HAS SOUPS 681008 WITH SCORE 681833.929
AT ITER 380 NEW BEST:: SOT 4419305 SOS 825760 HAS SOPS 825760 HAS SOUS 681006 HAS SOUPS 681006 WITH SCORE 681831.76
AT ITER 390 NEW BEST:: SOT 4419260 SOS 825830 HAS SOPS 825830 HAS SOUS 680801 HAS SOUPS 680801 WITH SCORE 681626.83
AT ITER 422 NEW BEST:: SOT 4419260 SOS 825777 HAS SOPS 825777 HAS SOUS 680801 HAS SOUPS 680801 WITH SCORE 681626.777
AT ITER 437 NEW BEST:: SOT 4419055 SOS 825718 HAS SOPS 825718 HAS SOUS 680702 HAS SOUPS 680702 WITH SCORE 681527.718
AT ITER 443 NEW BEST:: SOT 4418877 SOS 825362 HAS SOPS 825362 HAS SOUS 680524 HAS SOUPS 680524 WITH SCORE 681349.362
AT ITER 444 NEW BEST:: SOT 4418644 SOS 825128 HAS SOPS 825128 HAS SOUS 680291 HAS SOUPS 680291 WITH SCORE 681116.128
AT ITER 461 NEW BEST:: SOT 4418644 SOS 824973 HAS SOPS 824973 HAS SOUS 680136 HAS SOUPS 680136 WITH SCORE 680960.973
AT ITER 504 NEW BEST:: SOT 4418644 SOS 824973 HAS SOPS 824973 HAS SOUS 680106 HAS SOUPS 680106 WITH SCORE 680930.973
AT ITER 509 NEW BEST:: SOT 4418482 SOS 825785 HAS SOPS 825785 HAS SOUS 680105 HAS SOUPS 680105 WITH SCORE 680930.785
AT ITER 512 NEW BEST:: SOT 4418282 SOS 825634 HAS SOPS 825634 HAS SOUS 679930 HAS SOUPS 679930 WITH SCORE 680755.634
AT ITER 530 NEW BEST:: SOT 4418261 SOS 825097 HAS SOPS 825097 HAS SOUS 679600 HAS SOUPS 679600 WITH SCORE 680425.097
AT ITER 532 NEW BEST:: SOT 4418261 SOS 824999 HAS SOPS 824999 HAS SOUS 679551 HAS SOUPS 679551 WITH SCORE 680375.999
AT ITER 554 NEW BEST:: SOT 4418162 SOS 824801 HAS SOPS 824801 HAS SOUS 679353 HAS SOUPS 679353 WITH SCORE 680177.801
AT ITER 595 NEW BEST:: SOT 4417688 SOS 824327 HAS SOPS 824327 HAS SOUS 678642 HAS SOUPS 678642 WITH SCORE 679466.327
AT ITER 596 NEW BEST:: SOT 4417562 SOS 824201 HAS SOPS 824201 HAS SOUS 678516 HAS SOUPS 678516 WITH SCORE 679340.201
AT ITER 597 NEW BEST:: SOT 4417491 SOS 824136 HAS SOPS 824136 HAS SOUS 678445 HAS SOUPS 678445 WITH SCORE 679269.136
AT ITER 610 NEW BEST:: SOT 4417491 SOS 824102 HAS SOPS 824102 HAS SOUS 678411 HAS SOUPS 678411 WITH SCORE 679235.102
AT ITER 616 NEW BEST:: SOT 4417322 SOS 823595 HAS SOPS 823595 HAS SOUS 678073 HAS SOUPS 678073 WITH SCORE 678896.595
AT ITER 621 NEW BEST:: SOT 4417321 SOS 823402 HAS SOPS 823402 HAS SOUS 678071 HAS SOUPS 678071 WITH SCORE 678894.402
AT ITER 635 NEW BEST:: SOT 4417321 SOS 823370 HAS SOPS 823370 HAS SOUS 678071 HAS SOUPS 678071 WITH SCORE 678894.37
AT ITER 648 NEW BEST:: SOT 4417321 SOS 823367 HAS SOPS 823367 HAS SOUS 678071 HAS SOUPS 678071 WITH SCORE 678894.367
AT ITER 675 NEW BEST:: SOT 4417321 SOS 823367 HAS SOPS 823367 HAS SOUS 677804 HAS SOUPS 677804 WITH SCORE 678627.367
AT ITER 701 NEW BEST:: SOT 4417321 SOS 823367 HAS SOPS 823367 HAS SOUS 677674 HAS SOUPS 677674 WITH SCORE 678497.367
AT ITER 722 NEW BEST:: SOT 4417034 SOS 823080 HAS SOPS 823080 HAS SOUS 677387 HAS SOUPS 677387 WITH SCORE 678210.08
AT ITER 733 NEW BEST:: SOT 4417029 SOS 823070 HAS SOPS 823070 HAS SOUS 677320 HAS SOUPS 677320 WITH SCORE 678143.07
AT ITER 749 NEW BEST:: SOT 4417029 SOS 823070 HAS SOPS 823070 HAS SOUS 677319 HAS SOUPS 677319 WITH SCORE 678142.07
AT ITER 754 NEW BEST:: SOT 4417046 SOS 823068 HAS SOPS 823068 HAS SOUS 677317 HAS SOUPS 677317 WITH SCORE 678140.068
AT ITER 755 NEW BEST:: SOT 4417046 SOS 823068 HAS SOPS 823068 HAS SOUS 677178 HAS SOUPS 677178 WITH SCORE 678001.068
AT ITER 781 NEW BEST:: SOT 4416586 SOS 822616 HAS SOPS 822616 HAS SOUS 676722 HAS SOUPS 676722 WITH SCORE 677544.616
AT ITER 791 NEW BEST:: SOT 4416353 SOS 822383 HAS SOPS 822383 HAS SOUS 676489 HAS SOUPS 676489 WITH SCORE 677311.383
AT ITER 825 NEW BEST:: SOT 4416436 SOS 822299 HAS SOPS 822299 HAS SOUS 676405 HAS SOUPS 676405 WITH SCORE 677227.299
AT ITER 868 NEW BEST:: SOT 4416436 SOS 822299 HAS SOPS 822299 HAS SOUS 676404 HAS SOUPS 676404 WITH SCORE 677226.299
AT ITER 877 NEW BEST:: SOT 4416436 SOS 822111 HAS SOPS 822111 HAS SOUS 676403 HAS SOUPS 676403 WITH SCORE 677225.111
AT ITER 878 NEW BEST:: SOT 4416432 SOS 822103 HAS SOPS 822103 HAS SOUS 676395 HAS SOUPS 676395 WITH SCORE 677217.103
AT ITER 892 NEW BEST:: SOT 4416469 SOS 821583 HAS SOPS 821583 HAS SOUS 676153 HAS SOUPS 676153 WITH SCORE 676974.583
AT ITER 915 NEW BEST:: SOT 4416292 SOS 821406 HAS SOPS 821406 HAS SOUS 675976 HAS SOUPS 675976 WITH SCORE 676797.406
AT ITER 937 NEW BEST:: SOT 4416098 SOS 821018 HAS SOPS 821018 HAS SOUS 675588 HAS SOUPS 675588 WITH SCORE 676409.018
AT ITER 1052 NEW BEST:: SOT 4416097 SOS 821016 HAS SOPS 821016 HAS SOUS 675586 HAS SOUPS 675586 WITH SCORE 676407.016
AT ITER 1082 NEW BEST:: SOT 4416036 SOS 820969 HAS SOPS 820969 HAS SOUS 675464 HAS SOUPS 675464 WITH SCORE 676284.969
AT ITER 1085 NEW BEST:: SOT 4415235 SOS 820187 HAS SOPS 820187 HAS SOUS 674682 HAS SOUPS 674682 WITH SCORE 675502.187
AT ITER 1087 NEW BEST:: SOT 4415264 SOS 820245 HAS SOPS 820245 HAS SOUS 674608 HAS SOUPS 674608 WITH SCORE 675428.245
AT ITER 1101 NEW BEST:: SOT 4415239 SOS 820131 HAS SOPS 820131 HAS SOUS 674439 HAS SOUPS 674439 WITH SCORE 675259.131
AT ITER 1110 NEW BEST:: SOT 4414977 SOS 819607 HAS SOPS 819607 HAS SOUS 674415 HAS SOUPS 674415 WITH SCORE 675234.607
AT ITER 1114 NEW BEST:: SOT 4414773 SOS 819515 HAS SOPS 819515 HAS SOUS 674276 HAS SOUPS 674276 WITH SCORE 675095.515
AT ITER 1134 NEW BEST:: SOT 4414606 SOS 819360 HAS SOPS 819360 HAS SOUS 674109 HAS SOUPS 674109 WITH SCORE 674928.36
AT ITER 1180 NEW BEST:: SOT 4414366 SOS 819195 HAS SOPS 819195 HAS SOUS 673809 HAS SOUPS 673809 WITH SCORE 674628.195
AT ITER 1184 NEW BEST:: SOT 4414185 SOS 819123 HAS SOPS 819123 HAS SOUS 673690 HAS SOUPS 673690 WITH SCORE 674509.123
AT ITER 1191 NEW BEST:: SOT 4414231 SOS 818991 HAS SOPS 818991 HAS SOUS 673680 HAS SOUPS 673680 WITH SCORE 674498.991
AT ITER 1239 NEW BEST:: SOT 4414231 SOS 818705 HAS SOPS 818705 HAS SOUS 673680 HAS SOUPS 673680 WITH SCORE 674498.705
AT ITER 1251 NEW BEST:: SOT 4414167 SOS 818801 HAS SOPS 818801 HAS SOUS 673616 HAS SOUPS 673616 WITH SCORE 674434.801
AT ITER 1265 NEW BEST:: SOT 4413871 SOS 818891 HAS SOPS 818891 HAS SOUS 673393 HAS SOUPS 673393 WITH SCORE 674211.891
AT ITER 1274 NEW BEST:: SOT 4413871 SOS 818807 HAS SOPS 818807 HAS SOUS 673393 HAS SOUPS 673393 WITH SCORE 674211.807
AT ITER 1280 NEW BEST:: SOT 4413728 SOS 818722 HAS SOPS 818722 HAS SOUS 673250 HAS SOUPS 673250 WITH SCORE 674068.722
AT ITER 1281 NEW BEST:: SOT 4413670 SOS 818210 HAS SOPS 818210 HAS SOUS 672889 HAS SOUPS 672889 WITH SCORE 673707.21
AT ITER 1400 NEW BEST:: SOT 4413647 SOS 818164 HAS SOPS 818164 HAS SOUS 672844 HAS SOUPS 672844 WITH SCORE 673662.164
AT ITER 1401 NEW BEST:: SOT 4413372 SOS 817889 HAS SOPS 817889 HAS SOUS 672844 HAS SOUPS 672844 WITH SCORE 673661.889
AT ITER 1407 NEW BEST:: SOT 4413044 SOS 817233 HAS SOPS 817233 HAS SOUS 672546 HAS SOUPS 672546 WITH SCORE 673363.233
AT ITER 1422 NEW BEST:: SOT 4413044 SOS 817124 HAS SOPS 817124 HAS SOUS 672546 HAS SOUPS 672546 WITH SCORE 673363.124
AT ITER 1441 NEW BEST:: SOT 4412874 SOS 816784 HAS SOPS 816784 HAS SOUS 672206 HAS SOUPS 672206 WITH SCORE 673022.784
AT ITER 1449 NEW BEST:: SOT 4412431 SOS 815789 HAS SOPS 815789 HAS SOUS 671320 HAS SOUPS 671320 WITH SCORE 672135.789
AT ITER 1470 NEW BEST:: SOT 4412358 SOS 815643 HAS SOPS 815643 HAS SOUS 671174 HAS SOUPS 671174 WITH SCORE 671989.643
AT ITER 1488 NEW BEST:: SOT 4412249 SOS 815425 HAS SOPS 815425 HAS SOUS 670956 HAS SOUPS 670956 WITH SCORE 671771.425
AT ITER 1494 NEW BEST:: SOT 4412249 SOS 815425 HAS SOPS 815425 HAS SOUS 670753 HAS SOUPS 670753 WITH SCORE 671568.425
AT ITER 1510 NEW BEST:: SOT 4412248 SOS 815424 HAS SOPS 815424 HAS SOUS 670751 HAS SOUPS 670751 WITH SCORE 671566.424
AT ITER 1524 NEW BEST:: SOT 4411907 SOS 815171 HAS SOPS 815171 HAS SOUS 670498 HAS SOUPS 670498 WITH SCORE 671313.171
AT ITER 1537 NEW BEST:: SOT 4411907 SOS 815124 HAS SOPS 815124 HAS SOUS 670498 HAS SOUPS 670498 WITH SCORE 671313.124
AT ITER 1539 NEW BEST:: SOT 4411906 SOS 815415 HAS SOPS 815415 HAS SOUS 670497 HAS SOUPS 670497 WITH SCORE 671312.415
AT ITER 1555 NEW BEST:: SOT 4411906 SOS 815193 HAS SOPS 815193 HAS SOUS 670497 HAS SOUPS 670497 WITH SCORE 671312.193
AT ITER 1560 NEW BEST:: SOT 4411905 SOS 814939 HAS SOPS 814939 HAS SOUS 670495 HAS SOUPS 670495 WITH SCORE 671309.939
AT ITER 1563 NEW BEST:: SOT 4411905 SOS 814755 HAS SOPS 814755 HAS SOUS 670311 HAS SOUPS 670311 WITH SCORE 671125.755
AT ITER 1568 NEW BEST:: SOT 4411316 SOS 814352 HAS SOPS 814352 HAS SOUS 670093 HAS SOUPS 670093 WITH SCORE 670907.352
AT ITER 1576 NEW BEST:: SOT 4411099 SOS 814135 HAS SOPS 814135 HAS SOUS 669876 HAS SOUPS 669876 WITH SCORE 670690.135
AT ITER 1584 NEW BEST:: SOT 4411046 SOS 814115 HAS SOPS 814115 HAS SOUS 669856 HAS SOUPS 669856 WITH SCORE 670670.115
AT ITER 1606 NEW BEST:: SOT 4411042 SOS 814107 HAS SOPS 814107 HAS SOUS 669848 HAS SOUPS 669848 WITH SCORE 670662.107
AT ITER 1616 NEW BEST:: SOT 4411042 SOS 813888 HAS SOPS 813888 HAS SOUS 669848 HAS SOUPS 669848 WITH SCORE 670661.888
AT ITER 1621 NEW BEST:: SOT 4410975 SOS 813677 HAS SOPS 813677 HAS SOUS 669672 HAS SOUPS 669672 WITH SCORE 670485.677
AT ITER 1626 NEW BEST:: SOT 4410811 SOS 813513 HAS SOPS 813513 HAS SOUS 669508 HAS SOUPS 669508 WITH SCORE 670321.513
AT ITER 1663 NEW BEST:: SOT 4410376 SOS 813235 HAS SOPS 813235 HAS SOUS 669127 HAS SOUPS 669127 WITH SCORE 669940.235
AT ITER 1721 NEW BEST:: SOT 4410373 SOS 813229 HAS SOPS 813229 HAS SOUS 669124 HAS SOUPS 669124 WITH SCORE 669937.229
AT ITER 1748 NEW BEST:: SOT 4410289 SOS 813227 HAS SOPS 813227 HAS SOUS 669122 HAS SOUPS 669122 WITH SCORE 669935.227
AT ITER 1756 NEW BEST:: SOT 4410289 SOS 813210 HAS SOPS 813210 HAS SOUS 669122 HAS SOUPS 669122 WITH SCORE 669935.21
AT ITER 1773 NEW BEST:: SOT 4410101 SOS 813186 HAS SOPS 813186 HAS SOUS 668934 HAS SOUPS 668934 WITH SCORE 669747.186
AT ITER 1777 NEW BEST:: SOT 4410035 SOS 813269 HAS SOPS 813269 HAS SOUS 668868 HAS SOUPS 668868 WITH SCORE 669681.269
AT ITER 1820 NEW BEST:: SOT 4409933 SOS 813065 HAS SOPS 813065 HAS SOUS 668575 HAS SOUPS 668575 WITH SCORE 669388.065
AT ITER 1823 NEW BEST:: SOT 4409811 SOS 812621 HAS SOPS 812621 HAS SOUS 668253 HAS SOUPS 668253 WITH SCORE 669065.621
AT ITER 1835 NEW BEST:: SOT 4409811 SOS 811869 HAS SOPS 811869 HAS SOUS 667761 HAS SOUPS 667761 WITH SCORE 668572.869
AT ITER 1838 NEW BEST:: SOT 4409745 SOS 812181 HAS SOPS 812181 HAS SOUS 667695 HAS SOUPS 667695 WITH SCORE 668507.181
AT ITER 1876 NEW BEST:: SOT 4409744 SOS 812180 HAS SOPS 812180 HAS SOUS 667693 HAS SOUPS 667693 WITH SCORE 668505.18
AT ITER 1896 NEW BEST:: SOT 4409744 SOS 812180 HAS SOPS 812180 HAS SOUS 667666 HAS SOUPS 667666 WITH SCORE 668478.18
AT ITER 1898 NEW BEST:: SOT 4409859 SOS 812410 HAS SOPS 812410 HAS SOUS 667600 HAS SOUPS 667600 WITH SCORE 668412.41
AT ITER 1905 NEW BEST:: SOT 4409859 SOS 812410 HAS SOPS 812410 HAS SOUS 667598 HAS SOUPS 667598 WITH SCORE 668410.41
AT ITER 1922 NEW BEST:: SOT 4409858 SOS 812154 HAS SOPS 812154 HAS SOUS 667595 HAS SOUPS 667595 WITH SCORE 668407.154
AT ITER 1941 NEW BEST:: SOT 4409795 SOS 812282 HAS SOPS 812282 HAS SOUS 667532 HAS SOUPS 667532 WITH SCORE 668344.282
AT ITER 1967 NEW BEST:: SOT 4409615 SOS 811922 HAS SOPS 811922 HAS SOUS 667531 HAS SOUPS 667531 WITH SCORE 668342.922
AT ITER 1997 NEW BEST:: SOT 4409491 SOS 811762 HAS SOPS 811762 HAS SOUS 667371 HAS SOUPS 667371 WITH SCORE 668182.762
AT ITER 2006 NEW BEST:: SOT 4409456 SOS 811692 HAS SOPS 811692 HAS SOUS 667336 HAS SOUPS 667336 WITH SCORE 668147.692
AT ITER 2012 NEW BEST:: SOT 4399818 SOS 842522 HAS SOPS 842522 HAS SOUS 659684 HAS SOUPS 659684 WITH SCORE 660526.522
AT ITER 2014 NEW BEST:: SOT 4399769 SOS 842424 HAS SOPS 842424 HAS SOUS 659305 HAS SOUPS 659305 WITH SCORE 660147.424
AT ITER 2020 NEW BEST:: SOT 4399768 SOS 842237 HAS SOPS 842237 HAS SOUS 659303 HAS SOUPS 659303 WITH SCORE 660145.237
AT ITER 2043 NEW BEST:: SOT 4399768 SOS 841982 HAS SOPS 841982 HAS SOUS 659303 HAS SOUPS 659303 WITH SCORE 660144.982
AT ITER 2045 NEW BEST:: SOT 4399534 SOS 841514 HAS SOPS 841514 HAS SOUS 658835 HAS SOUPS 658835 WITH SCORE 659676.514
AT ITER 2050 NEW BEST:: SOT 4399534 SOS 841514 HAS SOPS 841514 HAS SOUS 658768 HAS SOUPS 658768 WITH SCORE 659609.514
AT ITER 2067 NEW BEST:: SOT 4399533 SOS 841251 HAS SOPS 841251 HAS SOUS 658506 HAS SOUPS 658506 WITH SCORE 659347.251
AT ITER 2070 NEW BEST:: SOT 4399408 SOS 841209 HAS SOPS 841209 HAS SOUS 658464 HAS SOUPS 658464 WITH SCORE 659305.209
AT ITER 2087 NEW BEST:: SOT 4399154 SOS 840701 HAS SOPS 840701 HAS SOUS 657956 HAS SOUPS 657956 WITH SCORE 658796.701
AT ITER 2100 NEW BEST:: SOT 4399323 SOS 840515 HAS SOPS 840515 HAS SOUS 657865 HAS SOUPS 657865 WITH SCORE 658705.515
AT ITER 2127 NEW BEST:: SOT 4399323 SOS 840407 HAS SOPS 840407 HAS SOUS 657757 HAS SOUPS 657757 WITH SCORE 658597.407
AT ITER 2146 NEW BEST:: SOT 4399312 SOS 840385 HAS SOPS 840385 HAS SOUS 657735 HAS SOUPS 657735 WITH SCORE 658575.385
AT ITER 2182 NEW BEST:: SOT 4398856 SOS 839701 HAS SOPS 839701 HAS SOUS 657051 HAS SOUPS 657051 WITH SCORE 657890.701
AT ITER 2188 NEW BEST:: SOT 4398840 SOS 839653 HAS SOPS 839653 HAS SOUS 657019 HAS SOUPS 657019 WITH SCORE 657858.653
AT ITER 2218 NEW BEST:: SOT 4398688 SOS 839349 HAS SOPS 839349 HAS SOUS 656699 HAS SOUPS 656699 WITH SCORE 657538.349
AT ITER 2234 NEW BEST:: SOT 4398636 SOS 839297 HAS SOPS 839297 HAS SOUS 656647 HAS SOUPS 656647 WITH SCORE 657486.297
AT ITER 2239 NEW BEST:: SOT 4398602 SOS 839229 HAS SOPS 839229 HAS SOUS 656579 HAS SOUPS 656579 WITH SCORE 657418.229
AT ITER 2247 NEW BEST:: SOT 4398601 SOS 839011 HAS SOPS 839011 HAS SOUS 656577 HAS SOUPS 656577 WITH SCORE 657416.011
AT ITER 2260 NEW BEST:: SOT 4398292 SOS 838393 HAS SOPS 838393 HAS SOUS 655959 HAS SOUPS 655959 WITH SCORE 656797.393
AT ITER 2273 NEW BEST:: SOT 4398050 SOS 837909 HAS SOPS 837909 HAS SOUS 655475 HAS SOUPS 655475 WITH SCORE 656312.909
AT ITER 2293 NEW BEST:: SOT 4398050 SOS 837909 HAS SOPS 837909 HAS SOUS 655323 HAS SOUPS 655323 WITH SCORE 656160.909
AT ITER 2295 NEW BEST:: SOT 4397785 SOS 837379 HAS SOPS 837379 HAS SOUS 655021 HAS SOUPS 655021 WITH SCORE 655858.379
AT ITER 2307 NEW BEST:: SOT 4397830 SOS 837469 HAS SOPS 837469 HAS SOUS 654683 HAS SOUPS 654683 WITH SCORE 655520.469
AT ITER 2375 NEW BEST:: SOT 4397936 SOS 837066 HAS SOPS 837066 HAS SOUS 654596 HAS SOUPS 654596 WITH SCORE 655433.066
AT ITER 2391 NEW BEST:: SOT 4397827 SOS 836848 HAS SOPS 836848 HAS SOUS 654378 HAS SOUPS 654378 WITH SCORE 655214.848
AT ITER 2403 NEW BEST:: SOT 4397798 SOS 836790 HAS SOPS 836790 HAS SOUS 654349 HAS SOUPS 654349 WITH SCORE 655185.79
AT ITER 2413 NEW BEST:: SOT 4395961 SOS 840046 HAS SOPS 840046 HAS SOUS 652800 HAS SOUPS 652800 WITH SCORE 653640.046
AT ITER 2421 NEW BEST:: SOT 4395937 SOS 840084 HAS SOPS 840084 HAS SOUS 652773 HAS SOUPS 652773 WITH SCORE 653613.084
AT ITER 2442 NEW BEST:: SOT 4395853 SOS 839916 HAS SOPS 839916 HAS SOUS 652416 HAS SOUPS 652416 WITH SCORE 653255.916
AT ITER 2445 NEW BEST:: SOT 4395853 SOS 839683 HAS SOPS 839683 HAS SOUS 652416 HAS SOUPS 652416 WITH SCORE 653255.683
AT ITER 2472 NEW BEST:: SOT 4395822 SOS 839655 HAS SOPS 839655 HAS SOUS 652385 HAS SOUPS 652385 WITH SCORE 653224.655
AT ITER 2499 NEW BEST:: SOT 4395798 SOS 839607 HAS SOPS 839607 HAS SOUS 652361 HAS SOUPS 652361 WITH SCORE 653200.607
AT ITER 2512 NEW BEST:: SOT 4395760 SOS 839493 HAS SOPS 839493 HAS SOUS 652285 HAS SOUPS 652285 WITH SCORE 653124.493
AT ITER 2522 NEW BEST:: SOT 4395756 SOS 839485 HAS SOPS 839485 HAS SOUS 652277 HAS SOUPS 652277 WITH SCORE 653116.485
AT ITER 2527 NEW BEST:: SOT 4395558 SOS 839437 HAS SOPS 839437 HAS SOUS 652179 HAS SOUPS 652179 WITH SCORE 653018.437
AT ITER 2530 NEW BEST:: SOT 4395325 SOS 839295 HAS SOPS 839295 HAS SOUS 651946 HAS SOUPS 651946 WITH SCORE 652785.295
AT ITER 2533 NEW BEST:: SOT 4395140 SOS 838772 HAS SOPS 838772 HAS SOUS 651576 HAS SOUPS 651576 WITH SCORE 652414.772
AT ITER 2536 NEW BEST:: SOT 4394870 SOS 838232 HAS SOPS 838232 HAS SOUS 651036 HAS SOUPS 651036 WITH SCORE 651874.232
AT ITER 2550 NEW BEST:: SOT 4394674 SOS 837840 HAS SOPS 837840 HAS SOUS 650644 HAS SOUPS 650644 WITH SCORE 651481.84
AT ITER 2601 NEW BEST:: SOT 4394446 SOS 839947 HAS SOPS 839947 HAS SOUS 650537 HAS SOUPS 650537 WITH SCORE 651376.947
AT ITER 2625 NEW BEST:: SOT 4394372 SOS 839694 HAS SOPS 839694 HAS SOUS 650389 HAS SOUPS 650389 WITH SCORE 651228.694
AT ITER 2648 NEW BEST:: SOT 4394372 SOS 839649 HAS SOPS 839649 HAS SOUS 650344 HAS SOUPS 650344 WITH SCORE 651183.649
AT ITER 2691 NEW BEST:: SOT 4394372 SOS 839609 HAS SOPS 839609 HAS SOUS 650344 HAS SOUPS 650344 WITH SCORE 651183.609
AT ITER 2700 NEW BEST:: SOT 4394396 SOS 839567 HAS SOPS 839567 HAS SOUS 650302 HAS SOUPS 650302 WITH SCORE 651141.567
AT ITER 2716 NEW BEST:: SOT 4394384 SOS 839543 HAS SOPS 839543 HAS SOUS 650289 HAS SOUPS 650289 WITH SCORE 651128.543
AT ITER 2718 NEW BEST:: SOT 4394259 SOS 839022 HAS SOPS 839022 HAS SOUS 649893 HAS SOUPS 649893 WITH SCORE 650732.022
AT ITER 2722 NEW BEST:: SOT 4394036 SOS 838799 HAS SOPS 838799 HAS SOUS 649457 HAS SOUPS 649457 WITH SCORE 650295.799
AT ITER 2731 NEW BEST:: SOT 4393850 SOS 838613 HAS SOPS 838613 HAS SOUS 649271 HAS SOUPS 649271 WITH SCORE 650109.613
AT ITER 2732 NEW BEST:: SOT 4393782 SOS 838735 HAS SOPS 838735 HAS SOUS 649203 HAS SOUPS 649203 WITH SCORE 650041.735
AT ITER 2735 NEW BEST:: SOT 4393660 SOS 838491 HAS SOPS 838491 HAS SOUS 648959 HAS SOUPS 648959 WITH SCORE 649797.491
AT ITER 2746 NEW BEST:: SOT 4393471 SOS 838113 HAS SOPS 838113 HAS SOUS 648770 HAS SOUPS 648770 WITH SCORE 649608.113
AT ITER 2794 NEW BEST:: SOT 4393471 SOS 837867 HAS SOPS 837867 HAS SOUS 648770 HAS SOUPS 648770 WITH SCORE 649607.867
AT ITER 2809 NEW BEST:: SOT 4393286 SOS 837770 HAS SOPS 837770 HAS SOUS 648641 HAS SOUPS 648641 WITH SCORE 649478.77
AT ITER 2815 NEW BEST:: SOT 4392597 SOS 840613 HAS SOPS 840613 HAS SOUS 648185 HAS SOUPS 648185 WITH SCORE 649025.613
AT ITER 2827 NEW BEST:: SOT 4392597 SOS 840470 HAS SOPS 840470 HAS SOUS 648185 HAS SOUPS 648185 WITH SCORE 649025.47
AT ITER 2837 NEW BEST:: SOT 4392109 SOS 840502 HAS SOPS 840502 HAS SOUS 647830 HAS SOUPS 647830 WITH SCORE 648670.502
AT ITER 2859 NEW BEST:: SOT 4392109 SOS 840438 HAS SOPS 840438 HAS SOUS 647766 HAS SOUPS 647766 WITH SCORE 648606.438
AT ITER 2865 NEW BEST:: SOT 4392029 SOS 840358 HAS SOPS 840358 HAS SOUS 647686 HAS SOUPS 647686 WITH SCORE 648526.358
AT ITER 2890 NEW BEST:: SOT 4391924 SOS 840025 HAS SOPS 840025 HAS SOUS 647476 HAS SOUPS 647476 WITH SCORE 648316.025
AT ITER 2949 NEW BEST:: SOT 4391688 SOS 839553 HAS SOPS 839553 HAS SOUS 647240 HAS SOUPS 647240 WITH SCORE 648079.553
AT ITER 2954 NEW BEST:: SOT 4391639 SOS 839455 HAS SOPS 839455 HAS SOUS 647142 HAS SOUPS 647142 WITH SCORE 647981.455
AT ITER 2958 NEW BEST:: SOT 4391514 SOS 839205 HAS SOPS 839205 HAS SOUS 646892 HAS SOUPS 646892 WITH SCORE 647731.205
AT ITER 2966 NEW BEST:: SOT 4391510 SOS 839197 HAS SOPS 839197 HAS SOUS 646686 HAS SOUPS 646686 WITH SCORE 647525.197
AT ITER 2992 NEW BEST:: SOT 4391509 SOS 839195 HAS SOPS 839195 HAS SOUS 646684 HAS SOUPS 646684 WITH SCORE 647523.195
AT ITER 2994 NEW BEST:: SOT 4391475 SOS 839070 HAS SOPS 839070 HAS SOUS 646558 HAS SOUPS 646558 WITH SCORE 647397.07
AT ITER 3014 NEW BEST:: SOT 4391475 SOS 838921 HAS SOPS 838921 HAS SOUS 646558 HAS SOUPS 646558 WITH SCORE 647396.921
AT ITER 3025 NEW BEST:: SOT 4391445 SOS 838861 HAS SOPS 838861 HAS SOUS 646530 HAS SOUPS 646530 WITH SCORE 647368.861
AT ITER 3031 NEW BEST:: SOT 4391366 SOS 838703 HAS SOPS 838703 HAS SOUS 646372 HAS SOUPS 646372 WITH SCORE 647210.703
AT ITER 3035 NEW BEST:: SOT 4391332 SOS 838635 HAS SOPS 838635 HAS SOUS 646099 HAS SOUPS 646099 WITH SCORE 646937.635
AT ITER 3058 NEW BEST:: SOT 4391077 SOS 838414 HAS SOPS 838414 HAS SOUS 646050 HAS SOUPS 646050 WITH SCORE 646888.414
AT ITER 3070 NEW BEST:: SOT 4391033 SOS 838326 HAS SOPS 838326 HAS SOUS 645962 HAS SOUPS 645962 WITH SCORE 646800.326
AT ITER 3071 NEW BEST:: SOT 4391026 SOS 838312 HAS SOPS 838312 HAS SOUS 645944 HAS SOUPS 645944 WITH SCORE 646782.312
AT ITER 3075 NEW BEST:: SOT 4391122 SOS 838272 HAS SOPS 838272 HAS SOUS 645904 HAS SOUPS 645904 WITH SCORE 646742.272
AT ITER 3094 NEW BEST:: SOT 4391083 SOS 838052 HAS SOPS 838052 HAS SOUS 645826 HAS SOUPS 645826 WITH SCORE 646664.052
AT ITER 3115 NEW BEST:: SOT 4391083 SOS 837891 HAS SOPS 837891 HAS SOUS 645826 HAS SOUPS 645826 WITH SCORE 646663.891
AT ITER 3121 NEW BEST:: SOT 4390548 SOS 837405 HAS SOPS 837405 HAS SOUS 645309 HAS SOUPS 645309 WITH SCORE 646146.405
AT ITER 3135 NEW BEST:: SOT 4390101 SOS 836511 HAS SOPS 836511 HAS SOUS 645070 HAS SOUPS 645070 WITH SCORE 645906.511
AT ITER 3147 NEW BEST:: SOT 4389993 SOS 836412 HAS SOPS 836412 HAS SOUS 644962 HAS SOUPS 644962 WITH SCORE 645798.412
AT ITER 3154 NEW BEST:: SOT 4389962 SOS 836428 HAS SOPS 836428 HAS SOUS 644957 HAS SOUPS 644957 WITH SCORE 645793.428
AT ITER 3160 NEW BEST:: SOT 4389909 SOS 836458 HAS SOPS 836458 HAS SOUS 644904 HAS SOUPS 644904 WITH SCORE 645740.458
AT ITER 3161 NEW BEST:: SOT 4389808 SOS 836256 HAS SOPS 836256 HAS SOUS 644803 HAS SOUPS 644803 WITH SCORE 645639.256
AT ITER 3164 NEW BEST:: SOT 4389611 SOS 835862 HAS SOPS 835862 HAS SOUS 644409 HAS SOUPS 644409 WITH SCORE 645244.862
AT ITER 3217 NEW BEST:: SOT 4389484 SOS 835969 HAS SOPS 835969 HAS SOUS 644282 HAS SOUPS 644282 WITH SCORE 645117.969
AT ITER 3268 NEW BEST:: SOT 4389315 SOS 836011 HAS SOPS 836011 HAS SOUS 643944 HAS SOUPS 643944 WITH SCORE 644780.011
AT ITER 3271 NEW BEST:: SOT 4389114 SOS 835609 HAS SOPS 835609 HAS SOUS 643542 HAS SOUPS 643542 WITH SCORE 644377.609
AT ITER 3306 NEW BEST:: SOT 4388774 SOS 835269 HAS SOPS 835269 HAS SOUS 643202 HAS SOUPS 643202 WITH SCORE 644037.269
AT ITER 3318 NEW BEST:: SOT 4388925 SOS 835194 HAS SOPS 835194 HAS SOUS 643127 HAS SOUPS 643127 WITH SCORE 643962.194
AT ITER 3330 NEW BEST:: SOT 4388937 SOS 835146 HAS SOPS 835146 HAS SOUS 643079 HAS SOUPS 643079 WITH SCORE 643914.146
AT ITER 3347 NEW BEST:: SOT 4388665 SOS 834836 HAS SOPS 834836 HAS SOUS 642769 HAS SOUPS 642769 WITH SCORE 643603.836
AT ITER 3348 NEW BEST:: SOT 4388665 SOS 834836 HAS SOPS 834836 HAS SOUS 642768 HAS SOUPS 642768 WITH SCORE 643602.836
AT ITER 3366 NEW BEST:: SOT 4388665 SOS 834836 HAS SOPS 834836 HAS SOUS 642761 HAS SOUPS 642761 WITH SCORE 643595.836
AT ITER 3381 NEW BEST:: SOT 4388664 SOS 834643 HAS SOPS 834643 HAS SOUS 642569 HAS SOUPS 642569 WITH SCORE 643403.643
AT ITER 3384 NEW BEST:: SOT 4388408 SOS 834473 HAS SOPS 834473 HAS SOUS 642114 HAS SOUPS 642114 WITH SCORE 642948.473
AT ITER 3385 NEW BEST:: SOT 4388553 SOS 834763 HAS SOPS 834763 HAS SOUS 641993 HAS SOUPS 641993 WITH SCORE 642827.763
AT ITER 3396 NEW BEST:: SOT 4388552 SOS 835465 HAS SOPS 835465 HAS SOUS 641992 HAS SOUPS 641992 WITH SCORE 642827.465
AT ITER 3425 NEW BEST:: SOT 4388540 SOS 835441 HAS SOPS 835441 HAS SOUS 641968 HAS SOUPS 641968 WITH SCORE 642803.441
AT ITER 3432 NEW BEST:: SOT 4388540 SOS 832591 HAS SOPS 832591 HAS SOUS 641968 HAS SOUPS 641968 WITH SCORE 642800.591
AT ITER 3441 NEW BEST:: SOT 4388486 SOS 832483 HAS SOPS 832483 HAS SOUS 641860 HAS SOUPS 641860 WITH SCORE 642692.483
AT ITER 3442 NEW BEST:: SOT 4388216 SOS 831943 HAS SOPS 831943 HAS SOUS 641590 HAS SOUPS 641590 WITH SCORE 642421.943
AT ITER 3460 NEW BEST:: SOT 4388083 SOS 831539 HAS SOPS 831539 HAS SOUS 641241 HAS SOUPS 641241 WITH SCORE 642072.539
AT ITER 3539 NEW BEST:: SOT 4388078 SOS 831529 HAS SOPS 831529 HAS SOUS 641089 HAS SOUPS 641089 WITH SCORE 641920.529
AT ITER 3559 NEW BEST:: SOT 4387973 SOS 831319 HAS SOPS 831319 HAS SOUS 640879 HAS SOUPS 640879 WITH SCORE 641710.319
AT ITER 3571 NEW BEST:: SOT 4387672 SOS 831345 HAS SOPS 831345 HAS SOUS 640735 HAS SOUPS 640735 WITH SCORE 641566.345
AT ITER 3588 NEW BEST:: SOT 4387671 SOS 831034 HAS SOPS 831034 HAS SOUS 640733 HAS SOUPS 640733 WITH SCORE 641564.034
AT ITER 3589 NEW BEST:: SOT 4387700 SOS 831092 HAS SOPS 831092 HAS SOUS 640530 HAS SOUPS 640530 WITH SCORE 641361.092
AT ITER 3597 NEW BEST:: SOT 4387501 SOS 830694 HAS SOPS 830694 HAS SOUS 640132 HAS SOUPS 640132 WITH SCORE 640962.694
AT ITER 3600 NEW BEST:: SOT 4387259 SOS 830019 HAS SOPS 830019 HAS SOUS 639696 HAS SOUPS 639696 WITH SCORE 640526.019
AT ITER 3637 NEW BEST:: SOT 4387150 SOS 829910 HAS SOPS 829910 HAS SOUS 639587 HAS SOUPS 639587 WITH SCORE 640416.91
AT ITER 3654 NEW BEST:: SOT 4387163 SOS 829890 HAS SOPS 829890 HAS SOUS 639567 HAS SOUPS 639567 WITH SCORE 640396.89
AT ITER 3711 NEW BEST:: SOT 4386954 SOS 829472 HAS SOPS 829472 HAS SOUS 639474 HAS SOUPS 639474 WITH SCORE 640303.472
AT ITER 3729 NEW BEST:: SOT 4386878 SOS 829244 HAS SOPS 829244 HAS SOUS 639322 HAS SOUPS 639322 WITH SCORE 640151.244
AT ITER 3736 NEW BEST:: SOT 4386814 SOS 829274 HAS SOPS 829274 HAS SOUS 639291 HAS SOUPS 639291 WITH SCORE 640120.274
AT ITER 3751 NEW BEST:: SOT 4386813 SOS 829272 HAS SOPS 829272 HAS SOUS 639289 HAS SOUPS 639289 WITH SCORE 640118.272
AT ITER 3762 NEW BEST:: SOT 4386669 SOS 828828 HAS SOPS 828828 HAS SOUS 639001 HAS SOUPS 639001 WITH SCORE 639829.828
AT ITER 3773 NEW BEST:: SOT 4386653 SOS 828796 HAS SOPS 828796 HAS SOUS 638969 HAS SOUPS 638969 WITH SCORE 639797.796
AT ITER 3777 NEW BEST:: SOT 4386563 SOS 828616 HAS SOPS 828616 HAS SOUS 638789 HAS SOUPS 638789 WITH SCORE 639617.616
AT ITER 3798 NEW BEST:: SOT 4386562 SOS 828615 HAS SOPS 828615 HAS SOUS 638787 HAS SOUPS 638787 WITH SCORE 639615.615
AT ITER 3814 NEW BEST:: SOT 4386656 SOS 828568 HAS SOPS 828568 HAS SOUS 638740 HAS SOUPS 638740 WITH SCORE 639568.568
AT ITER 3857 NEW BEST:: SOT 4386866 SOS 828988 HAS SOPS 828988 HAS SOUS 638715 HAS SOUPS 638715 WITH SCORE 639543.988
AT ITER 3859 NEW BEST:: SOT 4386866 SOS 828919 HAS SOPS 828919 HAS SOUS 638646 HAS SOUPS 638646 WITH SCORE 639474.919
AT ITER 3870 NEW BEST:: SOT 4386741 SOS 829074 HAS SOPS 829074 HAS SOUS 638617 HAS SOUPS 638617 WITH SCORE 639446.074
AT ITER 3874 NEW BEST:: SOT 4386632 SOS 828747 HAS SOPS 828747 HAS SOUS 638399 HAS SOUPS 638399 WITH SCORE 639227.747
AT ITER 3886 NEW BEST:: SOT 4386602 SOS 828717 HAS SOPS 828717 HAS SOUS 638369 HAS SOUPS 638369 WITH SCORE 639197.717
AT ITER 3908 NEW BEST:: SOT 4386601 SOS 828715 HAS SOPS 828715 HAS SOUS 638367 HAS SOUPS 638367 WITH SCORE 639195.715
AT ITER 3963 NEW BEST:: SOT 4385916 SOS 773626 HAS SOPS 773626 HAS SOUS 637529 HAS SOUPS 637529 WITH SCORE 638302.626
AT ITER 3965 NEW BEST:: SOT 4385587 SOS 773526 HAS SOPS 773526 HAS SOUS 637282 HAS SOUPS 637282 WITH SCORE 638055.526
AT ITER 4002 NEW BEST:: SOT 4385387 SOS 773126 HAS SOPS 773126 HAS SOUS 637282 HAS SOUPS 637282 WITH SCORE 638055.126
AT ITER 4005 NEW BEST:: SOT 4385283 SOS 773039 HAS SOPS 773039 HAS SOUS 637178 HAS SOUPS 637178 WITH SCORE 637951.039
AT ITER 4011 NEW BEST:: SOT 4385176 SOS 773230 HAS SOPS 773230 HAS SOUS 637116 HAS SOUPS 637116 WITH SCORE 637889.23
AT ITER 4034 NEW BEST:: SOT 4385075 SOS 773028 HAS SOPS 773028 HAS SOUS 637068 HAS SOUPS 637068 WITH SCORE 637841.028
AT ITER 4049 NEW BEST:: SOT 4385075 SOS 772718 HAS SOPS 772718 HAS SOUS 637068 HAS SOUPS 637068 WITH SCORE 637840.718
AT ITER 4053 NEW BEST:: SOT 4384896 SOS 772360 HAS SOPS 772360 HAS SOUS 636743 HAS SOUPS 636743 WITH SCORE 637515.36
AT ITER 4096 NEW BEST:: SOT 4384927 SOS 772422 HAS SOPS 772422 HAS SOUS 636606 HAS SOUPS 636606 WITH SCORE 637378.422
AT ITER 4106 NEW BEST:: SOT 4384740 SOS 771442 HAS SOPS 771442 HAS SOUS 636388 HAS SOUPS 636388 WITH SCORE 637159.442
AT ITER 4121 NEW BEST:: SOT 4384274 SOS 770942 HAS SOPS 770942 HAS SOUS 635638 HAS SOUPS 635638 WITH SCORE 636408.942
AT ITER 4152 NEW BEST:: SOT 4384251 SOS 770896 HAS SOPS 770896 HAS SOUS 635614 HAS SOUPS 635614 WITH SCORE 636384.896
AT ITER 4158 NEW BEST:: SOT 4384074 SOS 770542 HAS SOPS 770542 HAS SOUS 635260 HAS SOUPS 635260 WITH SCORE 636030.542
AT ITER 4164 NEW BEST:: SOT 4384074 SOS 770164 HAS SOPS 770164 HAS SOUS 635134 HAS SOUPS 635134 WITH SCORE 635904.164
AT ITER 4193 NEW BEST:: SOT 4384057 SOS 770130 HAS SOPS 770130 HAS SOUS 635117 HAS SOUPS 635117 WITH SCORE 635887.13
AT ITER 4205 NEW BEST:: SOT 4383882 SOS 769780 HAS SOPS 769780 HAS SOUS 635053 HAS SOUPS 635053 WITH SCORE 635822.78
AT ITER 4232 NEW BEST:: SOT 4383835 SOS 769686 HAS SOPS 769686 HAS SOUS 635006 HAS SOUPS 635006 WITH SCORE 635775.686
AT ITER 4236 NEW BEST:: SOT 4383721 SOS 769572 HAS SOPS 769572 HAS SOUS 634778 HAS SOUPS 634778 WITH SCORE 635547.572
AT ITER 4246 NEW BEST:: SOT 4383718 SOS 769566 HAS SOPS 769566 HAS SOUS 634772 HAS SOUPS 634772 WITH SCORE 635541.566
AT ITER 4256 NEW BEST:: SOT 4383957 SOS 769717 HAS SOPS 769717 HAS SOUS 634684 HAS SOUPS 634684 WITH SCORE 635453.717
AT ITER 4288 NEW BEST:: SOT 4383956 SOS 769716 HAS SOPS 769716 HAS SOUS 634683 HAS SOUPS 634683 WITH SCORE 635452.716
AT ITER 4299 NEW BEST:: SOT 4383572 SOS 769796 HAS SOPS 769796 HAS SOUS 634506 HAS SOUPS 634506 WITH SCORE 635275.796
AT ITER 4341 NEW BEST:: SOT 4383560 SOS 769711 HAS SOPS 769711 HAS SOUS 634494 HAS SOUPS 634494 WITH SCORE 635263.711
AT ITER 4347 NEW BEST:: SOT 4383560 SOS 769711 HAS SOPS 769711 HAS SOUS 634371 HAS SOUPS 634371 WITH SCORE 635140.711
AT ITER 4367 NEW BEST:: SOT 4383559 SOS 769709 HAS SOPS 769709 HAS SOUS 634369 HAS SOUPS 634369 WITH SCORE 635138.709
AT ITER 4384 NEW BEST:: SOT 4383559 SOS 769696 HAS SOPS 769696 HAS SOUS 634369 HAS SOUPS 634369 WITH SCORE 635138.696
AT ITER 4385 NEW BEST:: SOT 4383559 SOS 769696 HAS SOPS 769696 HAS SOUS 634233 HAS SOUPS 634233 WITH SCORE 635002.696
AT ITER 4398 NEW BEST:: SOT 4383557 SOS 769690 HAS SOPS 769690 HAS SOUS 634229 HAS SOUPS 634229 WITH SCORE 634998.69
AT ITER 4431 NEW BEST:: SOT 4383157 SOS 769690 HAS SOPS 769690 HAS SOUS 634029 HAS SOUPS 634029 WITH SCORE 634798.69
AT ITER 4442 NEW BEST:: SOT 4383010 SOS 769396 HAS SOPS 769396 HAS SOUS 633306 HAS SOUPS 633306 WITH SCORE 634075.396
AT ITER 4452 NEW BEST:: SOT 4382884 SOS 769144 HAS SOPS 769144 HAS SOUS 633054 HAS SOUPS 633054 WITH SCORE 633823.144
AT ITER 4480 NEW BEST:: SOT 4382907 SOS 769190 HAS SOPS 769190 HAS SOUS 632988 HAS SOUPS 632988 WITH SCORE 633757.19
AT ITER 4484 NEW BEST:: SOT 4382907 SOS 768922 HAS SOPS 768922 HAS SOUS 632720 HAS SOUPS 632720 WITH SCORE 633488.922
AT ITER 4531 NEW BEST:: SOT 4382890 SOS 768905 HAS SOPS 768905 HAS SOUS 632703 HAS SOUPS 632703 WITH SCORE 633471.905
AT ITER 4538 NEW BEST:: SOT 4382528 SOS 768181 HAS SOPS 768181 HAS SOUS 632363 HAS SOUPS 632363 WITH SCORE 633131.181
AT ITER 4547 NEW BEST:: SOT 4382390 SOS 767974 HAS SOPS 767974 HAS SOUS 632156 HAS SOUPS 632156 WITH SCORE 632923.974
AT ITER 4568 NEW BEST:: SOT 4382369 SOS 767932 HAS SOPS 767932 HAS SOUS 632114 HAS SOUPS 632114 WITH SCORE 632881.932
AT ITER 4571 NEW BEST:: SOT 4382277 SOS 767840 HAS SOPS 767840 HAS SOUS 632022 HAS SOUPS 632022 WITH SCORE 632789.84
AT ITER 4588 NEW BEST:: SOT 4381934 SOS 767564 HAS SOPS 767564 HAS SOUS 631604 HAS SOUPS 631604 WITH SCORE 632371.564
AT ITER 4591 NEW BEST:: SOT 4381828 SOS 766446 HAS SOPS 766446 HAS SOUS 631312 HAS SOUPS 631312 WITH SCORE 632078.446
AT ITER 4671 NEW BEST:: SOT 4381759 SOS 766400 HAS SOPS 766400 HAS SOUS 631243 HAS SOUPS 631243 WITH SCORE 632009.4
AT ITER 4682 NEW BEST:: SOT 4381761 SOS 766402 HAS SOPS 766402 HAS SOUS 631239 HAS SOUPS 631239 WITH SCORE 632005.402
AT ITER 4711 NEW BEST:: SOT 4381780 SOS 766440 HAS SOPS 766440 HAS SOUS 631221 HAS SOUPS 631221 WITH SCORE 631987.44
AT ITER 4727 NEW BEST:: SOT 4381434 SOS 766920 HAS SOPS 766920 HAS SOUS 630813 HAS SOUPS 630813 WITH SCORE 631579.92
AT ITER 4729 NEW BEST:: SOT 4381279 SOS 766610 HAS SOPS 766610 HAS SOUS 630503 HAS SOUPS 630503 WITH SCORE 631269.61
AT ITER 4736 NEW BEST:: SOT 4381260 SOS 766682 HAS SOPS 766682 HAS SOUS 630465 HAS SOUPS 630465 WITH SCORE 631231.682
AT ITER 4747 NEW BEST:: SOT 4381038 SOS 766872 HAS SOPS 766872 HAS SOUS 630320 HAS SOUPS 630320 WITH SCORE 631086.872
AT ITER 4752 NEW BEST:: SOT 4380817 SOS 766651 HAS SOPS 766651 HAS SOUS 630099 HAS SOUPS 630099 WITH SCORE 630865.651
AT ITER 4756 NEW BEST:: SOT 4380679 SOS 766375 HAS SOPS 766375 HAS SOUS 629823 HAS SOUPS 629823 WITH SCORE 630589.375
AT ITER 4762 NEW BEST:: SOT 4380277 SOS 766469 HAS SOPS 766469 HAS SOUS 629665 HAS SOUPS 629665 WITH SCORE 630431.469
AT ITER 4778 NEW BEST:: SOT 4380195 SOS 766387 HAS SOPS 766387 HAS SOUS 629583 HAS SOUPS 629583 WITH SCORE 630349.387
AT ITER 4802 NEW BEST:: SOT 4380249 SOS 766212 HAS SOPS 766212 HAS SOUS 629408 HAS SOUPS 629408 WITH SCORE 630174.212
AT ITER 4811 NEW BEST:: SOT 4380118 SOS 765722 HAS SOPS 765722 HAS SOUS 629201 HAS SOUPS 629201 WITH SCORE 629966.722
AT ITER 4816 NEW BEST:: SOT 4380035 SOS 765556 HAS SOPS 765556 HAS SOUS 629035 HAS SOUPS 629035 WITH SCORE 629800.556
AT ITER 4829 NEW BEST:: SOT 4379951 SOS 765472 HAS SOPS 765472 HAS SOUS 628951 HAS SOUPS 628951 WITH SCORE 629716.472
AT ITER 4882 NEW BEST:: SOT 4379939 SOS 765460 HAS SOPS 765460 HAS SOUS 628939 HAS SOUPS 628939 WITH SCORE 629704.46
AT ITER 4907 NEW BEST:: SOT 4379857 SOS 765418 HAS SOPS 765418 HAS SOUS 628897 HAS SOUPS 628897 WITH SCORE 629662.418
AT ITER 4938 NEW BEST:: SOT 4380196 SOS 766096 HAS SOPS 766096 HAS SOUS 628838 HAS SOUPS 628838 WITH SCORE 629604.096
AT ITER 4959 NEW BEST:: SOT 4380196 SOS 765936 HAS SOPS 765936 HAS SOUS 628678 HAS SOUPS 628678 WITH SCORE 629443.936
AT ITER 4975 NEW BEST:: SOT 4380023 SOS 758324 HAS SOPS 758324 HAS SOUS 628332 HAS SOUPS 628332 WITH SCORE 629090.324
AT ITER 4979 NEW BEST:: SOT 4379935 SOS 758148 HAS SOPS 758148 HAS SOUS 628156 HAS SOUPS 628156 WITH SCORE 628914.148
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-00 (! (EF((EG( potential( ( 3 ) <= (tk(P868)) ))))))
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-01 (! ( (AG( potential( (tk(P1868)) <= (tk(P261)) ))) & potential( (tk(P1161)) <= (tk(P729)) ) ))
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-02 (! (EF(( potential( (tk(P503)) <= (tk(P2401)) ) & ( potential( ( 2 ) <= (tk(P446)) ) & potential( (tk(P1569)) <= (tk(P2296)) ) ) ))))
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-03 ( (AX( (AF(potential( ( 3 ) <= (tk(P441)) ))))) & ( ( (! ( potential( (tk(P1250)) <= (tk(P2376)) ) | potential( ( 1 ) <= (tk(P1504)) ) )) & (AX( potential( (tk(P1663)) <= (tk(P60)) ))) ) | ( (! potential( ( 1 ) <= (tk(P1149)) )) | potential( (tk(P1465)) <= (tk(P955)) ) ) ) )
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-04 ( ( (EG( ( potential( ( 3 ) <= (tk(P2524)) ) & potential( ( 2 ) <= (tk(P1192)) ) ))) | ( (AX( potential( (tk(P1665)) <= (tk(P2049)) ))) & potential( (tk(P2208)) <= (tk(P727)) ) ) ) & (AG( (EG( potential( (tk(P524)) <= (tk(P2025)) ))))) )
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-05 (! (EU( ( potential( (tk(P471)) <= (tk(P2140)) ) | potential( (tk(P2016)) <= (tk(P2354)) ) ),( potential( ( 2 ) <= (tk(P1595)) ) & potential( ( 3 ) <= (tk(P1627)) ) ) )))
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-06 ( (AU( ( potential( (tk(P650)) <= (tk(P254)) ) | potential( (tk(P1616)) <= (tk(P58)) ) ),(! potential( (tk(P1662)) <= (tk(P389)) )) )) | ( (AG( ( potential( (tk(P2306)) <= (tk(P2554)) ) | potential( (tk(P1706)) <= (tk(P1197)) ) ))) | ( ( ( potential( ( 2 ) <= (tk(P2086)) ) | potential( ( 1 ) <= (tk(P145)) ) ) | ( potential( ( 3 ) <= (tk(P1691)) ) | potential( ( 2 ) <= (tk(P2364)) ) ) ) & (EX( potential( (tk(P139)) <= (tk(P1085)) ))) ) ) )
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-07 (EU( ( ( potential( ( 3 ) <= (tk(P2459)) ) | potential( (tk(P1517)) <= (tk(P2106)) ) ) & (! potential( ( 3 ) <= (tk(P2190)) )) ),(! (! potential( ( 2 ) <= (tk(P740)) ))) ))
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-08 (AF(( potential( ( 3 ) <= (tk(P2398)) ) & (AF(potential( ( 2 ) <= (tk(P254)) ))) )))
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-09 ( ( ( (! ( potential( (tk(P2214)) <= (tk(P2033)) ) | potential( ( 1 ) <= (tk(P2560)) ) )) & (! potential( (tk(P1545)) <= (tk(P1663)) )) ) & (AU( potential( ( 2 ) <= (tk(P2563)) ),potential( ( 2 ) <= (tk(P2354)) ) )) ) | ( (! (AG( potential( (tk(P2197)) <= (tk(P2406)) )))) & potential( (tk(P807)) <= (tk(P2549)) ) ) )
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-10 (EG( (AF((! potential( ( 2 ) <= (tk(P818)) ))))))
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-11 ( potential( ( 3 ) <= (tk(P1070)) ) | (EF((AG( potential( (tk(P756)) <= (tk(P683)) ))))) )
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-12 (AG( ( ( potential( (tk(P761)) <= (tk(P1866)) ) | ( potential( ( 3 ) <= (tk(P1279)) ) | potential( (tk(P141)) <= (tk(P1534)) ) ) ) | (! (! potential( ( 1 ) <= (tk(P2204)) ))) )))
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-13 ( (EF((AX( potential( ( 3 ) <= (tk(P1798)) ))))) | (AU( potential( (tk(P1745)) <= (tk(P2209)) ),( potential( (tk(P73)) <= (tk(P1921)) ) & potential( ( 1 ) <= (tk(P2017)) ) ) )) )
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-14 ( (EF((EF(potential( ( 1 ) <= (tk(P1273)) ))))) | (AU( (! potential( ( 1 ) <= (tk(P1530)) )),potential( ( 3 ) <= (tk(P255)) ) )) )
PROPERTY: CloudReconfiguration-PT-309-CTLCardinality-15 (AX( (EG( (! potential( ( 2 ) <= (tk(P1242)) ))))))

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

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