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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.3K 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.5K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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-319-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-319-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589099188330

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 319
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 4458368 SOS 744475 HAS SOPS 744475 HAS SOUS 686763 HAS SOUPS 686763 WITH SCORE 687507.475
AT ITER 21 NEW BEST:: SOT 4458368 SOS 744440 HAS SOPS 744440 HAS SOUS 686728 HAS SOUPS 686728 WITH SCORE 687472.44
AT ITER 52 NEW BEST:: SOT 4458367 SOS 744438 HAS SOPS 744438 HAS SOUS 686726 HAS SOUPS 686726 WITH SCORE 687470.438
AT ITER 55 NEW BEST:: SOT 4458363 SOS 744430 HAS SOPS 744430 HAS SOUS 686718 HAS SOUPS 686718 WITH SCORE 687462.43
AT ITER 69 NEW BEST:: SOT 4458144 SOS 743992 HAS SOPS 743992 HAS SOUS 686280 HAS SOUPS 686280 WITH SCORE 687023.992
AT ITER 75 NEW BEST:: SOT 4457822 SOS 743670 HAS SOPS 743670 HAS SOUS 685958 HAS SOUPS 685958 WITH SCORE 686701.67
AT ITER 87 NEW BEST:: SOT 4457820 SOS 743666 HAS SOPS 743666 HAS SOUS 685952 HAS SOUPS 685952 WITH SCORE 686695.666
AT ITER 118 NEW BEST:: SOT 4457998 SOS 744022 HAS SOPS 744022 HAS SOUS 685829 HAS SOUPS 685829 WITH SCORE 686573.022
AT ITER 133 NEW BEST:: SOT 4457998 SOS 744022 HAS SOPS 744022 HAS SOUS 685681 HAS SOUPS 685681 WITH SCORE 686425.022
AT ITER 166 NEW BEST:: SOT 4457750 SOS 743526 HAS SOPS 743526 HAS SOUS 685185 HAS SOUPS 685185 WITH SCORE 685928.526
AT ITER 206 NEW BEST:: SOT 4457577 SOS 743009 HAS SOPS 743009 HAS SOUS 684746 HAS SOUPS 684746 WITH SCORE 685489.009
AT ITER 228 NEW BEST:: SOT 4457560 SOS 742975 HAS SOPS 742975 HAS SOUS 684712 HAS SOUPS 684712 WITH SCORE 685454.975
AT ITER 236 NEW BEST:: SOT 4457560 SOS 742876 HAS SOPS 742876 HAS SOUS 684613 HAS SOUPS 684613 WITH SCORE 685355.876
AT ITER 269 NEW BEST:: SOT 4457306 SOS 742646 HAS SOPS 742646 HAS SOUS 684359 HAS SOUPS 684359 WITH SCORE 685101.646
AT ITER 275 NEW BEST:: SOT 4457176 SOS 742572 HAS SOPS 742572 HAS SOUS 684285 HAS SOUPS 684285 WITH SCORE 685027.572
AT ITER 276 NEW BEST:: SOT 4457029 SOS 742425 HAS SOPS 742425 HAS SOUS 684138 HAS SOUPS 684138 WITH SCORE 684880.425
AT ITER 278 NEW BEST:: SOT 4456942 SOS 742251 HAS SOPS 742251 HAS SOUS 683964 HAS SOUPS 683964 WITH SCORE 684706.251
AT ITER 281 NEW BEST:: SOT 4456925 SOS 742303 HAS SOPS 742303 HAS SOUS 683861 HAS SOUPS 683861 WITH SCORE 684603.303
AT ITER 313 NEW BEST:: SOT 4456868 SOS 742189 HAS SOPS 742189 HAS SOUS 683747 HAS SOUPS 683747 WITH SCORE 684489.189
AT ITER 347 NEW BEST:: SOT 4456868 SOS 742163 HAS SOPS 742163 HAS SOUS 683746 HAS SOUPS 683746 WITH SCORE 684488.163
AT ITER 364 NEW BEST:: SOT 4456868 SOS 742020 HAS SOPS 742020 HAS SOUS 683745 HAS SOUPS 683745 WITH SCORE 684487.02
AT ITER 366 NEW BEST:: SOT 4456273 SOS 741205 HAS SOPS 741205 HAS SOUS 682817 HAS SOUPS 682817 WITH SCORE 683558.205
AT ITER 381 NEW BEST:: SOT 4456163 SOS 740748 HAS SOPS 740748 HAS SOUS 682470 HAS SOUPS 682470 WITH SCORE 683210.748
AT ITER 391 NEW BEST:: SOT 4456143 SOS 740728 HAS SOPS 740728 HAS SOUS 682450 HAS SOUPS 682450 WITH SCORE 683190.728
AT ITER 410 NEW BEST:: SOT 4456143 SOS 740705 HAS SOPS 740705 HAS SOUS 682427 HAS SOUPS 682427 WITH SCORE 683167.705
AT ITER 414 NEW BEST:: SOT 4456033 SOS 740595 HAS SOPS 740595 HAS SOUS 682317 HAS SOUPS 682317 WITH SCORE 683057.595
AT ITER 422 NEW BEST:: SOT 4455854 SOS 740237 HAS SOPS 740237 HAS SOUS 681959 HAS SOUPS 681959 WITH SCORE 682699.237
AT ITER 426 NEW BEST:: SOT 4455854 SOS 740113 HAS SOPS 740113 HAS SOUS 681834 HAS SOUPS 681834 WITH SCORE 682574.113
AT ITER 430 NEW BEST:: SOT 4455722 SOS 739849 HAS SOPS 739849 HAS SOUS 681570 HAS SOUPS 681570 WITH SCORE 682309.849
AT ITER 437 NEW BEST:: SOT 4455796 SOS 739627 HAS SOPS 739627 HAS SOUS 681378 HAS SOUPS 681378 WITH SCORE 682117.627
AT ITER 438 NEW BEST:: SOT 4455796 SOS 739627 HAS SOPS 739627 HAS SOUS 681364 HAS SOUPS 681364 WITH SCORE 682103.627
AT ITER 465 NEW BEST:: SOT 4455795 SOS 739625 HAS SOPS 739625 HAS SOUS 681362 HAS SOUPS 681362 WITH SCORE 682101.625
AT ITER 485 NEW BEST:: SOT 4455303 SOS 739166 HAS SOPS 739166 HAS SOUS 680878 HAS SOUPS 680878 WITH SCORE 681617.166
AT ITER 496 NEW BEST:: SOT 4455301 SOS 739162 HAS SOPS 739162 HAS SOUS 680874 HAS SOUPS 680874 WITH SCORE 681613.162
AT ITER 507 NEW BEST:: SOT 4455301 SOS 739018 HAS SOPS 739018 HAS SOUS 680874 HAS SOUPS 680874 WITH SCORE 681613.018
AT ITER 524 NEW BEST:: SOT 4455301 SOS 738917 HAS SOPS 738917 HAS SOUS 680874 HAS SOUPS 680874 WITH SCORE 681612.917
AT ITER 527 NEW BEST:: SOT 4454793 SOS 738409 HAS SOPS 738409 HAS SOUS 680366 HAS SOUPS 680366 WITH SCORE 681104.409
AT ITER 593 NEW BEST:: SOT 4454727 SOS 738045 HAS SOPS 738045 HAS SOUS 680233 HAS SOUPS 680233 WITH SCORE 680971.045
AT ITER 597 NEW BEST:: SOT 4454694 SOS 737979 HAS SOPS 737979 HAS SOUS 680167 HAS SOUPS 680167 WITH SCORE 680904.979
AT ITER 632 NEW BEST:: SOT 4454482 SOS 738175 HAS SOPS 738175 HAS SOUS 680092 HAS SOUPS 680092 WITH SCORE 680830.175
AT ITER 637 NEW BEST:: SOT 4454419 SOS 738049 HAS SOPS 738049 HAS SOUS 679966 HAS SOUPS 679966 WITH SCORE 680704.049
AT ITER 638 NEW BEST:: SOT 4454419 SOS 737988 HAS SOPS 737988 HAS SOUS 679966 HAS SOUPS 679966 WITH SCORE 680703.988
AT ITER 643 NEW BEST:: SOT 4454418 SOS 737986 HAS SOPS 737986 HAS SOUS 679964 HAS SOUPS 679964 WITH SCORE 680701.986
AT ITER 685 NEW BEST:: SOT 4454134 SOS 738008 HAS SOPS 738008 HAS SOUS 679680 HAS SOUPS 679680 WITH SCORE 680418.008
AT ITER 703 NEW BEST:: SOT 4454070 SOS 737975 HAS SOPS 737975 HAS SOUS 679616 HAS SOUPS 679616 WITH SCORE 680353.975
AT ITER 720 NEW BEST:: SOT 4453822 SOS 737727 HAS SOPS 737727 HAS SOUS 679368 HAS SOUPS 679368 WITH SCORE 680105.727
AT ITER 725 NEW BEST:: SOT 4453670 SOS 737423 HAS SOPS 737423 HAS SOUS 679064 HAS SOUPS 679064 WITH SCORE 679801.423
AT ITER 742 NEW BEST:: SOT 4453480 SOS 737043 HAS SOPS 737043 HAS SOUS 678684 HAS SOUPS 678684 WITH SCORE 679421.043
AT ITER 795 NEW BEST:: SOT 4453825 SOS 736818 HAS SOPS 736818 HAS SOUS 678596 HAS SOUPS 678596 WITH SCORE 679332.818
AT ITER 798 NEW BEST:: SOT 4453824 SOS 736809 HAS SOPS 736809 HAS SOUS 678587 HAS SOUPS 678587 WITH SCORE 679323.809
AT ITER 846 NEW BEST:: SOT 4453604 SOS 736593 HAS SOPS 736593 HAS SOUS 678371 HAS SOUPS 678371 WITH SCORE 679107.593
AT ITER 849 NEW BEST:: SOT 4453382 SOS 736312 HAS SOPS 736312 HAS SOUS 678077 HAS SOUPS 678077 WITH SCORE 678813.312
AT ITER 850 NEW BEST:: SOT 4453381 SOS 736310 HAS SOPS 736310 HAS SOUS 678075 HAS SOUPS 678075 WITH SCORE 678811.31
AT ITER 858 NEW BEST:: SOT 4453217 SOS 735982 HAS SOPS 735982 HAS SOUS 677614 HAS SOUPS 677614 WITH SCORE 678349.982
AT ITER 873 NEW BEST:: SOT 4453210 SOS 735968 HAS SOPS 735968 HAS SOUS 677600 HAS SOUPS 677600 WITH SCORE 678335.968
AT ITER 931 NEW BEST:: SOT 4453209 SOS 735818 HAS SOPS 735818 HAS SOUS 677598 HAS SOUPS 677598 WITH SCORE 678333.818
AT ITER 933 NEW BEST:: SOT 4453155 SOS 735710 HAS SOPS 735710 HAS SOUS 677490 HAS SOUPS 677490 WITH SCORE 678225.71
AT ITER 941 NEW BEST:: SOT 4452942 SOS 735639 HAS SOPS 735639 HAS SOUS 677277 HAS SOUPS 677277 WITH SCORE 678012.639
AT ITER 964 NEW BEST:: SOT 4453104 SOS 735963 HAS SOPS 735963 HAS SOUS 677210 HAS SOUPS 677210 WITH SCORE 677945.963
AT ITER 980 NEW BEST:: SOT 4451815 SOS 737753 HAS SOPS 737753 HAS SOUS 676026 HAS SOUPS 676026 WITH SCORE 676763.753
AT ITER 1033 NEW BEST:: SOT 4451783 SOS 737689 HAS SOPS 737689 HAS SOUS 675962 HAS SOUPS 675962 WITH SCORE 676699.689
AT ITER 1054 NEW BEST:: SOT 4451470 SOS 737938 HAS SOPS 737938 HAS SOUS 675657 HAS SOUPS 675657 WITH SCORE 676394.938
AT ITER 1067 NEW BEST:: SOT 4445468 SOS 777762 HAS SOPS 777762 HAS SOUS 671198 HAS SOUPS 671198 WITH SCORE 671975.762
AT ITER 1068 NEW BEST:: SOT 4445468 SOS 777684 HAS SOPS 777684 HAS SOUS 671198 HAS SOUPS 671198 WITH SCORE 671975.684
AT ITER 1080 NEW BEST:: SOT 4445468 SOS 777573 HAS SOPS 777573 HAS SOUS 671087 HAS SOUPS 671087 WITH SCORE 671864.573
AT ITER 1104 NEW BEST:: SOT 4445396 SOS 777139 HAS SOPS 777139 HAS SOUS 670712 HAS SOUPS 670712 WITH SCORE 671489.139
AT ITER 1109 NEW BEST:: SOT 4445326 SOS 776999 HAS SOPS 776999 HAS SOUS 670642 HAS SOUPS 670642 WITH SCORE 671418.999
AT ITER 1131 NEW BEST:: SOT 4445264 SOS 776875 HAS SOPS 776875 HAS SOUS 670580 HAS SOUPS 670580 WITH SCORE 671356.875
AT ITER 1144 NEW BEST:: SOT 4445264 SOS 777149 HAS SOPS 777149 HAS SOUS 670329 HAS SOUPS 670329 WITH SCORE 671106.149
AT ITER 1150 NEW BEST:: SOT 4445264 SOS 776866 HAS SOPS 776866 HAS SOUS 670328 HAS SOUPS 670328 WITH SCORE 671104.866
AT ITER 1203 NEW BEST:: SOT 4445134 SOS 777390 HAS SOPS 777390 HAS SOUS 670316 HAS SOUPS 670316 WITH SCORE 671093.39
AT ITER 1259 NEW BEST:: SOT 4445123 SOS 777368 HAS SOPS 777368 HAS SOUS 670313 HAS SOUPS 670313 WITH SCORE 671090.368
AT ITER 1261 NEW BEST:: SOT 4445044 SOS 776836 HAS SOPS 776836 HAS SOUS 669975 HAS SOUPS 669975 WITH SCORE 670751.836
AT ITER 1264 NEW BEST:: SOT 4445010 SOS 776734 HAS SOPS 776734 HAS SOUS 669941 HAS SOUPS 669941 WITH SCORE 670717.734
AT ITER 1272 NEW BEST:: SOT 4444993 SOS 776700 HAS SOPS 776700 HAS SOUS 669907 HAS SOUPS 669907 WITH SCORE 670683.7
AT ITER 1285 NEW BEST:: SOT 4444686 SOS 776086 HAS SOPS 776086 HAS SOUS 669293 HAS SOUPS 669293 WITH SCORE 670069.086
AT ITER 1288 NEW BEST:: SOT 4444659 SOS 776032 HAS SOPS 776032 HAS SOUS 669239 HAS SOUPS 669239 WITH SCORE 670015.032
AT ITER 1291 NEW BEST:: SOT 4444646 SOS 776006 HAS SOPS 776006 HAS SOUS 669213 HAS SOUPS 669213 WITH SCORE 669989.006
AT ITER 1316 NEW BEST:: SOT 4444475 SOS 775664 HAS SOPS 775664 HAS SOUS 668871 HAS SOUPS 668871 WITH SCORE 669646.664
AT ITER 1353 NEW BEST:: SOT 4444475 SOS 775370 HAS SOPS 775370 HAS SOUS 668871 HAS SOUPS 668871 WITH SCORE 669646.37
AT ITER 1355 NEW BEST:: SOT 4444475 SOS 775370 HAS SOPS 775370 HAS SOUS 668771 HAS SOUPS 668771 WITH SCORE 669546.37
AT ITER 1371 NEW BEST:: SOT 4444657 SOS 774999 HAS SOPS 774999 HAS SOUS 668489 HAS SOUPS 668489 WITH SCORE 669263.999
AT ITER 1384 NEW BEST:: SOT 4444586 SOS 774857 HAS SOPS 774857 HAS SOUS 668347 HAS SOUPS 668347 WITH SCORE 669121.857
AT ITER 1390 NEW BEST:: SOT 4444493 SOS 774671 HAS SOPS 774671 HAS SOUS 668161 HAS SOUPS 668161 WITH SCORE 668935.671
AT ITER 1396 NEW BEST:: SOT 4444288 SOS 774589 HAS SOPS 774589 HAS SOUS 667915 HAS SOUPS 667915 WITH SCORE 668689.589
AT ITER 1417 NEW BEST:: SOT 4440868 SOS 779056 HAS SOPS 779056 HAS SOUS 665096 HAS SOUPS 665096 WITH SCORE 665875.056
AT ITER 1419 NEW BEST:: SOT 4440868 SOS 778860 HAS SOPS 778860 HAS SOUS 665096 HAS SOUPS 665096 WITH SCORE 665874.86
AT ITER 1421 NEW BEST:: SOT 4441088 SOS 779300 HAS SOPS 779300 HAS SOUS 665016 HAS SOUPS 665016 WITH SCORE 665795.3
AT ITER 1432 NEW BEST:: SOT 4441066 SOS 779256 HAS SOPS 779256 HAS SOUS 664994 HAS SOUPS 664994 WITH SCORE 665773.256
AT ITER 1450 NEW BEST:: SOT 4440947 SOS 779137 HAS SOPS 779137 HAS SOUS 664872 HAS SOUPS 664872 WITH SCORE 665651.137
AT ITER 1456 NEW BEST:: SOT 4440936 SOS 779115 HAS SOPS 779115 HAS SOUS 664850 HAS SOUPS 664850 WITH SCORE 665629.115
AT ITER 1478 NEW BEST:: SOT 4440834 SOS 779013 HAS SOPS 779013 HAS SOUS 664748 HAS SOUPS 664748 WITH SCORE 665527.013
AT ITER 1492 NEW BEST:: SOT 4440772 SOS 778951 HAS SOPS 778951 HAS SOUS 664686 HAS SOUPS 664686 WITH SCORE 665464.951
AT ITER 1498 NEW BEST:: SOT 4440772 SOS 778649 HAS SOPS 778649 HAS SOUS 664384 HAS SOUPS 664384 WITH SCORE 665162.649
AT ITER 1503 NEW BEST:: SOT 4440771 SOS 778647 HAS SOPS 778647 HAS SOUS 664382 HAS SOUPS 664382 WITH SCORE 665160.647
AT ITER 1518 NEW BEST:: SOT 4440723 SOS 778551 HAS SOPS 778551 HAS SOUS 664286 HAS SOUPS 664286 WITH SCORE 665064.551
AT ITER 1528 NEW BEST:: SOT 4440723 SOS 778349 HAS SOPS 778349 HAS SOUS 664286 HAS SOUPS 664286 WITH SCORE 665064.349
AT ITER 1584 NEW BEST:: SOT 4440723 SOS 778349 HAS SOPS 778349 HAS SOUS 664285 HAS SOUPS 664285 WITH SCORE 665063.349
AT ITER 1600 NEW BEST:: SOT 4440394 SOS 778020 HAS SOPS 778020 HAS SOUS 663956 HAS SOUPS 663956 WITH SCORE 664734.02
AT ITER 1606 NEW BEST:: SOT 4440285 SOS 777802 HAS SOPS 777802 HAS SOUS 663847 HAS SOUPS 663847 WITH SCORE 664624.802
AT ITER 1618 NEW BEST:: SOT 4440309 SOS 777530 HAS SOPS 777530 HAS SOUS 663580 HAS SOUPS 663580 WITH SCORE 664357.53
AT ITER 1620 NEW BEST:: SOT 4440309 SOS 777514 HAS SOPS 777514 HAS SOUS 663580 HAS SOUPS 663580 WITH SCORE 664357.514
AT ITER 1625 NEW BEST:: SOT 4440308 SOS 777469 HAS SOPS 777469 HAS SOUS 663536 HAS SOUPS 663536 WITH SCORE 664313.469
AT ITER 1640 NEW BEST:: SOT 4440352 SOS 777557 HAS SOPS 777557 HAS SOUS 663204 HAS SOUPS 663204 WITH SCORE 663981.557
AT ITER 1641 NEW BEST:: SOT 4440352 SOS 777557 HAS SOPS 777557 HAS SOUS 663042 HAS SOUPS 663042 WITH SCORE 663819.557
AT ITER 1645 NEW BEST:: SOT 4440351 SOS 777411 HAS SOPS 777411 HAS SOUS 662895 HAS SOUPS 662895 WITH SCORE 663672.411
AT ITER 1648 NEW BEST:: SOT 4440145 SOS 776999 HAS SOPS 776999 HAS SOUS 662483 HAS SOUPS 662483 WITH SCORE 663259.999
AT ITER 1667 NEW BEST:: SOT 4440020 SOS 776749 HAS SOPS 776749 HAS SOUS 662357 HAS SOUPS 662357 WITH SCORE 663133.749
AT ITER 1693 NEW BEST:: SOT 4439957 SOS 776623 HAS SOPS 776623 HAS SOUS 662294 HAS SOUPS 662294 WITH SCORE 663070.623
AT ITER 1699 NEW BEST:: SOT 4439923 SOS 776555 HAS SOPS 776555 HAS SOUS 662259 HAS SOUPS 662259 WITH SCORE 663035.555
AT ITER 1702 NEW BEST:: SOT 4439822 SOS 776639 HAS SOPS 776639 HAS SOUS 662157 HAS SOUPS 662157 WITH SCORE 662933.639
AT ITER 1715 NEW BEST:: SOT 4439692 SOS 776379 HAS SOPS 776379 HAS SOUS 662027 HAS SOUPS 662027 WITH SCORE 662803.379
AT ITER 1725 NEW BEST:: SOT 4439615 SOS 776649 HAS SOPS 776649 HAS SOUS 661950 HAS SOUPS 661950 WITH SCORE 662726.649
AT ITER 1737 NEW BEST:: SOT 4439570 SOS 776559 HAS SOPS 776559 HAS SOUS 661905 HAS SOUPS 661905 WITH SCORE 662681.559
AT ITER 1777 NEW BEST:: SOT 4439421 SOS 776410 HAS SOPS 776410 HAS SOUS 661756 HAS SOUPS 661756 WITH SCORE 662532.41
AT ITER 1817 NEW BEST:: SOT 4439420 SOS 776376 HAS SOPS 776376 HAS SOUS 661723 HAS SOUPS 661723 WITH SCORE 662499.376
AT ITER 1825 NEW BEST:: SOT 4436187 SOS 801536 HAS SOPS 801536 HAS SOUS 659794 HAS SOUPS 659794 WITH SCORE 660595.536
AT ITER 1830 NEW BEST:: SOT 4436185 SOS 801532 HAS SOPS 801532 HAS SOUS 659727 HAS SOUPS 659727 WITH SCORE 660528.532
AT ITER 1852 NEW BEST:: SOT 4435903 SOS 801391 HAS SOPS 801391 HAS SOUS 659586 HAS SOUPS 659586 WITH SCORE 660387.391
AT ITER 1859 NEW BEST:: SOT 4433526 SOS 799129 HAS SOPS 799129 HAS SOUS 657334 HAS SOUPS 657334 WITH SCORE 658133.129
AT ITER 1865 NEW BEST:: SOT 4433526 SOS 798927 HAS SOPS 798927 HAS SOUS 657334 HAS SOUPS 657334 WITH SCORE 658132.927
AT ITER 1873 NEW BEST:: SOT 4433255 SOS 798385 HAS SOPS 798385 HAS SOUS 657095 HAS SOUPS 657095 WITH SCORE 657893.385
AT ITER 1889 NEW BEST:: SOT 4433046 SOS 797967 HAS SOPS 797967 HAS SOUS 656677 HAS SOUPS 656677 WITH SCORE 657474.967
AT ITER 1898 NEW BEST:: SOT 4433040 SOS 798198 HAS SOPS 798198 HAS SOUS 656668 HAS SOUPS 656668 WITH SCORE 657466.198
AT ITER 1950 NEW BEST:: SOT 4433119 SOS 798356 HAS SOPS 798356 HAS SOUS 656566 HAS SOUPS 656566 WITH SCORE 657364.356
AT ITER 1957 NEW BEST:: SOT 4433096 SOS 798333 HAS SOPS 798333 HAS SOUS 656543 HAS SOUPS 656543 WITH SCORE 657341.333
AT ITER 1961 NEW BEST:: SOT 4432361 SOS 797891 HAS SOPS 797891 HAS SOUS 655971 HAS SOUPS 655971 WITH SCORE 656768.891
AT ITER 1971 NEW BEST:: SOT 4431785 SOS 797171 HAS SOPS 797171 HAS SOUS 655251 HAS SOUPS 655251 WITH SCORE 656048.171
AT ITER 1980 NEW BEST:: SOT 4431695 SOS 797081 HAS SOPS 797081 HAS SOUS 655161 HAS SOUPS 655161 WITH SCORE 655958.081
AT ITER 1999 NEW BEST:: SOT 4431659 SOS 797009 HAS SOPS 797009 HAS SOUS 655089 HAS SOUPS 655089 WITH SCORE 655886.009
AT ITER 2017 NEW BEST:: SOT 4431524 SOS 796874 HAS SOPS 796874 HAS SOUS 654954 HAS SOUPS 654954 WITH SCORE 655750.874
AT ITER 2047 NEW BEST:: SOT 4431409 SOS 796759 HAS SOPS 796759 HAS SOUS 654839 HAS SOUPS 654839 WITH SCORE 655635.759
AT ITER 2066 NEW BEST:: SOT 4431219 SOS 796527 HAS SOPS 796527 HAS SOUS 654584 HAS SOUPS 654584 WITH SCORE 655380.527
AT ITER 2133 NEW BEST:: SOT 4431096 SOS 796473 HAS SOPS 796473 HAS SOUS 654530 HAS SOUPS 654530 WITH SCORE 655326.473
AT ITER 2207 NEW BEST:: SOT 4431096 SOS 796260 HAS SOPS 796260 HAS SOUS 654530 HAS SOUPS 654530 WITH SCORE 655326.26
AT ITER 2213 NEW BEST:: SOT 4430977 SOS 796015 HAS SOPS 796015 HAS SOUS 654411 HAS SOUPS 654411 WITH SCORE 655207.015
AT ITER 2214 NEW BEST:: SOT 4430975 SOS 795985 HAS SOPS 795985 HAS SOUS 654408 HAS SOUPS 654408 WITH SCORE 655203.985
AT ITER 2246 NEW BEST:: SOT 4430913 SOS 795861 HAS SOPS 795861 HAS SOUS 654284 HAS SOUPS 654284 WITH SCORE 655079.861
AT ITER 2249 NEW BEST:: SOT 4430913 SOS 795861 HAS SOPS 795861 HAS SOUS 654187 HAS SOUPS 654187 WITH SCORE 654982.861
AT ITER 2284 NEW BEST:: SOT 4430823 SOS 795681 HAS SOPS 795681 HAS SOUS 654007 HAS SOUPS 654007 WITH SCORE 654802.681
AT ITER 2320 NEW BEST:: SOT 4430950 SOS 795046 HAS SOPS 795046 HAS SOUS 653666 HAS SOUPS 653666 WITH SCORE 654461.046
AT ITER 2334 NEW BEST:: SOT 4430864 SOS 794874 HAS SOPS 794874 HAS SOUS 653580 HAS SOUPS 653580 WITH SCORE 654374.874
AT ITER 2344 NEW BEST:: SOT 4430463 SOS 773240 HAS SOPS 773240 HAS SOUS 652778 HAS SOUPS 652778 WITH SCORE 653551.24
AT ITER 2397 NEW BEST:: SOT 4430402 SOS 773178 HAS SOPS 773178 HAS SOUS 652716 HAS SOUPS 652716 WITH SCORE 653489.178
AT ITER 2425 NEW BEST:: SOT 4430331 SOS 773131 HAS SOPS 773131 HAS SOUS 652670 HAS SOUPS 652670 WITH SCORE 653443.131
AT ITER 2428 NEW BEST:: SOT 4430280 SOS 773029 HAS SOPS 773029 HAS SOUS 652568 HAS SOUPS 652568 WITH SCORE 653341.029
AT ITER 2441 NEW BEST:: SOT 4430023 SOS 772772 HAS SOPS 772772 HAS SOUS 652311 HAS SOUPS 652311 WITH SCORE 653083.772
AT ITER 2456 NEW BEST:: SOT 4429790 SOS 772306 HAS SOPS 772306 HAS SOUS 652212 HAS SOUPS 652212 WITH SCORE 652984.306
AT ITER 2480 NEW BEST:: SOT 4429790 SOS 772251 HAS SOPS 772251 HAS SOUS 652212 HAS SOUPS 652212 WITH SCORE 652984.251
AT ITER 2514 NEW BEST:: SOT 4429789 SOS 772249 HAS SOPS 772249 HAS SOUS 652210 HAS SOUPS 652210 WITH SCORE 652982.249
AT ITER 2520 NEW BEST:: SOT 4429771 SOS 772213 HAS SOPS 772213 HAS SOUS 652192 HAS SOUPS 652192 WITH SCORE 652964.213
AT ITER 2543 NEW BEST:: SOT 4429770 SOS 772211 HAS SOPS 772211 HAS SOUS 652190 HAS SOUPS 652190 WITH SCORE 652962.211
AT ITER 2545 NEW BEST:: SOT 4429709 SOS 772150 HAS SOPS 772150 HAS SOUS 652068 HAS SOUPS 652068 WITH SCORE 652840.15
AT ITER 2551 NEW BEST:: SOT 4429563 SOS 771858 HAS SOPS 771858 HAS SOUS 651922 HAS SOUPS 651922 WITH SCORE 652693.858
AT ITER 2562 NEW BEST:: SOT 4429330 SOS 771392 HAS SOPS 771392 HAS SOUS 651456 HAS SOUPS 651456 WITH SCORE 652227.392
AT ITER 2583 NEW BEST:: SOT 4429550 SOS 771318 HAS SOPS 771318 HAS SOUS 651222 HAS SOUPS 651222 WITH SCORE 651993.318
AT ITER 2622 NEW BEST:: SOT 4429451 SOS 771744 HAS SOPS 771744 HAS SOUS 651212 HAS SOUPS 651212 WITH SCORE 651983.744
AT ITER 2632 NEW BEST:: SOT 4429433 SOS 771494 HAS SOPS 771494 HAS SOUS 651129 HAS SOUPS 651129 WITH SCORE 651900.494
AT ITER 2670 NEW BEST:: SOT 4429433 SOS 771281 HAS SOPS 771281 HAS SOUS 650916 HAS SOUPS 650916 WITH SCORE 651687.281
AT ITER 2731 NEW BEST:: SOT 4429433 SOS 771247 HAS SOPS 771247 HAS SOUS 650881 HAS SOUPS 650881 WITH SCORE 651652.247
AT ITER 2754 NEW BEST:: SOT 4429406 SOS 771220 HAS SOPS 771220 HAS SOUS 650854 HAS SOUPS 650854 WITH SCORE 651625.22
AT ITER 2757 NEW BEST:: SOT 4429174 SOS 770756 HAS SOPS 770756 HAS SOUS 650390 HAS SOUPS 650390 WITH SCORE 651160.756
AT ITER 2781 NEW BEST:: SOT 4429130 SOS 770733 HAS SOPS 770733 HAS SOUS 650346 HAS SOUPS 650346 WITH SCORE 651116.733
AT ITER 2791 NEW BEST:: SOT 4429159 SOS 770791 HAS SOPS 770791 HAS SOUS 650150 HAS SOUPS 650150 WITH SCORE 650920.791
AT ITER 2802 NEW BEST:: SOT 4429125 SOS 770420 HAS SOPS 770420 HAS SOUS 649896 HAS SOUPS 649896 WITH SCORE 650666.42
AT ITER 2816 NEW BEST:: SOT 4428753 SOS 770141 HAS SOPS 770141 HAS SOUS 649617 HAS SOUPS 649617 WITH SCORE 650387.141
AT ITER 2843 NEW BEST:: SOT 4428521 SOS 769909 HAS SOPS 769909 HAS SOUS 649385 HAS SOUPS 649385 WITH SCORE 650154.909
AT ITER 2870 NEW BEST:: SOT 4428431 SOS 769729 HAS SOPS 769729 HAS SOUS 649218 HAS SOUPS 649218 WITH SCORE 649987.729
AT ITER 2913 NEW BEST:: SOT 4428064 SOS 769478 HAS SOPS 769478 HAS SOUS 648930 HAS SOUPS 648930 WITH SCORE 649699.478
AT ITER 2926 NEW BEST:: SOT 4427983 SOS 769316 HAS SOPS 769316 HAS SOUS 648865 HAS SOUPS 648865 WITH SCORE 649634.316
AT ITER 2956 NEW BEST:: SOT 4428119 SOS 769101 HAS SOPS 769101 HAS SOUS 648771 HAS SOUPS 648771 WITH SCORE 649540.101
AT ITER 2957 NEW BEST:: SOT 4428087 SOS 769069 HAS SOPS 769069 HAS SOUS 648739 HAS SOUPS 648739 WITH SCORE 649508.069
AT ITER 2968 NEW BEST:: SOT 4427837 SOS 768569 HAS SOPS 768569 HAS SOUS 648239 HAS SOUPS 648239 WITH SCORE 649007.569
AT ITER 2994 NEW BEST:: SOT 4427837 SOS 768569 HAS SOPS 768569 HAS SOUS 648238 HAS SOUPS 648238 WITH SCORE 649006.569
AT ITER 3000 NEW BEST:: SOT 4427837 SOS 768509 HAS SOPS 768509 HAS SOUS 648238 HAS SOUPS 648238 WITH SCORE 649006.509
AT ITER 3013 NEW BEST:: SOT 4427567 SOS 767615 HAS SOPS 767615 HAS SOUS 647698 HAS SOUPS 647698 WITH SCORE 648465.615
AT ITER 3033 NEW BEST:: SOT 4427246 SOS 767537 HAS SOPS 767537 HAS SOUS 647441 HAS SOUPS 647441 WITH SCORE 648208.537
AT ITER 3090 NEW BEST:: SOT 4427126 SOS 767297 HAS SOPS 767297 HAS SOUS 647321 HAS SOUPS 647321 WITH SCORE 648088.297
AT ITER 3155 NEW BEST:: SOT 4426999 SOS 766789 HAS SOPS 766789 HAS SOUS 647067 HAS SOUPS 647067 WITH SCORE 647833.789
AT ITER 3168 NEW BEST:: SOT 4426968 SOS 766919 HAS SOPS 766919 HAS SOUS 647031 HAS SOUPS 647031 WITH SCORE 647797.919
AT ITER 3172 NEW BEST:: SOT 4426958 SOS 766899 HAS SOPS 766899 HAS SOUS 646941 HAS SOUPS 646941 WITH SCORE 647707.899
AT ITER 3179 NEW BEST:: SOT 4426957 SOS 766897 HAS SOPS 766897 HAS SOUS 646939 HAS SOUPS 646939 WITH SCORE 647705.897
AT ITER 3187 NEW BEST:: SOT 4426994 SOS 766971 HAS SOPS 766971 HAS SOUS 646885 HAS SOUPS 646885 WITH SCORE 647651.971
AT ITER 3211 NEW BEST:: SOT 4425617 SOS 765624 HAS SOPS 765624 HAS SOUS 645538 HAS SOUPS 645538 WITH SCORE 646303.624
AT ITER 3234 NEW BEST:: SOT 4425617 SOS 765550 HAS SOPS 765550 HAS SOUS 645538 HAS SOUPS 645538 WITH SCORE 646303.55
AT ITER 3246 NEW BEST:: SOT 4425547 SOS 765410 HAS SOPS 765410 HAS SOUS 645398 HAS SOUPS 645398 WITH SCORE 646163.41
AT ITER 3255 NEW BEST:: SOT 4425526 SOS 765368 HAS SOPS 765368 HAS SOUS 645356 HAS SOUPS 645356 WITH SCORE 646121.368
AT ITER 3300 NEW BEST:: SOT 4425388 SOS 765321 HAS SOPS 765321 HAS SOUS 645309 HAS SOUPS 645309 WITH SCORE 646074.321
AT ITER 3336 NEW BEST:: SOT 4425387 SOS 765319 HAS SOPS 765319 HAS SOUS 645307 HAS SOUPS 645307 WITH SCORE 646072.319
AT ITER 3337 NEW BEST:: SOT 4425439 SOS 765423 HAS SOPS 765423 HAS SOUS 644991 HAS SOUPS 644991 WITH SCORE 645756.423
AT ITER 3368 NEW BEST:: SOT 4425390 SOS 765178 HAS SOPS 765178 HAS SOUS 644893 HAS SOUPS 644893 WITH SCORE 645658.178
AT ITER 3401 NEW BEST:: SOT 4425390 SOS 765100 HAS SOPS 765100 HAS SOUS 644893 HAS SOUPS 644893 WITH SCORE 645658.1
AT ITER 3403 NEW BEST:: SOT 4425362 SOS 764563 HAS SOPS 764563 HAS SOUS 644546 HAS SOUPS 644546 WITH SCORE 645310.563
AT ITER 3405 NEW BEST:: SOT 4425265 SOS 764369 HAS SOPS 764369 HAS SOUS 644352 HAS SOUPS 644352 WITH SCORE 645116.369
AT ITER 3464 NEW BEST:: SOT 4425137 SOS 764113 HAS SOPS 764113 HAS SOUS 644096 HAS SOUPS 644096 WITH SCORE 644860.113
AT ITER 3520 NEW BEST:: SOT 4425127 SOS 764083 HAS SOPS 764083 HAS SOUS 644076 HAS SOUPS 644076 WITH SCORE 644840.083
AT ITER 3532 NEW BEST:: SOT 4424975 SOS 763779 HAS SOPS 763779 HAS SOUS 644075 HAS SOUPS 644075 WITH SCORE 644838.779
AT ITER 3565 NEW BEST:: SOT 4424975 SOS 763672 HAS SOPS 763672 HAS SOUS 643968 HAS SOUPS 643968 WITH SCORE 644731.672
AT ITER 3570 NEW BEST:: SOT 4424876 SOS 763578 HAS SOPS 763578 HAS SOUS 643874 HAS SOUPS 643874 WITH SCORE 644637.578
AT ITER 3571 NEW BEST:: SOT 4424765 SOS 763538 HAS SOPS 763538 HAS SOUS 643728 HAS SOUPS 643728 WITH SCORE 644491.538
AT ITER 3601 NEW BEST:: SOT 4424765 SOS 763068 HAS SOPS 763068 HAS SOUS 643728 HAS SOUPS 643728 WITH SCORE 644491.068
AT ITER 3620 NEW BEST:: SOT 4424687 SOS 762737 HAS SOPS 762737 HAS SOUS 643572 HAS SOUPS 643572 WITH SCORE 644334.737
AT ITER 3626 NEW BEST:: SOT 4424687 SOS 762737 HAS SOPS 762737 HAS SOUS 643571 HAS SOUPS 643571 WITH SCORE 644333.737
AT ITER 3658 NEW BEST:: SOT 4424548 SOS 762459 HAS SOPS 762459 HAS SOUS 643432 HAS SOUPS 643432 WITH SCORE 644194.459
AT ITER 3670 NEW BEST:: SOT 4424582 SOS 761983 HAS SOPS 761983 HAS SOUS 642956 HAS SOUPS 642956 WITH SCORE 643717.983
AT ITER 3672 NEW BEST:: SOT 4424375 SOS 762389 HAS SOPS 762389 HAS SOUS 642887 HAS SOUPS 642887 WITH SCORE 643649.389
AT ITER 3685 NEW BEST:: SOT 4424209 SOS 762333 HAS SOPS 762333 HAS SOUS 642783 HAS SOUPS 642783 WITH SCORE 643545.333
AT ITER 3693 NEW BEST:: SOT 4424003 SOS 761921 HAS SOPS 761921 HAS SOUS 642169 HAS SOUPS 642169 WITH SCORE 642930.921
AT ITER 3707 NEW BEST:: SOT 4423908 SOS 761731 HAS SOPS 761731 HAS SOUS 642071 HAS SOUPS 642071 WITH SCORE 642832.731
AT ITER 3729 NEW BEST:: SOT 4423781 SOS 761477 HAS SOPS 761477 HAS SOUS 641801 HAS SOUPS 641801 WITH SCORE 642562.477
AT ITER 3765 NEW BEST:: SOT 4423593 SOS 761477 HAS SOPS 761477 HAS SOUS 641727 HAS SOUPS 641727 WITH SCORE 642488.477
AT ITER 3770 NEW BEST:: SOT 4423592 SOS 761475 HAS SOPS 761475 HAS SOUS 641725 HAS SOUPS 641725 WITH SCORE 642486.475
AT ITER 3780 NEW BEST:: SOT 4423486 SOS 761263 HAS SOPS 761263 HAS SOUS 641513 HAS SOUPS 641513 WITH SCORE 642274.263
AT ITER 3800 NEW BEST:: SOT 4423466 SOS 761223 HAS SOPS 761223 HAS SOUS 641473 HAS SOUPS 641473 WITH SCORE 642234.223
AT ITER 3826 NEW BEST:: SOT 4423451 SOS 761193 HAS SOPS 761193 HAS SOUS 641443 HAS SOUPS 641443 WITH SCORE 642204.193
AT ITER 3860 NEW BEST:: SOT 4423402 SOS 761095 HAS SOPS 761095 HAS SOUS 641345 HAS SOUPS 641345 WITH SCORE 642106.095
AT ITER 3867 NEW BEST:: SOT 4423375 SOS 761041 HAS SOPS 761041 HAS SOUS 641291 HAS SOUPS 641291 WITH SCORE 642052.041
AT ITER 3901 NEW BEST:: SOT 4423111 SOS 760473 HAS SOPS 760473 HAS SOUS 640579 HAS SOUPS 640579 WITH SCORE 641339.473
AT ITER 3915 NEW BEST:: SOT 4422994 SOS 760356 HAS SOPS 760356 HAS SOUS 640462 HAS SOUPS 640462 WITH SCORE 641222.356
AT ITER 3942 NEW BEST:: SOT 4422994 SOS 760345 HAS SOPS 760345 HAS SOUS 640462 HAS SOUPS 640462 WITH SCORE 641222.345
AT ITER 3988 NEW BEST:: SOT 4422994 SOS 760180 HAS SOPS 760180 HAS SOUS 640462 HAS SOUPS 640462 WITH SCORE 641222.18
AT ITER 4011 NEW BEST:: SOT 4422940 SOS 760072 HAS SOPS 760072 HAS SOUS 640354 HAS SOUPS 640354 WITH SCORE 641114.072
AT ITER 4015 NEW BEST:: SOT 4422923 SOS 760086 HAS SOPS 760086 HAS SOUS 640337 HAS SOUPS 640337 WITH SCORE 641097.086
AT ITER 4045 NEW BEST:: SOT 4422810 SOS 760078 HAS SOPS 760078 HAS SOUS 640329 HAS SOUPS 640329 WITH SCORE 641089.078
AT ITER 4055 NEW BEST:: SOT 4422809 SOS 760076 HAS SOPS 760076 HAS SOUS 640327 HAS SOUPS 640327 WITH SCORE 641087.076
AT ITER 4067 NEW BEST:: SOT 4422786 SOS 759751 HAS SOPS 759751 HAS SOUS 639756 HAS SOUPS 639756 WITH SCORE 640515.751
AT ITER 4080 NEW BEST:: SOT 4422783 SOS 759996 HAS SOPS 759996 HAS SOUS 639664 HAS SOUPS 639664 WITH SCORE 640423.996
AT ITER 4108 NEW BEST:: SOT 4422600 SOS 759417 HAS SOPS 759417 HAS SOUS 639268 HAS SOUPS 639268 WITH SCORE 640027.417
AT ITER 4155 NEW BEST:: SOT 4422555 SOS 759438 HAS SOPS 759438 HAS SOUS 639235 HAS SOUPS 639235 WITH SCORE 639994.438
AT ITER 4188 NEW BEST:: SOT 4422498 SOS 759324 HAS SOPS 759324 HAS SOUS 639121 HAS SOUPS 639121 WITH SCORE 639880.324
AT ITER 4191 NEW BEST:: SOT 4422441 SOS 759300 HAS SOPS 759300 HAS SOUS 639082 HAS SOUPS 639082 WITH SCORE 639841.3
AT ITER 4201 NEW BEST:: SOT 4422367 SOS 759496 HAS SOPS 759496 HAS SOUS 638825 HAS SOUPS 638825 WITH SCORE 639584.496
AT ITER 4224 NEW BEST:: SOT 4422367 SOS 759284 HAS SOPS 759284 HAS SOUS 638613 HAS SOUPS 638613 WITH SCORE 639372.284
AT ITER 4256 NEW BEST:: SOT 4422367 SOS 759218 HAS SOPS 759218 HAS SOUS 638612 HAS SOUPS 638612 WITH SCORE 639371.218
AT ITER 4276 NEW BEST:: SOT 4421845 SOS 758512 HAS SOPS 758512 HAS SOUS 637906 HAS SOUPS 637906 WITH SCORE 638664.512
AT ITER 4295 NEW BEST:: SOT 4421686 SOS 758194 HAS SOPS 758194 HAS SOUS 637588 HAS SOUPS 637588 WITH SCORE 638346.194
AT ITER 4302 NEW BEST:: SOT 4421231 SOS 758208 HAS SOPS 758208 HAS SOUS 637311 HAS SOUPS 637311 WITH SCORE 638069.208
AT ITER 4321 NEW BEST:: SOT 4421231 SOS 758208 HAS SOPS 758208 HAS SOUS 637258 HAS SOUPS 637258 WITH SCORE 638016.208
AT ITER 4325 NEW BEST:: SOT 4421218 SOS 758182 HAS SOPS 758182 HAS SOUS 637245 HAS SOUPS 637245 WITH SCORE 638003.182
AT ITER 4330 NEW BEST:: SOT 4421249 SOS 758131 HAS SOPS 758131 HAS SOUS 637194 HAS SOUPS 637194 WITH SCORE 637952.131
AT ITER 4341 NEW BEST:: SOT 4421135 SOS 758144 HAS SOPS 758144 HAS SOUS 637144 HAS SOUPS 637144 WITH SCORE 637902.144
AT ITER 4343 NEW BEST:: SOT 4420995 SOS 757864 HAS SOPS 757864 HAS SOUS 637003 HAS SOUPS 637003 WITH SCORE 637760.864
AT ITER 4357 NEW BEST:: SOT 4420976 SOS 757261 HAS SOPS 757261 HAS SOUS 636855 HAS SOUPS 636855 WITH SCORE 637612.261
AT ITER 4401 NEW BEST:: SOT 4420957 SOS 757204 HAS SOPS 757204 HAS SOUS 636817 HAS SOUPS 636817 WITH SCORE 637574.204
AT ITER 4402 NEW BEST:: SOT 4420850 SOS 757097 HAS SOPS 757097 HAS SOUS 636789 HAS SOUPS 636789 WITH SCORE 637546.097
AT ITER 4411 NEW BEST:: SOT 4420551 SOS 757287 HAS SOPS 757287 HAS SOUS 636721 HAS SOUPS 636721 WITH SCORE 637478.287
AT ITER 4430 NEW BEST:: SOT 4420550 SOS 757285 HAS SOPS 757285 HAS SOUS 636719 HAS SOUPS 636719 WITH SCORE 637476.285
AT ITER 4454 NEW BEST:: SOT 4420458 SOS 757366 HAS SOPS 757366 HAS SOUS 636684 HAS SOUPS 636684 WITH SCORE 637441.366
AT ITER 4455 NEW BEST:: SOT 4420361 SOS 757314 HAS SOPS 757314 HAS SOUS 636602 HAS SOUPS 636602 WITH SCORE 637359.314
AT ITER 4462 NEW BEST:: SOT 4420361 SOS 757048 HAS SOPS 757048 HAS SOUS 636546 HAS SOUPS 636546 WITH SCORE 637303.048
AT ITER 4463 NEW BEST:: SOT 4420290 SOS 756835 HAS SOPS 756835 HAS SOUS 636475 HAS SOUPS 636475 WITH SCORE 637231.835
AT ITER 4521 NEW BEST:: SOT 4420097 SOS 756449 HAS SOPS 756449 HAS SOUS 636089 HAS SOUPS 636089 WITH SCORE 636845.449
AT ITER 4524 NEW BEST:: SOT 4420030 SOS 756315 HAS SOPS 756315 HAS SOUS 636022 HAS SOUPS 636022 WITH SCORE 636778.315
AT ITER 4532 NEW BEST:: SOT 4419911 SOS 756252 HAS SOPS 756252 HAS SOUS 635959 HAS SOUPS 635959 WITH SCORE 636715.252
AT ITER 4535 NEW BEST:: SOT 4419833 SOS 756096 HAS SOPS 756096 HAS SOUS 635842 HAS SOUPS 635842 WITH SCORE 636598.096
AT ITER 4544 NEW BEST:: SOT 4419812 SOS 756054 HAS SOPS 756054 HAS SOUS 635737 HAS SOUPS 635737 WITH SCORE 636493.054
AT ITER 4604 NEW BEST:: SOT 4419537 SOS 755504 HAS SOPS 755504 HAS SOUS 635193 HAS SOUPS 635193 WITH SCORE 635948.504
AT ITER 4607 NEW BEST:: SOT 4419467 SOS 755448 HAS SOPS 755448 HAS SOUS 635123 HAS SOUPS 635123 WITH SCORE 635878.448
AT ITER 4608 NEW BEST:: SOT 4419466 SOS 755228 HAS SOPS 755228 HAS SOUS 635121 HAS SOUPS 635121 WITH SCORE 635876.228
AT ITER 4609 NEW BEST:: SOT 4418863 SOS 755452 HAS SOPS 755452 HAS SOUS 634760 HAS SOUPS 634760 WITH SCORE 635515.452
AT ITER 4613 NEW BEST:: SOT 4418634 SOS 755222 HAS SOPS 755222 HAS SOUS 634530 HAS SOUPS 634530 WITH SCORE 635285.222
AT ITER 4653 NEW BEST:: SOT 4418572 SOS 755191 HAS SOPS 755191 HAS SOUS 634499 HAS SOUPS 634499 WITH SCORE 635254.191
AT ITER 4660 NEW BEST:: SOT 4418544 SOS 755135 HAS SOPS 755135 HAS SOUS 634443 HAS SOUPS 634443 WITH SCORE 635198.135
AT ITER 4689 NEW BEST:: SOT 4418520 SOS 755195 HAS SOPS 755195 HAS SOUS 634419 HAS SOUPS 634419 WITH SCORE 635174.195
AT ITER 4690 NEW BEST:: SOT 4418427 SOS 755009 HAS SOPS 755009 HAS SOUS 634326 HAS SOUPS 634326 WITH SCORE 635081.009
AT ITER 4693 NEW BEST:: SOT 4418393 SOS 755351 HAS SOPS 755351 HAS SOUS 634292 HAS SOUPS 634292 WITH SCORE 635047.351
AT ITER 4695 NEW BEST:: SOT 4418393 SOS 755351 HAS SOPS 755351 HAS SOUS 634057 HAS SOUPS 634057 WITH SCORE 634812.351
AT ITER 4725 NEW BEST:: SOT 4418366 SOS 755531 HAS SOPS 755531 HAS SOUS 634030 HAS SOUPS 634030 WITH SCORE 634785.531
AT ITER 4777 NEW BEST:: SOT 4417913 SOS 755078 HAS SOPS 755078 HAS SOUS 633577 HAS SOUPS 633577 WITH SCORE 634332.078
AT ITER 4858 NEW BEST:: SOT 4417888 SOS 755028 HAS SOPS 755028 HAS SOUS 633527 HAS SOUPS 633527 WITH SCORE 634282.028
AT ITER 4895 NEW BEST:: SOT 4417888 SOS 755094 HAS SOPS 755094 HAS SOUS 633461 HAS SOUPS 633461 WITH SCORE 634216.094
AT ITER 4946 NEW BEST:: SOT 4417810 SOS 754938 HAS SOPS 754938 HAS SOUS 633305 HAS SOUPS 633305 WITH SCORE 634059.938
AT ITER 4957 NEW BEST:: SOT 4417782 SOS 754882 HAS SOPS 754882 HAS SOUS 633249 HAS SOUPS 633249 WITH SCORE 634003.882
AT ITER 4993 NEW BEST:: SOT 4417782 SOS 754822 HAS SOPS 754822 HAS SOUS 633249 HAS SOUPS 633249 WITH SCORE 634003.822
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-00 (! (EF(potential( ( 2 ) <= (tk(P166)) ))))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-01 ( (! (AG( potential( (tk(P2536)) <= (tk(P889)) )))) & (AG( ( ( potential( (tk(P1987)) <= (tk(P68)) ) & potential( (tk(P855)) <= (tk(P310)) ) ) | ( potential( ( 2 ) <= (tk(P2249)) ) & potential( (tk(P633)) <= (tk(P1378)) ) ) ))) )
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-02 (EF(potential( ( 2 ) <= (tk(P2097)) )))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-03 (AX( (AG( (! potential( ( 3 ) <= (tk(P1516)) ))))))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-04 (EG( (AU( potential( ( 1 ) <= (tk(P1810)) ),potential( (tk(P1619)) <= (tk(P648)) ) ))))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-05 (AG( ( (AF(potential( (tk(P467)) <= (tk(P1478)) ))) | (EX( potential( ( 2 ) <= (tk(P447)) ))) )))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-06 (EG( ( (EF(potential( (tk(P375)) <= (tk(P1877)) ))) | ( potential( (tk(P2194)) <= (tk(P2465)) ) | ( potential( (tk(P1643)) <= (tk(P1828)) ) & potential( ( 1 ) <= (tk(P863)) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-07 (EF(( (EG( potential( (tk(P2473)) <= (tk(P1346)) ))) & (AF(potential( (tk(P2578)) <= (tk(P1320)) ))) )))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-08 (! ( potential( ( 3 ) <= (tk(P1305)) ) | (EG( ( potential( (tk(P211)) <= (tk(P1103)) ) & potential( (tk(P1461)) <= (tk(P2203)) ) ))) ))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-09 (AG( (AF(potential( ( 3 ) <= (tk(P554)) )))))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-10 (AF((! (EF(potential( ( 1 ) <= (tk(P2256)) ))))))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-11 ( (EF((AX( potential( ( 2 ) <= (tk(P470)) ))))) | (! (EX( ( potential( (tk(P1955)) <= (tk(P2200)) ) | potential( ( 2 ) <= (tk(P929)) ) )))) )
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-12 ( (EG( ( potential( (tk(P61)) <= (tk(P329)) ) & (! potential( ( 1 ) <= (tk(P1318)) )) ))) & ( (! (EF(potential( (tk(P855)) <= (tk(P1764)) )))) | (EX( (! potential( ( 1 ) <= (tk(P1423)) )))) ) )
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-13 ( (! (AF(( potential( (tk(P818)) <= (tk(P951)) ) & potential( ( 3 ) <= (tk(P1654)) ) )))) | (! (AF(potential( (tk(P738)) <= (tk(P1947)) )))) )
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-14 (EG( (! (EG( potential( ( 3 ) <= (tk(P918)) ))))))
PROPERTY: CloudReconfiguration-PT-319-CTLCardinality-15 (AU( ( (! potential( ( 1 ) <= (tk(P1449)) )) | ( potential( ( 1 ) <= (tk(P2380)) ) | potential( ( 1 ) <= (tk(P2558)) ) ) ),( (! potential( (tk(P362)) <= (tk(P217)) )) | (! potential( (tk(P1633)) <= (tk(P371)) )) ) ))

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

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