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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 852K
-rw-r--r-- 1 mcc users 4.4K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:12 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.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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-302-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-302-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589088016169

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 302
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 4449289 SOS 709645 HAS SOPS 709645 HAS SOUS 687806 HAS SOUPS 687806 WITH SCORE 688515.645
AT ITER 11 NEW BEST:: SOT 4449076 SOS 709219 HAS SOPS 709219 HAS SOUS 687380 HAS SOUPS 687380 WITH SCORE 688089.219
AT ITER 37 NEW BEST:: SOT 4448989 SOS 709229 HAS SOPS 709229 HAS SOUS 687293 HAS SOUPS 687293 WITH SCORE 688002.229
AT ITER 49 NEW BEST:: SOT 4448824 SOS 708899 HAS SOPS 708899 HAS SOUS 686756 HAS SOUPS 686756 WITH SCORE 687464.899
AT ITER 61 NEW BEST:: SOT 4448697 SOS 708770 HAS SOPS 708770 HAS SOUS 686628 HAS SOUPS 686628 WITH SCORE 687336.77
AT ITER 119 NEW BEST:: SOT 4448677 SOS 708750 HAS SOPS 708750 HAS SOUS 686608 HAS SOUPS 686608 WITH SCORE 687316.75
AT ITER 155 NEW BEST:: SOT 4448540 SOS 708476 HAS SOPS 708476 HAS SOUS 686334 HAS SOUPS 686334 WITH SCORE 687042.476
AT ITER 168 NEW BEST:: SOT 4448313 SOS 708249 HAS SOPS 708249 HAS SOUS 686107 HAS SOUPS 686107 WITH SCORE 686815.249
AT ITER 192 NEW BEST:: SOT 4448273 SOS 708304 HAS SOPS 708304 HAS SOUS 686091 HAS SOUPS 686091 WITH SCORE 686799.304
AT ITER 200 NEW BEST:: SOT 4448218 SOS 708323 HAS SOPS 708323 HAS SOUS 686036 HAS SOUPS 686036 WITH SCORE 686744.323
AT ITER 220 NEW BEST:: SOT 4448206 SOS 708299 HAS SOPS 708299 HAS SOUS 686012 HAS SOUPS 686012 WITH SCORE 686720.299
AT ITER 281 NEW BEST:: SOT 4447885 SOS 708110 HAS SOPS 708110 HAS SOUS 685618 HAS SOUPS 685618 WITH SCORE 686326.11
AT ITER 304 NEW BEST:: SOT 4447441 SOS 708068 HAS SOPS 708068 HAS SOUS 685343 HAS SOUPS 685343 WITH SCORE 686051.068
AT ITER 322 NEW BEST:: SOT 4447075 SOS 707756 HAS SOPS 707756 HAS SOUS 684881 HAS SOUPS 684881 WITH SCORE 685588.756
AT ITER 377 NEW BEST:: SOT 4447087 SOS 707446 HAS SOPS 707446 HAS SOUS 684776 HAS SOUPS 684776 WITH SCORE 685483.446
AT ITER 385 NEW BEST:: SOT 4446752 SOS 707122 HAS SOPS 707122 HAS SOUS 684336 HAS SOUPS 684336 WITH SCORE 685043.122
AT ITER 409 NEW BEST:: SOT 4446672 SOS 706962 HAS SOPS 706962 HAS SOUS 684176 HAS SOUPS 684176 WITH SCORE 684882.962
AT ITER 421 NEW BEST:: SOT 4446672 SOS 706914 HAS SOPS 706914 HAS SOUS 684128 HAS SOUPS 684128 WITH SCORE 684834.914
AT ITER 427 NEW BEST:: SOT 4446615 SOS 706800 HAS SOPS 706800 HAS SOUS 684014 HAS SOUPS 684014 WITH SCORE 684720.8
AT ITER 434 NEW BEST:: SOT 4446267 SOS 706452 HAS SOPS 706452 HAS SOUS 683579 HAS SOUPS 683579 WITH SCORE 684285.452
AT ITER 435 NEW BEST:: SOT 4446267 SOS 706452 HAS SOPS 706452 HAS SOUS 683578 HAS SOUPS 683578 WITH SCORE 684284.452
AT ITER 441 NEW BEST:: SOT 4446168 SOS 706052 HAS SOPS 706052 HAS SOUS 683328 HAS SOUPS 683328 WITH SCORE 684034.052
AT ITER 442 NEW BEST:: SOT 4445944 SOS 705828 HAS SOPS 705828 HAS SOUS 683104 HAS SOUPS 683104 WITH SCORE 683809.828
AT ITER 445 NEW BEST:: SOT 4445831 SOS 705782 HAS SOPS 705782 HAS SOUS 683030 HAS SOUPS 683030 WITH SCORE 683735.782
AT ITER 449 NEW BEST:: SOT 4445579 SOS 705278 HAS SOPS 705278 HAS SOUS 682463 HAS SOUPS 682463 WITH SCORE 683168.278
AT ITER 511 NEW BEST:: SOT 4445578 SOS 705276 HAS SOPS 705276 HAS SOUS 682461 HAS SOUPS 682461 WITH SCORE 683166.276
AT ITER 515 NEW BEST:: SOT 4445336 SOS 704792 HAS SOPS 704792 HAS SOUS 681977 HAS SOUPS 681977 WITH SCORE 682681.792
AT ITER 560 NEW BEST:: SOT 4445022 SOS 704472 HAS SOPS 704472 HAS SOUS 681355 HAS SOUPS 681355 WITH SCORE 682059.472
AT ITER 579 NEW BEST:: SOT 4445011 SOS 704450 HAS SOPS 704450 HAS SOUS 681341 HAS SOUPS 681341 WITH SCORE 682045.45
AT ITER 583 NEW BEST:: SOT 4444862 SOS 704152 HAS SOPS 704152 HAS SOUS 680740 HAS SOUPS 680740 WITH SCORE 681444.152
AT ITER 613 NEW BEST:: SOT 4444793 SOS 704219 HAS SOPS 704219 HAS SOUS 680691 HAS SOUPS 680691 WITH SCORE 681395.219
AT ITER 616 NEW BEST:: SOT 4444790 SOS 704213 HAS SOPS 704213 HAS SOUS 680685 HAS SOUPS 680685 WITH SCORE 681389.213
AT ITER 618 NEW BEST:: SOT 4444790 SOS 704167 HAS SOPS 704167 HAS SOUS 680685 HAS SOUPS 680685 WITH SCORE 681389.167
AT ITER 625 NEW BEST:: SOT 4443417 SOS 724101 HAS SOPS 724101 HAS SOUS 680093 HAS SOUPS 680093 WITH SCORE 680817.101
AT ITER 650 NEW BEST:: SOT 4443331 SOS 723929 HAS SOPS 723929 HAS SOUS 679921 HAS SOUPS 679921 WITH SCORE 680644.929
AT ITER 671 NEW BEST:: SOT 4443313 SOS 723893 HAS SOPS 723893 HAS SOUS 679892 HAS SOUPS 679892 WITH SCORE 680615.893
AT ITER 685 NEW BEST:: SOT 4443194 SOS 723654 HAS SOPS 723654 HAS SOUS 679653 HAS SOUPS 679653 WITH SCORE 680376.654
AT ITER 691 NEW BEST:: SOT 4443083 SOS 723845 HAS SOPS 723845 HAS SOUS 679579 HAS SOUPS 679579 WITH SCORE 680302.845
AT ITER 693 NEW BEST:: SOT 4442811 SOS 723573 HAS SOPS 723573 HAS SOUS 679307 HAS SOUPS 679307 WITH SCORE 680030.573
AT ITER 699 NEW BEST:: SOT 4442634 SOS 723219 HAS SOPS 723219 HAS SOUS 678953 HAS SOUPS 678953 WITH SCORE 679676.219
AT ITER 704 NEW BEST:: SOT 4442583 SOS 723117 HAS SOPS 723117 HAS SOUS 678851 HAS SOUPS 678851 WITH SCORE 679574.117
AT ITER 722 NEW BEST:: SOT 4442119 SOS 722531 HAS SOPS 722531 HAS SOUS 678265 HAS SOUPS 678265 WITH SCORE 678987.531
AT ITER 729 NEW BEST:: SOT 4442081 SOS 722417 HAS SOPS 722417 HAS SOUS 678227 HAS SOUPS 678227 WITH SCORE 678949.417
AT ITER 747 NEW BEST:: SOT 4441973 SOS 722345 HAS SOPS 722345 HAS SOUS 678119 HAS SOUPS 678119 WITH SCORE 678841.345
AT ITER 760 NEW BEST:: SOT 4441973 SOS 722345 HAS SOPS 722345 HAS SOUS 678087 HAS SOUPS 678087 WITH SCORE 678809.345
AT ITER 763 NEW BEST:: SOT 4436975 SOS 717347 HAS SOPS 717347 HAS SOUS 673089 HAS SOUPS 673089 WITH SCORE 673806.347
AT ITER 772 NEW BEST:: SOT 4436677 SOS 717058 HAS SOPS 717058 HAS SOUS 672796 HAS SOUPS 672796 WITH SCORE 673513.058
AT ITER 855 NEW BEST:: SOT 4436644 SOS 716992 HAS SOPS 716992 HAS SOUS 672730 HAS SOUPS 672730 WITH SCORE 673446.992
AT ITER 909 NEW BEST:: SOT 4436541 SOS 716786 HAS SOPS 716786 HAS SOUS 672524 HAS SOUPS 672524 WITH SCORE 673240.786
AT ITER 926 NEW BEST:: SOT 4436420 SOS 716679 HAS SOPS 716679 HAS SOUS 672415 HAS SOUPS 672415 WITH SCORE 673131.679
AT ITER 941 NEW BEST:: SOT 4436207 SOS 716537 HAS SOPS 716537 HAS SOUS 672273 HAS SOUPS 672273 WITH SCORE 672989.537
AT ITER 954 NEW BEST:: SOT 4436174 SOS 716471 HAS SOPS 716471 HAS SOUS 672240 HAS SOUPS 672240 WITH SCORE 672956.471
AT ITER 957 NEW BEST:: SOT 4435694 SOS 715991 HAS SOPS 715991 HAS SOUS 671760 HAS SOUPS 671760 WITH SCORE 672475.991
AT ITER 969 NEW BEST:: SOT 4435645 SOS 715893 HAS SOPS 715893 HAS SOUS 671662 HAS SOUPS 671662 WITH SCORE 672377.893
AT ITER 995 NEW BEST:: SOT 4435402 SOS 715407 HAS SOPS 715407 HAS SOUS 671176 HAS SOUPS 671176 WITH SCORE 671891.407
AT ITER 1010 NEW BEST:: SOT 4435381 SOS 715365 HAS SOPS 715365 HAS SOUS 671155 HAS SOUPS 671155 WITH SCORE 671870.365
AT ITER 1061 NEW BEST:: SOT 4435208 SOS 715019 HAS SOPS 715019 HAS SOUS 670668 HAS SOUPS 670668 WITH SCORE 671383.019
AT ITER 1125 NEW BEST:: SOT 4433540 SOS 715673 HAS SOPS 715673 HAS SOUS 669078 HAS SOUPS 669078 WITH SCORE 669793.673
AT ITER 1141 NEW BEST:: SOT 4433507 SOS 715607 HAS SOPS 715607 HAS SOUS 669012 HAS SOUPS 669012 WITH SCORE 669727.607
AT ITER 1190 NEW BEST:: SOT 4433344 SOS 715281 HAS SOPS 715281 HAS SOUS 668686 HAS SOUPS 668686 WITH SCORE 669401.281
AT ITER 1192 NEW BEST:: SOT 4433344 SOS 715217 HAS SOPS 715217 HAS SOUS 668686 HAS SOUPS 668686 WITH SCORE 669401.217
AT ITER 1233 NEW BEST:: SOT 4433218 SOS 714965 HAS SOPS 714965 HAS SOUS 668434 HAS SOUPS 668434 WITH SCORE 669148.965
AT ITER 1236 NEW BEST:: SOT 4433056 SOS 714456 HAS SOPS 714456 HAS SOUS 668287 HAS SOUPS 668287 WITH SCORE 669001.456
AT ITER 1254 NEW BEST:: SOT 4433055 SOS 714454 HAS SOPS 714454 HAS SOUS 668285 HAS SOUPS 668285 WITH SCORE 668999.454
AT ITER 1270 NEW BEST:: SOT 4433016 SOS 714419 HAS SOPS 714419 HAS SOUS 668249 HAS SOUPS 668249 WITH SCORE 668963.419
AT ITER 1279 NEW BEST:: SOT 4432804 SOS 713995 HAS SOPS 713995 HAS SOUS 667825 HAS SOUPS 667825 WITH SCORE 668538.995
AT ITER 1291 NEW BEST:: SOT 4432428 SOS 713619 HAS SOPS 713619 HAS SOUS 667449 HAS SOUPS 667449 WITH SCORE 668162.619
AT ITER 1341 NEW BEST:: SOT 4432266 SOS 713488 HAS SOPS 713488 HAS SOUS 667296 HAS SOUPS 667296 WITH SCORE 668009.488
AT ITER 1351 NEW BEST:: SOT 4432266 SOS 713418 HAS SOPS 713418 HAS SOUS 667226 HAS SOUPS 667226 WITH SCORE 667939.418
AT ITER 1403 NEW BEST:: SOT 4432099 SOS 713084 HAS SOPS 713084 HAS SOUS 666892 HAS SOUPS 666892 WITH SCORE 667605.084
AT ITER 1410 NEW BEST:: SOT 4431953 SOS 712792 HAS SOPS 712792 HAS SOUS 666600 HAS SOUPS 666600 WITH SCORE 667312.792
AT ITER 1444 NEW BEST:: SOT 4431883 SOS 712652 HAS SOPS 712652 HAS SOUS 666460 HAS SOUPS 666460 WITH SCORE 667172.652
AT ITER 1453 NEW BEST:: SOT 4431661 SOS 712208 HAS SOPS 712208 HAS SOUS 666016 HAS SOUPS 666016 WITH SCORE 666728.208
AT ITER 1463 NEW BEST:: SOT 4431661 SOS 712091 HAS SOPS 712091 HAS SOUS 665899 HAS SOUPS 665899 WITH SCORE 666611.091
AT ITER 1464 NEW BEST:: SOT 4431445 SOS 711659 HAS SOPS 711659 HAS SOUS 665422 HAS SOUPS 665422 WITH SCORE 666133.659
AT ITER 1520 NEW BEST:: SOT 4431445 SOS 711620 HAS SOPS 711620 HAS SOUS 665383 HAS SOUPS 665383 WITH SCORE 666094.62
AT ITER 1525 NEW BEST:: SOT 4431365 SOS 711460 HAS SOPS 711460 HAS SOUS 665223 HAS SOUPS 665223 WITH SCORE 665934.46
AT ITER 1555 NEW BEST:: SOT 4431100 SOS 710930 HAS SOPS 710930 HAS SOUS 664693 HAS SOUPS 664693 WITH SCORE 665403.93
AT ITER 1570 NEW BEST:: SOT 4431078 SOS 710886 HAS SOPS 710886 HAS SOUS 664671 HAS SOUPS 664671 WITH SCORE 665381.886
AT ITER 1608 NEW BEST:: SOT 4431039 SOS 710902 HAS SOPS 710902 HAS SOUS 664632 HAS SOUPS 664632 WITH SCORE 665342.902
AT ITER 1609 NEW BEST:: SOT 4430930 SOS 710920 HAS SOPS 710920 HAS SOUS 664567 HAS SOUPS 664567 WITH SCORE 665277.92
AT ITER 1693 NEW BEST:: SOT 4430679 SOS 710672 HAS SOPS 710672 HAS SOUS 664319 HAS SOUPS 664319 WITH SCORE 665029.672
AT ITER 1700 NEW BEST:: SOT 4430636 SOS 710586 HAS SOPS 710586 HAS SOUS 664276 HAS SOUPS 664276 WITH SCORE 664986.586
AT ITER 1702 NEW BEST:: SOT 4430549 SOS 710511 HAS SOPS 710511 HAS SOUS 664196 HAS SOUPS 664196 WITH SCORE 664906.511
AT ITER 1705 NEW BEST:: SOT 4430549 SOS 710444 HAS SOPS 710444 HAS SOUS 664129 HAS SOUPS 664129 WITH SCORE 664839.444
AT ITER 1706 NEW BEST:: SOT 4430503 SOS 710443 HAS SOPS 710443 HAS SOUS 664128 HAS SOUPS 664128 WITH SCORE 664838.443
AT ITER 1724 NEW BEST:: SOT 4430439 SOS 710315 HAS SOPS 710315 HAS SOUS 664064 HAS SOUPS 664064 WITH SCORE 664774.315
AT ITER 1752 NEW BEST:: SOT 4430378 SOS 710288 HAS SOPS 710288 HAS SOUS 664003 HAS SOUPS 664003 WITH SCORE 664713.288
AT ITER 1765 NEW BEST:: SOT 4430503 SOS 710538 HAS SOPS 710538 HAS SOUS 663803 HAS SOUPS 663803 WITH SCORE 664513.538
AT ITER 1784 NEW BEST:: SOT 4430487 SOS 710506 HAS SOPS 710506 HAS SOUS 663787 HAS SOUPS 663787 WITH SCORE 664497.506
AT ITER 1796 NEW BEST:: SOT 4430428 SOS 710388 HAS SOPS 710388 HAS SOUS 663585 HAS SOUPS 663585 WITH SCORE 664295.388
AT ITER 1827 NEW BEST:: SOT 4430408 SOS 710348 HAS SOPS 710348 HAS SOUS 663565 HAS SOUPS 663565 WITH SCORE 664275.348
AT ITER 1870 NEW BEST:: SOT 4430142 SOS 709816 HAS SOPS 709816 HAS SOUS 663299 HAS SOUPS 663299 WITH SCORE 664008.816
AT ITER 1879 NEW BEST:: SOT 4429687 SOS 709361 HAS SOPS 709361 HAS SOUS 662844 HAS SOUPS 662844 WITH SCORE 663553.361
AT ITER 1889 NEW BEST:: SOT 4429718 SOS 709156 HAS SOPS 709156 HAS SOUS 662755 HAS SOUPS 662755 WITH SCORE 663464.156
AT ITER 1904 NEW BEST:: SOT 4429760 SOS 709116 HAS SOPS 709116 HAS SOUS 662673 HAS SOUPS 662673 WITH SCORE 663382.116
AT ITER 1949 NEW BEST:: SOT 4429064 SOS 708696 HAS SOPS 708696 HAS SOUS 661977 HAS SOUPS 661977 WITH SCORE 662685.696
AT ITER 1956 NEW BEST:: SOT 4428952 SOS 708472 HAS SOPS 708472 HAS SOUS 661753 HAS SOUPS 661753 WITH SCORE 662461.472
AT ITER 1968 NEW BEST:: SOT 4428862 SOS 708397 HAS SOPS 708397 HAS SOUS 661671 HAS SOUPS 661671 WITH SCORE 662379.397
AT ITER 1972 NEW BEST:: SOT 4428863 SOS 708322 HAS SOPS 708322 HAS SOUS 661595 HAS SOUPS 661595 WITH SCORE 662303.322
AT ITER 1976 NEW BEST:: SOT 4428731 SOS 708058 HAS SOPS 708058 HAS SOUS 661562 HAS SOUPS 661562 WITH SCORE 662270.058
AT ITER 1980 NEW BEST:: SOT 4428898 SOS 708288 HAS SOPS 708288 HAS SOUS 661494 HAS SOUPS 661494 WITH SCORE 662202.288
AT ITER 1999 NEW BEST:: SOT 4428898 SOS 708288 HAS SOPS 708288 HAS SOUS 661404 HAS SOUPS 661404 WITH SCORE 662112.288
AT ITER 2014 NEW BEST:: SOT 4428870 SOS 708232 HAS SOPS 708232 HAS SOUS 661348 HAS SOUPS 661348 WITH SCORE 662056.232
AT ITER 2029 NEW BEST:: SOT 4428776 SOS 707731 HAS SOPS 707731 HAS SOUS 660961 HAS SOUPS 660961 WITH SCORE 661668.731
AT ITER 2059 NEW BEST:: SOT 4428674 SOS 707527 HAS SOPS 707527 HAS SOUS 660757 HAS SOUPS 660757 WITH SCORE 661464.527
AT ITER 2087 NEW BEST:: SOT 4428670 SOS 707519 HAS SOPS 707519 HAS SOUS 660749 HAS SOUPS 660749 WITH SCORE 661456.519
AT ITER 2097 NEW BEST:: SOT 4428670 SOS 707399 HAS SOPS 707399 HAS SOUS 660629 HAS SOUPS 660629 WITH SCORE 661336.399
AT ITER 2125 NEW BEST:: SOT 4428517 SOS 707093 HAS SOPS 707093 HAS SOUS 660323 HAS SOUPS 660323 WITH SCORE 661030.093
AT ITER 2133 NEW BEST:: SOT 4428517 SOS 706962 HAS SOPS 706962 HAS SOUS 660192 HAS SOUPS 660192 WITH SCORE 660898.962
AT ITER 2139 NEW BEST:: SOT 4428493 SOS 706914 HAS SOPS 706914 HAS SOUS 660144 HAS SOUPS 660144 WITH SCORE 660850.914
AT ITER 2171 NEW BEST:: SOT 4428201 SOS 706330 HAS SOPS 706330 HAS SOUS 659561 HAS SOUPS 659561 WITH SCORE 660267.33
AT ITER 2243 NEW BEST:: SOT 4428403 SOS 706377 HAS SOPS 706377 HAS SOUS 659406 HAS SOUPS 659406 WITH SCORE 660112.377
AT ITER 2253 NEW BEST:: SOT 4428403 SOS 706256 HAS SOPS 706256 HAS SOUS 659285 HAS SOUPS 659285 WITH SCORE 659991.256
AT ITER 2277 NEW BEST:: SOT 4427944 SOS 705950 HAS SOPS 705950 HAS SOUS 658826 HAS SOUPS 658826 WITH SCORE 659531.95
AT ITER 2292 NEW BEST:: SOT 4427864 SOS 705790 HAS SOPS 705790 HAS SOUS 658666 HAS SOUPS 658666 WITH SCORE 659371.79
AT ITER 2299 NEW BEST:: SOT 4427864 SOS 705790 HAS SOPS 705790 HAS SOUS 658665 HAS SOUPS 658665 WITH SCORE 659370.79
AT ITER 2304 NEW BEST:: SOT 4427851 SOS 705764 HAS SOPS 705764 HAS SOUS 658639 HAS SOUPS 658639 WITH SCORE 659344.764
AT ITER 2309 NEW BEST:: SOT 4427735 SOS 705714 HAS SOPS 705714 HAS SOUS 658558 HAS SOUPS 658558 WITH SCORE 659263.714
AT ITER 2321 NEW BEST:: SOT 4427774 SOS 705435 HAS SOPS 705435 HAS SOUS 658399 HAS SOUPS 658399 WITH SCORE 659104.435
AT ITER 2327 NEW BEST:: SOT 4427867 SOS 705621 HAS SOPS 705621 HAS SOUS 658396 HAS SOUPS 658396 WITH SCORE 659101.621
AT ITER 2352 NEW BEST:: SOT 4427804 SOS 705495 HAS SOPS 705495 HAS SOUS 658270 HAS SOUPS 658270 WITH SCORE 658975.495
AT ITER 2364 NEW BEST:: SOT 4427757 SOS 704932 HAS SOPS 704932 HAS SOUS 657903 HAS SOUPS 657903 WITH SCORE 658607.932
AT ITER 2368 NEW BEST:: SOT 4427873 SOS 704824 HAS SOPS 704824 HAS SOUS 657891 HAS SOUPS 657891 WITH SCORE 658595.824
AT ITER 2370 NEW BEST:: SOT 4427823 SOS 704724 HAS SOPS 704724 HAS SOUS 657791 HAS SOUPS 657791 WITH SCORE 658495.724
AT ITER 2390 NEW BEST:: SOT 4427953 SOS 704984 HAS SOPS 704984 HAS SOUS 657726 HAS SOUPS 657726 WITH SCORE 658430.984
AT ITER 2397 NEW BEST:: SOT 4427922 SOS 704922 HAS SOPS 704922 HAS SOUS 657632 HAS SOUPS 657632 WITH SCORE 658336.922
AT ITER 2432 NEW BEST:: SOT 4427932 SOS 704942 HAS SOPS 704942 HAS SOUS 657597 HAS SOUPS 657597 WITH SCORE 658301.942
AT ITER 2457 NEW BEST:: SOT 4427848 SOS 704886 HAS SOPS 704886 HAS SOUS 657513 HAS SOUPS 657513 WITH SCORE 658217.886
AT ITER 2472 NEW BEST:: SOT 4427774 SOS 704738 HAS SOPS 704738 HAS SOUS 657438 HAS SOUPS 657438 WITH SCORE 658142.738
AT ITER 2503 NEW BEST:: SOT 4427756 SOS 704702 HAS SOPS 704702 HAS SOUS 657420 HAS SOUPS 657420 WITH SCORE 658124.702
AT ITER 2522 NEW BEST:: SOT 4427420 SOS 704450 HAS SOPS 704450 HAS SOUS 657084 HAS SOUPS 657084 WITH SCORE 657788.45
AT ITER 2528 NEW BEST:: SOT 4427232 SOS 704325 HAS SOPS 704325 HAS SOUS 656933 HAS SOUPS 656933 WITH SCORE 657637.325
AT ITER 2536 NEW BEST:: SOT 4427232 SOS 704215 HAS SOPS 704215 HAS SOUS 656878 HAS SOUPS 656878 WITH SCORE 657582.215
AT ITER 2560 NEW BEST:: SOT 4426904 SOS 703867 HAS SOPS 703867 HAS SOUS 656283 HAS SOUPS 656283 WITH SCORE 656986.867
AT ITER 2565 NEW BEST:: SOT 4426939 SOS 703748 HAS SOPS 703748 HAS SOUS 656165 HAS SOUPS 656165 WITH SCORE 656868.748
AT ITER 2587 NEW BEST:: SOT 4426879 SOS 703628 HAS SOPS 703628 HAS SOUS 656045 HAS SOUPS 656045 WITH SCORE 656748.628
AT ITER 2630 NEW BEST:: SOT 4426879 SOS 703580 HAS SOPS 703580 HAS SOUS 656045 HAS SOUPS 656045 WITH SCORE 656748.58
AT ITER 2696 NEW BEST:: SOT 4426819 SOS 703460 HAS SOPS 703460 HAS SOUS 655925 HAS SOUPS 655925 WITH SCORE 656628.46
AT ITER 2697 NEW BEST:: SOT 4426819 SOS 703452 HAS SOPS 703452 HAS SOUS 655917 HAS SOUPS 655917 WITH SCORE 656620.452
AT ITER 2786 NEW BEST:: SOT 4426967 SOS 703200 HAS SOPS 703200 HAS SOUS 655758 HAS SOUPS 655758 WITH SCORE 656461.2
AT ITER 2787 NEW BEST:: SOT 4426818 SOS 702901 HAS SOPS 702901 HAS SOUS 655459 HAS SOUPS 655459 WITH SCORE 656161.901
AT ITER 2788 NEW BEST:: SOT 4426476 SOS 702749 HAS SOPS 702749 HAS SOUS 655134 HAS SOUPS 655134 WITH SCORE 655836.749
AT ITER 2792 NEW BEST:: SOT 4426301 SOS 702677 HAS SOPS 702677 HAS SOUS 655043 HAS SOUPS 655043 WITH SCORE 655745.677
AT ITER 2816 NEW BEST:: SOT 4426105 SOS 702285 HAS SOPS 702285 HAS SOUS 654651 HAS SOUPS 654651 WITH SCORE 655353.285
AT ITER 2827 NEW BEST:: SOT 4426253 SOS 702037 HAS SOPS 702037 HAS SOUS 654403 HAS SOUPS 654403 WITH SCORE 655105.037
AT ITER 2830 NEW BEST:: SOT 4426252 SOS 702034 HAS SOPS 702034 HAS SOUS 654400 HAS SOUPS 654400 WITH SCORE 655102.034
AT ITER 2847 NEW BEST:: SOT 4426218 SOS 701966 HAS SOPS 701966 HAS SOUS 654366 HAS SOUPS 654366 WITH SCORE 655067.966
AT ITER 2848 NEW BEST:: SOT 4425991 SOS 701512 HAS SOPS 701512 HAS SOUS 653946 HAS SOUPS 653946 WITH SCORE 654647.512
AT ITER 2854 NEW BEST:: SOT 4425727 SOS 701265 HAS SOPS 701265 HAS SOUS 653580 HAS SOUPS 653580 WITH SCORE 654281.265
AT ITER 2875 NEW BEST:: SOT 4425774 SOS 701240 HAS SOPS 701240 HAS SOUS 653555 HAS SOUPS 653555 WITH SCORE 654256.24
AT ITER 2901 NEW BEST:: SOT 4425623 SOS 700938 HAS SOPS 700938 HAS SOUS 653194 HAS SOUPS 653194 WITH SCORE 653894.938
AT ITER 2917 NEW BEST:: SOT 4425622 SOS 700936 HAS SOPS 700936 HAS SOUS 653192 HAS SOUPS 653192 WITH SCORE 653892.936
AT ITER 2927 NEW BEST:: SOT 4425622 SOS 700865 HAS SOPS 700865 HAS SOUS 653121 HAS SOUPS 653121 WITH SCORE 653821.865
AT ITER 2956 NEW BEST:: SOT 4425415 SOS 700695 HAS SOPS 700695 HAS SOUS 652941 HAS SOUPS 652941 WITH SCORE 653641.695
AT ITER 2994 NEW BEST:: SOT 4425415 SOS 700693 HAS SOPS 700693 HAS SOUS 652939 HAS SOUPS 652939 WITH SCORE 653639.693
AT ITER 3030 NEW BEST:: SOT 4425415 SOS 700650 HAS SOPS 700650 HAS SOUS 652781 HAS SOUPS 652781 WITH SCORE 653481.65
AT ITER 3031 NEW BEST:: SOT 4425328 SOS 700476 HAS SOPS 700476 HAS SOUS 652279 HAS SOUPS 652279 WITH SCORE 652979.476
AT ITER 3037 NEW BEST:: SOT 4425209 SOS 700238 HAS SOPS 700238 HAS SOUS 652041 HAS SOUPS 652041 WITH SCORE 652741.238
AT ITER 3068 NEW BEST:: SOT 4425209 SOS 700238 HAS SOPS 700238 HAS SOUS 652040 HAS SOUPS 652040 WITH SCORE 652740.238
AT ITER 3129 NEW BEST:: SOT 4424939 SOS 700850 HAS SOPS 700850 HAS SOUS 652023 HAS SOUPS 652023 WITH SCORE 652723.85
AT ITER 3138 NEW BEST:: SOT 4424938 SOS 700848 HAS SOPS 700848 HAS SOUS 652021 HAS SOUPS 652021 WITH SCORE 652721.848
AT ITER 3163 NEW BEST:: SOT 4424828 SOS 700924 HAS SOPS 700924 HAS SOUS 652007 HAS SOUPS 652007 WITH SCORE 652707.924
AT ITER 3173 NEW BEST:: SOT 4424651 SOS 700701 HAS SOPS 700701 HAS SOUS 651699 HAS SOUPS 651699 WITH SCORE 652399.701
AT ITER 3207 NEW BEST:: SOT 4424595 SOS 700589 HAS SOPS 700589 HAS SOUS 651587 HAS SOUPS 651587 WITH SCORE 652287.589
AT ITER 3215 NEW BEST:: SOT 4424556 SOS 700511 HAS SOPS 700511 HAS SOUS 651509 HAS SOUPS 651509 WITH SCORE 652209.511
AT ITER 3251 NEW BEST:: SOT 4424512 SOS 700445 HAS SOPS 700445 HAS SOUS 651443 HAS SOUPS 651443 WITH SCORE 652143.445
AT ITER 3287 NEW BEST:: SOT 4424498 SOS 700444 HAS SOPS 700444 HAS SOUS 651442 HAS SOUPS 651442 WITH SCORE 652142.444
AT ITER 3292 NEW BEST:: SOT 4424452 SOS 700352 HAS SOPS 700352 HAS SOUS 651350 HAS SOUPS 651350 WITH SCORE 652050.352
AT ITER 3355 NEW BEST:: SOT 4424302 SOS 700052 HAS SOPS 700052 HAS SOUS 651042 HAS SOUPS 651042 WITH SCORE 651742.052
AT ITER 3356 NEW BEST:: SOT 4423844 SOS 699594 HAS SOPS 699594 HAS SOUS 650584 HAS SOUPS 650584 WITH SCORE 651283.594
AT ITER 3369 NEW BEST:: SOT 4423669 SOS 699244 HAS SOPS 699244 HAS SOUS 650409 HAS SOUPS 650409 WITH SCORE 651108.244
AT ITER 3387 NEW BEST:: SOT 4423468 SOS 698842 HAS SOPS 698842 HAS SOUS 650007 HAS SOUPS 650007 WITH SCORE 650705.842
AT ITER 3475 NEW BEST:: SOT 4423261 SOS 698686 HAS SOPS 698686 HAS SOUS 649825 HAS SOUPS 649825 WITH SCORE 650523.686
AT ITER 3480 NEW BEST:: SOT 4423136 SOS 698436 HAS SOPS 698436 HAS SOUS 649817 HAS SOUPS 649817 WITH SCORE 650515.436
AT ITER 3486 NEW BEST:: SOT 4422933 SOS 698334 HAS SOPS 698334 HAS SOUS 649623 HAS SOUPS 649623 WITH SCORE 650321.334
AT ITER 3507 NEW BEST:: SOT 4422823 SOS 698241 HAS SOPS 698241 HAS SOUS 649513 HAS SOUPS 649513 WITH SCORE 650211.241
AT ITER 3510 NEW BEST:: SOT 4422790 SOS 698228 HAS SOPS 698228 HAS SOUS 649480 HAS SOUPS 649480 WITH SCORE 650178.228
AT ITER 3533 NEW BEST:: SOT 4422544 SOS 697719 HAS SOPS 697719 HAS SOUS 649353 HAS SOUPS 649353 WITH SCORE 650050.719
AT ITER 3535 NEW BEST:: SOT 4422472 SOS 697575 HAS SOPS 697575 HAS SOUS 649209 HAS SOUPS 649209 WITH SCORE 649906.575
AT ITER 3541 NEW BEST:: SOT 4422345 SOS 697321 HAS SOPS 697321 HAS SOUS 648955 HAS SOUPS 648955 WITH SCORE 649652.321
AT ITER 3567 NEW BEST:: SOT 4422329 SOS 697289 HAS SOPS 697289 HAS SOUS 648950 HAS SOUPS 648950 WITH SCORE 649647.289
AT ITER 3608 NEW BEST:: SOT 4421966 SOS 697047 HAS SOPS 697047 HAS SOUS 648635 HAS SOUPS 648635 WITH SCORE 649332.047
AT ITER 3610 NEW BEST:: SOT 4421795 SOS 697183 HAS SOPS 697183 HAS SOUS 648579 HAS SOUPS 648579 WITH SCORE 649276.183
AT ITER 3611 NEW BEST:: SOT 4421710 SOS 697013 HAS SOPS 697013 HAS SOUS 648409 HAS SOUPS 648409 WITH SCORE 649106.013
AT ITER 3620 NEW BEST:: SOT 4421710 SOS 696856 HAS SOPS 696856 HAS SOUS 648252 HAS SOUPS 648252 WITH SCORE 648948.856
AT ITER 3633 NEW BEST:: SOT 4421407 SOS 697240 HAS SOPS 697240 HAS SOUS 648118 HAS SOUPS 648118 WITH SCORE 648815.24
AT ITER 3668 NEW BEST:: SOT 4421377 SOS 697180 HAS SOPS 697180 HAS SOUS 648058 HAS SOUPS 648058 WITH SCORE 648755.18
AT ITER 3678 NEW BEST:: SOT 4421375 SOS 696910 HAS SOPS 696910 HAS SOUS 647790 HAS SOUPS 647790 WITH SCORE 648486.91
AT ITER 3690 NEW BEST:: SOT 4421330 SOS 696820 HAS SOPS 696820 HAS SOUS 647745 HAS SOUPS 647745 WITH SCORE 648441.82
AT ITER 3700 NEW BEST:: SOT 4420991 SOS 696368 HAS SOPS 696368 HAS SOUS 647293 HAS SOUPS 647293 WITH SCORE 647989.368
AT ITER 3728 NEW BEST:: SOT 4420747 SOS 695880 HAS SOPS 695880 HAS SOUS 646805 HAS SOUPS 646805 WITH SCORE 647500.88
AT ITER 3743 NEW BEST:: SOT 4420747 SOS 695849 HAS SOPS 695849 HAS SOUS 646805 HAS SOUPS 646805 WITH SCORE 647500.849
AT ITER 3778 NEW BEST:: SOT 4420747 SOS 695799 HAS SOPS 695799 HAS SOUS 646755 HAS SOUPS 646755 WITH SCORE 647450.799
AT ITER 3787 NEW BEST:: SOT 4420702 SOS 695709 HAS SOPS 695709 HAS SOUS 646710 HAS SOUPS 646710 WITH SCORE 647405.709
AT ITER 3810 NEW BEST:: SOT 4420621 SOS 695700 HAS SOPS 695700 HAS SOUS 646701 HAS SOUPS 646701 WITH SCORE 647396.7
AT ITER 3848 NEW BEST:: SOT 4420620 SOS 695698 HAS SOPS 695698 HAS SOUS 646699 HAS SOUPS 646699 WITH SCORE 647394.698
AT ITER 3878 NEW BEST:: SOT 4420608 SOS 695674 HAS SOPS 695674 HAS SOUS 646686 HAS SOUPS 646686 WITH SCORE 647381.674
AT ITER 3886 NEW BEST:: SOT 4420591 SOS 695640 HAS SOPS 695640 HAS SOUS 646566 HAS SOUPS 646566 WITH SCORE 647261.64
AT ITER 3899 NEW BEST:: SOT 4420596 SOS 695534 HAS SOPS 695534 HAS SOUS 646460 HAS SOUPS 646460 WITH SCORE 647155.534
AT ITER 3906 NEW BEST:: SOT 4420429 SOS 695200 HAS SOPS 695200 HAS SOUS 646126 HAS SOUPS 646126 WITH SCORE 646821.2
AT ITER 3909 NEW BEST:: SOT 4420304 SOS 695184 HAS SOPS 695184 HAS SOUS 646038 HAS SOUPS 646038 WITH SCORE 646733.184
AT ITER 3916 NEW BEST:: SOT 4420304 SOS 695104 HAS SOPS 695104 HAS SOUS 646038 HAS SOUPS 646038 WITH SCORE 646733.104
AT ITER 3933 NEW BEST:: SOT 4420357 SOS 695098 HAS SOPS 695098 HAS SOUS 646032 HAS SOUPS 646032 WITH SCORE 646727.098
AT ITER 3937 NEW BEST:: SOT 4420308 SOS 695000 HAS SOPS 695000 HAS SOUS 645934 HAS SOUPS 645934 WITH SCORE 646629.0
AT ITER 3943 NEW BEST:: SOT 4420308 SOS 695000 HAS SOPS 695000 HAS SOUS 645931 HAS SOUPS 645931 WITH SCORE 646626.0
AT ITER 3951 NEW BEST:: SOT 4420308 SOS 694999 HAS SOPS 694999 HAS SOUS 645930 HAS SOUPS 645930 WITH SCORE 646624.999
AT ITER 3956 NEW BEST:: SOT 4420084 SOS 694551 HAS SOPS 694551 HAS SOUS 645482 HAS SOUPS 645482 WITH SCORE 646176.551
AT ITER 3973 NEW BEST:: SOT 4420082 SOS 694547 HAS SOPS 694547 HAS SOUS 645478 HAS SOUPS 645478 WITH SCORE 646172.547
AT ITER 4081 NEW BEST:: SOT 4420082 SOS 694539 HAS SOPS 694539 HAS SOUS 645478 HAS SOUPS 645478 WITH SCORE 646172.539
AT ITER 4091 NEW BEST:: SOT 4420060 SOS 694495 HAS SOPS 694495 HAS SOUS 645434 HAS SOUPS 645434 WITH SCORE 646128.495
AT ITER 4118 NEW BEST:: SOT 4420039 SOS 694453 HAS SOPS 694453 HAS SOUS 645428 HAS SOUPS 645428 WITH SCORE 646122.453
AT ITER 4121 NEW BEST:: SOT 4419931 SOS 694237 HAS SOPS 694237 HAS SOUS 645320 HAS SOUPS 645320 WITH SCORE 646014.237
AT ITER 4126 NEW BEST:: SOT 4419707 SOS 693789 HAS SOPS 693789 HAS SOUS 644872 HAS SOUPS 644872 WITH SCORE 645565.789
AT ITER 4133 NEW BEST:: SOT 4419606 SOS 693587 HAS SOPS 693587 HAS SOUS 644792 HAS SOUPS 644792 WITH SCORE 645485.587
AT ITER 4142 NEW BEST:: SOT 4419584 SOS 693435 HAS SOPS 693435 HAS SOUS 644743 HAS SOUPS 644743 WITH SCORE 645436.435
AT ITER 4152 NEW BEST:: SOT 4419051 SOS 692915 HAS SOPS 692915 HAS SOUS 644210 HAS SOUPS 644210 WITH SCORE 644902.915
AT ITER 4156 NEW BEST:: SOT 4418940 SOS 692693 HAS SOPS 692693 HAS SOUS 643988 HAS SOUPS 643988 WITH SCORE 644680.693
AT ITER 4164 NEW BEST:: SOT 4418944 SOS 692631 HAS SOPS 692631 HAS SOUS 643926 HAS SOUPS 643926 WITH SCORE 644618.631
AT ITER 4177 NEW BEST:: SOT 4418894 SOS 692581 HAS SOPS 692581 HAS SOUS 643876 HAS SOUPS 643876 WITH SCORE 644568.581
AT ITER 4203 NEW BEST:: SOT 4418397 SOS 692343 HAS SOPS 692343 HAS SOUS 643401 HAS SOUPS 643401 WITH SCORE 644093.343
AT ITER 4210 NEW BEST:: SOT 4418355 SOS 692444 HAS SOPS 692444 HAS SOUS 643391 HAS SOUPS 643391 WITH SCORE 644083.444
AT ITER 4212 NEW BEST:: SOT 4418308 SOS 692670 HAS SOPS 692670 HAS SOUS 643344 HAS SOUPS 643344 WITH SCORE 644036.67
AT ITER 4232 NEW BEST:: SOT 4417526 SOS 692011 HAS SOPS 692011 HAS SOUS 642408 HAS SOUPS 642408 WITH SCORE 643100.011
AT ITER 4242 NEW BEST:: SOT 4417311 SOS 691827 HAS SOPS 691827 HAS SOUS 642224 HAS SOUPS 642224 WITH SCORE 642915.827
AT ITER 4249 NEW BEST:: SOT 4417278 SOS 691761 HAS SOPS 691761 HAS SOUS 642191 HAS SOUPS 642191 WITH SCORE 642882.761
AT ITER 4276 NEW BEST:: SOT 4417241 SOS 691687 HAS SOPS 691687 HAS SOUS 642154 HAS SOUPS 642154 WITH SCORE 642845.687
AT ITER 4290 NEW BEST:: SOT 4417241 SOS 691561 HAS SOPS 691561 HAS SOUS 642028 HAS SOUPS 642028 WITH SCORE 642719.561
AT ITER 4295 NEW BEST:: SOT 4417082 SOS 691243 HAS SOPS 691243 HAS SOUS 641710 HAS SOUPS 641710 WITH SCORE 642401.243
AT ITER 4313 NEW BEST:: SOT 4416952 SOS 690983 HAS SOPS 690983 HAS SOUS 641282 HAS SOUPS 641282 WITH SCORE 641972.983
AT ITER 4320 NEW BEST:: SOT 4416952 SOS 690955 HAS SOPS 690955 HAS SOUS 641282 HAS SOUPS 641282 WITH SCORE 641972.955
AT ITER 4326 NEW BEST:: SOT 4416839 SOS 690729 HAS SOPS 690729 HAS SOUS 641056 HAS SOUPS 641056 WITH SCORE 641746.729
AT ITER 4332 NEW BEST:: SOT 4416353 SOS 689757 HAS SOPS 689757 HAS SOUS 640327 HAS SOUPS 640327 WITH SCORE 641016.757
AT ITER 4337 NEW BEST:: SOT 4416309 SOS 689669 HAS SOPS 689669 HAS SOUS 640239 HAS SOUPS 640239 WITH SCORE 640928.669
AT ITER 4345 NEW BEST:: SOT 4416248 SOS 689547 HAS SOPS 689547 HAS SOUS 640125 HAS SOUPS 640125 WITH SCORE 640814.547
AT ITER 4361 NEW BEST:: SOT 4416042 SOS 688573 HAS SOPS 688573 HAS SOUS 639690 HAS SOUPS 639690 WITH SCORE 640378.573
AT ITER 4365 NEW BEST:: SOT 4415985 SOS 688459 HAS SOPS 688459 HAS SOUS 639576 HAS SOUPS 639576 WITH SCORE 640264.459
AT ITER 4366 NEW BEST:: SOT 4415838 SOS 688165 HAS SOPS 688165 HAS SOUS 639429 HAS SOUPS 639429 WITH SCORE 640117.165
AT ITER 4386 NEW BEST:: SOT 4415948 SOS 688160 HAS SOPS 688160 HAS SOUS 639424 HAS SOUPS 639424 WITH SCORE 640112.16
AT ITER 4410 NEW BEST:: SOT 4415903 SOS 688070 HAS SOPS 688070 HAS SOUS 639334 HAS SOUPS 639334 WITH SCORE 640022.07
AT ITER 4427 NEW BEST:: SOT 4415878 SOS 688020 HAS SOPS 688020 HAS SOUS 639309 HAS SOUPS 639309 WITH SCORE 639997.02
AT ITER 4467 NEW BEST:: SOT 4415504 SOS 688271 HAS SOPS 688271 HAS SOUS 639179 HAS SOUPS 639179 WITH SCORE 639867.271
AT ITER 4473 NEW BEST:: SOT 4415328 SOS 688095 HAS SOPS 688095 HAS SOUS 639003 HAS SOUPS 639003 WITH SCORE 639691.095
AT ITER 4516 NEW BEST:: SOT 4415220 SOS 687951 HAS SOPS 687951 HAS SOUS 638859 HAS SOUPS 638859 WITH SCORE 639546.951
AT ITER 4520 NEW BEST:: SOT 4415319 SOS 688148 HAS SOPS 688148 HAS SOUS 638670 HAS SOUPS 638670 WITH SCORE 639358.148
AT ITER 4558 NEW BEST:: SOT 4415491 SOS 688492 HAS SOPS 688492 HAS SOUS 638452 HAS SOUPS 638452 WITH SCORE 639140.492
AT ITER 4562 NEW BEST:: SOT 4415224 SOS 687958 HAS SOPS 687958 HAS SOUS 638305 HAS SOUPS 638305 WITH SCORE 638992.958
AT ITER 4609 NEW BEST:: SOT 4414963 SOS 688000 HAS SOPS 688000 HAS SOUS 638158 HAS SOUPS 638158 WITH SCORE 638846.0
AT ITER 4635 NEW BEST:: SOT 4414976 SOS 688026 HAS SOPS 688026 HAS SOUS 637820 HAS SOUPS 637820 WITH SCORE 638508.026
AT ITER 4655 NEW BEST:: SOT 4414761 SOS 687885 HAS SOPS 687885 HAS SOUS 637611 HAS SOUPS 637611 WITH SCORE 638298.885
AT ITER 4660 NEW BEST:: SOT 4414751 SOS 687865 HAS SOPS 687865 HAS SOUS 637591 HAS SOUPS 637591 WITH SCORE 638278.865
AT ITER 4670 NEW BEST:: SOT 4414708 SOS 687779 HAS SOPS 687779 HAS SOUS 637548 HAS SOUPS 637548 WITH SCORE 638235.779
AT ITER 4671 NEW BEST:: SOT 4414659 SOS 687730 HAS SOPS 687730 HAS SOUS 637499 HAS SOUPS 637499 WITH SCORE 638186.73
AT ITER 4685 NEW BEST:: SOT 4414504 SOS 687575 HAS SOPS 687575 HAS SOUS 637344 HAS SOUPS 637344 WITH SCORE 638031.575
AT ITER 4747 NEW BEST:: SOT 4414504 SOS 687574 HAS SOPS 687574 HAS SOUS 637343 HAS SOUPS 637343 WITH SCORE 638030.574
AT ITER 4776 NEW BEST:: SOT 4414486 SOS 687538 HAS SOPS 687538 HAS SOUS 637307 HAS SOUPS 637307 WITH SCORE 637994.538
AT ITER 4777 NEW BEST:: SOT 4414220 SOS 687272 HAS SOPS 687272 HAS SOUS 637041 HAS SOUPS 637041 WITH SCORE 637728.272
AT ITER 4783 NEW BEST:: SOT 4414083 SOS 687246 HAS SOPS 687246 HAS SOUS 637015 HAS SOUPS 637015 WITH SCORE 637702.246
AT ITER 4794 NEW BEST:: SOT 4413993 SOS 687156 HAS SOPS 687156 HAS SOUS 636925 HAS SOUPS 636925 WITH SCORE 637612.156
AT ITER 4798 NEW BEST:: SOT 4413971 SOS 687112 HAS SOPS 687112 HAS SOUS 636881 HAS SOUPS 636881 WITH SCORE 637568.112
AT ITER 4804 NEW BEST:: SOT 4413940 SOS 687050 HAS SOPS 687050 HAS SOUS 636819 HAS SOUPS 636819 WITH SCORE 637506.05
AT ITER 4844 NEW BEST:: SOT 4413940 SOS 687049 HAS SOPS 687049 HAS SOUS 636818 HAS SOUPS 636818 WITH SCORE 637505.049
AT ITER 4865 NEW BEST:: SOT 4413935 SOS 687039 HAS SOPS 687039 HAS SOUS 636813 HAS SOUPS 636813 WITH SCORE 637500.039
AT ITER 4876 NEW BEST:: SOT 4413935 SOS 686921 HAS SOPS 686921 HAS SOUS 636813 HAS SOUPS 636813 WITH SCORE 637499.921
AT ITER 4882 NEW BEST:: SOT 4413883 SOS 686817 HAS SOPS 686817 HAS SOUS 636761 HAS SOUPS 636761 WITH SCORE 637447.817
AT ITER 4883 NEW BEST:: SOT 4413883 SOS 686817 HAS SOPS 686817 HAS SOUS 636759 HAS SOUPS 636759 WITH SCORE 637445.817
AT ITER 4890 NEW BEST:: SOT 4413599 SOS 686449 HAS SOPS 686449 HAS SOUS 636729 HAS SOUPS 636729 WITH SCORE 637415.449
AT ITER 4921 NEW BEST:: SOT 4413653 SOS 686557 HAS SOPS 686557 HAS SOUS 636623 HAS SOUPS 636623 WITH SCORE 637309.557
AT ITER 4993 NEW BEST:: SOT 4413384 SOS 686354 HAS SOPS 686354 HAS SOUS 636420 HAS SOUPS 636420 WITH SCORE 637106.354
AT ITER 4999 NEW BEST:: SOT 4413280 SOS 686146 HAS SOPS 686146 HAS SOUS 636212 HAS SOUPS 636212 WITH SCORE 636898.146
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-00 (! (EU( (! potential( ( 2 ) <= (tk(P455)) )),( potential( (tk(P1826)) <= (tk(P2062)) ) & potential( ( 2 ) <= (tk(P904)) ) ) )))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-01 (EU( ( ( potential( ( 3 ) <= (tk(P1507)) ) | potential( ( 1 ) <= (tk(P2285)) ) ) & ( potential( ( 1 ) <= (tk(P1075)) ) | potential( ( 1 ) <= (tk(P9)) ) ) ),(EF(potential( ( 2 ) <= (tk(P495)) ))) ))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-02 (AG( (AX( ( potential( ( 3 ) <= (tk(P286)) ) | potential( (tk(P598)) <= (tk(P1373)) ) )))))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-03 ( ( ( (! (! potential( ( 1 ) <= (tk(P1401)) ))) | ( (! potential( (tk(P1723)) <= (tk(P1949)) )) | ( potential( (tk(P349)) <= (tk(P948)) ) | potential( ( 1 ) <= (tk(P2578)) ) ) ) ) | (! (! ( potential( (tk(P1940)) <= (tk(P1979)) ) | potential( (tk(P1150)) <= (tk(P493)) ) ))) ) & ( (EU( potential( ( 3 ) <= (tk(P2460)) ),potential( (tk(P2291)) <= (tk(P340)) ) )) & ( (AG( potential( (tk(P1979)) <= (tk(P1833)) ))) & (AX( potential( (tk(P1501)) <= (tk(P2322)) ))) ) ) )
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-04 ( ( ( (EF(potential( (tk(P1221)) <= (tk(P1901)) ))) | (! ( potential( ( 3 ) <= (tk(P2555)) ) & potential( (tk(P711)) <= (tk(P514)) ) )) ) | ( ( ( potential( ( 1 ) <= (tk(P757)) ) & potential( (tk(P701)) <= (tk(P1500)) ) ) & ( potential( ( 3 ) <= (tk(P63)) ) & potential( ( 2 ) <= (tk(P1001)) ) ) ) | (AF(potential( (tk(P2527)) <= (tk(P1301)) ))) ) ) & (AF(( ( potential( ( 3 ) <= (tk(P2143)) ) | potential( ( 1 ) <= (tk(P2414)) ) ) & ( potential( (tk(P2446)) <= (tk(P543)) ) & potential( ( 1 ) <= (tk(P237)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-05 (AU( (EF(potential( (tk(P816)) <= (tk(P1130)) ))),(AF(potential( ( 2 ) <= (tk(P1564)) ))) ))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-06 (EG( (AF(( potential( (tk(P66)) <= (tk(P1350)) ) | potential( (tk(P266)) <= (tk(P96)) ) )))))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-07 (AF(( (! ( potential( (tk(P153)) <= (tk(P550)) ) | potential( (tk(P1067)) <= (tk(P153)) ) )) & ( ( potential( (tk(P2173)) <= (tk(P2319)) ) & potential( (tk(P557)) <= (tk(P861)) ) ) & ( potential( (tk(P2113)) <= (tk(P528)) ) & potential( (tk(P2062)) <= (tk(P753)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-08 (EF(( (! potential( ( 2 ) <= (tk(P1886)) )) & (AF(potential( ( 1 ) <= (tk(P1129)) ))) )))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-09 (EU( (EF(potential( (tk(P417)) <= (tk(P2064)) ))),potential( ( 1 ) <= (tk(P2256)) ) ))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-10 (EU( ( ( potential( ( 3 ) <= (tk(P168)) ) & potential( ( 1 ) <= (tk(P965)) ) ) | ( potential( (tk(P1344)) <= (tk(P1569)) ) | potential( ( 1 ) <= (tk(P251)) ) ) ),( ( potential( ( 3 ) <= (tk(P1212)) ) & potential( ( 2 ) <= (tk(P2101)) ) ) | ( potential( (tk(P2208)) <= (tk(P556)) ) & potential( ( 3 ) <= (tk(P2558)) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-11 (! ( (! (EG( potential( (tk(P1129)) <= (tk(P2167)) )))) | (AX( (! potential( (tk(P2153)) <= (tk(P1444)) )))) ))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-12 ( potential( ( 3 ) <= (tk(P1096)) ) | ( ( ( (! potential( ( 2 ) <= (tk(P1649)) )) & (! potential( ( 2 ) <= (tk(P1206)) )) ) & potential( ( 2 ) <= (tk(P778)) ) ) | (! (EG( potential( (tk(P1436)) <= (tk(P615)) )))) ) )
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-13 ( (EG( (EF(potential( (tk(P2346)) <= (tk(P1399)) ))))) | potential( ( 1 ) <= (tk(P1348)) ) )
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-14 (! (EF(( (! potential( ( 1 ) <= (tk(P467)) )) & potential( ( 1 ) <= (tk(P293)) ) ))))
PROPERTY: CloudReconfiguration-PT-302-CTLCardinality-15 (AF(( (AF(potential( ( 3 ) <= (tk(P1104)) ))) & (! ( potential( ( 3 ) <= (tk(P1888)) ) & potential( (tk(P778)) <= (tk(P2450)) ) )) )))

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

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