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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.5K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 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-316-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-316-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589095510116

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 316
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 4449380 SOS 709814 HAS SOPS 709814 HAS SOUS 687976 HAS SOUPS 687976 WITH SCORE 688685.814
AT ITER 6 NEW BEST:: SOT 4449574 SOS 709960 HAS SOPS 709960 HAS SOUS 687768 HAS SOUPS 687768 WITH SCORE 688477.96
AT ITER 12 NEW BEST:: SOT 4449512 SOS 709898 HAS SOPS 709898 HAS SOUS 687706 HAS SOUPS 687706 WITH SCORE 688415.898
AT ITER 23 NEW BEST:: SOT 4449512 SOS 709787 HAS SOPS 709787 HAS SOUS 687706 HAS SOUPS 687706 WITH SCORE 688415.787
AT ITER 25 NEW BEST:: SOT 4449512 SOS 709761 HAS SOPS 709761 HAS SOUS 687706 HAS SOUPS 687706 WITH SCORE 688415.761
AT ITER 78 NEW BEST:: SOT 4449525 SOS 709787 HAS SOPS 709787 HAS SOUS 687415 HAS SOUPS 687415 WITH SCORE 688124.787
AT ITER 139 NEW BEST:: SOT 4449243 SOS 709505 HAS SOPS 709505 HAS SOUS 687133 HAS SOUPS 687133 WITH SCORE 687842.505
AT ITER 157 NEW BEST:: SOT 4449133 SOS 709395 HAS SOPS 709395 HAS SOUS 687023 HAS SOUPS 687023 WITH SCORE 687732.395
AT ITER 163 NEW BEST:: SOT 4449013 SOS 709284 HAS SOPS 709284 HAS SOUS 686908 HAS SOUPS 686908 WITH SCORE 687617.284
AT ITER 176 NEW BEST:: SOT 4447349 SOS 708270 HAS SOPS 708270 HAS SOUS 685579 HAS SOUPS 685579 WITH SCORE 686287.27
AT ITER 201 NEW BEST:: SOT 4447268 SOS 708108 HAS SOPS 708108 HAS SOUS 685222 HAS SOUPS 685222 WITH SCORE 685930.108
AT ITER 217 NEW BEST:: SOT 4447024 SOS 707864 HAS SOPS 707864 HAS SOUS 684978 HAS SOUPS 684978 WITH SCORE 685685.864
AT ITER 222 NEW BEST:: SOT 4446844 SOS 707684 HAS SOPS 707684 HAS SOUS 684798 HAS SOUPS 684798 WITH SCORE 685505.684
AT ITER 230 NEW BEST:: SOT 4446795 SOS 707586 HAS SOPS 707586 HAS SOUS 684700 HAS SOUPS 684700 WITH SCORE 685407.586
AT ITER 257 NEW BEST:: SOT 4446691 SOS 707378 HAS SOPS 707378 HAS SOUS 684492 HAS SOUPS 684492 WITH SCORE 685199.378
AT ITER 279 NEW BEST:: SOT 4446620 SOS 707432 HAS SOPS 707432 HAS SOUS 684421 HAS SOUPS 684421 WITH SCORE 685128.432
AT ITER 342 NEW BEST:: SOT 4446791 SOS 707250 HAS SOPS 707250 HAS SOUS 684330 HAS SOUPS 684330 WITH SCORE 685037.25
AT ITER 360 NEW BEST:: SOT 4446571 SOS 707152 HAS SOPS 707152 HAS SOUS 684195 HAS SOUPS 684195 WITH SCORE 684902.152
AT ITER 366 NEW BEST:: SOT 4446374 SOS 706758 HAS SOPS 706758 HAS SOUS 683801 HAS SOUPS 683801 WITH SCORE 684507.758
AT ITER 376 NEW BEST:: SOT 4446871 SOS 707028 HAS SOPS 707028 HAS SOUS 683784 HAS SOUPS 683784 WITH SCORE 684491.028
AT ITER 404 NEW BEST:: SOT 4446782 SOS 706939 HAS SOPS 706939 HAS SOUS 683695 HAS SOUPS 683695 WITH SCORE 684401.939
AT ITER 420 NEW BEST:: SOT 4446449 SOS 706717 HAS SOPS 706717 HAS SOUS 683362 HAS SOUPS 683362 WITH SCORE 684068.717
AT ITER 423 NEW BEST:: SOT 4446449 SOS 706682 HAS SOPS 706682 HAS SOUS 683362 HAS SOUPS 683362 WITH SCORE 684068.682
AT ITER 448 NEW BEST:: SOT 4446285 SOS 706354 HAS SOPS 706354 HAS SOUS 683034 HAS SOUPS 683034 WITH SCORE 683740.354
AT ITER 468 NEW BEST:: SOT 4446284 SOS 706352 HAS SOPS 706352 HAS SOUS 683032 HAS SOUPS 683032 WITH SCORE 683738.352
AT ITER 470 NEW BEST:: SOT 4446284 SOS 706328 HAS SOPS 706328 HAS SOUS 683032 HAS SOUPS 683032 WITH SCORE 683738.328
AT ITER 475 NEW BEST:: SOT 4446267 SOS 706294 HAS SOPS 706294 HAS SOUS 682998 HAS SOUPS 682998 WITH SCORE 683704.294
AT ITER 495 NEW BEST:: SOT 4446027 SOS 705814 HAS SOPS 705814 HAS SOUS 682912 HAS SOUPS 682912 WITH SCORE 683617.814
AT ITER 511 NEW BEST:: SOT 4446019 SOS 705798 HAS SOPS 705798 HAS SOUS 682896 HAS SOUPS 682896 WITH SCORE 683601.798
AT ITER 513 NEW BEST:: SOT 4446049 SOS 705858 HAS SOPS 705858 HAS SOUS 682701 HAS SOUPS 682701 WITH SCORE 683406.858
AT ITER 532 NEW BEST:: SOT 4445859 SOS 705668 HAS SOPS 705668 HAS SOUS 682511 HAS SOUPS 682511 WITH SCORE 683216.668
AT ITER 614 NEW BEST:: SOT 4445893 SOS 705736 HAS SOPS 705736 HAS SOUS 682281 HAS SOUPS 682281 WITH SCORE 682986.736
AT ITER 637 NEW BEST:: SOT 4445905 SOS 705248 HAS SOPS 705248 HAS SOUS 681972 HAS SOUPS 681972 WITH SCORE 682677.248
AT ITER 644 NEW BEST:: SOT 4445857 SOS 705152 HAS SOPS 705152 HAS SOUS 681924 HAS SOUPS 681924 WITH SCORE 682629.152
AT ITER 646 NEW BEST:: SOT 4445680 SOS 704798 HAS SOPS 704798 HAS SOUS 681338 HAS SOUPS 681338 WITH SCORE 682042.798
AT ITER 649 NEW BEST:: SOT 4445450 SOS 704481 HAS SOPS 704481 HAS SOUS 680965 HAS SOUPS 680965 WITH SCORE 681669.481
AT ITER 650 NEW BEST:: SOT 4445450 SOS 704475 HAS SOPS 704475 HAS SOUS 680965 HAS SOUPS 680965 WITH SCORE 681669.475
AT ITER 665 NEW BEST:: SOT 4445450 SOS 704474 HAS SOPS 704474 HAS SOUS 680964 HAS SOUPS 680964 WITH SCORE 681668.474
AT ITER 670 NEW BEST:: SOT 4445398 SOS 704370 HAS SOPS 704370 HAS SOUS 680860 HAS SOUPS 680860 WITH SCORE 681564.37
AT ITER 676 NEW BEST:: SOT 4445116 SOS 703806 HAS SOPS 703806 HAS SOUS 680296 HAS SOUPS 680296 WITH SCORE 680999.806
AT ITER 703 NEW BEST:: SOT 4445116 SOS 703770 HAS SOPS 703770 HAS SOUS 680296 HAS SOUPS 680296 WITH SCORE 680999.77
AT ITER 704 NEW BEST:: SOT 4444945 SOS 703428 HAS SOPS 703428 HAS SOUS 679954 HAS SOUPS 679954 WITH SCORE 680657.428
AT ITER 709 NEW BEST:: SOT 4445006 SOS 703550 HAS SOPS 703550 HAS SOUS 679765 HAS SOUPS 679765 WITH SCORE 680468.55
AT ITER 749 NEW BEST:: SOT 4445006 SOS 703549 HAS SOPS 703549 HAS SOUS 679764 HAS SOUPS 679764 WITH SCORE 680467.549
AT ITER 818 NEW BEST:: SOT 4445006 SOS 703526 HAS SOPS 703526 HAS SOUS 679741 HAS SOUPS 679741 WITH SCORE 680444.526
AT ITER 821 NEW BEST:: SOT 4444892 SOS 703447 HAS SOPS 703447 HAS SOUS 679627 HAS SOUPS 679627 WITH SCORE 680330.447
AT ITER 862 NEW BEST:: SOT 4444116 SOS 702671 HAS SOPS 702671 HAS SOUS 678851 HAS SOUPS 678851 WITH SCORE 679553.671
AT ITER 874 NEW BEST:: SOT 4443849 SOS 702580 HAS SOPS 702580 HAS SOUS 678506 HAS SOUPS 678506 WITH SCORE 679208.58
AT ITER 896 NEW BEST:: SOT 4443848 SOS 702578 HAS SOPS 702578 HAS SOUS 678504 HAS SOUPS 678504 WITH SCORE 679206.578
AT ITER 898 NEW BEST:: SOT 4443847 SOS 702576 HAS SOPS 702576 HAS SOUS 678502 HAS SOUPS 678502 WITH SCORE 679204.576
AT ITER 911 NEW BEST:: SOT 4443620 SOS 702122 HAS SOPS 702122 HAS SOUS 677863 HAS SOUPS 677863 WITH SCORE 678565.122
AT ITER 945 NEW BEST:: SOT 4443620 SOS 702004 HAS SOPS 702004 HAS SOUS 677745 HAS SOUPS 677745 WITH SCORE 678447.004
AT ITER 957 NEW BEST:: SOT 4443677 SOS 702118 HAS SOPS 702118 HAS SOUS 677596 HAS SOUPS 677596 WITH SCORE 678298.118
AT ITER 988 NEW BEST:: SOT 4443677 SOS 702044 HAS SOPS 702044 HAS SOUS 677595 HAS SOUPS 677595 WITH SCORE 678297.044
AT ITER 999 NEW BEST:: SOT 4443677 SOS 702043 HAS SOPS 702043 HAS SOUS 677594 HAS SOUPS 677594 WITH SCORE 678296.043
AT ITER 1006 NEW BEST:: SOT 4443677 SOS 702042 HAS SOPS 702042 HAS SOUS 677593 HAS SOUPS 677593 WITH SCORE 678295.042
AT ITER 1010 NEW BEST:: SOT 4443677 SOS 702039 HAS SOPS 702039 HAS SOUS 677593 HAS SOUPS 677593 WITH SCORE 678295.039
AT ITER 1030 NEW BEST:: SOT 4443487 SOS 702019 HAS SOPS 702019 HAS SOUS 677425 HAS SOUPS 677425 WITH SCORE 678127.019
AT ITER 1038 NEW BEST:: SOT 4443371 SOS 701787 HAS SOPS 701787 HAS SOUS 677370 HAS SOUPS 677370 WITH SCORE 678071.787
AT ITER 1051 NEW BEST:: SOT 4443370 SOS 701785 HAS SOPS 701785 HAS SOUS 677368 HAS SOUPS 677368 WITH SCORE 678069.785
AT ITER 1056 NEW BEST:: SOT 4443319 SOS 701683 HAS SOPS 701683 HAS SOUS 677266 HAS SOUPS 677266 WITH SCORE 677967.683
AT ITER 1077 NEW BEST:: SOT 4443319 SOS 701683 HAS SOPS 701683 HAS SOUS 677260 HAS SOUPS 677260 WITH SCORE 677961.683
AT ITER 1081 NEW BEST:: SOT 4443172 SOS 701389 HAS SOPS 701389 HAS SOUS 676966 HAS SOUPS 676966 WITH SCORE 677667.389
AT ITER 1137 NEW BEST:: SOT 4443035 SOS 701115 HAS SOPS 701115 HAS SOUS 676692 HAS SOUPS 676692 WITH SCORE 677393.115
AT ITER 1158 NEW BEST:: SOT 4442955 SOS 700955 HAS SOPS 700955 HAS SOUS 676532 HAS SOUPS 676532 WITH SCORE 677232.955
AT ITER 1180 NEW BEST:: SOT 4442879 SOS 700803 HAS SOPS 700803 HAS SOUS 676380 HAS SOUPS 676380 WITH SCORE 677080.803
AT ITER 1189 NEW BEST:: SOT 4442197 SOS 701019 HAS SOPS 701019 HAS SOUS 675870 HAS SOUPS 675870 WITH SCORE 676571.019
AT ITER 1194 NEW BEST:: SOT 4442197 SOS 701019 HAS SOPS 701019 HAS SOUS 675783 HAS SOUPS 675783 WITH SCORE 676484.019
AT ITER 1201 NEW BEST:: SOT 4442197 SOS 701019 HAS SOPS 701019 HAS SOUS 675710 HAS SOUPS 675710 WITH SCORE 676411.019
AT ITER 1221 NEW BEST:: SOT 4441992 SOS 700814 HAS SOPS 700814 HAS SOUS 675505 HAS SOUPS 675505 WITH SCORE 676205.814
AT ITER 1251 NEW BEST:: SOT 4441992 SOS 700814 HAS SOPS 700814 HAS SOUS 675238 HAS SOUPS 675238 WITH SCORE 675938.814
AT ITER 1266 NEW BEST:: SOT 4441783 SOS 700848 HAS SOPS 700848 HAS SOUS 675111 HAS SOUPS 675111 WITH SCORE 675811.848
AT ITER 1347 NEW BEST:: SOT 4441782 SOS 700846 HAS SOPS 700846 HAS SOUS 675109 HAS SOUPS 675109 WITH SCORE 675809.846
AT ITER 1360 NEW BEST:: SOT 4441531 SOS 700646 HAS SOPS 700646 HAS SOUS 674884 HAS SOUPS 674884 WITH SCORE 675584.646
AT ITER 1373 NEW BEST:: SOT 4441580 SOS 700432 HAS SOPS 700432 HAS SOUS 674621 HAS SOUPS 674621 WITH SCORE 675321.432
AT ITER 1388 NEW BEST:: SOT 4441580 SOS 700365 HAS SOPS 700365 HAS SOUS 674554 HAS SOUPS 674554 WITH SCORE 675254.365
AT ITER 1400 NEW BEST:: SOT 4441534 SOS 700215 HAS SOPS 700215 HAS SOUS 674450 HAS SOUPS 674450 WITH SCORE 675150.215
AT ITER 1407 NEW BEST:: SOT 4441347 SOS 699841 HAS SOPS 699841 HAS SOUS 674263 HAS SOUPS 674263 WITH SCORE 674962.841
AT ITER 1422 NEW BEST:: SOT 4441288 SOS 699782 HAS SOPS 699782 HAS SOUS 674204 HAS SOUPS 674204 WITH SCORE 674903.782
AT ITER 1424 NEW BEST:: SOT 4441288 SOS 699781 HAS SOPS 699781 HAS SOUS 674203 HAS SOUPS 674203 WITH SCORE 674902.781
AT ITER 1444 NEW BEST:: SOT 4441337 SOS 699879 HAS SOPS 699879 HAS SOUS 673969 HAS SOUPS 673969 WITH SCORE 674668.879
AT ITER 1450 NEW BEST:: SOT 4441186 SOS 699577 HAS SOPS 699577 HAS SOUS 673667 HAS SOUPS 673667 WITH SCORE 674366.577
AT ITER 1460 NEW BEST:: SOT 4440935 SOS 699435 HAS SOPS 699435 HAS SOUS 673214 HAS SOUPS 673214 WITH SCORE 673913.435
AT ITER 1461 NEW BEST:: SOT 4440886 SOS 699435 HAS SOPS 699435 HAS SOUS 673165 HAS SOUPS 673165 WITH SCORE 673864.435
AT ITER 1483 NEW BEST:: SOT 4440890 SOS 699443 HAS SOPS 699443 HAS SOUS 672853 HAS SOUPS 672853 WITH SCORE 673552.443
AT ITER 1485 NEW BEST:: SOT 4440890 SOS 699443 HAS SOPS 699443 HAS SOUS 672719 HAS SOUPS 672719 WITH SCORE 673418.443
AT ITER 1490 NEW BEST:: SOT 4440890 SOS 699391 HAS SOPS 699391 HAS SOUS 672719 HAS SOUPS 672719 WITH SCORE 673418.391
AT ITER 1495 NEW BEST:: SOT 4440943 SOS 699309 HAS SOPS 699309 HAS SOUS 672637 HAS SOUPS 672637 WITH SCORE 673336.309
AT ITER 1506 NEW BEST:: SOT 4441069 SOS 699561 HAS SOPS 699561 HAS SOUS 672631 HAS SOUPS 672631 WITH SCORE 673330.561
AT ITER 1528 NEW BEST:: SOT 4440917 SOS 699540 HAS SOPS 699540 HAS SOUS 672503 HAS SOUPS 672503 WITH SCORE 673202.54
AT ITER 1537 NEW BEST:: SOT 4440910 SOS 699526 HAS SOPS 699526 HAS SOUS 672489 HAS SOUPS 672489 WITH SCORE 673188.526
AT ITER 1549 NEW BEST:: SOT 4440884 SOS 699474 HAS SOPS 699474 HAS SOUS 672476 HAS SOUPS 672476 WITH SCORE 673175.474
AT ITER 1614 NEW BEST:: SOT 4440883 SOS 699472 HAS SOPS 699472 HAS SOUS 672475 HAS SOUPS 672475 WITH SCORE 673174.472
AT ITER 1622 NEW BEST:: SOT 4440628 SOS 700048 HAS SOPS 700048 HAS SOUS 672023 HAS SOUPS 672023 WITH SCORE 672723.048
AT ITER 1623 NEW BEST:: SOT 4440627 SOS 700046 HAS SOPS 700046 HAS SOUS 672021 HAS SOUPS 672021 WITH SCORE 672721.046
AT ITER 1637 NEW BEST:: SOT 4440702 SOS 699925 HAS SOPS 699925 HAS SOUS 671900 HAS SOUPS 671900 WITH SCORE 672599.925
AT ITER 1650 NEW BEST:: SOT 4440668 SOS 699857 HAS SOPS 699857 HAS SOUS 671832 HAS SOUPS 671832 WITH SCORE 672531.857
AT ITER 1666 NEW BEST:: SOT 4440667 SOS 699855 HAS SOPS 699855 HAS SOUS 671830 HAS SOUPS 671830 WITH SCORE 672529.855
AT ITER 1689 NEW BEST:: SOT 4440282 SOS 699470 HAS SOPS 699470 HAS SOUS 671445 HAS SOUPS 671445 WITH SCORE 672144.47
AT ITER 1712 NEW BEST:: SOT 4440085 SOS 699470 HAS SOPS 699470 HAS SOUS 671248 HAS SOUPS 671248 WITH SCORE 671947.47
AT ITER 1727 NEW BEST:: SOT 4439940 SOS 699330 HAS SOPS 699330 HAS SOUS 671108 HAS SOUPS 671108 WITH SCORE 671807.33
AT ITER 1729 NEW BEST:: SOT 4439940 SOS 699525 HAS SOPS 699525 HAS SOUS 671028 HAS SOUPS 671028 WITH SCORE 671727.525
AT ITER 1795 NEW BEST:: SOT 4439821 SOS 699287 HAS SOPS 699287 HAS SOUS 670625 HAS SOUPS 670625 WITH SCORE 671324.287
AT ITER 1797 NEW BEST:: SOT 4439664 SOS 699148 HAS SOPS 699148 HAS SOUS 670486 HAS SOUPS 670486 WITH SCORE 671185.148
AT ITER 1814 NEW BEST:: SOT 4439664 SOS 699148 HAS SOPS 699148 HAS SOUS 670485 HAS SOUPS 670485 WITH SCORE 671184.148
AT ITER 1826 NEW BEST:: SOT 4439502 SOS 698986 HAS SOPS 698986 HAS SOUS 670323 HAS SOUPS 670323 WITH SCORE 671021.986
AT ITER 1853 NEW BEST:: SOT 4439249 SOS 698480 HAS SOPS 698480 HAS SOUS 669817 HAS SOUPS 669817 WITH SCORE 670515.48
AT ITER 1864 NEW BEST:: SOT 4439074 SOS 698130 HAS SOPS 698130 HAS SOUS 669291 HAS SOUPS 669291 WITH SCORE 669989.13
AT ITER 1882 NEW BEST:: SOT 4438898 SOS 697778 HAS SOPS 697778 HAS SOUS 668705 HAS SOUPS 668705 WITH SCORE 669402.778
AT ITER 1890 NEW BEST:: SOT 4438952 SOS 697886 HAS SOPS 697886 HAS SOUS 668534 HAS SOUPS 668534 WITH SCORE 669231.886
AT ITER 1903 NEW BEST:: SOT 4438952 SOS 697694 HAS SOPS 697694 HAS SOUS 668438 HAS SOUPS 668438 WITH SCORE 669135.694
AT ITER 1908 NEW BEST:: SOT 4438710 SOS 697452 HAS SOPS 697452 HAS SOUS 668196 HAS SOUPS 668196 WITH SCORE 668893.452
AT ITER 1918 NEW BEST:: SOT 4438545 SOS 697552 HAS SOPS 697552 HAS SOUS 668121 HAS SOUPS 668121 WITH SCORE 668818.552
AT ITER 1935 NEW BEST:: SOT 4438372 SOS 697206 HAS SOPS 697206 HAS SOUS 667729 HAS SOUPS 667729 WITH SCORE 668426.206
AT ITER 1942 NEW BEST:: SOT 4438163 SOS 697120 HAS SOPS 697120 HAS SOUS 667643 HAS SOUPS 667643 WITH SCORE 668340.12
AT ITER 1953 NEW BEST:: SOT 4437935 SOS 696892 HAS SOPS 696892 HAS SOUS 667415 HAS SOUPS 667415 WITH SCORE 668111.892
AT ITER 1986 NEW BEST:: SOT 4437935 SOS 696826 HAS SOPS 696826 HAS SOUS 667349 HAS SOUPS 667349 WITH SCORE 668045.826
AT ITER 2004 NEW BEST:: SOT 4437445 SOS 696926 HAS SOPS 696926 HAS SOUS 667129 HAS SOUPS 667129 WITH SCORE 667825.926
AT ITER 2007 NEW BEST:: SOT 4437445 SOS 696926 HAS SOPS 696926 HAS SOUS 667110 HAS SOUPS 667110 WITH SCORE 667806.926
AT ITER 2021 NEW BEST:: SOT 4437419 SOS 696874 HAS SOPS 696874 HAS SOUS 667058 HAS SOUPS 667058 WITH SCORE 667754.874
AT ITER 2068 NEW BEST:: SOT 4437063 SOS 696162 HAS SOPS 696162 HAS SOUS 666346 HAS SOUPS 666346 WITH SCORE 667042.162
AT ITER 2073 NEW BEST:: SOT 4436994 SOS 696093 HAS SOPS 696093 HAS SOUS 666277 HAS SOUPS 666277 WITH SCORE 666973.093
AT ITER 2106 NEW BEST:: SOT 4436994 SOS 696093 HAS SOPS 696093 HAS SOUS 666276 HAS SOUPS 666276 WITH SCORE 666972.093
AT ITER 2123 NEW BEST:: SOT 4436824 SOS 695752 HAS SOPS 695752 HAS SOUS 665935 HAS SOUPS 665935 WITH SCORE 666630.752
AT ITER 2128 NEW BEST:: SOT 4436813 SOS 695730 HAS SOPS 695730 HAS SOUS 665913 HAS SOUPS 665913 WITH SCORE 666608.73
AT ITER 2168 NEW BEST:: SOT 4436813 SOS 695729 HAS SOPS 695729 HAS SOUS 665688 HAS SOUPS 665688 WITH SCORE 666383.729
AT ITER 2199 NEW BEST:: SOT 4436771 SOS 695965 HAS SOPS 695965 HAS SOUS 665560 HAS SOUPS 665560 WITH SCORE 666255.965
AT ITER 2222 NEW BEST:: SOT 4436775 SOS 695953 HAS SOPS 695953 HAS SOUS 665554 HAS SOUPS 665554 WITH SCORE 666249.953
AT ITER 2257 NEW BEST:: SOT 4436658 SOS 695719 HAS SOPS 695719 HAS SOUS 665320 HAS SOUPS 665320 WITH SCORE 666015.719
AT ITER 2260 NEW BEST:: SOT 4436568 SOS 695539 HAS SOPS 695539 HAS SOUS 665227 HAS SOUPS 665227 WITH SCORE 665922.539
AT ITER 2270 NEW BEST:: SOT 4436568 SOS 695538 HAS SOPS 695538 HAS SOUS 665191 HAS SOUPS 665191 WITH SCORE 665886.538
AT ITER 2274 NEW BEST:: SOT 4436568 SOS 695523 HAS SOPS 695523 HAS SOUS 665191 HAS SOUPS 665191 WITH SCORE 665886.523
AT ITER 2285 NEW BEST:: SOT 4436466 SOS 695421 HAS SOPS 695421 HAS SOUS 665191 HAS SOUPS 665191 WITH SCORE 665886.421
AT ITER 2338 NEW BEST:: SOT 4436309 SOS 695107 HAS SOPS 695107 HAS SOUS 664877 HAS SOUPS 664877 WITH SCORE 665572.107
AT ITER 2339 NEW BEST:: SOT 4436128 SOS 694975 HAS SOPS 694975 HAS SOUS 664742 HAS SOUPS 664742 WITH SCORE 665436.975
AT ITER 2352 NEW BEST:: SOT 4435979 SOS 694826 HAS SOPS 694826 HAS SOUS 664593 HAS SOUPS 664593 WITH SCORE 665287.826
AT ITER 2375 NEW BEST:: SOT 4435730 SOS 694328 HAS SOPS 694328 HAS SOUS 664095 HAS SOUPS 664095 WITH SCORE 664789.328
AT ITER 2386 NEW BEST:: SOT 4435448 SOS 694046 HAS SOPS 694046 HAS SOUS 663708 HAS SOUPS 663708 WITH SCORE 664402.046
AT ITER 2389 NEW BEST:: SOT 4435290 SOS 693903 HAS SOPS 693903 HAS SOUS 663565 HAS SOUPS 663565 WITH SCORE 664258.903
AT ITER 2408 NEW BEST:: SOT 4435188 SOS 693903 HAS SOPS 693903 HAS SOUS 663514 HAS SOUPS 663514 WITH SCORE 664207.903
AT ITER 2419 NEW BEST:: SOT 4435188 SOS 693903 HAS SOPS 693903 HAS SOUS 663379 HAS SOUPS 663379 WITH SCORE 664072.903
AT ITER 2455 NEW BEST:: SOT 4435109 SOS 693903 HAS SOPS 693903 HAS SOUS 663300 HAS SOUPS 663300 WITH SCORE 663993.903
AT ITER 2482 NEW BEST:: SOT 4435109 SOS 693755 HAS SOPS 693755 HAS SOUS 663226 HAS SOUPS 663226 WITH SCORE 663919.755
AT ITER 2502 NEW BEST:: SOT 4435113 SOS 693562 HAS SOPS 693562 HAS SOUS 663033 HAS SOUPS 663033 WITH SCORE 663726.562
AT ITER 2514 NEW BEST:: SOT 4434673 SOS 693064 HAS SOPS 693064 HAS SOUS 662535 HAS SOUPS 662535 WITH SCORE 663228.064
AT ITER 2522 NEW BEST:: SOT 4434472 SOS 692662 HAS SOPS 692662 HAS SOUS 662221 HAS SOUPS 662221 WITH SCORE 662913.662
AT ITER 2524 NEW BEST:: SOT 4434394 SOS 692506 HAS SOPS 692506 HAS SOUS 662065 HAS SOUPS 662065 WITH SCORE 662757.506
AT ITER 2529 NEW BEST:: SOT 4434288 SOS 692294 HAS SOPS 692294 HAS SOUS 661963 HAS SOUPS 661963 WITH SCORE 662655.294
AT ITER 2547 NEW BEST:: SOT 4434279 SOS 692276 HAS SOPS 692276 HAS SOUS 661945 HAS SOUPS 661945 WITH SCORE 662637.276
AT ITER 2564 NEW BEST:: SOT 4434279 SOS 691962 HAS SOPS 691962 HAS SOUS 661631 HAS SOUPS 661631 WITH SCORE 662322.962
AT ITER 2600 NEW BEST:: SOT 4434187 SOS 691778 HAS SOPS 691778 HAS SOUS 661587 HAS SOUPS 661587 WITH SCORE 662278.778
AT ITER 2649 NEW BEST:: SOT 4434322 SOS 691758 HAS SOPS 691758 HAS SOUS 661432 HAS SOUPS 661432 WITH SCORE 662123.758
AT ITER 2674 NEW BEST:: SOT 4434812 SOS 691855 HAS SOPS 691855 HAS SOUS 661303 HAS SOUPS 661303 WITH SCORE 661994.855
AT ITER 2693 NEW BEST:: SOT 4434783 SOS 691797 HAS SOPS 691797 HAS SOUS 661245 HAS SOUPS 661245 WITH SCORE 661936.797
AT ITER 2719 NEW BEST:: SOT 4434608 SOS 691447 HAS SOPS 691447 HAS SOUS 660895 HAS SOUPS 660895 WITH SCORE 661586.447
AT ITER 2723 NEW BEST:: SOT 4434608 SOS 691354 HAS SOPS 691354 HAS SOUS 660802 HAS SOUPS 660802 WITH SCORE 661493.354
AT ITER 2731 NEW BEST:: SOT 4434615 SOS 691316 HAS SOPS 691316 HAS SOUS 660764 HAS SOUPS 660764 WITH SCORE 661455.316
AT ITER 2744 NEW BEST:: SOT 4434309 SOS 690325 HAS SOPS 690325 HAS SOUS 660152 HAS SOUPS 660152 WITH SCORE 660842.325
AT ITER 2745 NEW BEST:: SOT 4434262 SOS 690303 HAS SOPS 690303 HAS SOUS 660105 HAS SOUPS 660105 WITH SCORE 660795.303
AT ITER 2778 NEW BEST:: SOT 4434166 SOS 690239 HAS SOPS 690239 HAS SOUS 660009 HAS SOUPS 660009 WITH SCORE 660699.239
AT ITER 2794 NEW BEST:: SOT 4433941 SOS 689796 HAS SOPS 689796 HAS SOUS 659566 HAS SOUPS 659566 WITH SCORE 660255.796
AT ITER 2799 NEW BEST:: SOT 4433941 SOS 689766 HAS SOPS 689766 HAS SOUS 659536 HAS SOUPS 659536 WITH SCORE 660225.766
AT ITER 2803 NEW BEST:: SOT 4433615 SOS 689440 HAS SOPS 689440 HAS SOUS 659210 HAS SOUPS 659210 WITH SCORE 659899.44
AT ITER 2838 NEW BEST:: SOT 4433615 SOS 689416 HAS SOPS 689416 HAS SOUS 659185 HAS SOUPS 659185 WITH SCORE 659874.416
AT ITER 2850 NEW BEST:: SOT 4433615 SOS 689289 HAS SOPS 689289 HAS SOUS 659058 HAS SOUPS 659058 WITH SCORE 659747.289
AT ITER 2892 NEW BEST:: SOT 4433615 SOS 688963 HAS SOPS 688963 HAS SOUS 658895 HAS SOUPS 658895 WITH SCORE 659583.963
AT ITER 2893 NEW BEST:: SOT 4433549 SOS 688897 HAS SOPS 688897 HAS SOUS 658829 HAS SOUPS 658829 WITH SCORE 659517.897
AT ITER 2944 NEW BEST:: SOT 4433314 SOS 688427 HAS SOPS 688427 HAS SOUS 658359 HAS SOUPS 658359 WITH SCORE 659047.427
AT ITER 2964 NEW BEST:: SOT 4433139 SOS 688077 HAS SOPS 688077 HAS SOUS 658010 HAS SOUPS 658010 WITH SCORE 658698.077
AT ITER 2966 NEW BEST:: SOT 4433131 SOS 688061 HAS SOPS 688061 HAS SOUS 657994 HAS SOUPS 657994 WITH SCORE 658682.061
AT ITER 2967 NEW BEST:: SOT 4433167 SOS 688133 HAS SOPS 688133 HAS SOUS 657988 HAS SOUPS 657988 WITH SCORE 658676.133
AT ITER 2977 NEW BEST:: SOT 4433096 SOS 688062 HAS SOPS 688062 HAS SOUS 657917 HAS SOUPS 657917 WITH SCORE 658605.062
AT ITER 3018 NEW BEST:: SOT 4433086 SOS 688042 HAS SOPS 688042 HAS SOUS 657897 HAS SOUPS 657897 WITH SCORE 658585.042
AT ITER 3033 NEW BEST:: SOT 4433084 SOS 688038 HAS SOPS 688038 HAS SOUS 657893 HAS SOUPS 657893 WITH SCORE 658581.038
AT ITER 3067 NEW BEST:: SOT 4432916 SOS 687702 HAS SOPS 687702 HAS SOUS 657557 HAS SOUPS 657557 WITH SCORE 658244.702
AT ITER 3078 NEW BEST:: SOT 4432466 SOS 687252 HAS SOPS 687252 HAS SOUS 657107 HAS SOUPS 657107 WITH SCORE 657794.252
AT ITER 3146 NEW BEST:: SOT 4431344 SOS 687612 HAS SOPS 687612 HAS SOUS 656094 HAS SOUPS 656094 WITH SCORE 656781.612
AT ITER 3149 NEW BEST:: SOT 4431344 SOS 687529 HAS SOPS 687529 HAS SOUS 656094 HAS SOUPS 656094 WITH SCORE 656781.529
AT ITER 3150 NEW BEST:: SOT 4431287 SOS 687415 HAS SOPS 687415 HAS SOUS 655980 HAS SOUPS 655980 WITH SCORE 656667.415
AT ITER 3152 NEW BEST:: SOT 4431164 SOS 687169 HAS SOPS 687169 HAS SOUS 655734 HAS SOUPS 655734 WITH SCORE 656421.169
AT ITER 3165 NEW BEST:: SOT 4431075 SOS 687068 HAS SOPS 687068 HAS SOUS 655588 HAS SOUPS 655588 WITH SCORE 656275.068
AT ITER 3200 NEW BEST:: SOT 4431043 SOS 687004 HAS SOPS 687004 HAS SOUS 655524 HAS SOUPS 655524 WITH SCORE 656211.004
AT ITER 3219 NEW BEST:: SOT 4431008 SOS 686969 HAS SOPS 686969 HAS SOUS 655489 HAS SOUPS 655489 WITH SCORE 656175.969
AT ITER 3222 NEW BEST:: SOT 4430805 SOS 686563 HAS SOPS 686563 HAS SOUS 655285 HAS SOUPS 655285 WITH SCORE 655971.563
AT ITER 3223 NEW BEST:: SOT 4430702 SOS 686524 HAS SOPS 686524 HAS SOUS 655182 HAS SOUPS 655182 WITH SCORE 655868.524
AT ITER 3224 NEW BEST:: SOT 4430491 SOS 686304 HAS SOPS 686304 HAS SOUS 654919 HAS SOUPS 654919 WITH SCORE 655605.304
AT ITER 3256 NEW BEST:: SOT 4430395 SOS 686112 HAS SOPS 686112 HAS SOUS 654727 HAS SOUPS 654727 WITH SCORE 655413.112
AT ITER 3284 NEW BEST:: SOT 4430078 SOS 685834 HAS SOPS 685834 HAS SOUS 654329 HAS SOUPS 654329 WITH SCORE 655014.834
AT ITER 3292 NEW BEST:: SOT 4429934 SOS 685546 HAS SOPS 685546 HAS SOUS 653815 HAS SOUPS 653815 WITH SCORE 654500.546
AT ITER 3297 NEW BEST:: SOT 4429823 SOS 685447 HAS SOPS 685447 HAS SOUS 653642 HAS SOUPS 653642 WITH SCORE 654327.447
AT ITER 3314 NEW BEST:: SOT 4429661 SOS 685291 HAS SOPS 685291 HAS SOUS 653621 HAS SOUPS 653621 WITH SCORE 654306.291
AT ITER 3346 NEW BEST:: SOT 4429661 SOS 685223 HAS SOPS 685223 HAS SOUS 653587 HAS SOUPS 653587 WITH SCORE 654272.223
AT ITER 3350 NEW BEST:: SOT 4429668 SOS 685237 HAS SOPS 685237 HAS SOUS 653461 HAS SOUPS 653461 WITH SCORE 654146.237
AT ITER 3435 NEW BEST:: SOT 4429606 SOS 685113 HAS SOPS 685113 HAS SOUS 653399 HAS SOUPS 653399 WITH SCORE 654084.113
AT ITER 3453 NEW BEST:: SOT 4429597 SOS 685095 HAS SOPS 685095 HAS SOUS 653381 HAS SOUPS 653381 WITH SCORE 654066.095
AT ITER 3468 NEW BEST:: SOT 4429447 SOS 684945 HAS SOPS 684945 HAS SOUS 653231 HAS SOUPS 653231 WITH SCORE 653915.945
AT ITER 3479 NEW BEST:: SOT 4429414 SOS 684879 HAS SOPS 684879 HAS SOUS 653165 HAS SOUPS 653165 WITH SCORE 653849.879
AT ITER 3483 NEW BEST:: SOT 4429496 SOS 685043 HAS SOPS 685043 HAS SOUS 653110 HAS SOUPS 653110 WITH SCORE 653795.043
AT ITER 3501 NEW BEST:: SOT 4429014 SOS 684561 HAS SOPS 684561 HAS SOUS 652628 HAS SOUPS 652628 WITH SCORE 653312.561
AT ITER 3552 NEW BEST:: SOT 4428983 SOS 684499 HAS SOPS 684499 HAS SOUS 652566 HAS SOUPS 652566 WITH SCORE 653250.499
AT ITER 3557 NEW BEST:: SOT 4428872 SOS 684413 HAS SOPS 684413 HAS SOUS 652455 HAS SOUPS 652455 WITH SCORE 653139.413
AT ITER 3572 NEW BEST:: SOT 4428800 SOS 684197 HAS SOPS 684197 HAS SOUS 652311 HAS SOUPS 652311 WITH SCORE 652995.197
AT ITER 3597 NEW BEST:: SOT 4428528 SOS 684948 HAS SOPS 684948 HAS SOUS 652270 HAS SOUPS 652270 WITH SCORE 652954.948
AT ITER 3604 NEW BEST:: SOT 4428624 SOS 684528 HAS SOPS 684528 HAS SOUS 651754 HAS SOUPS 651754 WITH SCORE 652438.528
AT ITER 3611 NEW BEST:: SOT 4428464 SOS 684208 HAS SOPS 684208 HAS SOUS 651582 HAS SOUPS 651582 WITH SCORE 652266.208
AT ITER 3619 NEW BEST:: SOT 4428342 SOS 683964 HAS SOPS 683964 HAS SOUS 651338 HAS SOUPS 651338 WITH SCORE 652021.964
AT ITER 3630 NEW BEST:: SOT 4427655 SOS 683405 HAS SOPS 683405 HAS SOUS 650779 HAS SOUPS 650779 WITH SCORE 651462.405
AT ITER 3636 NEW BEST:: SOT 4427655 SOS 683119 HAS SOPS 683119 HAS SOUS 650636 HAS SOUPS 650636 WITH SCORE 651319.119
AT ITER 3664 NEW BEST:: SOT 4427746 SOS 682974 HAS SOPS 682974 HAS SOUS 650491 HAS SOUPS 650491 WITH SCORE 651173.974
AT ITER 3673 NEW BEST:: SOT 4427710 SOS 682956 HAS SOPS 682956 HAS SOUS 650455 HAS SOUPS 650455 WITH SCORE 651137.956
AT ITER 3690 NEW BEST:: SOT 4427574 SOS 682684 HAS SOPS 682684 HAS SOUS 650183 HAS SOUPS 650183 WITH SCORE 650865.684
AT ITER 3695 NEW BEST:: SOT 4427306 SOS 682148 HAS SOPS 682148 HAS SOUS 649756 HAS SOUPS 649756 WITH SCORE 650438.148
AT ITER 3696 NEW BEST:: SOT 4427305 SOS 682146 HAS SOPS 682146 HAS SOUS 649754 HAS SOUPS 649754 WITH SCORE 650436.146
AT ITER 3737 NEW BEST:: SOT 4427339 SOS 682145 HAS SOPS 682145 HAS SOUS 649753 HAS SOUPS 649753 WITH SCORE 650435.145
AT ITER 3738 NEW BEST:: SOT 4427427 SOS 682047 HAS SOPS 682047 HAS SOUS 649414 HAS SOUPS 649414 WITH SCORE 650096.047
AT ITER 3743 NEW BEST:: SOT 4427383 SOS 681959 HAS SOPS 681959 HAS SOUS 649266 HAS SOUPS 649266 WITH SCORE 649947.959
AT ITER 3780 NEW BEST:: SOT 4427383 SOS 681959 HAS SOPS 681959 HAS SOUS 649212 HAS SOUPS 649212 WITH SCORE 649893.959
AT ITER 3786 NEW BEST:: SOT 4427376 SOS 681945 HAS SOPS 681945 HAS SOUS 649198 HAS SOUPS 649198 WITH SCORE 649879.945
AT ITER 3798 NEW BEST:: SOT 4427163 SOS 681519 HAS SOPS 681519 HAS SOUS 648772 HAS SOUPS 648772 WITH SCORE 649453.519
AT ITER 3802 NEW BEST:: SOT 4420764 SOS 685282 HAS SOPS 685282 HAS SOUS 643150 HAS SOUPS 643150 WITH SCORE 643835.282
AT ITER 3834 NEW BEST:: SOT 4420704 SOS 685192 HAS SOPS 685192 HAS SOUS 643060 HAS SOUPS 643060 WITH SCORE 643745.192
AT ITER 3858 NEW BEST:: SOT 4420703 SOS 685098 HAS SOPS 685098 HAS SOUS 642967 HAS SOUPS 642967 WITH SCORE 643652.098
AT ITER 3870 NEW BEST:: SOT 4420527 SOS 684892 HAS SOPS 684892 HAS SOUS 642718 HAS SOUPS 642718 WITH SCORE 643402.892
AT ITER 3877 NEW BEST:: SOT 4420514 SOS 684866 HAS SOPS 684866 HAS SOUS 642692 HAS SOUPS 642692 WITH SCORE 643376.866
AT ITER 3881 NEW BEST:: SOT 4420344 SOS 684526 HAS SOPS 684526 HAS SOUS 642352 HAS SOUPS 642352 WITH SCORE 643036.526
AT ITER 3888 NEW BEST:: SOT 4420110 SOS 684058 HAS SOPS 684058 HAS SOUS 641884 HAS SOUPS 641884 WITH SCORE 642568.058
AT ITER 3904 NEW BEST:: SOT 4419992 SOS 683822 HAS SOPS 683822 HAS SOUS 641766 HAS SOUPS 641766 WITH SCORE 642449.822
AT ITER 3908 NEW BEST:: SOT 4419992 SOS 683821 HAS SOPS 683821 HAS SOUS 641765 HAS SOUPS 641765 WITH SCORE 642448.821
AT ITER 3925 NEW BEST:: SOT 4419931 SOS 683760 HAS SOPS 683760 HAS SOUS 641704 HAS SOUPS 641704 WITH SCORE 642387.76
AT ITER 3936 NEW BEST:: SOT 4419776 SOS 683605 HAS SOPS 683605 HAS SOUS 641549 HAS SOUPS 641549 WITH SCORE 642232.605
AT ITER 3943 NEW BEST:: SOT 4419776 SOS 683605 HAS SOPS 683605 HAS SOUS 641548 HAS SOUPS 641548 WITH SCORE 642231.605
AT ITER 3956 NEW BEST:: SOT 4419713 SOS 683479 HAS SOPS 683479 HAS SOUS 641422 HAS SOUPS 641422 WITH SCORE 642105.479
AT ITER 3957 NEW BEST:: SOT 4419673 SOS 683398 HAS SOPS 683398 HAS SOUS 641341 HAS SOUPS 641341 WITH SCORE 642024.398
AT ITER 3996 NEW BEST:: SOT 4419617 SOS 683286 HAS SOPS 683286 HAS SOUS 641285 HAS SOUPS 641285 WITH SCORE 641968.286
AT ITER 4009 NEW BEST:: SOT 4419580 SOS 683212 HAS SOPS 683212 HAS SOUS 641211 HAS SOUPS 641211 WITH SCORE 641894.212
AT ITER 4015 NEW BEST:: SOT 4419499 SOS 683050 HAS SOPS 683050 HAS SOUS 641049 HAS SOUPS 641049 WITH SCORE 641732.05
AT ITER 4058 NEW BEST:: SOT 4419461 SOS 682974 HAS SOPS 682974 HAS SOUS 641027 HAS SOUPS 641027 WITH SCORE 641709.974
AT ITER 4068 NEW BEST:: SOT 4419303 SOS 682767 HAS SOPS 682767 HAS SOUS 640760 HAS SOUPS 640760 WITH SCORE 641442.767
AT ITER 4075 NEW BEST:: SOT 4419350 SOS 682386 HAS SOPS 682386 HAS SOUS 640379 HAS SOUPS 640379 WITH SCORE 641061.386
AT ITER 4076 NEW BEST:: SOT 4419350 SOS 682385 HAS SOPS 682385 HAS SOUS 640378 HAS SOUPS 640378 WITH SCORE 641060.385
AT ITER 4079 NEW BEST:: SOT 4419260 SOS 682295 HAS SOPS 682295 HAS SOUS 640288 HAS SOUPS 640288 WITH SCORE 640970.295
AT ITER 4081 NEW BEST:: SOT 4419212 SOS 682199 HAS SOPS 682199 HAS SOUS 640240 HAS SOUPS 640240 WITH SCORE 640922.199
AT ITER 4097 NEW BEST:: SOT 4419210 SOS 682377 HAS SOPS 682377 HAS SOUS 640236 HAS SOUPS 640236 WITH SCORE 640918.377
AT ITER 4119 NEW BEST:: SOT 4419118 SOS 682193 HAS SOPS 682193 HAS SOUS 640052 HAS SOUPS 640052 WITH SCORE 640734.193
AT ITER 4156 NEW BEST:: SOT 4419098 SOS 682153 HAS SOPS 682153 HAS SOUS 640032 HAS SOUPS 640032 WITH SCORE 640714.153
AT ITER 4158 NEW BEST:: SOT 4419005 SOS 682207 HAS SOPS 682207 HAS SOUS 640020 HAS SOUPS 640020 WITH SCORE 640702.207
AT ITER 4189 NEW BEST:: SOT 4418923 SOS 682207 HAS SOPS 682207 HAS SOUS 639938 HAS SOUPS 639938 WITH SCORE 640620.207
AT ITER 4191 NEW BEST:: SOT 4418923 SOS 682207 HAS SOPS 682207 HAS SOUS 639768 HAS SOUPS 639768 WITH SCORE 640450.207
AT ITER 4217 NEW BEST:: SOT 4418923 SOS 682206 HAS SOPS 682206 HAS SOUS 639767 HAS SOUPS 639767 WITH SCORE 640449.206
AT ITER 4219 NEW BEST:: SOT 4418923 SOS 682132 HAS SOPS 682132 HAS SOUS 639730 HAS SOUPS 639730 WITH SCORE 640412.132
AT ITER 4229 NEW BEST:: SOT 4419037 SOS 681647 HAS SOPS 681647 HAS SOUS 639665 HAS SOUPS 639665 WITH SCORE 640346.647
AT ITER 4261 NEW BEST:: SOT 4418998 SOS 681569 HAS SOPS 681569 HAS SOUS 639626 HAS SOUPS 639626 WITH SCORE 640307.569
AT ITER 4275 NEW BEST:: SOT 4418974 SOS 681521 HAS SOPS 681521 HAS SOUS 639578 HAS SOUPS 639578 WITH SCORE 640259.521
AT ITER 4276 NEW BEST:: SOT 4418944 SOS 681461 HAS SOPS 681461 HAS SOUS 639518 HAS SOUPS 639518 WITH SCORE 640199.461
AT ITER 4294 NEW BEST:: SOT 4418798 SOS 681169 HAS SOPS 681169 HAS SOUS 639226 HAS SOUPS 639226 WITH SCORE 639907.169
AT ITER 4330 NEW BEST:: SOT 4418798 SOS 680991 HAS SOPS 680991 HAS SOUS 639048 HAS SOUPS 639048 WITH SCORE 639728.991
AT ITER 4385 NEW BEST:: SOT 4418696 SOS 680898 HAS SOPS 680898 HAS SOUS 638951 HAS SOUPS 638951 WITH SCORE 639631.898
AT ITER 4386 NEW BEST:: SOT 4418696 SOS 680898 HAS SOPS 680898 HAS SOUS 638918 HAS SOUPS 638918 WITH SCORE 639598.898
AT ITER 4394 NEW BEST:: SOT 4418475 SOS 680456 HAS SOPS 680456 HAS SOUS 638657 HAS SOUPS 638657 WITH SCORE 639337.456
AT ITER 4402 NEW BEST:: SOT 4418475 SOS 680265 HAS SOPS 680265 HAS SOUS 638657 HAS SOUPS 638657 WITH SCORE 639337.265
AT ITER 4418 NEW BEST:: SOT 4418067 SOS 680413 HAS SOPS 680413 HAS SOUS 638490 HAS SOUPS 638490 WITH SCORE 639170.413
AT ITER 4434 NEW BEST:: SOT 4418008 SOS 680295 HAS SOPS 680295 HAS SOUS 638348 HAS SOUPS 638348 WITH SCORE 639028.295
AT ITER 4441 NEW BEST:: SOT 4418037 SOS 680167 HAS SOPS 680167 HAS SOUS 638220 HAS SOUPS 638220 WITH SCORE 638900.167
AT ITER 4448 NEW BEST:: SOT 4418036 SOS 680165 HAS SOPS 680165 HAS SOUS 638218 HAS SOUPS 638218 WITH SCORE 638898.165
AT ITER 4460 NEW BEST:: SOT 4418224 SOS 679789 HAS SOPS 679789 HAS SOUS 638218 HAS SOUPS 638218 WITH SCORE 638897.789
AT ITER 4464 NEW BEST:: SOT 4418224 SOS 679789 HAS SOPS 679789 HAS SOUS 638209 HAS SOUPS 638209 WITH SCORE 638888.789
AT ITER 4532 NEW BEST:: SOT 4418096 SOS 679533 HAS SOPS 679533 HAS SOUS 637953 HAS SOUPS 637953 WITH SCORE 638632.533
AT ITER 4543 NEW BEST:: SOT 4418090 SOS 679521 HAS SOPS 679521 HAS SOUS 637941 HAS SOUPS 637941 WITH SCORE 638620.521
AT ITER 4555 NEW BEST:: SOT 4418090 SOS 679521 HAS SOPS 679521 HAS SOUS 637940 HAS SOUPS 637940 WITH SCORE 638619.521
AT ITER 4570 NEW BEST:: SOT 4417912 SOS 679429 HAS SOPS 679429 HAS SOUS 637848 HAS SOUPS 637848 WITH SCORE 638527.429
AT ITER 4581 NEW BEST:: SOT 4417912 SOS 679141 HAS SOPS 679141 HAS SOUS 637272 HAS SOUPS 637272 WITH SCORE 637951.141
AT ITER 4607 NEW BEST:: SOT 4417383 SOS 678935 HAS SOPS 678935 HAS SOUS 636880 HAS SOUPS 636880 WITH SCORE 637558.935
AT ITER 4652 NEW BEST:: SOT 4417383 SOS 678908 HAS SOPS 678908 HAS SOUS 636853 HAS SOUPS 636853 WITH SCORE 637531.908
AT ITER 4688 NEW BEST:: SOT 4417219 SOS 678580 HAS SOPS 678580 HAS SOUS 636525 HAS SOUPS 636525 WITH SCORE 637203.58
AT ITER 4733 NEW BEST:: SOT 4417146 SOS 678434 HAS SOPS 678434 HAS SOUS 636357 HAS SOUPS 636357 WITH SCORE 637035.434
AT ITER 4771 NEW BEST:: SOT 4417290 SOS 678722 HAS SOPS 678722 HAS SOUS 636320 HAS SOUPS 636320 WITH SCORE 636998.722
AT ITER 4854 NEW BEST:: SOT 4417273 SOS 678688 HAS SOPS 678688 HAS SOUS 636286 HAS SOUPS 636286 WITH SCORE 636964.688
AT ITER 4874 NEW BEST:: SOT 4417064 SOS 678705 HAS SOPS 678705 HAS SOUS 635936 HAS SOUPS 635936 WITH SCORE 636614.705
AT ITER 4878 NEW BEST:: SOT 4417064 SOS 678649 HAS SOPS 678649 HAS SOUS 635917 HAS SOUPS 635917 WITH SCORE 636595.649
AT ITER 4881 NEW BEST:: SOT 4416876 SOS 678273 HAS SOPS 678273 HAS SOUS 635541 HAS SOUPS 635541 WITH SCORE 636219.273
AT ITER 4883 NEW BEST:: SOT 4416738 SOS 678273 HAS SOPS 678273 HAS SOUS 635472 HAS SOUPS 635472 WITH SCORE 636150.273
AT ITER 4901 NEW BEST:: SOT 4416463 SOS 677997 HAS SOPS 677997 HAS SOUS 635196 HAS SOUPS 635196 WITH SCORE 635873.997
AT ITER 4941 NEW BEST:: SOT 4416321 SOS 677713 HAS SOPS 677713 HAS SOUS 634912 HAS SOUPS 634912 WITH SCORE 635589.713
AT ITER 4963 NEW BEST:: SOT 4416321 SOS 677713 HAS SOPS 677713 HAS SOUS 634737 HAS SOUPS 634737 WITH SCORE 635414.713
AT ITER 4969 NEW BEST:: SOT 4416321 SOS 677563 HAS SOPS 677563 HAS SOUS 634587 HAS SOUPS 634587 WITH SCORE 635264.563
AT ITER 4973 NEW BEST:: SOT 4416321 SOS 677562 HAS SOPS 677562 HAS SOUS 634586 HAS SOUPS 634586 WITH SCORE 635263.562
AT ITER 4975 NEW BEST:: SOT 4416284 SOS 677488 HAS SOPS 677488 HAS SOUS 634549 HAS SOUPS 634549 WITH SCORE 635226.488
AT ITER 4989 NEW BEST:: SOT 4416219 SOS 677358 HAS SOPS 677358 HAS SOUS 634419 HAS SOUPS 634419 WITH SCORE 635096.358
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-00 (! (AX( (EG( potential( (tk(P1265)) <= (tk(P13)) ))))))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-01 (AF((AX( ( potential( (tk(P117)) <= (tk(P482)) ) & potential( ( 1 ) <= (tk(P1345)) ) )))))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-02 (AF(( ( ( potential( ( 2 ) <= (tk(P554)) ) | potential( (tk(P1106)) <= (tk(P1317)) ) ) & potential( ( 2 ) <= (tk(P2261)) ) ) & (AX( potential( ( 3 ) <= (tk(P2368)) ))) )))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-03 ( ( (EG( (! potential( ( 1 ) <= (tk(P1802)) )))) | (! ( (! potential( ( 1 ) <= (tk(P281)) )) | (! potential( (tk(P2117)) <= (tk(P549)) )) )) ) & (AF((EF(potential( (tk(P1726)) <= (tk(P1105)) ))))) )
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-04 (AG( (EX( (! potential( ( 3 ) <= (tk(P1776)) ))))))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-05 (AU( ( (! potential( (tk(P536)) <= (tk(P1500)) )) | potential( (tk(P556)) <= (tk(P1669)) ) ),( (! potential( (tk(P1659)) <= (tk(P1621)) )) | ( potential( ( 1 ) <= (tk(P2502)) ) | potential( ( 2 ) <= (tk(P1491)) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-06 (AG( (EU( potential( (tk(P661)) <= (tk(P863)) ),potential( ( 1 ) <= (tk(P1908)) ) ))))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-07 (AG( ( ( ( potential( (tk(P220)) <= (tk(P474)) ) | potential( (tk(P2143)) <= (tk(P979)) ) ) | ( potential( ( 3 ) <= (tk(P1359)) ) & potential( (tk(P1245)) <= (tk(P802)) ) ) ) | potential( (tk(P1559)) <= (tk(P576)) ) )))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-08 (AF(potential( ( 1 ) <= (tk(P2093)) )))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-09 ( (AF(potential( ( 2 ) <= (tk(P1920)) ))) | ( ( (! potential( ( 1 ) <= (tk(P2236)) )) & potential( ( 3 ) <= (tk(P1520)) ) ) | potential( ( 3 ) <= (tk(P2023)) ) ) )
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-10 (! (EX( (AF(potential( ( 2 ) <= (tk(P1621)) ))))))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-11 (EF((AU( potential( (tk(P1717)) <= (tk(P988)) ),potential( ( 1 ) <= (tk(P1761)) ) ))))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-12 (AX( (EF(( potential( (tk(P1063)) <= (tk(P2103)) ) & potential( ( 1 ) <= (tk(P2410)) ) )))))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-13 (EU( (AG( potential( (tk(P362)) <= (tk(P1434)) ))),(AG( potential( (tk(P2159)) <= (tk(P1441)) ))) ))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-14 (AF((AU( potential( ( 1 ) <= (tk(P2507)) ),potential( ( 1 ) <= (tk(P1437)) ) ))))
PROPERTY: CloudReconfiguration-PT-316-CTLCardinality-15 (EX( (! (EG( potential( (tk(P239)) <= (tk(P306)) ))))))

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

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