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

About the Execution of smart for CloudReconfiguration-PT-320

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

Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541800155.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-320, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800155
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 661K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-320-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589099190249

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 320
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458525 SOS 744630 HAS SOPS 744630 HAS SOUS 686894 HAS SOUPS 686894 WITH SCORE 687638.63
AT ITER 3 NEW BEST:: SOT 4458525 SOS 744098 HAS SOPS 744098 HAS SOUS 686628 HAS SOUPS 686628 WITH SCORE 687372.098
AT ITER 12 NEW BEST:: SOT 4458089 SOS 743662 HAS SOPS 743662 HAS SOUS 686192 HAS SOUPS 686192 WITH SCORE 686935.662
AT ITER 18 NEW BEST:: SOT 4457481 SOS 743118 HAS SOPS 743118 HAS SOUS 685613 HAS SOUPS 685613 WITH SCORE 686356.118
AT ITER 21 NEW BEST:: SOT 4457480 SOS 743053 HAS SOPS 743053 HAS SOUS 685549 HAS SOUPS 685549 WITH SCORE 686292.053
AT ITER 29 NEW BEST:: SOT 4457480 SOS 743053 HAS SOPS 743053 HAS SOUS 685548 HAS SOUPS 685548 WITH SCORE 686291.053
AT ITER 35 NEW BEST:: SOT 4457284 SOS 742661 HAS SOPS 742661 HAS SOUS 685156 HAS SOUPS 685156 WITH SCORE 685898.661
AT ITER 46 NEW BEST:: SOT 4457220 SOS 742597 HAS SOPS 742597 HAS SOUS 685092 HAS SOUPS 685092 WITH SCORE 685834.597
AT ITER 58 NEW BEST:: SOT 4457219 SOS 742595 HAS SOPS 742595 HAS SOUS 685090 HAS SOUPS 685090 WITH SCORE 685832.595
AT ITER 62 NEW BEST:: SOT 4457219 SOS 742595 HAS SOPS 742595 HAS SOUS 684987 HAS SOUPS 684987 WITH SCORE 685729.595
AT ITER 63 NEW BEST:: SOT 4456720 SOS 742557 HAS SOPS 742557 HAS SOUS 684488 HAS SOUPS 684488 WITH SCORE 685230.557
AT ITER 66 NEW BEST:: SOT 4456278 SOS 742255 HAS SOPS 742255 HAS SOUS 684093 HAS SOUPS 684093 WITH SCORE 684835.255
AT ITER 107 NEW BEST:: SOT 4456421 SOS 742223 HAS SOPS 742223 HAS SOUS 684061 HAS SOUPS 684061 WITH SCORE 684803.223
AT ITER 140 NEW BEST:: SOT 4456421 SOS 742138 HAS SOPS 742138 HAS SOUS 684060 HAS SOUPS 684060 WITH SCORE 684802.138
AT ITER 216 NEW BEST:: SOT 4456420 SOS 742214 HAS SOPS 742214 HAS SOUS 684058 HAS SOUPS 684058 WITH SCORE 684800.214
AT ITER 262 NEW BEST:: SOT 4456332 SOS 742038 HAS SOPS 742038 HAS SOUS 683882 HAS SOUPS 683882 WITH SCORE 684624.038
AT ITER 267 NEW BEST:: SOT 4455656 SOS 741142 HAS SOPS 741142 HAS SOUS 682978 HAS SOUPS 682978 WITH SCORE 683719.142
AT ITER 300 NEW BEST:: SOT 4455440 SOS 740998 HAS SOPS 740998 HAS SOUS 682762 HAS SOUPS 682762 WITH SCORE 683502.998
AT ITER 306 NEW BEST:: SOT 4448822 SOS 743036 HAS SOPS 743036 HAS SOUS 676640 HAS SOUPS 676640 WITH SCORE 677383.036
AT ITER 366 NEW BEST:: SOT 4448341 SOS 743004 HAS SOPS 743004 HAS SOUS 676349 HAS SOUPS 676349 WITH SCORE 677092.004
AT ITER 381 NEW BEST:: SOT 4448341 SOS 742843 HAS SOPS 742843 HAS SOUS 676188 HAS SOUPS 676188 WITH SCORE 676930.843
AT ITER 388 NEW BEST:: SOT 4448341 SOS 742620 HAS SOPS 742620 HAS SOUS 675965 HAS SOUPS 675965 WITH SCORE 676707.62
AT ITER 391 NEW BEST:: SOT 4448341 SOS 742620 HAS SOPS 742620 HAS SOUS 675964 HAS SOUPS 675964 WITH SCORE 676706.62
AT ITER 439 NEW BEST:: SOT 4445533 SOS 740030 HAS SOPS 740030 HAS SOUS 673487 HAS SOUPS 673487 WITH SCORE 674227.03
AT ITER 444 NEW BEST:: SOT 4445342 SOS 739648 HAS SOPS 739648 HAS SOUS 673105 HAS SOUPS 673105 WITH SCORE 673844.648
AT ITER 452 NEW BEST:: SOT 4445342 SOS 739648 HAS SOPS 739648 HAS SOUS 673037 HAS SOUPS 673037 WITH SCORE 673776.648
AT ITER 499 NEW BEST:: SOT 4445342 SOS 739648 HAS SOPS 739648 HAS SOUS 673035 HAS SOUPS 673035 WITH SCORE 673774.648
AT ITER 503 NEW BEST:: SOT 4445132 SOS 740803 HAS SOPS 740803 HAS SOUS 672786 HAS SOUPS 672786 WITH SCORE 673526.803
AT ITER 544 NEW BEST:: SOT 4445026 SOS 740591 HAS SOPS 740591 HAS SOUS 672677 HAS SOUPS 672677 WITH SCORE 673417.591
AT ITER 549 NEW BEST:: SOT 4445026 SOS 740442 HAS SOPS 740442 HAS SOUS 672677 HAS SOUPS 672677 WITH SCORE 673417.442
AT ITER 568 NEW BEST:: SOT 4444726 SOS 740142 HAS SOPS 740142 HAS SOUS 672377 HAS SOUPS 672377 WITH SCORE 673117.142
AT ITER 572 NEW BEST:: SOT 4444628 SOS 740098 HAS SOPS 740098 HAS SOUS 672279 HAS SOUPS 672279 WITH SCORE 673019.098
AT ITER 575 NEW BEST:: SOT 4442350 SOS 760830 HAS SOPS 760830 HAS SOUS 670253 HAS SOUPS 670253 WITH SCORE 671013.83
AT ITER 589 NEW BEST:: SOT 4441855 SOS 760180 HAS SOPS 760180 HAS SOUS 669588 HAS SOUPS 669588 WITH SCORE 670348.18
AT ITER 600 NEW BEST:: SOT 4441800 SOS 760070 HAS SOPS 760070 HAS SOUS 669291 HAS SOUPS 669291 WITH SCORE 670051.07
AT ITER 605 NEW BEST:: SOT 4441738 SOS 760044 HAS SOPS 760044 HAS SOUS 669229 HAS SOUPS 669229 WITH SCORE 669989.044
AT ITER 627 NEW BEST:: SOT 4441738 SOS 760005 HAS SOPS 760005 HAS SOUS 669229 HAS SOUPS 669229 WITH SCORE 669989.005
AT ITER 658 NEW BEST:: SOT 4441614 SOS 759757 HAS SOPS 759757 HAS SOUS 668981 HAS SOUPS 668981 WITH SCORE 669740.757
AT ITER 672 NEW BEST:: SOT 4441245 SOS 759247 HAS SOPS 759247 HAS SOUS 668459 HAS SOUPS 668459 WITH SCORE 669218.247
AT ITER 674 NEW BEST:: SOT 4441245 SOS 759183 HAS SOPS 759183 HAS SOUS 668459 HAS SOUPS 668459 WITH SCORE 669218.183
AT ITER 691 NEW BEST:: SOT 4440974 SOS 759014 HAS SOPS 759014 HAS SOUS 668188 HAS SOUPS 668188 WITH SCORE 668947.014
AT ITER 707 NEW BEST:: SOT 4440716 SOS 758756 HAS SOPS 758756 HAS SOUS 667930 HAS SOUPS 667930 WITH SCORE 668688.756
AT ITER 738 NEW BEST:: SOT 4440683 SOS 758782 HAS SOPS 758782 HAS SOUS 667864 HAS SOUPS 667864 WITH SCORE 668622.782
AT ITER 748 NEW BEST:: SOT 4440513 SOS 758442 HAS SOPS 758442 HAS SOUS 667694 HAS SOUPS 667694 WITH SCORE 668452.442
AT ITER 754 NEW BEST:: SOT 4440468 SOS 758397 HAS SOPS 758397 HAS SOUS 667649 HAS SOUPS 667649 WITH SCORE 668407.397
AT ITER 761 NEW BEST:: SOT 4440609 SOS 758215 HAS SOPS 758215 HAS SOUS 667558 HAS SOUPS 667558 WITH SCORE 668316.215
AT ITER 767 NEW BEST:: SOT 4440609 SOS 758104 HAS SOPS 758104 HAS SOUS 667557 HAS SOUPS 667557 WITH SCORE 668315.104
AT ITER 772 NEW BEST:: SOT 4440592 SOS 758070 HAS SOPS 758070 HAS SOUS 667540 HAS SOUPS 667540 WITH SCORE 668298.07
AT ITER 804 NEW BEST:: SOT 4440408 SOS 757702 HAS SOPS 757702 HAS SOUS 667172 HAS SOUPS 667172 WITH SCORE 667929.702
AT ITER 822 NEW BEST:: SOT 4440086 SOS 757697 HAS SOPS 757697 HAS SOUS 666795 HAS SOUPS 666795 WITH SCORE 667552.697
AT ITER 885 NEW BEST:: SOT 4440061 SOS 757647 HAS SOPS 757647 HAS SOUS 666757 HAS SOUPS 666757 WITH SCORE 667514.647
AT ITER 915 NEW BEST:: SOT 4439836 SOS 757337 HAS SOPS 757337 HAS SOUS 666392 HAS SOUPS 666392 WITH SCORE 667149.337
AT ITER 921 NEW BEST:: SOT 4439720 SOS 757347 HAS SOPS 757347 HAS SOUS 666338 HAS SOUPS 666338 WITH SCORE 667095.347
AT ITER 929 NEW BEST:: SOT 4439608 SOS 756903 HAS SOPS 756903 HAS SOUS 666114 HAS SOUPS 666114 WITH SCORE 666870.903
AT ITER 941 NEW BEST:: SOT 4439640 SOS 756690 HAS SOPS 756690 HAS SOUS 665909 HAS SOUPS 665909 WITH SCORE 666665.69
AT ITER 953 NEW BEST:: SOT 4439639 SOS 756667 HAS SOPS 756667 HAS SOUS 665906 HAS SOUPS 665906 WITH SCORE 666662.667
AT ITER 977 NEW BEST:: SOT 4439588 SOS 756565 HAS SOPS 756565 HAS SOUS 665495 HAS SOUPS 665495 WITH SCORE 666251.565
AT ITER 985 NEW BEST:: SOT 4439405 SOS 755979 HAS SOPS 755979 HAS SOUS 665092 HAS SOUPS 665092 WITH SCORE 665847.979
AT ITER 988 NEW BEST:: SOT 4438887 SOS 756044 HAS SOPS 756044 HAS SOUS 664941 HAS SOUPS 664941 WITH SCORE 665697.044
AT ITER 990 NEW BEST:: SOT 4438913 SOS 755788 HAS SOPS 755788 HAS SOUS 664883 HAS SOUPS 664883 WITH SCORE 665638.788
AT ITER 997 NEW BEST:: SOT 4438767 SOS 755753 HAS SOPS 755753 HAS SOUS 664848 HAS SOUPS 664848 WITH SCORE 665603.753
AT ITER 1001 NEW BEST:: SOT 4438870 SOS 755737 HAS SOPS 755737 HAS SOUS 664832 HAS SOUPS 664832 WITH SCORE 665587.737
AT ITER 1029 NEW BEST:: SOT 4438365 SOS 755307 HAS SOPS 755307 HAS SOUS 664257 HAS SOUPS 664257 WITH SCORE 665012.307
AT ITER 1039 NEW BEST:: SOT 4438364 SOS 754995 HAS SOPS 754995 HAS SOUS 664255 HAS SOUPS 664255 WITH SCORE 665009.995
AT ITER 1065 NEW BEST:: SOT 4438318 SOS 754949 HAS SOPS 754949 HAS SOUS 664209 HAS SOUPS 664209 WITH SCORE 664963.949
AT ITER 1077 NEW BEST:: SOT 4438172 SOS 754803 HAS SOPS 754803 HAS SOUS 664063 HAS SOUPS 664063 WITH SCORE 664817.803
AT ITER 1082 NEW BEST:: SOT 4438106 SOS 754737 HAS SOPS 754737 HAS SOUS 663997 HAS SOUPS 663997 WITH SCORE 664751.737
AT ITER 1085 NEW BEST:: SOT 4438039 SOS 754218 HAS SOPS 754218 HAS SOUS 663545 HAS SOUPS 663545 WITH SCORE 664299.218
AT ITER 1106 NEW BEST:: SOT 4437931 SOS 753776 HAS SOPS 753776 HAS SOUS 663217 HAS SOUPS 663217 WITH SCORE 663970.776
AT ITER 1133 NEW BEST:: SOT 4437739 SOS 753732 HAS SOPS 753732 HAS SOUS 663035 HAS SOUPS 663035 WITH SCORE 663788.732
AT ITER 1140 NEW BEST:: SOT 4437590 SOS 753710 HAS SOPS 753710 HAS SOUS 662961 HAS SOUPS 662961 WITH SCORE 663714.71
AT ITER 1153 NEW BEST:: SOT 4437590 SOS 753381 HAS SOPS 753381 HAS SOUS 662632 HAS SOUPS 662632 WITH SCORE 663385.381
AT ITER 1174 NEW BEST:: SOT 4437681 SOS 753563 HAS SOPS 753563 HAS SOUS 662506 HAS SOUPS 662506 WITH SCORE 663259.563
AT ITER 1191 NEW BEST:: SOT 4437681 SOS 753529 HAS SOPS 753529 HAS SOUS 662506 HAS SOUPS 662506 WITH SCORE 663259.529
AT ITER 1202 NEW BEST:: SOT 4437681 SOS 753516 HAS SOPS 753516 HAS SOUS 662506 HAS SOUPS 662506 WITH SCORE 663259.516
AT ITER 1205 NEW BEST:: SOT 4437554 SOS 753262 HAS SOPS 753262 HAS SOUS 662252 HAS SOUPS 662252 WITH SCORE 663005.262
AT ITER 1213 NEW BEST:: SOT 4437463 SOS 753080 HAS SOPS 753080 HAS SOUS 662070 HAS SOUPS 662070 WITH SCORE 662823.08
AT ITER 1224 NEW BEST:: SOT 4437389 SOS 752673 HAS SOPS 752673 HAS SOUS 661760 HAS SOUPS 661760 WITH SCORE 662512.673
AT ITER 1262 NEW BEST:: SOT 4437232 SOS 752725 HAS SOPS 752725 HAS SOUS 661749 HAS SOUPS 661749 WITH SCORE 662501.725
AT ITER 1273 NEW BEST:: SOT 4437124 SOS 752617 HAS SOPS 752617 HAS SOUS 661641 HAS SOUPS 661641 WITH SCORE 662393.617
AT ITER 1332 NEW BEST:: SOT 4436918 SOS 752490 HAS SOPS 752490 HAS SOUS 661559 HAS SOUPS 661559 WITH SCORE 662311.49
AT ITER 1336 NEW BEST:: SOT 4436818 SOS 752490 HAS SOPS 752490 HAS SOUS 661459 HAS SOUPS 661459 WITH SCORE 662211.49
AT ITER 1341 NEW BEST:: SOT 4436794 SOS 752442 HAS SOPS 752442 HAS SOUS 661411 HAS SOUPS 661411 WITH SCORE 662163.442
AT ITER 1380 NEW BEST:: SOT 4436794 SOS 752422 HAS SOPS 752422 HAS SOUS 661401 HAS SOUPS 661401 WITH SCORE 662153.422
AT ITER 1397 NEW BEST:: SOT 4436651 SOS 752258 HAS SOPS 752258 HAS SOUS 661197 HAS SOUPS 661197 WITH SCORE 661949.258
AT ITER 1419 NEW BEST:: SOT 4436612 SOS 752021 HAS SOPS 752021 HAS SOUS 660999 HAS SOUPS 660999 WITH SCORE 661751.021
AT ITER 1421 NEW BEST:: SOT 4436612 SOS 751731 HAS SOPS 751731 HAS SOUS 660854 HAS SOUPS 660854 WITH SCORE 661605.731
AT ITER 1445 NEW BEST:: SOT 4436527 SOS 751561 HAS SOPS 751561 HAS SOUS 660822 HAS SOUPS 660822 WITH SCORE 661573.561
AT ITER 1448 NEW BEST:: SOT 4436391 SOS 751289 HAS SOPS 751289 HAS SOUS 660618 HAS SOUPS 660618 WITH SCORE 661369.289
AT ITER 1462 NEW BEST:: SOT 4436359 SOS 750808 HAS SOPS 750808 HAS SOUS 660554 HAS SOUPS 660554 WITH SCORE 661304.808
AT ITER 1463 NEW BEST:: SOT 4436319 SOS 750492 HAS SOPS 750492 HAS SOUS 660474 HAS SOUPS 660474 WITH SCORE 661224.492
AT ITER 1468 NEW BEST:: SOT 4435961 SOS 791145 HAS SOPS 791145 HAS SOUS 660403 HAS SOUPS 660403 WITH SCORE 661194.145
AT ITER 1474 NEW BEST:: SOT 4435716 SOS 790655 HAS SOPS 790655 HAS SOUS 659913 HAS SOUPS 659913 WITH SCORE 660703.655
AT ITER 1479 NEW BEST:: SOT 4434528 SOS 791031 HAS SOPS 791031 HAS SOUS 659276 HAS SOUPS 659276 WITH SCORE 660067.031
AT ITER 1535 NEW BEST:: SOT 4434528 SOS 790588 HAS SOPS 790588 HAS SOUS 659276 HAS SOUPS 659276 WITH SCORE 660066.588
AT ITER 1546 NEW BEST:: SOT 4434461 SOS 790454 HAS SOPS 790454 HAS SOUS 659276 HAS SOUPS 659276 WITH SCORE 660066.454
AT ITER 1555 NEW BEST:: SOT 4434437 SOS 790406 HAS SOPS 790406 HAS SOUS 659228 HAS SOUPS 659228 WITH SCORE 660018.406
AT ITER 1589 NEW BEST:: SOT 4434359 SOS 790250 HAS SOPS 790250 HAS SOUS 659150 HAS SOUPS 659150 WITH SCORE 659940.25
AT ITER 1641 NEW BEST:: SOT 4434358 SOS 790248 HAS SOPS 790248 HAS SOUS 659148 HAS SOUPS 659148 WITH SCORE 659938.248
AT ITER 1726 NEW BEST:: SOT 4434302 SOS 790203 HAS SOPS 790203 HAS SOUS 659092 HAS SOUPS 659092 WITH SCORE 659882.203
AT ITER 1737 NEW BEST:: SOT 4434118 SOS 790090 HAS SOPS 790090 HAS SOUS 658949 HAS SOUPS 658949 WITH SCORE 659739.09
AT ITER 1750 NEW BEST:: SOT 4434086 SOS 790449 HAS SOPS 790449 HAS SOUS 658689 HAS SOUPS 658689 WITH SCORE 659479.449
AT ITER 1772 NEW BEST:: SOT 4433946 SOS 790309 HAS SOPS 790309 HAS SOUS 658479 HAS SOUPS 658479 WITH SCORE 659269.309
AT ITER 1778 NEW BEST:: SOT 4433945 SOS 790308 HAS SOPS 790308 HAS SOUS 658477 HAS SOUPS 658477 WITH SCORE 659267.308
AT ITER 1795 NEW BEST:: SOT 4433439 SOS 790290 HAS SOPS 790290 HAS SOUS 658058 HAS SOUPS 658058 WITH SCORE 658848.29
AT ITER 1811 NEW BEST:: SOT 4433280 SOS 790402 HAS SOPS 790402 HAS SOUS 657993 HAS SOUPS 657993 WITH SCORE 658783.402
AT ITER 1819 NEW BEST:: SOT 4433309 SOS 790460 HAS SOPS 790460 HAS SOUS 657980 HAS SOUPS 657980 WITH SCORE 658770.46
AT ITER 1833 NEW BEST:: SOT 4433386 SOS 790614 HAS SOPS 790614 HAS SOUS 657855 HAS SOUPS 657855 WITH SCORE 658645.614
AT ITER 1842 NEW BEST:: SOT 4433129 SOS 790357 HAS SOPS 790357 HAS SOUS 657598 HAS SOUPS 657598 WITH SCORE 658388.357
AT ITER 1874 NEW BEST:: SOT 4433129 SOS 790357 HAS SOPS 790357 HAS SOUS 657511 HAS SOUPS 657511 WITH SCORE 658301.357
AT ITER 1894 NEW BEST:: SOT 4433115 SOS 790638 HAS SOPS 790638 HAS SOUS 657497 HAS SOUPS 657497 WITH SCORE 658287.638
AT ITER 1915 NEW BEST:: SOT 4432955 SOS 790555 HAS SOPS 790555 HAS SOUS 657291 HAS SOUPS 657291 WITH SCORE 658081.555
AT ITER 1947 NEW BEST:: SOT 4432873 SOS 789951 HAS SOPS 789951 HAS SOUS 657266 HAS SOUPS 657266 WITH SCORE 658055.951
AT ITER 1948 NEW BEST:: SOT 4432873 SOS 789860 HAS SOPS 789860 HAS SOUS 657175 HAS SOUPS 657175 WITH SCORE 657964.86
AT ITER 1952 NEW BEST:: SOT 4432365 SOS 789523 HAS SOPS 789523 HAS SOUS 656703 HAS SOUPS 656703 WITH SCORE 657492.523
AT ITER 1966 NEW BEST:: SOT 4432365 SOS 789523 HAS SOPS 789523 HAS SOUS 656685 HAS SOUPS 656685 WITH SCORE 657474.523
AT ITER 1970 NEW BEST:: SOT 4432304 SOS 774281 HAS SOPS 774281 HAS SOUS 656624 HAS SOUPS 656624 WITH SCORE 657398.281
AT ITER 2003 NEW BEST:: SOT 4432304 SOS 774248 HAS SOPS 774248 HAS SOUS 656591 HAS SOUPS 656591 WITH SCORE 657365.248
AT ITER 2016 NEW BEST:: SOT 4432304 SOS 774248 HAS SOPS 774248 HAS SOUS 656506 HAS SOUPS 656506 WITH SCORE 657280.248
AT ITER 2022 NEW BEST:: SOT 4432260 SOS 774271 HAS SOPS 774271 HAS SOUS 656462 HAS SOUPS 656462 WITH SCORE 657236.271
AT ITER 2036 NEW BEST:: SOT 4432249 SOS 774249 HAS SOPS 774249 HAS SOUS 656440 HAS SOUPS 656440 WITH SCORE 657214.249
AT ITER 2050 NEW BEST:: SOT 4432249 SOS 774083 HAS SOPS 774083 HAS SOUS 656274 HAS SOUPS 656274 WITH SCORE 657048.083
AT ITER 2056 NEW BEST:: SOT 4432195 SOS 774139 HAS SOPS 774139 HAS SOUS 656261 HAS SOUPS 656261 WITH SCORE 657035.139
AT ITER 2074 NEW BEST:: SOT 4431899 SOS 773895 HAS SOPS 773895 HAS SOUS 655994 HAS SOUPS 655994 WITH SCORE 656767.895
AT ITER 2107 NEW BEST:: SOT 4431722 SOS 773541 HAS SOPS 773541 HAS SOUS 655946 HAS SOUPS 655946 WITH SCORE 656719.541
AT ITER 2127 NEW BEST:: SOT 4431580 SOS 773399 HAS SOPS 773399 HAS SOUS 655804 HAS SOUPS 655804 WITH SCORE 656577.399
AT ITER 2134 NEW BEST:: SOT 4431639 SOS 773178 HAS SOPS 773178 HAS SOUS 655721 HAS SOUPS 655721 WITH SCORE 656494.178
AT ITER 2137 NEW BEST:: SOT 4431160 SOS 772220 HAS SOPS 772220 HAS SOUS 654852 HAS SOUPS 654852 WITH SCORE 655624.22
AT ITER 2168 NEW BEST:: SOT 4431159 SOS 771900 HAS SOPS 771900 HAS SOUS 654850 HAS SOUPS 654850 WITH SCORE 655621.9
AT ITER 2172 NEW BEST:: SOT 4431159 SOS 771659 HAS SOPS 771659 HAS SOUS 654850 HAS SOUPS 654850 WITH SCORE 655621.659
AT ITER 2178 NEW BEST:: SOT 4431065 SOS 771471 HAS SOPS 771471 HAS SOUS 654662 HAS SOUPS 654662 WITH SCORE 655433.471
AT ITER 2195 NEW BEST:: SOT 4431065 SOS 771260 HAS SOPS 771260 HAS SOUS 654662 HAS SOUPS 654662 WITH SCORE 655433.26
AT ITER 2197 NEW BEST:: SOT 4430918 SOS 770966 HAS SOPS 770966 HAS SOUS 654552 HAS SOUPS 654552 WITH SCORE 655322.966
AT ITER 2252 NEW BEST:: SOT 4430918 SOS 770966 HAS SOPS 770966 HAS SOUS 654440 HAS SOUPS 654440 WITH SCORE 655210.966
AT ITER 2260 NEW BEST:: SOT 4430868 SOS 769406 HAS SOPS 769406 HAS SOUS 653790 HAS SOUPS 653790 WITH SCORE 654559.406
AT ITER 2261 NEW BEST:: SOT 4431096 SOS 769862 HAS SOPS 769862 HAS SOUS 653755 HAS SOUPS 653755 WITH SCORE 654524.862
AT ITER 2292 NEW BEST:: SOT 4430956 SOS 769722 HAS SOPS 769722 HAS SOUS 653615 HAS SOUPS 653615 WITH SCORE 654384.722
AT ITER 2315 NEW BEST:: SOT 4430764 SOS 769338 HAS SOPS 769338 HAS SOUS 653423 HAS SOUPS 653423 WITH SCORE 654192.338
AT ITER 2324 NEW BEST:: SOT 4430501 SOS 768812 HAS SOPS 768812 HAS SOUS 653396 HAS SOUPS 653396 WITH SCORE 654164.812
AT ITER 2325 NEW BEST:: SOT 4430422 SOS 768750 HAS SOPS 768750 HAS SOUS 653317 HAS SOUPS 653317 WITH SCORE 654085.75
AT ITER 2335 NEW BEST:: SOT 4430422 SOS 768688 HAS SOPS 768688 HAS SOUS 653317 HAS SOUPS 653317 WITH SCORE 654085.688
AT ITER 2345 NEW BEST:: SOT 4430028 SOS 768532 HAS SOPS 768532 HAS SOUS 652956 HAS SOUPS 652956 WITH SCORE 653724.532
AT ITER 2350 NEW BEST:: SOT 4429827 SOS 768331 HAS SOPS 768331 HAS SOUS 652755 HAS SOUPS 652755 WITH SCORE 653523.331
AT ITER 2365 NEW BEST:: SOT 4429819 SOS 768315 HAS SOPS 768315 HAS SOUS 652745 HAS SOUPS 652745 WITH SCORE 653513.315
AT ITER 2382 NEW BEST:: SOT 4429819 SOS 768210 HAS SOPS 768210 HAS SOUS 652745 HAS SOUPS 652745 WITH SCORE 653513.21
AT ITER 2386 NEW BEST:: SOT 4429785 SOS 768142 HAS SOPS 768142 HAS SOUS 652711 HAS SOUPS 652711 WITH SCORE 653479.142
AT ITER 2394 NEW BEST:: SOT 4429640 SOS 768009 HAS SOPS 768009 HAS SOUS 652566 HAS SOUPS 652566 WITH SCORE 653334.009
AT ITER 2408 NEW BEST:: SOT 4429391 SOS 767108 HAS SOPS 767108 HAS SOUS 652068 HAS SOUPS 652068 WITH SCORE 652835.108
AT ITER 2409 NEW BEST:: SOT 4429256 SOS 767012 HAS SOPS 767012 HAS SOUS 651972 HAS SOUPS 651972 WITH SCORE 652739.012
AT ITER 2411 NEW BEST:: SOT 4429160 SOS 766945 HAS SOPS 766945 HAS SOUS 651899 HAS SOUPS 651899 WITH SCORE 652665.945
AT ITER 2427 NEW BEST:: SOT 4429007 SOS 766639 HAS SOPS 766639 HAS SOUS 651593 HAS SOUPS 651593 WITH SCORE 652359.639
AT ITER 2498 NEW BEST:: SOT 4428877 SOS 766379 HAS SOPS 766379 HAS SOUS 651463 HAS SOUPS 651463 WITH SCORE 652229.379
AT ITER 2555 NEW BEST:: SOT 4428876 SOS 766377 HAS SOPS 766377 HAS SOUS 651461 HAS SOUPS 651461 WITH SCORE 652227.377
AT ITER 2559 NEW BEST:: SOT 4428838 SOS 766339 HAS SOPS 766339 HAS SOUS 651385 HAS SOUPS 651385 WITH SCORE 652151.339
AT ITER 2583 NEW BEST:: SOT 4428715 SOS 766321 HAS SOPS 766321 HAS SOUS 651331 HAS SOUPS 651331 WITH SCORE 652097.321
AT ITER 2589 NEW BEST:: SOT 4428578 SOS 766047 HAS SOPS 766047 HAS SOUS 651057 HAS SOUPS 651057 WITH SCORE 651823.047
AT ITER 2600 NEW BEST:: SOT 4428402 SOS 765422 HAS SOPS 765422 HAS SOUS 650471 HAS SOUPS 650471 WITH SCORE 651236.422
AT ITER 2634 NEW BEST:: SOT 4428392 SOS 765402 HAS SOPS 765402 HAS SOUS 650451 HAS SOUPS 650451 WITH SCORE 651216.402
AT ITER 2637 NEW BEST:: SOT 4428392 SOS 765338 HAS SOPS 765338 HAS SOUS 650448 HAS SOUPS 650448 WITH SCORE 651213.338
AT ITER 2639 NEW BEST:: SOT 4428350 SOS 765254 HAS SOPS 765254 HAS SOUS 650364 HAS SOUPS 650364 WITH SCORE 651129.254
AT ITER 2650 NEW BEST:: SOT 4428261 SOS 765076 HAS SOPS 765076 HAS SOUS 650186 HAS SOUPS 650186 WITH SCORE 650951.076
AT ITER 2656 NEW BEST:: SOT 4428055 SOS 764664 HAS SOPS 764664 HAS SOUS 650186 HAS SOUPS 650186 WITH SCORE 650950.664
AT ITER 2686 NEW BEST:: SOT 4428055 SOS 764511 HAS SOPS 764511 HAS SOUS 650033 HAS SOUPS 650033 WITH SCORE 650797.511
AT ITER 2776 NEW BEST:: SOT 4428054 SOS 764509 HAS SOPS 764509 HAS SOUS 650031 HAS SOUPS 650031 WITH SCORE 650795.509
AT ITER 2828 NEW BEST:: SOT 4427908 SOS 764363 HAS SOPS 764363 HAS SOUS 649885 HAS SOUPS 649885 WITH SCORE 650649.363
AT ITER 2830 NEW BEST:: SOT 4428074 SOS 764389 HAS SOPS 764389 HAS SOUS 649717 HAS SOUPS 649717 WITH SCORE 650481.389
AT ITER 2852 NEW BEST:: SOT 4427770 SOS 764243 HAS SOPS 764243 HAS SOUS 649571 HAS SOUPS 649571 WITH SCORE 650335.243
AT ITER 2869 NEW BEST:: SOT 4427504 SOS 763977 HAS SOPS 763977 HAS SOUS 649563 HAS SOUPS 649563 WITH SCORE 650326.977
AT ITER 2876 NEW BEST:: SOT 4427115 SOS 763489 HAS SOPS 763489 HAS SOUS 648996 HAS SOUPS 648996 WITH SCORE 649759.489
AT ITER 2884 NEW BEST:: SOT 4427115 SOS 763435 HAS SOPS 763435 HAS SOUS 648942 HAS SOUPS 648942 WITH SCORE 649705.435
AT ITER 2887 NEW BEST:: SOT 4427178 SOS 763932 HAS SOPS 763932 HAS SOUS 648883 HAS SOUPS 648883 WITH SCORE 649646.932
AT ITER 2909 NEW BEST:: SOT 4427178 SOS 763714 HAS SOPS 763714 HAS SOUS 648883 HAS SOUPS 648883 WITH SCORE 649646.714
AT ITER 2911 NEW BEST:: SOT 4427163 SOS 763669 HAS SOPS 763669 HAS SOUS 648853 HAS SOUPS 648853 WITH SCORE 649616.669
AT ITER 2925 NEW BEST:: SOT 4427146 SOS 763635 HAS SOPS 763635 HAS SOUS 648696 HAS SOUPS 648696 WITH SCORE 649459.635
AT ITER 2940 NEW BEST:: SOT 4427146 SOS 763635 HAS SOPS 763635 HAS SOUS 648695 HAS SOUPS 648695 WITH SCORE 649458.635
AT ITER 2965 NEW BEST:: SOT 4427146 SOS 763625 HAS SOPS 763625 HAS SOUS 648695 HAS SOUPS 648695 WITH SCORE 649458.625
AT ITER 2997 NEW BEST:: SOT 4427311 SOS 763955 HAS SOPS 763955 HAS SOUS 648454 HAS SOUPS 648454 WITH SCORE 649217.955
AT ITER 2999 NEW BEST:: SOT 4427317 SOS 763908 HAS SOPS 763908 HAS SOUS 648407 HAS SOUPS 648407 WITH SCORE 649170.908
AT ITER 3004 NEW BEST:: SOT 4427317 SOS 763908 HAS SOPS 763908 HAS SOUS 648405 HAS SOUPS 648405 WITH SCORE 649168.908
AT ITER 3005 NEW BEST:: SOT 4427317 SOS 763908 HAS SOPS 763908 HAS SOUS 648383 HAS SOUPS 648383 WITH SCORE 649146.908
AT ITER 3086 NEW BEST:: SOT 4427317 SOS 763850 HAS SOPS 763850 HAS SOUS 648325 HAS SOUPS 648325 WITH SCORE 649088.85
AT ITER 3098 NEW BEST:: SOT 4427244 SOS 763831 HAS SOPS 763831 HAS SOUS 648252 HAS SOUPS 648252 WITH SCORE 649015.831
AT ITER 3131 NEW BEST:: SOT 4427244 SOS 763678 HAS SOPS 763678 HAS SOUS 648155 HAS SOUPS 648155 WITH SCORE 648918.678
AT ITER 3142 NEW BEST:: SOT 4426966 SOS 763400 HAS SOPS 763400 HAS SOUS 647823 HAS SOUPS 647823 WITH SCORE 648586.4
AT ITER 3174 NEW BEST:: SOT 4426875 SOS 763518 HAS SOPS 763518 HAS SOUS 647732 HAS SOUPS 647732 WITH SCORE 648495.518
AT ITER 3201 NEW BEST:: SOT 4426875 SOS 763239 HAS SOPS 763239 HAS SOUS 647453 HAS SOUPS 647453 WITH SCORE 648216.239
AT ITER 3209 NEW BEST:: SOT 4426797 SOS 763161 HAS SOPS 763161 HAS SOUS 647375 HAS SOUPS 647375 WITH SCORE 648138.161
AT ITER 3307 NEW BEST:: SOT 4426717 SOS 763001 HAS SOPS 763001 HAS SOUS 647295 HAS SOUPS 647295 WITH SCORE 648058.001
AT ITER 3332 NEW BEST:: SOT 4426208 SOS 762931 HAS SOPS 762931 HAS SOUS 646703 HAS SOUPS 646703 WITH SCORE 647465.931
AT ITER 3356 NEW BEST:: SOT 4426154 SOS 762823 HAS SOPS 762823 HAS SOUS 646403 HAS SOUPS 646403 WITH SCORE 647165.823
AT ITER 3377 NEW BEST:: SOT 4426121 SOS 762757 HAS SOPS 762757 HAS SOUS 646337 HAS SOUPS 646337 WITH SCORE 647099.757
AT ITER 3381 NEW BEST:: SOT 4426070 SOS 762706 HAS SOPS 762706 HAS SOUS 646286 HAS SOUPS 646286 WITH SCORE 647048.706
AT ITER 3400 NEW BEST:: SOT 4425930 SOS 762426 HAS SOPS 762426 HAS SOUS 646146 HAS SOUPS 646146 WITH SCORE 646908.426
AT ITER 3402 NEW BEST:: SOT 4425930 SOS 762426 HAS SOPS 762426 HAS SOUS 646140 HAS SOUPS 646140 WITH SCORE 646902.426
AT ITER 3405 NEW BEST:: SOT 4425929 SOS 762424 HAS SOPS 762424 HAS SOUS 646138 HAS SOUPS 646138 WITH SCORE 646900.424
AT ITER 3408 NEW BEST:: SOT 4425895 SOS 762443 HAS SOPS 762443 HAS SOUS 646133 HAS SOUPS 646133 WITH SCORE 646895.443
AT ITER 3412 NEW BEST:: SOT 4425895 SOS 762443 HAS SOPS 762443 HAS SOUS 646086 HAS SOUPS 646086 WITH SCORE 646848.443
AT ITER 3423 NEW BEST:: SOT 4425895 SOS 762443 HAS SOPS 762443 HAS SOUS 646085 HAS SOUPS 646085 WITH SCORE 646847.443
AT ITER 3427 NEW BEST:: SOT 4425574 SOS 762651 HAS SOPS 762651 HAS SOUS 645771 HAS SOUPS 645771 WITH SCORE 646533.651
AT ITER 3428 NEW BEST:: SOT 4425573 SOS 762649 HAS SOPS 762649 HAS SOUS 645769 HAS SOUPS 645769 WITH SCORE 646531.649
AT ITER 3437 NEW BEST:: SOT 4425541 SOS 762617 HAS SOPS 762617 HAS SOUS 645737 HAS SOUPS 645737 WITH SCORE 646499.617
AT ITER 3438 NEW BEST:: SOT 4425395 SOS 762783 HAS SOPS 762783 HAS SOUS 645706 HAS SOUPS 645706 WITH SCORE 646468.783
AT ITER 3447 NEW BEST:: SOT 4425393 SOS 762781 HAS SOPS 762781 HAS SOUS 645704 HAS SOUPS 645704 WITH SCORE 646466.781
AT ITER 3470 NEW BEST:: SOT 4425297 SOS 762589 HAS SOPS 762589 HAS SOUS 645512 HAS SOUPS 645512 WITH SCORE 646274.589
AT ITER 3511 NEW BEST:: SOT 4425122 SOS 762239 HAS SOPS 762239 HAS SOUS 645351 HAS SOUPS 645351 WITH SCORE 646113.239
AT ITER 3543 NEW BEST:: SOT 4425074 SOS 762246 HAS SOPS 762246 HAS SOUS 645318 HAS SOUPS 645318 WITH SCORE 646080.246
AT ITER 3565 NEW BEST:: SOT 4424864 SOS 762036 HAS SOPS 762036 HAS SOUS 645108 HAS SOUPS 645108 WITH SCORE 645870.036
AT ITER 3577 NEW BEST:: SOT 4424761 SOS 762013 HAS SOPS 762013 HAS SOUS 645005 HAS SOUPS 645005 WITH SCORE 645767.013
AT ITER 3579 NEW BEST:: SOT 4424527 SOS 761779 HAS SOPS 761779 HAS SOUS 644771 HAS SOUPS 644771 WITH SCORE 645532.779
AT ITER 3592 NEW BEST:: SOT 4424500 SOS 761725 HAS SOPS 761725 HAS SOUS 644717 HAS SOUPS 644717 WITH SCORE 645478.725
AT ITER 3636 NEW BEST:: SOT 4424492 SOS 761720 HAS SOPS 761720 HAS SOUS 644709 HAS SOUPS 644709 WITH SCORE 645470.72
AT ITER 3640 NEW BEST:: SOT 4424492 SOS 761422 HAS SOPS 761422 HAS SOUS 644709 HAS SOUPS 644709 WITH SCORE 645470.422
AT ITER 3653 NEW BEST:: SOT 4424491 SOS 761042 HAS SOPS 761042 HAS SOUS 644707 HAS SOUPS 644707 WITH SCORE 645468.042
AT ITER 3681 NEW BEST:: SOT 4424491 SOS 760972 HAS SOPS 760972 HAS SOUS 644707 HAS SOUPS 644707 WITH SCORE 645467.972
AT ITER 3694 NEW BEST:: SOT 4424267 SOS 760132 HAS SOPS 760132 HAS SOUS 644221 HAS SOUPS 644221 WITH SCORE 644981.132
AT ITER 3719 NEW BEST:: SOT 4424127 SOS 760096 HAS SOPS 760096 HAS SOUS 644036 HAS SOUPS 644036 WITH SCORE 644796.096
AT ITER 3723 NEW BEST:: SOT 4424127 SOS 760059 HAS SOPS 760059 HAS SOUS 643999 HAS SOUPS 643999 WITH SCORE 644759.059
AT ITER 3728 NEW BEST:: SOT 4424083 SOS 759901 HAS SOPS 759901 HAS SOUS 643955 HAS SOUPS 643955 WITH SCORE 644714.901
AT ITER 3730 NEW BEST:: SOT 4424057 SOS 759849 HAS SOPS 759849 HAS SOUS 643903 HAS SOUPS 643903 WITH SCORE 644662.849
AT ITER 3746 NEW BEST:: SOT 4424057 SOS 759849 HAS SOPS 759849 HAS SOUS 643860 HAS SOUPS 643860 WITH SCORE 644619.849
AT ITER 3764 NEW BEST:: SOT 4423867 SOS 759469 HAS SOPS 759469 HAS SOUS 643670 HAS SOUPS 643670 WITH SCORE 644429.469
AT ITER 3766 NEW BEST:: SOT 4423780 SOS 759481 HAS SOPS 759481 HAS SOUS 643633 HAS SOUPS 643633 WITH SCORE 644392.481
AT ITER 3781 NEW BEST:: SOT 4423758 SOS 759459 HAS SOPS 759459 HAS SOUS 643611 HAS SOUPS 643611 WITH SCORE 644370.459
AT ITER 3788 NEW BEST:: SOT 4423753 SOS 759449 HAS SOPS 759449 HAS SOUS 643601 HAS SOUPS 643601 WITH SCORE 644360.449
AT ITER 3836 NEW BEST:: SOT 4423833 SOS 759418 HAS SOPS 759418 HAS SOUS 643570 HAS SOUPS 643570 WITH SCORE 644329.418
AT ITER 3846 NEW BEST:: SOT 4423543 SOS 759166 HAS SOPS 759166 HAS SOUS 643318 HAS SOUPS 643318 WITH SCORE 644077.166
AT ITER 3855 NEW BEST:: SOT 4423231 SOS 759059 HAS SOPS 759059 HAS SOUS 643211 HAS SOUPS 643211 WITH SCORE 643970.059
AT ITER 3862 NEW BEST:: SOT 4423128 SOS 758853 HAS SOPS 758853 HAS SOUS 643211 HAS SOUPS 643211 WITH SCORE 643969.853
AT ITER 3933 NEW BEST:: SOT 4423126 SOS 758849 HAS SOPS 758849 HAS SOUS 643207 HAS SOUPS 643207 WITH SCORE 643965.849
AT ITER 3977 NEW BEST:: SOT 4423126 SOS 758849 HAS SOPS 758849 HAS SOUS 643196 HAS SOUPS 643196 WITH SCORE 643954.849
AT ITER 4003 NEW BEST:: SOT 4422804 SOS 758205 HAS SOPS 758205 HAS SOUS 642552 HAS SOUPS 642552 WITH SCORE 643310.205
AT ITER 4015 NEW BEST:: SOT 4422034 SOS 759171 HAS SOPS 759171 HAS SOUS 642278 HAS SOUPS 642278 WITH SCORE 643037.171
AT ITER 4082 NEW BEST:: SOT 4421933 SOS 759070 HAS SOPS 759070 HAS SOUS 642177 HAS SOUPS 642177 WITH SCORE 642936.07
AT ITER 4096 NEW BEST:: SOT 4422031 SOS 758920 HAS SOPS 758920 HAS SOUS 642064 HAS SOUPS 642064 WITH SCORE 642822.92
AT ITER 4117 NEW BEST:: SOT 4422020 SOS 758898 HAS SOPS 758898 HAS SOUS 642042 HAS SOUPS 642042 WITH SCORE 642800.898
AT ITER 4158 NEW BEST:: SOT 4421635 SOS 758602 HAS SOPS 758602 HAS SOUS 641691 HAS SOUPS 641691 WITH SCORE 642449.602
AT ITER 4171 NEW BEST:: SOT 4421562 SOS 758663 HAS SOPS 758663 HAS SOUS 641545 HAS SOUPS 641545 WITH SCORE 642303.663
AT ITER 4206 NEW BEST:: SOT 4421614 SOS 758561 HAS SOPS 758561 HAS SOUS 641538 HAS SOUPS 641538 WITH SCORE 642296.561
AT ITER 4260 NEW BEST:: SOT 4421435 SOS 758203 HAS SOPS 758203 HAS SOUS 641359 HAS SOUPS 641359 WITH SCORE 642117.203
AT ITER 4261 NEW BEST:: SOT 4421626 SOS 758102 HAS SOPS 758102 HAS SOUS 641275 HAS SOUPS 641275 WITH SCORE 642033.102
AT ITER 4284 NEW BEST:: SOT 4421553 SOS 757956 HAS SOPS 757956 HAS SOUS 641113 HAS SOUPS 641113 WITH SCORE 641870.956
AT ITER 4312 NEW BEST:: SOT 4421543 SOS 757936 HAS SOPS 757936 HAS SOUS 641098 HAS SOUPS 641098 WITH SCORE 641855.936
AT ITER 4316 NEW BEST:: SOT 4421177 SOS 757631 HAS SOPS 757631 HAS SOUS 640793 HAS SOUPS 640793 WITH SCORE 641550.631
AT ITER 4319 NEW BEST:: SOT 4421084 SOS 757445 HAS SOPS 757445 HAS SOUS 640607 HAS SOUPS 640607 WITH SCORE 641364.445
AT ITER 4328 NEW BEST:: SOT 4421027 SOS 757061 HAS SOPS 757061 HAS SOUS 640229 HAS SOUPS 640229 WITH SCORE 640986.061
AT ITER 4345 NEW BEST:: SOT 4420725 SOS 756457 HAS SOPS 756457 HAS SOUS 639625 HAS SOUPS 639625 WITH SCORE 640381.457
AT ITER 4380 NEW BEST:: SOT 4420725 SOS 756408 HAS SOPS 756408 HAS SOUS 639625 HAS SOUPS 639625 WITH SCORE 640381.408
AT ITER 4384 NEW BEST:: SOT 4420824 SOS 756606 HAS SOPS 756606 HAS SOUS 639325 HAS SOUPS 639325 WITH SCORE 640081.606
AT ITER 4435 NEW BEST:: SOT 4420747 SOS 756452 HAS SOPS 756452 HAS SOUS 639245 HAS SOUPS 639245 WITH SCORE 640001.452
AT ITER 4459 NEW BEST:: SOT 4420526 SOS 756230 HAS SOPS 756230 HAS SOUS 639023 HAS SOUPS 639023 WITH SCORE 639779.23
AT ITER 4480 NEW BEST:: SOT 4420257 SOS 756346 HAS SOPS 756346 HAS SOUS 638773 HAS SOUPS 638773 WITH SCORE 639529.346
AT ITER 4492 NEW BEST:: SOT 4420247 SOS 756316 HAS SOPS 756316 HAS SOUS 638753 HAS SOUPS 638753 WITH SCORE 639509.316
AT ITER 4496 NEW BEST:: SOT 4420168 SOS 756158 HAS SOPS 756158 HAS SOUS 638674 HAS SOUPS 638674 WITH SCORE 639430.158
AT ITER 4500 NEW BEST:: SOT 4420156 SOS 756134 HAS SOPS 756134 HAS SOUS 638662 HAS SOUPS 638662 WITH SCORE 639418.134
AT ITER 4503 NEW BEST:: SOT 4419874 SOS 756514 HAS SOPS 756514 HAS SOUS 638572 HAS SOUPS 638572 WITH SCORE 639328.514
AT ITER 4515 NEW BEST:: SOT 4419637 SOS 756376 HAS SOPS 756376 HAS SOUS 638373 HAS SOUPS 638373 WITH SCORE 639129.376
AT ITER 4522 NEW BEST:: SOT 4419617 SOS 756336 HAS SOPS 756336 HAS SOUS 638349 HAS SOUPS 638349 WITH SCORE 639105.336
AT ITER 4580 NEW BEST:: SOT 4419352 SOS 755806 HAS SOPS 755806 HAS SOUS 637819 HAS SOUPS 637819 WITH SCORE 638574.806
AT ITER 4593 NEW BEST:: SOT 4419416 SOS 755934 HAS SOPS 755934 HAS SOUS 637749 HAS SOUPS 637749 WITH SCORE 638504.934
AT ITER 4624 NEW BEST:: SOT 4419215 SOS 755752 HAS SOPS 755752 HAS SOUS 637548 HAS SOUPS 637548 WITH SCORE 638303.752
AT ITER 4668 NEW BEST:: SOT 4419189 SOS 755824 HAS SOPS 755824 HAS SOUS 637496 HAS SOUPS 637496 WITH SCORE 638251.824
AT ITER 4685 NEW BEST:: SOT 4419113 SOS 755826 HAS SOPS 755826 HAS SOUS 637434 HAS SOUPS 637434 WITH SCORE 638189.826
AT ITER 4764 NEW BEST:: SOT 4419000 SOS 755600 HAS SOPS 755600 HAS SOUS 637321 HAS SOUPS 637321 WITH SCORE 638076.6
AT ITER 4774 NEW BEST:: SOT 4419000 SOS 755571 HAS SOPS 755571 HAS SOUS 637292 HAS SOUPS 637292 WITH SCORE 638047.571
AT ITER 4777 NEW BEST:: SOT 4419081 SOS 755383 HAS SOPS 755383 HAS SOUS 637227 HAS SOUPS 637227 WITH SCORE 637982.383
AT ITER 4790 NEW BEST:: SOT 4418992 SOS 755205 HAS SOPS 755205 HAS SOUS 637049 HAS SOUPS 637049 WITH SCORE 637804.205
AT ITER 4806 NEW BEST:: SOT 4418939 SOS 755099 HAS SOPS 755099 HAS SOUS 636996 HAS SOUPS 636996 WITH SCORE 637751.099
AT ITER 4822 NEW BEST:: SOT 4418932 SOS 755106 HAS SOPS 755106 HAS SOUS 636982 HAS SOUPS 636982 WITH SCORE 637737.106
AT ITER 4833 NEW BEST:: SOT 4418932 SOS 755106 HAS SOPS 755106 HAS SOUS 636952 HAS SOUPS 636952 WITH SCORE 637707.106
AT ITER 4841 NEW BEST:: SOT 4418718 SOS 754678 HAS SOPS 754678 HAS SOUS 636524 HAS SOUPS 636524 WITH SCORE 637278.678
AT ITER 4877 NEW BEST:: SOT 4418644 SOS 754530 HAS SOPS 754530 HAS SOUS 636376 HAS SOUPS 636376 WITH SCORE 637130.53
AT ITER 4898 NEW BEST:: SOT 4418666 SOS 754103 HAS SOPS 754103 HAS SOUS 635949 HAS SOUPS 635949 WITH SCORE 636703.103
AT ITER 4927 NEW BEST:: SOT 4418557 SOS 753885 HAS SOPS 753885 HAS SOUS 635731 HAS SOUPS 635731 WITH SCORE 636484.885
AT ITER 4933 NEW BEST:: SOT 4418556 SOS 752863 HAS SOPS 752863 HAS SOUS 635729 HAS SOUPS 635729 WITH SCORE 636481.863
AT ITER 4948 NEW BEST:: SOT 4418510 SOS 752796 HAS SOPS 752796 HAS SOUS 635626 HAS SOUPS 635626 WITH SCORE 636378.796
AT ITER 4961 NEW BEST:: SOT 4418921 SOS 752488 HAS SOPS 752488 HAS SOUS 635523 HAS SOUPS 635523 WITH SCORE 636275.488
AT ITER 4981 NEW BEST:: SOT 4418874 SOS 752394 HAS SOPS 752394 HAS SOUS 635476 HAS SOUPS 635476 WITH SCORE 636228.394
AT ITER 4987 NEW BEST:: SOT 4418774 SOS 752194 HAS SOPS 752194 HAS SOUS 635276 HAS SOUPS 635276 WITH SCORE 636028.194
AT ITER 4993 NEW BEST:: SOT 4418656 SOS 752076 HAS SOPS 752076 HAS SOUS 635158 HAS SOUPS 635158 WITH SCORE 635910.076
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-00 (EG( (EG( ( potential( (tk(P131)) <= (tk(P486)) ) | potential( (tk(P702)) <= (tk(P1078)) ) )))))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-01 (AU( ( potential( (tk(P1768)) <= (tk(P917)) ) | (! potential( ( 2 ) <= (tk(P400)) )) ),potential( ( 2 ) <= (tk(P1154)) ) ))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-02 (AG( (EX( (! potential( ( 3 ) <= (tk(P2017)) ))))))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-03 (AF((AG( (! potential( (tk(P906)) <= (tk(P1521)) ))))))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-04 ( (EG( (! ( potential( ( 2 ) <= (tk(P1085)) ) & potential( ( 1 ) <= (tk(P958)) ) )))) & (AF((! (! potential( ( 1 ) <= (tk(P389)) ))))) )
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-05 (EX( (EG( ( potential( ( 1 ) <= (tk(P2191)) ) | potential( (tk(P969)) <= (tk(P656)) ) )))))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-06 (EU( ( ( potential( (tk(P175)) <= (tk(P1067)) ) | potential( ( 3 ) <= (tk(P2367)) ) ) & potential( (tk(P972)) <= (tk(P390)) ) ),potential( ( 1 ) <= (tk(P1439)) ) ))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-07 (EG( potential( (tk(P2557)) <= (tk(P2093)) )))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-08 ( ( ( (EF(potential( ( 2 ) <= (tk(P1351)) ))) | (! ( potential( (tk(P957)) <= (tk(P990)) ) & potential( (tk(P2422)) <= (tk(P1130)) ) )) ) | (! (! (! potential( (tk(P1640)) <= (tk(P2563)) )))) ) & (EF(potential( (tk(P2564)) <= (tk(P2163)) ))) )
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-09 ( potential( ( 3 ) <= (tk(P1177)) ) | (AU( ( potential( (tk(P785)) <= (tk(P1285)) ) | potential( ( 2 ) <= (tk(P563)) ) ),(! potential( (tk(P2553)) <= (tk(P781)) )) )) )
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-10 ( (! (! (AG( potential( (tk(P300)) <= (tk(P590)) ))))) & (! (! (EG( potential( (tk(P900)) <= (tk(P1711)) ))))) )
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-11 ( (! (! (EX( potential( (tk(P680)) <= (tk(P1879)) ))))) & (EF(( ( potential( ( 2 ) <= (tk(P1732)) ) & potential( (tk(P339)) <= (tk(P213)) ) ) & ( potential( ( 2 ) <= (tk(P127)) ) | potential( ( 2 ) <= (tk(P2353)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-12 (AG( (! (! ( potential( ( 1 ) <= (tk(P2478)) ) | potential( (tk(P115)) <= (tk(P1275)) ) )))))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-13 ( (AF((! ( potential( (tk(P1019)) <= (tk(P355)) ) & potential( (tk(P1549)) <= (tk(P1286)) ) )))) & (EX( (EG( potential( (tk(P1853)) <= (tk(P586)) ))))) )
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-14 (AX( (EF(( potential( ( 2 ) <= (tk(P239)) ) & potential( ( 1 ) <= (tk(P2110)) ) )))))
PROPERTY: CloudReconfiguration-PT-320-CTLCardinality-15 (! (! (EG( potential( (tk(P1501)) <= (tk(P1992)) )))))

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

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