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

About the Execution of smart for CloudReconfiguration-PT-307

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

Execution Chart

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

Trace from the execution

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

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

=== Now, execution of the tool begins

BK_START 1589091733251

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 307
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4440554 SOS 758790 HAS SOPS 758790 HAS SOUS 699817 HAS SOUPS 699817 WITH SCORE 700575.79
AT ITER 31 NEW BEST:: SOT 4440501 SOS 758684 HAS SOPS 758684 HAS SOUS 699711 HAS SOUPS 699711 WITH SCORE 700469.684
AT ITER 48 NEW BEST:: SOT 4440522 SOS 758667 HAS SOPS 758667 HAS SOUS 699643 HAS SOUPS 699643 WITH SCORE 700401.667
AT ITER 100 NEW BEST:: SOT 4440306 SOS 758451 HAS SOPS 758451 HAS SOUS 699427 HAS SOUPS 699427 WITH SCORE 700185.451
AT ITER 120 NEW BEST:: SOT 4440267 SOS 758412 HAS SOPS 758412 HAS SOUS 699388 HAS SOUPS 699388 WITH SCORE 700146.412
AT ITER 146 NEW BEST:: SOT 4440069 SOS 758016 HAS SOPS 758016 HAS SOUS 698992 HAS SOUPS 698992 WITH SCORE 699750.016
AT ITER 169 NEW BEST:: SOT 4440069 SOS 757950 HAS SOPS 757950 HAS SOUS 698992 HAS SOUPS 698992 WITH SCORE 699749.95
AT ITER 197 NEW BEST:: SOT 4439878 SOS 757568 HAS SOPS 757568 HAS SOUS 698716 HAS SOUPS 698716 WITH SCORE 699473.568
AT ITER 204 NEW BEST:: SOT 4439878 SOS 757433 HAS SOPS 757433 HAS SOUS 698716 HAS SOUPS 698716 WITH SCORE 699473.433
AT ITER 237 NEW BEST:: SOT 4439837 SOS 757463 HAS SOPS 757463 HAS SOUS 698711 HAS SOUPS 698711 WITH SCORE 699468.463
AT ITER 238 NEW BEST:: SOT 4439837 SOS 757384 HAS SOPS 757384 HAS SOUS 698632 HAS SOUPS 698632 WITH SCORE 699389.384
AT ITER 243 NEW BEST:: SOT 4439837 SOS 757071 HAS SOPS 757071 HAS SOUS 698632 HAS SOUPS 698632 WITH SCORE 699389.071
AT ITER 264 NEW BEST:: SOT 4439836 SOS 757069 HAS SOPS 757069 HAS SOUS 698630 HAS SOUPS 698630 WITH SCORE 699387.069
AT ITER 288 NEW BEST:: SOT 4439548 SOS 756637 HAS SOPS 756637 HAS SOUS 698198 HAS SOUPS 698198 WITH SCORE 698954.637
AT ITER 352 NEW BEST:: SOT 4439548 SOS 756637 HAS SOPS 756637 HAS SOUS 697949 HAS SOUPS 697949 WITH SCORE 698705.637
AT ITER 376 NEW BEST:: SOT 4439545 SOS 756631 HAS SOPS 756631 HAS SOUS 697943 HAS SOUPS 697943 WITH SCORE 698699.631
AT ITER 446 NEW BEST:: SOT 4439544 SOS 756629 HAS SOPS 756629 HAS SOUS 697941 HAS SOUPS 697941 WITH SCORE 698697.629
AT ITER 454 NEW BEST:: SOT 4428799 SOS 772477 HAS SOPS 772477 HAS SOUS 688519 HAS SOUPS 688519 WITH SCORE 689291.477
AT ITER 484 NEW BEST:: SOT 4427875 SOS 772965 HAS SOPS 772965 HAS SOUS 688046 HAS SOUPS 688046 WITH SCORE 688818.965
AT ITER 500 NEW BEST:: SOT 4427752 SOS 772719 HAS SOPS 772719 HAS SOUS 687800 HAS SOUPS 687800 WITH SCORE 688572.719
AT ITER 511 NEW BEST:: SOT 4427691 SOS 772597 HAS SOPS 772597 HAS SOUS 687678 HAS SOUPS 687678 WITH SCORE 688450.597
AT ITER 527 NEW BEST:: SOT 4427715 SOS 772645 HAS SOPS 772645 HAS SOUS 687511 HAS SOUPS 687511 WITH SCORE 688283.645
AT ITER 536 NEW BEST:: SOT 4427715 SOS 772645 HAS SOPS 772645 HAS SOUS 687287 HAS SOUPS 687287 WITH SCORE 688059.645
AT ITER 584 NEW BEST:: SOT 4427552 SOS 772319 HAS SOPS 772319 HAS SOUS 686961 HAS SOUPS 686961 WITH SCORE 687733.319
AT ITER 619 NEW BEST:: SOT 4421281 SOS 784167 HAS SOPS 784167 HAS SOUS 681638 HAS SOUPS 681638 WITH SCORE 682422.167
AT ITER 631 NEW BEST:: SOT 4421010 SOS 783902 HAS SOPS 783902 HAS SOUS 681370 HAS SOUPS 681370 WITH SCORE 682153.902
AT ITER 645 NEW BEST:: SOT 4420833 SOS 783856 HAS SOPS 783856 HAS SOUS 681269 HAS SOUPS 681269 WITH SCORE 682052.856
AT ITER 654 NEW BEST:: SOT 4420833 SOS 783610 HAS SOPS 783610 HAS SOUS 680976 HAS SOUPS 680976 WITH SCORE 681759.61
AT ITER 683 NEW BEST:: SOT 4420833 SOS 783559 HAS SOPS 783559 HAS SOUS 680976 HAS SOUPS 680976 WITH SCORE 681759.559
AT ITER 745 NEW BEST:: SOT 4420732 SOS 783555 HAS SOPS 783555 HAS SOUS 680836 HAS SOUPS 680836 WITH SCORE 681619.555
AT ITER 749 NEW BEST:: SOT 4420704 SOS 783471 HAS SOPS 783471 HAS SOUS 680780 HAS SOUPS 680780 WITH SCORE 681563.471
AT ITER 754 NEW BEST:: SOT 4420551 SOS 783491 HAS SOPS 783491 HAS SOUS 680629 HAS SOUPS 680629 WITH SCORE 681412.491
AT ITER 812 NEW BEST:: SOT 4420614 SOS 782955 HAS SOPS 782955 HAS SOUS 680424 HAS SOUPS 680424 WITH SCORE 681206.955
AT ITER 822 NEW BEST:: SOT 4414745 SOS 851801 HAS SOPS 851801 HAS SOUS 678717 HAS SOUPS 678717 WITH SCORE 679568.801
AT ITER 841 NEW BEST:: SOT 4414744 SOS 851646 HAS SOPS 851646 HAS SOUS 678715 HAS SOUPS 678715 WITH SCORE 679566.646
AT ITER 845 NEW BEST:: SOT 4414701 SOS 851633 HAS SOPS 851633 HAS SOUS 678672 HAS SOUPS 678672 WITH SCORE 679523.633
AT ITER 858 NEW BEST:: SOT 4414580 SOS 851391 HAS SOPS 851391 HAS SOUS 678430 HAS SOUPS 678430 WITH SCORE 679281.391
AT ITER 860 NEW BEST:: SOT 4414444 SOS 851255 HAS SOPS 851255 HAS SOUS 678294 HAS SOUPS 678294 WITH SCORE 679145.255
AT ITER 862 NEW BEST:: SOT 4414327 SOS 851021 HAS SOPS 851021 HAS SOUS 678060 HAS SOUPS 678060 WITH SCORE 678911.021
AT ITER 869 NEW BEST:: SOT 4414089 SOS 850759 HAS SOPS 850759 HAS SOUS 677608 HAS SOUPS 677608 WITH SCORE 678458.759
AT ITER 922 NEW BEST:: SOT 4414088 SOS 850611 HAS SOPS 850611 HAS SOUS 677606 HAS SOUPS 677606 WITH SCORE 678456.611
AT ITER 928 NEW BEST:: SOT 4413929 SOS 850575 HAS SOPS 850575 HAS SOUS 677533 HAS SOUPS 677533 WITH SCORE 678383.575
AT ITER 931 NEW BEST:: SOT 4413779 SOS 850508 HAS SOPS 850508 HAS SOUS 677415 HAS SOUPS 677415 WITH SCORE 678265.508
AT ITER 945 NEW BEST:: SOT 4413779 SOS 850565 HAS SOPS 850565 HAS SOUS 677358 HAS SOUPS 677358 WITH SCORE 678208.565
AT ITER 990 NEW BEST:: SOT 4413576 SOS 850365 HAS SOPS 850365 HAS SOUS 677158 HAS SOUPS 677158 WITH SCORE 678008.365
AT ITER 991 NEW BEST:: SOT 4413576 SOS 850365 HAS SOPS 850365 HAS SOUS 677010 HAS SOUPS 677010 WITH SCORE 677860.365
AT ITER 1044 NEW BEST:: SOT 4413364 SOS 850306 HAS SOPS 850306 HAS SOUS 676694 HAS SOUPS 676694 WITH SCORE 677544.306
AT ITER 1050 NEW BEST:: SOT 4412992 SOS 850306 HAS SOPS 850306 HAS SOUS 676508 HAS SOUPS 676508 WITH SCORE 677358.306
AT ITER 1085 NEW BEST:: SOT 4412511 SOS 850586 HAS SOPS 850586 HAS SOUS 676262 HAS SOUPS 676262 WITH SCORE 677112.586
AT ITER 1099 NEW BEST:: SOT 4412508 SOS 850580 HAS SOPS 850580 HAS SOUS 676259 HAS SOUPS 676259 WITH SCORE 677109.58
AT ITER 1109 NEW BEST:: SOT 4412505 SOS 850574 HAS SOPS 850574 HAS SOUS 676253 HAS SOUPS 676253 WITH SCORE 677103.574
AT ITER 1111 NEW BEST:: SOT 4412194 SOS 849952 HAS SOPS 849952 HAS SOUS 675942 HAS SOUPS 675942 WITH SCORE 676791.952
AT ITER 1145 NEW BEST:: SOT 4412170 SOS 849940 HAS SOPS 849940 HAS SOUS 675930 HAS SOUPS 675930 WITH SCORE 676779.94
AT ITER 1166 NEW BEST:: SOT 4412165 SOS 849930 HAS SOPS 849930 HAS SOUS 675920 HAS SOUPS 675920 WITH SCORE 676769.93
AT ITER 1177 NEW BEST:: SOT 4412165 SOS 849930 HAS SOPS 849930 HAS SOUS 675919 HAS SOUPS 675919 WITH SCORE 676768.93
AT ITER 1189 NEW BEST:: SOT 4408601 SOS 872210 HAS SOPS 872210 HAS SOUS 673649 HAS SOUPS 673649 WITH SCORE 674521.21
AT ITER 1203 NEW BEST:: SOT 4408662 SOS 872222 HAS SOPS 872222 HAS SOUS 673600 HAS SOUPS 673600 WITH SCORE 674472.222
AT ITER 1207 NEW BEST:: SOT 4408661 SOS 872182 HAS SOPS 872182 HAS SOUS 673597 HAS SOUPS 673597 WITH SCORE 674469.182
AT ITER 1224 NEW BEST:: SOT 4408661 SOS 872182 HAS SOPS 872182 HAS SOUS 673580 HAS SOUPS 673580 WITH SCORE 674452.182
AT ITER 1227 NEW BEST:: SOT 4408650 SOS 872149 HAS SOPS 872149 HAS SOUS 673558 HAS SOUPS 673558 WITH SCORE 674430.149
AT ITER 1234 NEW BEST:: SOT 4408614 SOS 872077 HAS SOPS 872077 HAS SOUS 673486 HAS SOUPS 673486 WITH SCORE 674358.077
AT ITER 1248 NEW BEST:: SOT 4408605 SOS 872059 HAS SOPS 872059 HAS SOUS 673468 HAS SOUPS 673468 WITH SCORE 674340.059
AT ITER 1275 NEW BEST:: SOT 4408605 SOS 871822 HAS SOPS 871822 HAS SOUS 673468 HAS SOUPS 673468 WITH SCORE 674339.822
AT ITER 1294 NEW BEST:: SOT 4408393 SOS 871398 HAS SOPS 871398 HAS SOUS 673044 HAS SOUPS 673044 WITH SCORE 673915.398
AT ITER 1362 NEW BEST:: SOT 4408393 SOS 871398 HAS SOPS 871398 HAS SOUS 672922 HAS SOUPS 672922 WITH SCORE 673793.398
AT ITER 1382 NEW BEST:: SOT 4408695 SOS 871432 HAS SOPS 871432 HAS SOUS 672818 HAS SOUPS 672818 WITH SCORE 673689.432
AT ITER 1388 NEW BEST:: SOT 4408537 SOS 871278 HAS SOPS 871278 HAS SOUS 672660 HAS SOUPS 672660 WITH SCORE 673531.278
AT ITER 1395 NEW BEST:: SOT 4408536 SOS 871395 HAS SOPS 871395 HAS SOUS 672658 HAS SOUPS 672658 WITH SCORE 673529.395
AT ITER 1409 NEW BEST:: SOT 4408293 SOS 870909 HAS SOPS 870909 HAS SOUS 672658 HAS SOUPS 672658 WITH SCORE 673528.909
AT ITER 1448 NEW BEST:: SOT 4408292 SOS 870907 HAS SOPS 870907 HAS SOUS 672656 HAS SOUPS 672656 WITH SCORE 673526.907
AT ITER 1455 NEW BEST:: SOT 4407825 SOS 807453 HAS SOPS 807453 HAS SOUS 671722 HAS SOUPS 671722 WITH SCORE 672529.453
AT ITER 1462 NEW BEST:: SOT 4407824 SOS 807397 HAS SOPS 807397 HAS SOUS 671720 HAS SOUPS 671720 WITH SCORE 672527.397
AT ITER 1467 NEW BEST:: SOT 4407757 SOS 807330 HAS SOPS 807330 HAS SOUS 671653 HAS SOUPS 671653 WITH SCORE 672460.33
AT ITER 1495 NEW BEST:: SOT 4407311 SOS 806902 HAS SOPS 806902 HAS SOUS 671216 HAS SOUPS 671216 WITH SCORE 672022.902
AT ITER 1499 NEW BEST:: SOT 4407310 SOS 806595 HAS SOPS 806595 HAS SOUS 671214 HAS SOUPS 671214 WITH SCORE 672020.595
AT ITER 1500 NEW BEST:: SOT 4407309 SOS 806314 HAS SOPS 806314 HAS SOUS 671212 HAS SOUPS 671212 WITH SCORE 672018.314
AT ITER 1533 NEW BEST:: SOT 4407204 SOS 806226 HAS SOPS 806226 HAS SOUS 671124 HAS SOUPS 671124 WITH SCORE 671930.226
AT ITER 1550 NEW BEST:: SOT 4407204 SOS 806071 HAS SOPS 806071 HAS SOUS 671122 HAS SOUPS 671122 WITH SCORE 671928.071
AT ITER 1564 NEW BEST:: SOT 4407204 SOS 805863 HAS SOPS 805863 HAS SOUS 671122 HAS SOUPS 671122 WITH SCORE 671927.863
AT ITER 1567 NEW BEST:: SOT 4406934 SOS 805323 HAS SOPS 805323 HAS SOUS 670924 HAS SOUPS 670924 WITH SCORE 671729.323
AT ITER 1576 NEW BEST:: SOT 4406934 SOS 805017 HAS SOPS 805017 HAS SOUS 670924 HAS SOUPS 670924 WITH SCORE 671729.017
AT ITER 1582 NEW BEST:: SOT 4407095 SOS 805339 HAS SOPS 805339 HAS SOUS 670895 HAS SOUPS 670895 WITH SCORE 671700.339
AT ITER 1599 NEW BEST:: SOT 4407272 SOS 805290 HAS SOPS 805290 HAS SOUS 670846 HAS SOUPS 670846 WITH SCORE 671651.29
AT ITER 1614 NEW BEST:: SOT 4407540 SOS 805308 HAS SOPS 805308 HAS SOUS 670688 HAS SOUPS 670688 WITH SCORE 671493.308
AT ITER 1620 NEW BEST:: SOT 4407504 SOS 805236 HAS SOPS 805236 HAS SOUS 670507 HAS SOUPS 670507 WITH SCORE 671312.236
AT ITER 1627 NEW BEST:: SOT 4407368 SOS 805650 HAS SOPS 805650 HAS SOUS 670446 HAS SOUPS 670446 WITH SCORE 671251.65
AT ITER 1655 NEW BEST:: SOT 4407368 SOS 805527 HAS SOPS 805527 HAS SOUS 670446 HAS SOUPS 670446 WITH SCORE 671251.527
AT ITER 1666 NEW BEST:: SOT 4407267 SOS 805325 HAS SOPS 805325 HAS SOUS 670194 HAS SOUPS 670194 WITH SCORE 670999.325
AT ITER 1702 NEW BEST:: SOT 4407266 SOS 805059 HAS SOPS 805059 HAS SOUS 670192 HAS SOUPS 670192 WITH SCORE 670997.059
AT ITER 1724 NEW BEST:: SOT 4407065 SOS 804858 HAS SOPS 804858 HAS SOUS 669991 HAS SOUPS 669991 WITH SCORE 670795.858
AT ITER 1739 NEW BEST:: SOT 4406884 SOS 804156 HAS SOPS 804156 HAS SOUS 669488 HAS SOUPS 669488 WITH SCORE 670292.156
AT ITER 1742 NEW BEST:: SOT 4406587 SOS 803885 HAS SOPS 803885 HAS SOUS 669205 HAS SOUPS 669205 WITH SCORE 670008.885
AT ITER 1748 NEW BEST:: SOT 4406587 SOS 803682 HAS SOPS 803682 HAS SOUS 669201 HAS SOUPS 669201 WITH SCORE 670004.682
AT ITER 1786 NEW BEST:: SOT 4406302 SOS 803453 HAS SOPS 803453 HAS SOUS 668916 HAS SOUPS 668916 WITH SCORE 669719.453
AT ITER 1788 NEW BEST:: SOT 4406153 SOS 803423 HAS SOPS 803423 HAS SOUS 668767 HAS SOUPS 668767 WITH SCORE 669570.423
AT ITER 1793 NEW BEST:: SOT 4406153 SOS 803251 HAS SOPS 803251 HAS SOUS 668595 HAS SOUPS 668595 WITH SCORE 669398.251
AT ITER 1827 NEW BEST:: SOT 4406153 SOS 802954 HAS SOPS 802954 HAS SOUS 668298 HAS SOUPS 668298 WITH SCORE 669100.954
AT ITER 1831 NEW BEST:: SOT 4406003 SOS 802654 HAS SOPS 802654 HAS SOUS 667952 HAS SOUPS 667952 WITH SCORE 668754.654
AT ITER 1834 NEW BEST:: SOT 4405852 SOS 802503 HAS SOPS 802503 HAS SOUS 667801 HAS SOUPS 667801 WITH SCORE 668603.503
AT ITER 1873 NEW BEST:: SOT 4405852 SOS 802345 HAS SOPS 802345 HAS SOUS 667801 HAS SOUPS 667801 WITH SCORE 668603.345
AT ITER 1883 NEW BEST:: SOT 4405827 SOS 802295 HAS SOPS 802295 HAS SOUS 667508 HAS SOUPS 667508 WITH SCORE 668310.295
AT ITER 1886 NEW BEST:: SOT 4405853 SOS 801913 HAS SOPS 801913 HAS SOUS 667317 HAS SOUPS 667317 WITH SCORE 668118.913
AT ITER 1887 NEW BEST:: SOT 4405364 SOS 802249 HAS SOPS 802249 HAS SOUS 667078 HAS SOUPS 667078 WITH SCORE 667880.249
AT ITER 1900 NEW BEST:: SOT 4404818 SOS 802303 HAS SOPS 802303 HAS SOUS 666780 HAS SOUPS 666780 WITH SCORE 667582.303
AT ITER 1939 NEW BEST:: SOT 4404450 SOS 802303 HAS SOPS 802303 HAS SOUS 666596 HAS SOUPS 666596 WITH SCORE 667398.303
AT ITER 1964 NEW BEST:: SOT 4404355 SOS 802659 HAS SOPS 802659 HAS SOUS 666594 HAS SOUPS 666594 WITH SCORE 667396.659
AT ITER 1966 NEW BEST:: SOT 4404341 SOS 802231 HAS SOPS 802231 HAS SOUS 666459 HAS SOUPS 666459 WITH SCORE 667261.231
AT ITER 2023 NEW BEST:: SOT 4404580 SOS 801554 HAS SOPS 801554 HAS SOUS 666244 HAS SOUPS 666244 WITH SCORE 667045.554
AT ITER 2024 NEW BEST:: SOT 4404455 SOS 801906 HAS SOPS 801906 HAS SOUS 666166 HAS SOUPS 666166 WITH SCORE 666967.906
AT ITER 2039 NEW BEST:: SOT 4404455 SOS 801906 HAS SOPS 801906 HAS SOUS 666148 HAS SOUPS 666148 WITH SCORE 666949.906
AT ITER 2098 NEW BEST:: SOT 4404403 SOS 801564 HAS SOPS 801564 HAS SOUS 666096 HAS SOUPS 666096 WITH SCORE 666897.564
AT ITER 2117 NEW BEST:: SOT 4404271 SOS 801440 HAS SOPS 801440 HAS SOUS 665964 HAS SOUPS 665964 WITH SCORE 666765.44
AT ITER 2138 NEW BEST:: SOT 4404347 SOS 801592 HAS SOPS 801592 HAS SOUS 665956 HAS SOUPS 665956 WITH SCORE 666757.592
AT ITER 2176 NEW BEST:: SOT 4404347 SOS 801203 HAS SOPS 801203 HAS SOUS 665956 HAS SOUPS 665956 WITH SCORE 666757.203
AT ITER 2194 NEW BEST:: SOT 4404165 SOS 800839 HAS SOPS 800839 HAS SOUS 665592 HAS SOUPS 665592 WITH SCORE 666392.839
AT ITER 2199 NEW BEST:: SOT 4404162 SOS 800833 HAS SOPS 800833 HAS SOUS 665566 HAS SOUPS 665566 WITH SCORE 666366.833
AT ITER 2201 NEW BEST:: SOT 4404066 SOS 800965 HAS SOPS 800965 HAS SOUS 665548 HAS SOUPS 665548 WITH SCORE 666348.965
AT ITER 2208 NEW BEST:: SOT 4404066 SOS 800952 HAS SOPS 800952 HAS SOUS 665548 HAS SOUPS 665548 WITH SCORE 666348.952
AT ITER 2239 NEW BEST:: SOT 4404066 SOS 800660 HAS SOPS 800660 HAS SOUS 665548 HAS SOUPS 665548 WITH SCORE 666348.66
AT ITER 2261 NEW BEST:: SOT 4403839 SOS 800206 HAS SOPS 800206 HAS SOUS 665094 HAS SOUPS 665094 WITH SCORE 665894.206
AT ITER 2302 NEW BEST:: SOT 4403831 SOS 800182 HAS SOPS 800182 HAS SOUS 665078 HAS SOUPS 665078 WITH SCORE 665878.182
AT ITER 2303 NEW BEST:: SOT 4403855 SOS 800230 HAS SOPS 800230 HAS SOUS 664874 HAS SOUPS 664874 WITH SCORE 665674.23
AT ITER 2304 NEW BEST:: SOT 4403674 SOS 799868 HAS SOPS 799868 HAS SOUS 664512 HAS SOUPS 664512 WITH SCORE 665311.868
AT ITER 2306 NEW BEST:: SOT 4403610 SOS 799676 HAS SOPS 799676 HAS SOUS 664384 HAS SOUPS 664384 WITH SCORE 665183.676
AT ITER 2317 NEW BEST:: SOT 4403472 SOS 799492 HAS SOPS 799492 HAS SOUS 664200 HAS SOUPS 664200 WITH SCORE 664999.492
AT ITER 2361 NEW BEST:: SOT 4403471 SOS 799491 HAS SOPS 799491 HAS SOUS 664198 HAS SOUPS 664198 WITH SCORE 664997.491
AT ITER 2399 NEW BEST:: SOT 4403298 SOS 799690 HAS SOPS 799690 HAS SOUS 664128 HAS SOUPS 664128 WITH SCORE 664927.69
AT ITER 2408 NEW BEST:: SOT 4403191 SOS 799369 HAS SOPS 799369 HAS SOUS 663914 HAS SOUPS 663914 WITH SCORE 664713.369
AT ITER 2423 NEW BEST:: SOT 4402965 SOS 799033 HAS SOPS 799033 HAS SOUS 663578 HAS SOUPS 663578 WITH SCORE 664377.033
AT ITER 2485 NEW BEST:: SOT 4402835 SOS 798773 HAS SOPS 798773 HAS SOUS 663318 HAS SOUPS 663318 WITH SCORE 664116.773
AT ITER 2490 NEW BEST:: SOT 4402741 SOS 798585 HAS SOPS 798585 HAS SOUS 663130 HAS SOUPS 663130 WITH SCORE 663928.585
AT ITER 2492 NEW BEST:: SOT 4402566 SOS 798673 HAS SOPS 798673 HAS SOUS 663087 HAS SOUPS 663087 WITH SCORE 663885.673
AT ITER 2497 NEW BEST:: SOT 4402566 SOS 798673 HAS SOPS 798673 HAS SOUS 663086 HAS SOUPS 663086 WITH SCORE 663884.673
AT ITER 2522 NEW BEST:: SOT 4402566 SOS 798490 HAS SOPS 798490 HAS SOUS 663086 HAS SOUPS 663086 WITH SCORE 663884.49
AT ITER 2566 NEW BEST:: SOT 4402515 SOS 798388 HAS SOPS 798388 HAS SOUS 663035 HAS SOUPS 663035 WITH SCORE 663833.388
AT ITER 2571 NEW BEST:: SOT 4402491 SOS 798340 HAS SOPS 798340 HAS SOUS 662999 HAS SOUPS 662999 WITH SCORE 663797.34
AT ITER 2572 NEW BEST:: SOT 4402490 SOS 797441 HAS SOPS 797441 HAS SOUS 662527 HAS SOUPS 662527 WITH SCORE 663324.441
AT ITER 2586 NEW BEST:: SOT 4402481 SOS 797423 HAS SOPS 797423 HAS SOUS 662509 HAS SOUPS 662509 WITH SCORE 663306.423
AT ITER 2624 NEW BEST:: SOT 4402147 SOS 796999 HAS SOPS 796999 HAS SOUS 662085 HAS SOUPS 662085 WITH SCORE 662881.999
AT ITER 2625 NEW BEST:: SOT 4396758 SOS 817176 HAS SOPS 817176 HAS SOUS 656923 HAS SOUPS 656923 WITH SCORE 657740.176
AT ITER 2629 NEW BEST:: SOT 4396395 SOS 816813 HAS SOPS 816813 HAS SOUS 656560 HAS SOUPS 656560 WITH SCORE 657376.813
AT ITER 2648 NEW BEST:: SOT 4396447 SOS 816802 HAS SOPS 816802 HAS SOUS 656550 HAS SOUPS 656550 WITH SCORE 657366.802
AT ITER 2650 NEW BEST:: SOT 4396344 SOS 816596 HAS SOPS 816596 HAS SOUS 656447 HAS SOUPS 656447 WITH SCORE 657263.596
AT ITER 2675 NEW BEST:: SOT 4396553 SOS 816140 HAS SOPS 816140 HAS SOUS 656118 HAS SOUPS 656118 WITH SCORE 656934.14
AT ITER 2677 NEW BEST:: SOT 4396552 SOS 816139 HAS SOPS 816139 HAS SOUS 656116 HAS SOUPS 656116 WITH SCORE 656932.139
AT ITER 2678 NEW BEST:: SOT 4396792 SOS 816055 HAS SOPS 816055 HAS SOUS 656033 HAS SOUPS 656033 WITH SCORE 656849.055
AT ITER 2687 NEW BEST:: SOT 4396791 SOS 815914 HAS SOPS 815914 HAS SOUS 656031 HAS SOUPS 656031 WITH SCORE 656846.914
AT ITER 2690 NEW BEST:: SOT 4396756 SOS 815678 HAS SOPS 815678 HAS SOUS 655961 HAS SOUPS 655961 WITH SCORE 656776.678
AT ITER 2699 NEW BEST:: SOT 4396622 SOS 815773 HAS SOPS 815773 HAS SOUS 655941 HAS SOUPS 655941 WITH SCORE 656756.773
AT ITER 2726 NEW BEST:: SOT 4396597 SOS 815748 HAS SOPS 815748 HAS SOUS 655891 HAS SOUPS 655891 WITH SCORE 656706.748
AT ITER 2752 NEW BEST:: SOT 4396597 SOS 815630 HAS SOPS 815630 HAS SOUS 655891 HAS SOUPS 655891 WITH SCORE 656706.63
AT ITER 2755 NEW BEST:: SOT 4396597 SOS 815581 HAS SOPS 815581 HAS SOUS 655891 HAS SOUPS 655891 WITH SCORE 656706.581
AT ITER 2796 NEW BEST:: SOT 4396590 SOS 815567 HAS SOPS 815567 HAS SOUS 655703 HAS SOUPS 655703 WITH SCORE 656518.567
AT ITER 2819 NEW BEST:: SOT 4396590 SOS 815518 HAS SOPS 815518 HAS SOUS 655654 HAS SOUPS 655654 WITH SCORE 656469.518
AT ITER 2841 NEW BEST:: SOT 4396548 SOS 815434 HAS SOPS 815434 HAS SOUS 655570 HAS SOUPS 655570 WITH SCORE 656385.434
AT ITER 2870 NEW BEST:: SOT 4396547 SOS 815262 HAS SOPS 815262 HAS SOUS 655568 HAS SOUPS 655568 WITH SCORE 656383.262
AT ITER 2935 NEW BEST:: SOT 4396630 SOS 815428 HAS SOPS 815428 HAS SOUS 655488 HAS SOUPS 655488 WITH SCORE 656303.428
AT ITER 2946 NEW BEST:: SOT 4396456 SOS 815080 HAS SOPS 815080 HAS SOUS 655223 HAS SOUPS 655223 WITH SCORE 656038.08
AT ITER 2951 NEW BEST:: SOT 4396236 SOS 814419 HAS SOPS 814419 HAS SOUS 654782 HAS SOUPS 654782 WITH SCORE 655596.419
AT ITER 2952 NEW BEST:: SOT 4396028 SOS 814003 HAS SOPS 814003 HAS SOUS 654366 HAS SOUPS 654366 WITH SCORE 655180.003
AT ITER 2954 NEW BEST:: SOT 4395935 SOS 813817 HAS SOPS 813817 HAS SOUS 654265 HAS SOUPS 654265 WITH SCORE 655078.817
AT ITER 2958 NEW BEST:: SOT 4395400 SOS 813152 HAS SOPS 813152 HAS SOUS 653600 HAS SOUPS 653600 WITH SCORE 654413.152
AT ITER 3001 NEW BEST:: SOT 4395400 SOS 813125 HAS SOPS 813125 HAS SOUS 653573 HAS SOUPS 653573 WITH SCORE 654386.125
AT ITER 3013 NEW BEST:: SOT 4395352 SOS 813029 HAS SOPS 813029 HAS SOUS 653525 HAS SOUPS 653525 WITH SCORE 654338.029
AT ITER 3040 NEW BEST:: SOT 4395334 SOS 813011 HAS SOPS 813011 HAS SOUS 653507 HAS SOUPS 653507 WITH SCORE 654320.011
AT ITER 3051 NEW BEST:: SOT 4395200 SOS 812877 HAS SOPS 812877 HAS SOUS 653239 HAS SOUPS 653239 WITH SCORE 654051.877
AT ITER 3069 NEW BEST:: SOT 4395160 SOS 812853 HAS SOPS 812853 HAS SOUS 653199 HAS SOUPS 653199 WITH SCORE 654011.853
AT ITER 3082 NEW BEST:: SOT 4395159 SOS 812851 HAS SOPS 812851 HAS SOUS 653197 HAS SOUPS 653197 WITH SCORE 654009.851
AT ITER 3107 NEW BEST:: SOT 4394972 SOS 812477 HAS SOPS 812477 HAS SOUS 652823 HAS SOUPS 652823 WITH SCORE 653635.477
AT ITER 3124 NEW BEST:: SOT 4394972 SOS 812423 HAS SOPS 812423 HAS SOUS 652769 HAS SOUPS 652769 WITH SCORE 653581.423
AT ITER 3126 NEW BEST:: SOT 4394778 SOS 811841 HAS SOPS 811841 HAS SOUS 652381 HAS SOUPS 652381 WITH SCORE 653192.841
AT ITER 3144 NEW BEST:: SOT 4394778 SOS 811841 HAS SOPS 811841 HAS SOUS 652349 HAS SOUPS 652349 WITH SCORE 653160.841
AT ITER 3149 NEW BEST:: SOT 4394777 SOS 811735 HAS SOPS 811735 HAS SOUS 652347 HAS SOUPS 652347 WITH SCORE 653158.735
AT ITER 3198 NEW BEST:: SOT 4393362 SOS 836457 HAS SOPS 836457 HAS SOUS 651643 HAS SOUPS 651643 WITH SCORE 652479.457
AT ITER 3208 NEW BEST:: SOT 4393283 SOS 836299 HAS SOPS 836299 HAS SOUS 651559 HAS SOUPS 651559 WITH SCORE 652395.299
AT ITER 3221 NEW BEST:: SOT 4392928 SOS 836429 HAS SOPS 836429 HAS SOUS 651484 HAS SOUPS 651484 WITH SCORE 652320.429
AT ITER 3230 NEW BEST:: SOT 4392777 SOS 835843 HAS SOPS 835843 HAS SOUS 651347 HAS SOUPS 651347 WITH SCORE 652182.843
AT ITER 3239 NEW BEST:: SOT 4392700 SOS 835689 HAS SOPS 835689 HAS SOUS 651193 HAS SOUPS 651193 WITH SCORE 652028.689
AT ITER 3275 NEW BEST:: SOT 4392700 SOS 835612 HAS SOPS 835612 HAS SOUS 651116 HAS SOUPS 651116 WITH SCORE 651951.612
AT ITER 3297 NEW BEST:: SOT 4392448 SOS 834776 HAS SOPS 834776 HAS SOUS 650612 HAS SOUPS 650612 WITH SCORE 651446.776
AT ITER 3299 NEW BEST:: SOT 4392661 SOS 834657 HAS SOPS 834657 HAS SOUS 650541 HAS SOUPS 650541 WITH SCORE 651375.657
AT ITER 3329 NEW BEST:: SOT 4392661 SOS 834657 HAS SOPS 834657 HAS SOUS 650540 HAS SOUPS 650540 WITH SCORE 651374.657
AT ITER 3364 NEW BEST:: SOT 4392689 SOS 834713 HAS SOPS 834713 HAS SOUS 650206 HAS SOUPS 650206 WITH SCORE 651040.713
AT ITER 3374 NEW BEST:: SOT 4392688 SOS 834711 HAS SOPS 834711 HAS SOUS 650204 HAS SOUPS 650204 WITH SCORE 651038.711
AT ITER 3381 NEW BEST:: SOT 4392614 SOS 834637 HAS SOPS 834637 HAS SOUS 650130 HAS SOUPS 650130 WITH SCORE 650964.637
AT ITER 3387 NEW BEST:: SOT 4392586 SOS 834609 HAS SOPS 834609 HAS SOUS 650126 HAS SOUPS 650126 WITH SCORE 650960.609
AT ITER 3390 NEW BEST:: SOT 4392582 SOS 834615 HAS SOPS 834615 HAS SOUS 650122 HAS SOUPS 650122 WITH SCORE 650956.615
AT ITER 3396 NEW BEST:: SOT 4392582 SOS 834615 HAS SOPS 834615 HAS SOUS 649897 HAS SOUPS 649897 WITH SCORE 650731.615
AT ITER 3401 NEW BEST:: SOT 4392370 SOS 834191 HAS SOPS 834191 HAS SOUS 649473 HAS SOUPS 649473 WITH SCORE 650307.191
AT ITER 3441 NEW BEST:: SOT 4390008 SOS 833562 HAS SOPS 833562 HAS SOUS 647753 HAS SOUPS 647753 WITH SCORE 648586.562
AT ITER 3444 NEW BEST:: SOT 4389742 SOS 833462 HAS SOPS 833462 HAS SOUS 647632 HAS SOUPS 647632 WITH SCORE 648465.462
AT ITER 3465 NEW BEST:: SOT 4389702 SOS 833440 HAS SOPS 833440 HAS SOUS 647592 HAS SOUPS 647592 WITH SCORE 648425.44
AT ITER 3492 NEW BEST:: SOT 4389419 SOS 832874 HAS SOPS 832874 HAS SOUS 647026 HAS SOUPS 647026 WITH SCORE 647858.874
AT ITER 3527 NEW BEST:: SOT 4389039 SOS 832714 HAS SOPS 832714 HAS SOUS 646866 HAS SOUPS 646866 WITH SCORE 647698.714
AT ITER 3563 NEW BEST:: SOT 4388630 SOS 832986 HAS SOPS 832986 HAS SOUS 646613 HAS SOUPS 646613 WITH SCORE 647445.986
AT ITER 3567 NEW BEST:: SOT 4388458 SOS 831866 HAS SOPS 831866 HAS SOUS 646269 HAS SOUPS 646269 WITH SCORE 647100.866
AT ITER 3573 NEW BEST:: SOT 4388458 SOS 831810 HAS SOPS 831810 HAS SOUS 646213 HAS SOUPS 646213 WITH SCORE 647044.81
AT ITER 3580 NEW BEST:: SOT 4388320 SOS 831672 HAS SOPS 831672 HAS SOUS 646213 HAS SOUPS 646213 WITH SCORE 647044.672
AT ITER 3607 NEW BEST:: SOT 4387052 SOS 830276 HAS SOPS 830276 HAS SOUS 644737 HAS SOUPS 644737 WITH SCORE 645567.276
AT ITER 3617 NEW BEST:: SOT 4387052 SOS 830276 HAS SOPS 830276 HAS SOUS 644672 HAS SOUPS 644672 WITH SCORE 645502.276
AT ITER 3623 NEW BEST:: SOT 4387048 SOS 830268 HAS SOPS 830268 HAS SOUS 644664 HAS SOUPS 644664 WITH SCORE 645494.268
AT ITER 3631 NEW BEST:: SOT 4386866 SOS 830190 HAS SOPS 830190 HAS SOUS 644519 HAS SOUPS 644519 WITH SCORE 645349.19
AT ITER 3633 NEW BEST:: SOT 4386866 SOS 829869 HAS SOPS 829869 HAS SOUS 644519 HAS SOUPS 644519 WITH SCORE 645348.869
AT ITER 3644 NEW BEST:: SOT 4386823 SOS 829461 HAS SOPS 829461 HAS SOUS 644297 HAS SOUPS 644297 WITH SCORE 645126.461
AT ITER 3653 NEW BEST:: SOT 4386881 SOS 829360 HAS SOPS 829360 HAS SOUS 644196 HAS SOUPS 644196 WITH SCORE 645025.36
AT ITER 3718 NEW BEST:: SOT 4386715 SOS 829194 HAS SOPS 829194 HAS SOUS 644030 HAS SOUPS 644030 WITH SCORE 644859.194
AT ITER 3728 NEW BEST:: SOT 4386675 SOS 829114 HAS SOPS 829114 HAS SOUS 643950 HAS SOUPS 643950 WITH SCORE 644779.114
AT ITER 3734 NEW BEST:: SOT 4386622 SOS 829008 HAS SOPS 829008 HAS SOUS 643897 HAS SOUPS 643897 WITH SCORE 644726.008
AT ITER 3759 NEW BEST:: SOT 4386518 SOS 828800 HAS SOPS 828800 HAS SOUS 643793 HAS SOUPS 643793 WITH SCORE 644621.8
AT ITER 3760 NEW BEST:: SOT 4386518 SOS 828800 HAS SOPS 828800 HAS SOUS 643656 HAS SOUPS 643656 WITH SCORE 644484.8
AT ITER 3780 NEW BEST:: SOT 4386385 SOS 828534 HAS SOPS 828534 HAS SOUS 643403 HAS SOUPS 643403 WITH SCORE 644231.534
AT ITER 3827 NEW BEST:: SOT 4386229 SOS 828378 HAS SOPS 828378 HAS SOUS 643247 HAS SOUPS 643247 WITH SCORE 644075.378
AT ITER 3835 NEW BEST:: SOT 4386040 SOS 828348 HAS SOPS 828348 HAS SOUS 643058 HAS SOUPS 643058 WITH SCORE 643886.348
AT ITER 3851 NEW BEST:: SOT 4386039 SOS 828340 HAS SOPS 828340 HAS SOUS 643056 HAS SOUPS 643056 WITH SCORE 643884.34
AT ITER 3854 NEW BEST:: SOT 4386005 SOS 827972 HAS SOPS 827972 HAS SOUS 642988 HAS SOUPS 642988 WITH SCORE 643815.972
AT ITER 3864 NEW BEST:: SOT 4385872 SOS 827706 HAS SOPS 827706 HAS SOUS 642613 HAS SOUPS 642613 WITH SCORE 643440.706
AT ITER 3907 NEW BEST:: SOT 4385872 SOS 827641 HAS SOPS 827641 HAS SOUS 642613 HAS SOUPS 642613 WITH SCORE 643440.641
AT ITER 3910 NEW BEST:: SOT 4386021 SOS 827272 HAS SOPS 827272 HAS SOUS 642315 HAS SOUPS 642315 WITH SCORE 643142.272
AT ITER 3916 NEW BEST:: SOT 4385735 SOS 826986 HAS SOPS 826986 HAS SOUS 642029 HAS SOUPS 642029 WITH SCORE 642855.986
AT ITER 3917 NEW BEST:: SOT 4385735 SOS 826986 HAS SOPS 826986 HAS SOUS 642028 HAS SOUPS 642028 WITH SCORE 642854.986
AT ITER 3954 NEW BEST:: SOT 4385772 SOS 826958 HAS SOPS 826958 HAS SOUS 641954 HAS SOUPS 641954 WITH SCORE 642780.958
AT ITER 3968 NEW BEST:: SOT 4385771 SOS 826956 HAS SOPS 826956 HAS SOUS 641952 HAS SOUPS 641952 WITH SCORE 642778.956
AT ITER 3995 NEW BEST:: SOT 4385702 SOS 825665 HAS SOPS 825665 HAS SOUS 641708 HAS SOUPS 641708 WITH SCORE 642533.665
AT ITER 4015 NEW BEST:: SOT 4385373 SOS 825385 HAS SOPS 825385 HAS SOUS 641568 HAS SOUPS 641568 WITH SCORE 642393.385
AT ITER 4019 NEW BEST:: SOT 4385302 SOS 825243 HAS SOPS 825243 HAS SOUS 641426 HAS SOUPS 641426 WITH SCORE 642251.243
AT ITER 4047 NEW BEST:: SOT 4385244 SOS 825069 HAS SOPS 825069 HAS SOUS 641310 HAS SOUPS 641310 WITH SCORE 642135.069
AT ITER 4070 NEW BEST:: SOT 4385148 SOS 824399 HAS SOPS 824399 HAS SOUS 640909 HAS SOUPS 640909 WITH SCORE 641733.399
AT ITER 4114 NEW BEST:: SOT 4385031 SOS 824048 HAS SOPS 824048 HAS SOUS 640675 HAS SOUPS 640675 WITH SCORE 641499.048
AT ITER 4120 NEW BEST:: SOT 4385007 SOS 824000 HAS SOPS 824000 HAS SOUS 640345 HAS SOUPS 640345 WITH SCORE 641169.0
AT ITER 4158 NEW BEST:: SOT 4384779 SOS 823544 HAS SOPS 823544 HAS SOUS 640175 HAS SOUPS 640175 WITH SCORE 640998.544
AT ITER 4165 NEW BEST:: SOT 4384671 SOS 823328 HAS SOPS 823328 HAS SOUS 640067 HAS SOUPS 640067 WITH SCORE 640890.328
AT ITER 4192 NEW BEST:: SOT 4384666 SOS 823323 HAS SOPS 823323 HAS SOUS 640062 HAS SOUPS 640062 WITH SCORE 640885.323
AT ITER 4193 NEW BEST:: SOT 4384665 SOS 823230 HAS SOPS 823230 HAS SOUS 640060 HAS SOUPS 640060 WITH SCORE 640883.23
AT ITER 4229 NEW BEST:: SOT 4384648 SOS 823196 HAS SOPS 823196 HAS SOUS 640042 HAS SOUPS 640042 WITH SCORE 640865.196
AT ITER 4277 NEW BEST:: SOT 4384443 SOS 822744 HAS SOPS 822744 HAS SOUS 639632 HAS SOUPS 639632 WITH SCORE 640454.744
AT ITER 4278 NEW BEST:: SOT 4384396 SOS 822650 HAS SOPS 822650 HAS SOUS 639538 HAS SOUPS 639538 WITH SCORE 640360.65
AT ITER 4284 NEW BEST:: SOT 4384025 SOS 821908 HAS SOPS 821908 HAS SOUS 638796 HAS SOUPS 638796 WITH SCORE 639617.908
AT ITER 4298 NEW BEST:: SOT 4383933 SOS 821724 HAS SOPS 821724 HAS SOUS 638704 HAS SOUPS 638704 WITH SCORE 639525.724
AT ITER 4300 NEW BEST:: SOT 4383855 SOS 821568 HAS SOPS 821568 HAS SOUS 638548 HAS SOUPS 638548 WITH SCORE 639369.568
AT ITER 4304 NEW BEST:: SOT 4383811 SOS 821480 HAS SOPS 821480 HAS SOUS 638460 HAS SOUPS 638460 WITH SCORE 639281.48
AT ITER 4312 NEW BEST:: SOT 4383489 SOS 799839 HAS SOPS 799839 HAS SOUS 637816 HAS SOUPS 637816 WITH SCORE 638615.839
AT ITER 4314 NEW BEST:: SOT 4383489 SOS 799839 HAS SOPS 799839 HAS SOUS 637815 HAS SOUPS 637815 WITH SCORE 638614.839
AT ITER 4316 NEW BEST:: SOT 4383622 SOS 799489 HAS SOPS 799489 HAS SOUS 637638 HAS SOUPS 637638 WITH SCORE 638437.489
AT ITER 4321 NEW BEST:: SOT 4383507 SOS 799432 HAS SOPS 799432 HAS SOUS 637523 HAS SOUPS 637523 WITH SCORE 638322.432
AT ITER 4351 NEW BEST:: SOT 4383473 SOS 799364 HAS SOPS 799364 HAS SOUS 637455 HAS SOUPS 637455 WITH SCORE 638254.364
AT ITER 4390 NEW BEST:: SOT 4383429 SOS 799232 HAS SOPS 799232 HAS SOUS 637367 HAS SOUPS 637367 WITH SCORE 638166.232
AT ITER 4407 NEW BEST:: SOT 4383329 SOS 799240 HAS SOPS 799240 HAS SOUS 637358 HAS SOUPS 637358 WITH SCORE 638157.24
AT ITER 4425 NEW BEST:: SOT 4383186 SOS 799238 HAS SOPS 799238 HAS SOUS 637288 HAS SOUPS 637288 WITH SCORE 638087.238
AT ITER 4438 NEW BEST:: SOT 4383222 SOS 798690 HAS SOPS 798690 HAS SOUS 637200 HAS SOUPS 637200 WITH SCORE 637998.69
AT ITER 4467 NEW BEST:: SOT 4383114 SOS 798312 HAS SOPS 798312 HAS SOUS 636984 HAS SOUPS 636984 WITH SCORE 637782.312
AT ITER 4521 NEW BEST:: SOT 4383114 SOS 798275 HAS SOPS 798275 HAS SOUS 636947 HAS SOUPS 636947 WITH SCORE 637745.275
AT ITER 4523 NEW BEST:: SOT 4383114 SOS 797725 HAS SOPS 797725 HAS SOUS 636669 HAS SOUPS 636669 WITH SCORE 637466.725
AT ITER 4525 NEW BEST:: SOT 4383044 SOS 797414 HAS SOPS 797414 HAS SOUS 636428 HAS SOUPS 636428 WITH SCORE 637225.414
AT ITER 4566 NEW BEST:: SOT 4383166 SOS 797303 HAS SOPS 797303 HAS SOUS 636407 HAS SOUPS 636407 WITH SCORE 637204.303
AT ITER 4574 NEW BEST:: SOT 4382959 SOS 797274 HAS SOPS 797274 HAS SOUS 636211 HAS SOUPS 636211 WITH SCORE 637008.274
AT ITER 4598 NEW BEST:: SOT 4382794 SOS 796944 HAS SOPS 796944 HAS SOUS 636046 HAS SOUPS 636046 WITH SCORE 636842.944
AT ITER 4607 NEW BEST:: SOT 4382794 SOS 796761 HAS SOPS 796761 HAS SOUS 636046 HAS SOUPS 636046 WITH SCORE 636842.761
AT ITER 4609 NEW BEST:: SOT 4382736 SOS 796645 HAS SOPS 796645 HAS SOUS 635872 HAS SOUPS 635872 WITH SCORE 636668.645
AT ITER 4615 NEW BEST:: SOT 4382655 SOS 796483 HAS SOPS 796483 HAS SOUS 635710 HAS SOUPS 635710 WITH SCORE 636506.483
AT ITER 4617 NEW BEST:: SOT 4382451 SOS 796279 HAS SOPS 796279 HAS SOUS 635678 HAS SOUPS 635678 WITH SCORE 636474.279
AT ITER 4624 NEW BEST:: SOT 4382464 SOS 796052 HAS SOPS 796052 HAS SOUS 635451 HAS SOUPS 635451 WITH SCORE 636247.052
AT ITER 4630 NEW BEST:: SOT 4382405 SOS 795934 HAS SOPS 795934 HAS SOUS 635193 HAS SOUPS 635193 WITH SCORE 635988.934
AT ITER 4638 NEW BEST:: SOT 4381979 SOS 795082 HAS SOPS 795082 HAS SOUS 634781 HAS SOUPS 634781 WITH SCORE 635576.082
AT ITER 4646 NEW BEST:: SOT 4381978 SOS 794949 HAS SOPS 794949 HAS SOUS 634779 HAS SOUPS 634779 WITH SCORE 635573.949
AT ITER 4672 NEW BEST:: SOT 4381892 SOS 794965 HAS SOPS 794965 HAS SOUS 634701 HAS SOUPS 634701 WITH SCORE 635495.965
AT ITER 4694 NEW BEST:: SOT 4381892 SOS 794873 HAS SOPS 794873 HAS SOUS 634701 HAS SOUPS 634701 WITH SCORE 635495.873
AT ITER 4720 NEW BEST:: SOT 4381790 SOS 794669 HAS SOPS 794669 HAS SOUS 634599 HAS SOUPS 634599 WITH SCORE 635393.669
AT ITER 4743 NEW BEST:: SOT 4381332 SOS 794681 HAS SOPS 794681 HAS SOUS 634146 HAS SOUPS 634146 WITH SCORE 634940.681
AT ITER 4780 NEW BEST:: SOT 4381332 SOS 794619 HAS SOPS 794619 HAS SOUS 634115 HAS SOUPS 634115 WITH SCORE 634909.619
AT ITER 4785 NEW BEST:: SOT 4381199 SOS 794541 HAS SOPS 794541 HAS SOUS 634002 HAS SOUPS 634002 WITH SCORE 634796.541
AT ITER 4788 NEW BEST:: SOT 4381199 SOS 794424 HAS SOPS 794424 HAS SOUS 634002 HAS SOUPS 634002 WITH SCORE 634796.424
AT ITER 4799 NEW BEST:: SOT 4381067 SOS 794012 HAS SOPS 794012 HAS SOUS 633642 HAS SOUPS 633642 WITH SCORE 634436.012
AT ITER 4816 NEW BEST:: SOT 4381190 SOS 794135 HAS SOPS 794135 HAS SOUS 633581 HAS SOUPS 633581 WITH SCORE 634375.135
AT ITER 4827 NEW BEST:: SOT 4381041 SOS 794333 HAS SOPS 794333 HAS SOUS 633549 HAS SOUPS 633549 WITH SCORE 634343.333
AT ITER 4829 NEW BEST:: SOT 4380874 SOS 793999 HAS SOPS 793999 HAS SOUS 633382 HAS SOUPS 633382 WITH SCORE 634175.999
AT ITER 4838 NEW BEST:: SOT 4380894 SOS 793974 HAS SOPS 793974 HAS SOUS 633364 HAS SOUPS 633364 WITH SCORE 634157.974
AT ITER 4869 NEW BEST:: SOT 4380837 SOS 793860 HAS SOPS 793860 HAS SOUS 633183 HAS SOUPS 633183 WITH SCORE 633976.86
AT ITER 4876 NEW BEST:: SOT 4380836 SOS 793858 HAS SOPS 793858 HAS SOUS 633181 HAS SOUPS 633181 WITH SCORE 633974.858
AT ITER 4927 NEW BEST:: SOT 4380705 SOS 792808 HAS SOPS 792808 HAS SOUS 632959 HAS SOUPS 632959 WITH SCORE 633751.808
AT ITER 4947 NEW BEST:: SOT 4380524 SOS 792446 HAS SOPS 792446 HAS SOUS 632597 HAS SOUPS 632597 WITH SCORE 633389.446
AT ITER 4952 NEW BEST:: SOT 4380521 SOS 792440 HAS SOPS 792440 HAS SOUS 632591 HAS SOUPS 632591 WITH SCORE 633383.44
AT ITER 4957 NEW BEST:: SOT 4380500 SOS 792398 HAS SOPS 792398 HAS SOUS 632549 HAS SOUPS 632549 WITH SCORE 633341.398
AT ITER 4973 NEW BEST:: SOT 4380500 SOS 792310 HAS SOPS 792310 HAS SOUS 632461 HAS SOUPS 632461 WITH SCORE 633253.31
AT ITER 4975 NEW BEST:: SOT 4379932 SOS 791174 HAS SOPS 791174 HAS SOUS 631528 HAS SOUPS 631528 WITH SCORE 632319.174
AT ITER 4978 NEW BEST:: SOT 4379881 SOS 791072 HAS SOPS 791072 HAS SOUS 631477 HAS SOUPS 631477 WITH SCORE 632268.072
AT ITER 4986 NEW BEST:: SOT 4379880 SOS 790792 HAS SOPS 790792 HAS SOUS 631475 HAS SOUPS 631475 WITH SCORE 632265.792
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-00 (EX( ( (EG( potential( (tk(P416)) <= (tk(P1539)) ))) & (! potential( ( 2 ) <= (tk(P442)) )) )))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-01 ( (AG( (! (! potential( (tk(P835)) <= (tk(P745)) ))))) | potential( ( 3 ) <= (tk(P1168)) ) )
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-02 (EU( ( ( potential( (tk(P2067)) <= (tk(P1668)) ) | potential( (tk(P756)) <= (tk(P38)) ) ) & (! potential( ( 2 ) <= (tk(P1894)) )) ),( ( potential( (tk(P768)) <= (tk(P2160)) ) & potential( ( 1 ) <= (tk(P2173)) ) ) | ( potential( ( 3 ) <= (tk(P2016)) ) | potential( ( 2 ) <= (tk(P1732)) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-03 (EU( (AF(potential( (tk(P2373)) <= (tk(P1623)) ))),(AG( potential( ( 3 ) <= (tk(P1842)) ))) ))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-04 (AU( (EF(potential( (tk(P1463)) <= (tk(P168)) ))),( ( potential( ( 3 ) <= (tk(P1704)) ) | potential( ( 1 ) <= (tk(P511)) ) ) | ( potential( ( 2 ) <= (tk(P871)) ) & potential( (tk(P2222)) <= (tk(P382)) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-05 (EX( (AF(( potential( ( 2 ) <= (tk(P622)) ) | potential( ( 3 ) <= (tk(P139)) ) )))))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-06 (! (EF((EF(potential( ( 3 ) <= (tk(P1214)) ))))))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-07 (AF(( (! potential( ( 3 ) <= (tk(P1808)) )) & (AG( potential( ( 3 ) <= (tk(P1442)) ))) )))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-08 (EU( (AF(potential( (tk(P2579)) <= (tk(P1507)) ))),( potential( ( 1 ) <= (tk(P2058)) ) & (! potential( ( 3 ) <= (tk(P1147)) )) ) ))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-09 (AU( (AF(potential( ( 1 ) <= (tk(P1898)) ))),(EX( potential( ( 2 ) <= (tk(P2189)) ))) ))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-10 (EG( (AG( (! potential( ( 2 ) <= (tk(P1529)) ))))))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-11 (EF(( potential( (tk(P265)) <= (tk(P49)) ) & (! (! potential( ( 2 ) <= (tk(P2457)) ))) )))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-12 (AU( ( ( potential( (tk(P347)) <= (tk(P512)) ) & potential( ( 3 ) <= (tk(P2555)) ) ) | ( potential( (tk(P1353)) <= (tk(P650)) ) | potential( ( 3 ) <= (tk(P1000)) ) ) ),(AG( potential( ( 2 ) <= (tk(P2345)) ))) ))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-13 (EF(potential( ( 1 ) <= (tk(P1730)) )))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-14 (AF((EX( (! potential( (tk(P2496)) <= (tk(P230)) ))))))
PROPERTY: CloudReconfiguration-PT-307-CTLCardinality-15 ( (AG( (EF(potential( ( 1 ) <= (tk(P2555)) ))))) & ( (AU( potential( (tk(P1504)) <= (tk(P2223)) ),potential( (tk(P687)) <= (tk(P2019)) ) )) & (AU( potential( (tk(P145)) <= (tk(P1914)) ),potential( ( 1 ) <= (tk(P988)) ) )) ) )

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

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