fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902541600052
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
15764.440 3600000.00 3600079.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-158902541600052.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600052
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-307-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589091734108

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 307
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 9 NEW BEST:: SOT 4440554 SOS 758516 HAS SOPS 758516 HAS SOUS 699817 HAS SOUPS 699817 WITH SCORE 700575.516
AT ITER 16 NEW BEST:: SOT 4440717 SOS 758842 HAS SOPS 758842 HAS SOUS 699802 HAS SOUPS 699802 WITH SCORE 700560.842
AT ITER 19 NEW BEST:: SOT 4440701 SOS 758810 HAS SOPS 758810 HAS SOUS 699770 HAS SOUPS 699770 WITH SCORE 700528.81
AT ITER 39 NEW BEST:: SOT 4440701 SOS 758798 HAS SOPS 758798 HAS SOUS 699770 HAS SOUPS 699770 WITH SCORE 700528.798
AT ITER 73 NEW BEST:: SOT 4440795 SOS 758986 HAS SOPS 758986 HAS SOUS 699656 HAS SOUPS 699656 WITH SCORE 700414.986
AT ITER 85 NEW BEST:: SOT 4440795 SOS 758753 HAS SOPS 758753 HAS SOUS 699656 HAS SOUPS 699656 WITH SCORE 700414.753
AT ITER 92 NEW BEST:: SOT 4440556 SOS 759151 HAS SOPS 759151 HAS SOUS 699636 HAS SOUPS 699636 WITH SCORE 700395.151
AT ITER 105 NEW BEST:: SOT 4440508 SOS 759055 HAS SOPS 759055 HAS SOUS 699564 HAS SOUPS 699564 WITH SCORE 700323.055
AT ITER 110 NEW BEST:: SOT 4440508 SOS 759055 HAS SOPS 759055 HAS SOUS 699563 HAS SOUPS 699563 WITH SCORE 700322.055
AT ITER 155 NEW BEST:: SOT 4440508 SOS 758929 HAS SOPS 758929 HAS SOUS 699563 HAS SOUPS 699563 WITH SCORE 700321.929
AT ITER 174 NEW BEST:: SOT 4440360 SOS 758891 HAS SOPS 758891 HAS SOUS 699420 HAS SOUPS 699420 WITH SCORE 700178.891
AT ITER 188 NEW BEST:: SOT 4440360 SOS 758653 HAS SOPS 758653 HAS SOUS 699420 HAS SOUPS 699420 WITH SCORE 700178.653
AT ITER 204 NEW BEST:: SOT 4440281 SOS 758416 HAS SOPS 758416 HAS SOUS 699262 HAS SOUPS 699262 WITH SCORE 700020.416
AT ITER 211 NEW BEST:: SOT 4440157 SOS 758343 HAS SOPS 758343 HAS SOUS 699190 HAS SOUPS 699190 WITH SCORE 699948.343
AT ITER 301 NEW BEST:: SOT 4440157 SOS 758258 HAS SOPS 758258 HAS SOUS 699189 HAS SOUPS 699189 WITH SCORE 699947.258
AT ITER 347 NEW BEST:: SOT 4439757 SOS 758204 HAS SOPS 758204 HAS SOUS 698934 HAS SOUPS 698934 WITH SCORE 699692.204
AT ITER 350 NEW BEST:: SOT 4439628 SOS 757533 HAS SOPS 757533 HAS SOUS 698494 HAS SOUPS 698494 WITH SCORE 699251.533
AT ITER 385 NEW BEST:: SOT 4439330 SOS 757300 HAS SOPS 757300 HAS SOUS 698303 HAS SOUPS 698303 WITH SCORE 699060.3
AT ITER 386 NEW BEST:: SOT 4439290 SOS 757294 HAS SOPS 757294 HAS SOUS 698286 HAS SOUPS 698286 WITH SCORE 699043.294
AT ITER 393 NEW BEST:: SOT 4439096 SOS 757204 HAS SOPS 757204 HAS SOUS 698125 HAS SOUPS 698125 WITH SCORE 698882.204
AT ITER 396 NEW BEST:: SOT 4438971 SOS 757079 HAS SOPS 757079 HAS SOUS 698000 HAS SOUPS 698000 WITH SCORE 698757.079
AT ITER 418 NEW BEST:: SOT 4438893 SOS 756845 HAS SOPS 756845 HAS SOUS 697844 HAS SOUPS 697844 WITH SCORE 698600.845
AT ITER 425 NEW BEST:: SOT 4438594 SOS 756428 HAS SOPS 756428 HAS SOUS 697364 HAS SOUPS 697364 WITH SCORE 698120.428
AT ITER 437 NEW BEST:: SOT 4438468 SOS 756176 HAS SOPS 756176 HAS SOUS 696950 HAS SOUPS 696950 WITH SCORE 697706.176
AT ITER 462 NEW BEST:: SOT 4438439 SOS 756214 HAS SOPS 756214 HAS SOUS 696921 HAS SOUPS 696921 WITH SCORE 697677.214
AT ITER 469 NEW BEST:: SOT 4438255 SOS 756250 HAS SOPS 756250 HAS SOUS 696737 HAS SOUPS 696737 WITH SCORE 697493.25
AT ITER 479 NEW BEST:: SOT 4438255 SOS 755958 HAS SOPS 755958 HAS SOUS 696737 HAS SOUPS 696737 WITH SCORE 697492.958
AT ITER 484 NEW BEST:: SOT 4437944 SOS 755654 HAS SOPS 755654 HAS SOUS 696433 HAS SOUPS 696433 WITH SCORE 697188.654
AT ITER 503 NEW BEST:: SOT 4437944 SOS 755654 HAS SOPS 755654 HAS SOUS 696162 HAS SOUPS 696162 WITH SCORE 696917.654
AT ITER 510 NEW BEST:: SOT 4437893 SOS 755603 HAS SOPS 755603 HAS SOUS 696111 HAS SOUPS 696111 WITH SCORE 696866.603
AT ITER 540 NEW BEST:: SOT 4437891 SOS 755561 HAS SOPS 755561 HAS SOUS 696109 HAS SOUPS 696109 WITH SCORE 696864.561
AT ITER 581 NEW BEST:: SOT 4433909 SOS 817696 HAS SOPS 817696 HAS SOUS 695963 HAS SOUPS 695963 WITH SCORE 696780.696
AT ITER 594 NEW BEST:: SOT 4433909 SOS 817532 HAS SOPS 817532 HAS SOUS 695799 HAS SOUPS 695799 WITH SCORE 696616.532
AT ITER 653 NEW BEST:: SOT 4433834 SOS 817582 HAS SOPS 817582 HAS SOUS 695724 HAS SOUPS 695724 WITH SCORE 696541.582
AT ITER 679 NEW BEST:: SOT 4428962 SOS 812826 HAS SOPS 812826 HAS SOUS 690967 HAS SOUPS 690967 WITH SCORE 691779.826
AT ITER 681 NEW BEST:: SOT 4428951 SOS 812804 HAS SOPS 812804 HAS SOUS 690945 HAS SOUPS 690945 WITH SCORE 691757.804
AT ITER 682 NEW BEST:: SOT 4428951 SOS 812804 HAS SOPS 812804 HAS SOUS 690913 HAS SOUPS 690913 WITH SCORE 691725.804
AT ITER 683 NEW BEST:: SOT 4428951 SOS 812654 HAS SOPS 812654 HAS SOUS 690913 HAS SOUPS 690913 WITH SCORE 691725.654
AT ITER 716 NEW BEST:: SOT 4428890 SOS 812532 HAS SOPS 812532 HAS SOUS 690791 HAS SOUPS 690791 WITH SCORE 691603.532
AT ITER 722 NEW BEST:: SOT 4428802 SOS 812422 HAS SOPS 812422 HAS SOUS 690681 HAS SOUPS 690681 WITH SCORE 691493.422
AT ITER 731 NEW BEST:: SOT 4428794 SOS 812406 HAS SOPS 812406 HAS SOUS 690665 HAS SOUPS 690665 WITH SCORE 691477.406
AT ITER 787 NEW BEST:: SOT 4428620 SOS 812058 HAS SOPS 812058 HAS SOUS 690593 HAS SOUPS 690593 WITH SCORE 691405.058
AT ITER 826 NEW BEST:: SOT 4428439 SOS 812326 HAS SOPS 812326 HAS SOUS 690537 HAS SOUPS 690537 WITH SCORE 691349.326
AT ITER 832 NEW BEST:: SOT 4428439 SOS 812326 HAS SOPS 812326 HAS SOUS 690525 HAS SOUPS 690525 WITH SCORE 691337.326
AT ITER 849 NEW BEST:: SOT 4428530 SOS 812271 HAS SOPS 812271 HAS SOUS 690470 HAS SOUPS 690470 WITH SCORE 691282.271
AT ITER 851 NEW BEST:: SOT 4428530 SOS 812267 HAS SOPS 812267 HAS SOUS 690470 HAS SOUPS 690470 WITH SCORE 691282.267
AT ITER 861 NEW BEST:: SOT 4428014 SOS 811751 HAS SOPS 811751 HAS SOUS 689954 HAS SOUPS 689954 WITH SCORE 690765.751
AT ITER 865 NEW BEST:: SOT 4427053 SOS 811551 HAS SOPS 811551 HAS SOUS 689126 HAS SOUPS 689126 WITH SCORE 689937.551
AT ITER 888 NEW BEST:: SOT 4427053 SOS 811494 HAS SOPS 811494 HAS SOUS 689069 HAS SOUPS 689069 WITH SCORE 689880.494
AT ITER 897 NEW BEST:: SOT 4426904 SOS 811408 HAS SOPS 811408 HAS SOUS 688963 HAS SOUPS 688963 WITH SCORE 689774.408
AT ITER 931 NEW BEST:: SOT 4426904 SOS 811228 HAS SOPS 811228 HAS SOUS 688963 HAS SOUPS 688963 WITH SCORE 689774.228
AT ITER 934 NEW BEST:: SOT 4426800 SOS 811256 HAS SOPS 811256 HAS SOUS 688859 HAS SOUPS 688859 WITH SCORE 689670.256
AT ITER 960 NEW BEST:: SOT 4426800 SOS 811201 HAS SOPS 811201 HAS SOUS 688859 HAS SOUPS 688859 WITH SCORE 689670.201
AT ITER 984 NEW BEST:: SOT 4416700 SOS 801191 HAS SOPS 801191 HAS SOUS 679022 HAS SOUPS 679022 WITH SCORE 679823.191
AT ITER 985 NEW BEST:: SOT 4416631 SOS 801122 HAS SOPS 801122 HAS SOUS 678953 HAS SOUPS 678953 WITH SCORE 679754.122
AT ITER 1064 NEW BEST:: SOT 4416547 SOS 800835 HAS SOPS 800835 HAS SOUS 678785 HAS SOUPS 678785 WITH SCORE 679585.835
AT ITER 1071 NEW BEST:: SOT 4416440 SOS 800728 HAS SOPS 800728 HAS SOUS 678678 HAS SOUPS 678678 WITH SCORE 679478.728
AT ITER 1077 NEW BEST:: SOT 4416275 SOS 800734 HAS SOPS 800734 HAS SOUS 678605 HAS SOUPS 678605 WITH SCORE 679405.734
AT ITER 1089 NEW BEST:: SOT 4416266 SOS 800494 HAS SOPS 800494 HAS SOUS 678587 HAS SOUPS 678587 WITH SCORE 679387.494
AT ITER 1098 NEW BEST:: SOT 4415978 SOS 800206 HAS SOPS 800206 HAS SOUS 678299 HAS SOUPS 678299 WITH SCORE 679099.206
AT ITER 1122 NEW BEST:: SOT 4415755 SOS 799983 HAS SOPS 799983 HAS SOUS 678076 HAS SOUPS 678076 WITH SCORE 678875.983
AT ITER 1126 NEW BEST:: SOT 4414393 SOS 804364 HAS SOPS 804364 HAS SOUS 677611 HAS SOUPS 677611 WITH SCORE 678415.364
AT ITER 1135 NEW BEST:: SOT 4414098 SOS 803774 HAS SOPS 803774 HAS SOUS 677021 HAS SOUPS 677021 WITH SCORE 677824.774
AT ITER 1159 NEW BEST:: SOT 4414049 SOS 803956 HAS SOPS 803956 HAS SOUS 676972 HAS SOUPS 676972 WITH SCORE 677775.956
AT ITER 1203 NEW BEST:: SOT 4413833 SOS 803524 HAS SOPS 803524 HAS SOUS 676528 HAS SOUPS 676528 WITH SCORE 677331.524
AT ITER 1214 NEW BEST:: SOT 4413797 SOS 803452 HAS SOPS 803452 HAS SOUS 676456 HAS SOUPS 676456 WITH SCORE 677259.452
AT ITER 1217 NEW BEST:: SOT 4413598 SOS 803270 HAS SOPS 803270 HAS SOUS 676270 HAS SOUPS 676270 WITH SCORE 677073.27
AT ITER 1229 NEW BEST:: SOT 4413483 SOS 803040 HAS SOPS 803040 HAS SOUS 676155 HAS SOUPS 676155 WITH SCORE 676958.04
AT ITER 1243 NEW BEST:: SOT 4413478 SOS 802930 HAS SOPS 802930 HAS SOUS 676145 HAS SOUPS 676145 WITH SCORE 676947.93
AT ITER 1273 NEW BEST:: SOT 4413407 SOS 802788 HAS SOPS 802788 HAS SOUS 676003 HAS SOUPS 676003 WITH SCORE 676805.788
AT ITER 1280 NEW BEST:: SOT 4412975 SOS 801924 HAS SOPS 801924 HAS SOUS 675139 HAS SOUPS 675139 WITH SCORE 675940.924
AT ITER 1303 NEW BEST:: SOT 4412684 SOS 801342 HAS SOPS 801342 HAS SOUS 674557 HAS SOUPS 674557 WITH SCORE 675358.342
AT ITER 1323 NEW BEST:: SOT 4412758 SOS 800902 HAS SOPS 800902 HAS SOUS 674337 HAS SOUPS 674337 WITH SCORE 675137.902
AT ITER 1330 NEW BEST:: SOT 4412614 SOS 801016 HAS SOPS 801016 HAS SOUS 674324 HAS SOUPS 674324 WITH SCORE 675125.016
AT ITER 1336 NEW BEST:: SOT 4412613 SOS 801014 HAS SOPS 801014 HAS SOUS 674322 HAS SOUPS 674322 WITH SCORE 675123.014
AT ITER 1370 NEW BEST:: SOT 4412613 SOS 800762 HAS SOPS 800762 HAS SOUS 674322 HAS SOUPS 674322 WITH SCORE 675122.762
AT ITER 1380 NEW BEST:: SOT 4412613 SOS 800213 HAS SOPS 800213 HAS SOUS 673773 HAS SOUPS 673773 WITH SCORE 674573.213
AT ITER 1397 NEW BEST:: SOT 4412424 SOS 800024 HAS SOPS 800024 HAS SOUS 673584 HAS SOUPS 673584 WITH SCORE 674384.024
AT ITER 1414 NEW BEST:: SOT 4412423 SOS 800022 HAS SOPS 800022 HAS SOUS 673582 HAS SOUPS 673582 WITH SCORE 674382.022
AT ITER 1474 NEW BEST:: SOT 4412333 SOS 799932 HAS SOPS 799932 HAS SOUS 673492 HAS SOUPS 673492 WITH SCORE 674291.932
AT ITER 1482 NEW BEST:: SOT 4412026 SOS 773718 HAS SOPS 773718 HAS SOUS 672878 HAS SOUPS 672878 WITH SCORE 673651.718
AT ITER 1503 NEW BEST:: SOT 4411921 SOS 773690 HAS SOPS 773690 HAS SOUS 672773 HAS SOUPS 672773 WITH SCORE 673546.69
AT ITER 1506 NEW BEST:: SOT 4411920 SOS 773688 HAS SOPS 773688 HAS SOUS 672771 HAS SOUPS 672771 WITH SCORE 673544.688
AT ITER 1522 NEW BEST:: SOT 4411731 SOS 773499 HAS SOPS 773499 HAS SOUS 672582 HAS SOUPS 672582 WITH SCORE 673355.499
AT ITER 1530 NEW BEST:: SOT 4411650 SOS 773337 HAS SOPS 773337 HAS SOUS 672420 HAS SOUPS 672420 WITH SCORE 673193.337
AT ITER 1533 NEW BEST:: SOT 4411650 SOS 773337 HAS SOPS 773337 HAS SOUS 672254 HAS SOUPS 672254 WITH SCORE 673027.337
AT ITER 1551 NEW BEST:: SOT 4410825 SOS 772512 HAS SOPS 772512 HAS SOUS 671264 HAS SOUPS 671264 WITH SCORE 672036.512
AT ITER 1556 NEW BEST:: SOT 4410787 SOS 772474 HAS SOPS 772474 HAS SOUS 671188 HAS SOUPS 671188 WITH SCORE 671960.474
AT ITER 1557 NEW BEST:: SOT 4410732 SOS 772410 HAS SOPS 772410 HAS SOUS 671110 HAS SOUPS 671110 WITH SCORE 671882.41
AT ITER 1563 NEW BEST:: SOT 4409769 SOS 775104 HAS SOPS 775104 HAS SOUS 670807 HAS SOUPS 670807 WITH SCORE 671582.104
AT ITER 1573 NEW BEST:: SOT 4409706 SOS 774915 HAS SOPS 774915 HAS SOUS 670681 HAS SOUPS 670681 WITH SCORE 671455.915
AT ITER 1582 NEW BEST:: SOT 4409488 SOS 774728 HAS SOPS 774728 HAS SOUS 670478 HAS SOUPS 670478 WITH SCORE 671252.728
AT ITER 1588 NEW BEST:: SOT 4409488 SOS 774478 HAS SOPS 774478 HAS SOUS 670478 HAS SOUPS 670478 WITH SCORE 671252.478
AT ITER 1613 NEW BEST:: SOT 4409236 SOS 774364 HAS SOPS 774364 HAS SOUS 670276 HAS SOUPS 670276 WITH SCORE 671050.364
AT ITER 1620 NEW BEST:: SOT 4409170 SOS 774309 HAS SOPS 774309 HAS SOUS 670133 HAS SOUPS 670133 WITH SCORE 670907.309
AT ITER 1639 NEW BEST:: SOT 4407023 SOS 773732 HAS SOPS 773732 HAS SOUS 668133 HAS SOUPS 668133 WITH SCORE 668906.732
AT ITER 1670 NEW BEST:: SOT 4407023 SOS 773510 HAS SOPS 773510 HAS SOUS 668133 HAS SOUPS 668133 WITH SCORE 668906.51
AT ITER 1682 NEW BEST:: SOT 4407006 SOS 773476 HAS SOPS 773476 HAS SOUS 668115 HAS SOUPS 668115 WITH SCORE 668888.476
AT ITER 1683 NEW BEST:: SOT 4406969 SOS 773402 HAS SOPS 773402 HAS SOUS 667806 HAS SOUPS 667806 WITH SCORE 668579.402
AT ITER 1712 NEW BEST:: SOT 4406985 SOS 773711 HAS SOPS 773711 HAS SOUS 667727 HAS SOUPS 667727 WITH SCORE 668500.711
AT ITER 1727 NEW BEST:: SOT 4406841 SOS 773637 HAS SOPS 773637 HAS SOUS 667583 HAS SOUPS 667583 WITH SCORE 668356.637
AT ITER 1733 NEW BEST:: SOT 4406737 SOS 774519 HAS SOPS 774519 HAS SOUS 667443 HAS SOUPS 667443 WITH SCORE 668217.519
AT ITER 1740 NEW BEST:: SOT 4406659 SOS 774227 HAS SOPS 774227 HAS SOUS 667265 HAS SOUPS 667265 WITH SCORE 668039.227
AT ITER 1745 NEW BEST:: SOT 4406668 SOS 774245 HAS SOPS 774245 HAS SOUS 666957 HAS SOUPS 666957 WITH SCORE 667731.245
AT ITER 1747 NEW BEST:: SOT 4406532 SOS 774109 HAS SOPS 774109 HAS SOUS 666821 HAS SOUPS 666821 WITH SCORE 667595.109
AT ITER 1751 NEW BEST:: SOT 4406387 SOS 773969 HAS SOPS 773969 HAS SOUS 666681 HAS SOUPS 666681 WITH SCORE 667454.969
AT ITER 1793 NEW BEST:: SOT 4406252 SOS 773789 HAS SOPS 773789 HAS SOUS 666501 HAS SOUPS 666501 WITH SCORE 667274.789
AT ITER 1795 NEW BEST:: SOT 4406252 SOS 773541 HAS SOPS 773541 HAS SOUS 666501 HAS SOUPS 666501 WITH SCORE 667274.541
AT ITER 1814 NEW BEST:: SOT 4406323 SOS 774152 HAS SOPS 774152 HAS SOUS 666298 HAS SOUPS 666298 WITH SCORE 667072.152
AT ITER 1877 NEW BEST:: SOT 4406219 SOS 774105 HAS SOPS 774105 HAS SOUS 666194 HAS SOUPS 666194 WITH SCORE 666968.105
AT ITER 1888 NEW BEST:: SOT 4405900 SOS 773839 HAS SOPS 773839 HAS SOUS 665927 HAS SOUPS 665927 WITH SCORE 666700.839
AT ITER 1932 NEW BEST:: SOT 4405893 SOS 773818 HAS SOPS 773818 HAS SOUS 665913 HAS SOUPS 665913 WITH SCORE 666686.818
AT ITER 1951 NEW BEST:: SOT 4405826 SOS 773684 HAS SOPS 773684 HAS SOUS 665779 HAS SOUPS 665779 WITH SCORE 666552.684
AT ITER 1997 NEW BEST:: SOT 4405806 SOS 773644 HAS SOPS 773644 HAS SOUS 665749 HAS SOUPS 665749 WITH SCORE 666522.644
AT ITER 2023 NEW BEST:: SOT 4405806 SOS 773695 HAS SOPS 773695 HAS SOUS 665698 HAS SOUPS 665698 WITH SCORE 666471.695
AT ITER 2041 NEW BEST:: SOT 4400996 SOS 769109 HAS SOPS 769109 HAS SOUS 661263 HAS SOUPS 661263 WITH SCORE 662032.109
AT ITER 2052 NEW BEST:: SOT 4400225 SOS 768622 HAS SOPS 768622 HAS SOUS 660366 HAS SOUPS 660366 WITH SCORE 661134.622
AT ITER 2053 NEW BEST:: SOT 4400224 SOS 768620 HAS SOPS 768620 HAS SOUS 660364 HAS SOUPS 660364 WITH SCORE 661132.62
AT ITER 2064 NEW BEST:: SOT 4400223 SOS 768481 HAS SOPS 768481 HAS SOUS 660293 HAS SOUPS 660293 WITH SCORE 661061.481
AT ITER 2071 NEW BEST:: SOT 4400150 SOS 768335 HAS SOPS 768335 HAS SOUS 660147 HAS SOUPS 660147 WITH SCORE 660915.335
AT ITER 2075 NEW BEST:: SOT 4400018 SOS 768231 HAS SOPS 768231 HAS SOUS 660043 HAS SOUPS 660043 WITH SCORE 660811.231
AT ITER 2083 NEW BEST:: SOT 4400018 SOS 768231 HAS SOPS 768231 HAS SOUS 659729 HAS SOUPS 659729 WITH SCORE 660497.231
AT ITER 2094 NEW BEST:: SOT 4399775 SOS 767745 HAS SOPS 767745 HAS SOUS 659243 HAS SOUPS 659243 WITH SCORE 660010.745
AT ITER 2105 NEW BEST:: SOT 4399542 SOS 767849 HAS SOPS 767849 HAS SOUS 658972 HAS SOUPS 658972 WITH SCORE 659739.849
AT ITER 2118 NEW BEST:: SOT 4399542 SOS 767723 HAS SOPS 767723 HAS SOUS 658972 HAS SOUPS 658972 WITH SCORE 659739.723
AT ITER 2129 NEW BEST:: SOT 4399516 SOS 767671 HAS SOPS 767671 HAS SOUS 658936 HAS SOUPS 658936 WITH SCORE 659703.671
AT ITER 2150 NEW BEST:: SOT 4399486 SOS 767611 HAS SOPS 767611 HAS SOUS 658906 HAS SOUPS 658906 WITH SCORE 659673.611
AT ITER 2164 NEW BEST:: SOT 4399441 SOS 767433 HAS SOPS 767433 HAS SOUS 658816 HAS SOUPS 658816 WITH SCORE 659583.433
AT ITER 2204 NEW BEST:: SOT 4399527 SOS 767605 HAS SOPS 767605 HAS SOUS 658773 HAS SOUPS 658773 WITH SCORE 659540.605
AT ITER 2218 NEW BEST:: SOT 4399199 SOS 767855 HAS SOPS 767855 HAS SOUS 658612 HAS SOUPS 658612 WITH SCORE 659379.855
AT ITER 2223 NEW BEST:: SOT 4399127 SOS 767788 HAS SOPS 767788 HAS SOUS 658544 HAS SOUPS 658544 WITH SCORE 659311.788
AT ITER 2228 NEW BEST:: SOT 4399127 SOS 767385 HAS SOPS 767385 HAS SOUS 658544 HAS SOUPS 658544 WITH SCORE 659311.385
AT ITER 2264 NEW BEST:: SOT 4399073 SOS 767331 HAS SOPS 767331 HAS SOUS 658490 HAS SOUPS 658490 WITH SCORE 659257.331
AT ITER 2275 NEW BEST:: SOT 4399066 SOS 767317 HAS SOPS 767317 HAS SOUS 658476 HAS SOUPS 658476 WITH SCORE 659243.317
AT ITER 2276 NEW BEST:: SOT 4399003 SOS 767277 HAS SOPS 767277 HAS SOUS 658436 HAS SOUPS 658436 WITH SCORE 659203.277
AT ITER 2296 NEW BEST:: SOT 4398759 SOS 766789 HAS SOPS 766789 HAS SOUS 657948 HAS SOUPS 657948 WITH SCORE 658714.789
AT ITER 2307 NEW BEST:: SOT 4398678 SOS 766708 HAS SOPS 766708 HAS SOUS 657867 HAS SOUPS 657867 WITH SCORE 658633.708
AT ITER 2312 NEW BEST:: SOT 4398637 SOS 766418 HAS SOPS 766418 HAS SOUS 657785 HAS SOUPS 657785 WITH SCORE 658551.418
AT ITER 2328 NEW BEST:: SOT 4398583 SOS 766418 HAS SOPS 766418 HAS SOUS 657761 HAS SOUPS 657761 WITH SCORE 658527.418
AT ITER 2396 NEW BEST:: SOT 4398493 SOS 766238 HAS SOPS 766238 HAS SOUS 657581 HAS SOUPS 657581 WITH SCORE 658347.238
AT ITER 2401 NEW BEST:: SOT 4398263 SOS 766057 HAS SOPS 766057 HAS SOUS 657369 HAS SOUPS 657369 WITH SCORE 658135.057
AT ITER 2414 NEW BEST:: SOT 4398192 SOS 765915 HAS SOPS 765915 HAS SOUS 657227 HAS SOUPS 657227 WITH SCORE 657992.915
AT ITER 2428 NEW BEST:: SOT 4398192 SOS 765644 HAS SOPS 765644 HAS SOUS 656914 HAS SOUPS 656914 WITH SCORE 657679.644
AT ITER 2445 NEW BEST:: SOT 4398192 SOS 765620 HAS SOPS 765620 HAS SOUS 656913 HAS SOUPS 656913 WITH SCORE 657678.62
AT ITER 2450 NEW BEST:: SOT 4397911 SOS 765606 HAS SOPS 765606 HAS SOUS 656724 HAS SOUPS 656724 WITH SCORE 657489.606
AT ITER 2464 NEW BEST:: SOT 4397954 SOS 765692 HAS SOPS 765692 HAS SOUS 656687 HAS SOUPS 656687 WITH SCORE 657452.692
AT ITER 2528 NEW BEST:: SOT 4397637 SOS 765254 HAS SOPS 765254 HAS SOUS 656174 HAS SOUPS 656174 WITH SCORE 656939.254
AT ITER 2533 NEW BEST:: SOT 4397517 SOS 765014 HAS SOPS 765014 HAS SOUS 655934 HAS SOUPS 655934 WITH SCORE 656699.014
AT ITER 2545 NEW BEST:: SOT 4397516 SOS 764944 HAS SOPS 764944 HAS SOUS 655932 HAS SOUPS 655932 WITH SCORE 656696.944
AT ITER 2577 NEW BEST:: SOT 4397369 SOS 764942 HAS SOPS 764942 HAS SOUS 655817 HAS SOUPS 655817 WITH SCORE 656581.942
AT ITER 2584 NEW BEST:: SOT 4397208 SOS 764620 HAS SOPS 764620 HAS SOUS 655656 HAS SOUPS 655656 WITH SCORE 656420.62
AT ITER 2617 NEW BEST:: SOT 4397196 SOS 764596 HAS SOPS 764596 HAS SOUS 655632 HAS SOUPS 655632 WITH SCORE 656396.596
AT ITER 2640 NEW BEST:: SOT 4397157 SOS 764762 HAS SOPS 764762 HAS SOUS 655593 HAS SOUPS 655593 WITH SCORE 656357.762
AT ITER 2671 NEW BEST:: SOT 4395618 SOS 765128 HAS SOPS 765128 HAS SOUS 654212 HAS SOUPS 654212 WITH SCORE 654977.128
AT ITER 2683 NEW BEST:: SOT 4395299 SOS 764948 HAS SOPS 764948 HAS SOUS 653941 HAS SOUPS 653941 WITH SCORE 654705.948
AT ITER 2705 NEW BEST:: SOT 4395418 SOS 765186 HAS SOPS 765186 HAS SOUS 653767 HAS SOUPS 653767 WITH SCORE 654532.186
AT ITER 2716 NEW BEST:: SOT 4395111 SOS 765117 HAS SOPS 765117 HAS SOUS 653698 HAS SOUPS 653698 WITH SCORE 654463.117
AT ITER 2717 NEW BEST:: SOT 4395098 SOS 765073 HAS SOPS 765073 HAS SOUS 653670 HAS SOUPS 653670 WITH SCORE 654435.073
AT ITER 2731 NEW BEST:: SOT 4395098 SOS 765039 HAS SOPS 765039 HAS SOUS 653670 HAS SOUPS 653670 WITH SCORE 654435.039
AT ITER 2762 NEW BEST:: SOT 4394861 SOS 764565 HAS SOPS 764565 HAS SOUS 653196 HAS SOUPS 653196 WITH SCORE 653960.565
AT ITER 2763 NEW BEST:: SOT 4394632 SOS 764564 HAS SOPS 764564 HAS SOUS 653194 HAS SOUPS 653194 WITH SCORE 653958.564
AT ITER 2766 NEW BEST:: SOT 4394220 SOS 767400 HAS SOPS 767400 HAS SOUS 652935 HAS SOUPS 652935 WITH SCORE 653702.4
AT ITER 2787 NEW BEST:: SOT 4394220 SOS 767400 HAS SOPS 767400 HAS SOUS 652804 HAS SOUPS 652804 WITH SCORE 653571.4
AT ITER 2791 NEW BEST:: SOT 4394129 SOS 767400 HAS SOPS 767400 HAS SOUS 652713 HAS SOUPS 652713 WITH SCORE 653480.4
AT ITER 2805 NEW BEST:: SOT 4394002 SOS 767019 HAS SOPS 767019 HAS SOUS 652459 HAS SOUPS 652459 WITH SCORE 653226.019
AT ITER 2837 NEW BEST:: SOT 4394002 SOS 767019 HAS SOPS 767019 HAS SOUS 652458 HAS SOUPS 652458 WITH SCORE 653225.019
AT ITER 2871 NEW BEST:: SOT 4393971 SOS 766957 HAS SOPS 766957 HAS SOUS 652427 HAS SOUPS 652427 WITH SCORE 653193.957
AT ITER 2872 NEW BEST:: SOT 4393935 SOS 766885 HAS SOPS 766885 HAS SOUS 652413 HAS SOUPS 652413 WITH SCORE 653179.885
AT ITER 2876 NEW BEST:: SOT 4393887 SOS 766789 HAS SOPS 766789 HAS SOUS 652362 HAS SOUPS 652362 WITH SCORE 653128.789
AT ITER 2925 NEW BEST:: SOT 4394080 SOS 766942 HAS SOPS 766942 HAS SOUS 652295 HAS SOUPS 652295 WITH SCORE 653061.942
AT ITER 2932 NEW BEST:: SOT 4393928 SOS 766638 HAS SOPS 766638 HAS SOUS 652022 HAS SOUPS 652022 WITH SCORE 652788.638
AT ITER 2937 NEW BEST:: SOT 4393927 SOS 766636 HAS SOPS 766636 HAS SOUS 652007 HAS SOUPS 652007 WITH SCORE 652773.636
AT ITER 2980 NEW BEST:: SOT 4393847 SOS 766476 HAS SOPS 766476 HAS SOUS 651847 HAS SOUPS 651847 WITH SCORE 652613.476
AT ITER 2991 NEW BEST:: SOT 4393709 SOS 765952 HAS SOPS 765952 HAS SOUS 651709 HAS SOUPS 651709 WITH SCORE 652474.952
AT ITER 3092 NEW BEST:: SOT 4393460 SOS 765703 HAS SOPS 765703 HAS SOUS 651460 HAS SOUPS 651460 WITH SCORE 652225.703
AT ITER 3097 NEW BEST:: SOT 4393157 SOS 765400 HAS SOPS 765400 HAS SOUS 651157 HAS SOUPS 651157 WITH SCORE 651922.4
AT ITER 3166 NEW BEST:: SOT 4393159 SOS 765404 HAS SOPS 765404 HAS SOUS 651133 HAS SOUPS 651133 WITH SCORE 651898.404
AT ITER 3175 NEW BEST:: SOT 4393158 SOS 765402 HAS SOPS 765402 HAS SOUS 651131 HAS SOUPS 651131 WITH SCORE 651896.402
AT ITER 3180 NEW BEST:: SOT 4393100 SOS 765286 HAS SOPS 765286 HAS SOUS 651081 HAS SOUPS 651081 WITH SCORE 651846.286
AT ITER 3203 NEW BEST:: SOT 4393024 SOS 765134 HAS SOPS 765134 HAS SOUS 650929 HAS SOUPS 650929 WITH SCORE 651694.134
AT ITER 3214 NEW BEST:: SOT 4393023 SOS 765133 HAS SOPS 765133 HAS SOUS 650927 HAS SOUPS 650927 WITH SCORE 651692.133
AT ITER 3236 NEW BEST:: SOT 4393023 SOS 765133 HAS SOPS 765133 HAS SOUS 650620 HAS SOUPS 650620 WITH SCORE 651385.133
AT ITER 3257 NEW BEST:: SOT 4392983 SOS 765053 HAS SOPS 765053 HAS SOUS 650596 HAS SOUPS 650596 WITH SCORE 651361.053
AT ITER 3272 NEW BEST:: SOT 4392899 SOS 764885 HAS SOPS 764885 HAS SOUS 650385 HAS SOUPS 650385 WITH SCORE 651149.885
AT ITER 3280 NEW BEST:: SOT 4392899 SOS 764743 HAS SOPS 764743 HAS SOUS 650385 HAS SOUPS 650385 WITH SCORE 651149.743
AT ITER 3302 NEW BEST:: SOT 4392824 SOS 764668 HAS SOPS 764668 HAS SOUS 650310 HAS SOUPS 650310 WITH SCORE 651074.668
AT ITER 3355 NEW BEST:: SOT 4392716 SOS 764452 HAS SOPS 764452 HAS SOUS 650202 HAS SOUPS 650202 WITH SCORE 650966.452
AT ITER 3393 NEW BEST:: SOT 4392532 SOS 764176 HAS SOPS 764176 HAS SOUS 650018 HAS SOUPS 650018 WITH SCORE 650782.176
AT ITER 3399 NEW BEST:: SOT 4392707 SOS 764331 HAS SOPS 764331 HAS SOUS 650014 HAS SOUPS 650014 WITH SCORE 650778.331
AT ITER 3400 NEW BEST:: SOT 4392671 SOS 764223 HAS SOPS 764223 HAS SOUS 649942 HAS SOUPS 649942 WITH SCORE 650706.223
AT ITER 3408 NEW BEST:: SOT 4392671 SOS 764155 HAS SOPS 764155 HAS SOUS 649874 HAS SOUPS 649874 WITH SCORE 650638.155
AT ITER 3414 NEW BEST:: SOT 4392516 SOS 764041 HAS SOPS 764041 HAS SOUS 649739 HAS SOUPS 649739 WITH SCORE 650503.041
AT ITER 3432 NEW BEST:: SOT 4392516 SOS 763779 HAS SOPS 763779 HAS SOUS 649739 HAS SOUPS 649739 WITH SCORE 650502.779
AT ITER 3442 NEW BEST:: SOT 4392464 SOS 763675 HAS SOPS 763675 HAS SOUS 649635 HAS SOUPS 649635 WITH SCORE 650398.675
AT ITER 3472 NEW BEST:: SOT 4392346 SOS 763439 HAS SOPS 763439 HAS SOUS 649517 HAS SOUPS 649517 WITH SCORE 650280.439
AT ITER 3484 NEW BEST:: SOT 4391865 SOS 762825 HAS SOPS 762825 HAS SOUS 648812 HAS SOUPS 648812 WITH SCORE 649574.825
AT ITER 3491 NEW BEST:: SOT 4391864 SOS 762823 HAS SOPS 762823 HAS SOUS 648810 HAS SOUPS 648810 WITH SCORE 649572.823
AT ITER 3495 NEW BEST:: SOT 4391863 SOS 762524 HAS SOPS 762524 HAS SOUS 648808 HAS SOUPS 648808 WITH SCORE 649570.524
AT ITER 3510 NEW BEST:: SOT 4391856 SOS 762503 HAS SOPS 762503 HAS SOUS 648794 HAS SOUPS 648794 WITH SCORE 649556.503
AT ITER 3522 NEW BEST:: SOT 4391551 SOS 761893 HAS SOPS 761893 HAS SOUS 648205 HAS SOUPS 648205 WITH SCORE 648966.893
AT ITER 3528 NEW BEST:: SOT 4391438 SOS 761667 HAS SOPS 761667 HAS SOUS 647979 HAS SOUPS 647979 WITH SCORE 648740.667
AT ITER 3557 NEW BEST:: SOT 4391438 SOS 761641 HAS SOPS 761641 HAS SOUS 647966 HAS SOUPS 647966 WITH SCORE 648727.641
AT ITER 3579 NEW BEST:: SOT 4391300 SOS 761365 HAS SOPS 761365 HAS SOUS 647690 HAS SOUPS 647690 WITH SCORE 648451.365
AT ITER 3589 NEW BEST:: SOT 4391277 SOS 761371 HAS SOPS 761371 HAS SOUS 647667 HAS SOUPS 647667 WITH SCORE 648428.371
AT ITER 3591 NEW BEST:: SOT 4391248 SOS 760839 HAS SOPS 760839 HAS SOUS 647609 HAS SOUPS 647609 WITH SCORE 648369.839
AT ITER 3605 NEW BEST:: SOT 4391238 SOS 760819 HAS SOPS 760819 HAS SOUS 647589 HAS SOUPS 647589 WITH SCORE 648349.819
AT ITER 3624 NEW BEST:: SOT 4391017 SOS 760721 HAS SOPS 760721 HAS SOUS 647405 HAS SOUPS 647405 WITH SCORE 648165.721
AT ITER 3663 NEW BEST:: SOT 4390666 SOS 760373 HAS SOPS 760373 HAS SOUS 647054 HAS SOUPS 647054 WITH SCORE 647814.373
AT ITER 3676 NEW BEST:: SOT 4390664 SOS 760651 HAS SOPS 760651 HAS SOUS 647052 HAS SOUPS 647052 WITH SCORE 647812.651
AT ITER 3686 NEW BEST:: SOT 4390416 SOS 760155 HAS SOPS 760155 HAS SOUS 646873 HAS SOUPS 646873 WITH SCORE 647633.155
AT ITER 3693 NEW BEST:: SOT 4390301 SOS 760040 HAS SOPS 760040 HAS SOUS 646835 HAS SOUPS 646835 WITH SCORE 647595.04
AT ITER 3698 NEW BEST:: SOT 4390288 SOS 760014 HAS SOPS 760014 HAS SOUS 646813 HAS SOUPS 646813 WITH SCORE 647573.014
AT ITER 3741 NEW BEST:: SOT 4390102 SOS 759794 HAS SOPS 759794 HAS SOUS 646593 HAS SOUPS 646593 WITH SCORE 647352.794
AT ITER 3744 NEW BEST:: SOT 4390083 SOS 759543 HAS SOPS 759543 HAS SOUS 646555 HAS SOUPS 646555 WITH SCORE 647314.543
AT ITER 3794 NEW BEST:: SOT 4389978 SOS 759409 HAS SOPS 759409 HAS SOUS 646497 HAS SOUPS 646497 WITH SCORE 647256.409
AT ITER 3827 NEW BEST:: SOT 4389906 SOS 759265 HAS SOPS 759265 HAS SOUS 646425 HAS SOUPS 646425 WITH SCORE 647184.265
AT ITER 3844 NEW BEST:: SOT 4389844 SOS 759222 HAS SOPS 759222 HAS SOUS 646363 HAS SOUPS 646363 WITH SCORE 647122.222
AT ITER 3848 NEW BEST:: SOT 4389714 SOS 759092 HAS SOPS 759092 HAS SOUS 646233 HAS SOUPS 646233 WITH SCORE 646992.092
AT ITER 3851 NEW BEST:: SOT 4389864 SOS 758658 HAS SOPS 758658 HAS SOUS 646030 HAS SOUPS 646030 WITH SCORE 646788.658
AT ITER 3861 NEW BEST:: SOT 4389864 SOS 758658 HAS SOPS 758658 HAS SOUS 645907 HAS SOUPS 645907 WITH SCORE 646665.658
AT ITER 3870 NEW BEST:: SOT 4389864 SOS 758658 HAS SOPS 758658 HAS SOUS 645906 HAS SOUPS 645906 WITH SCORE 646664.658
AT ITER 3883 NEW BEST:: SOT 4389864 SOS 758658 HAS SOPS 758658 HAS SOUS 645716 HAS SOUPS 645716 WITH SCORE 646474.658
AT ITER 3887 NEW BEST:: SOT 4389878 SOS 758686 HAS SOPS 758686 HAS SOUS 645468 HAS SOUPS 645468 WITH SCORE 646226.686
AT ITER 3911 NEW BEST:: SOT 4389882 SOS 758610 HAS SOPS 758610 HAS SOUS 645444 HAS SOUPS 645444 WITH SCORE 646202.61
AT ITER 3918 NEW BEST:: SOT 4389882 SOS 758558 HAS SOPS 758558 HAS SOUS 645444 HAS SOUPS 645444 WITH SCORE 646202.558
AT ITER 3920 NEW BEST:: SOT 4389882 SOS 758558 HAS SOPS 758558 HAS SOUS 645421 HAS SOUPS 645421 WITH SCORE 646179.558
AT ITER 3943 NEW BEST:: SOT 4389887 SOS 758325 HAS SOPS 758325 HAS SOUS 645188 HAS SOUPS 645188 WITH SCORE 645946.325
AT ITER 3951 NEW BEST:: SOT 4389886 SOS 758323 HAS SOPS 758323 HAS SOUS 645186 HAS SOUPS 645186 WITH SCORE 645944.323
AT ITER 3958 NEW BEST:: SOT 4389517 SOS 757963 HAS SOPS 757963 HAS SOUS 644826 HAS SOUPS 644826 WITH SCORE 645583.963
AT ITER 3984 NEW BEST:: SOT 4389506 SOS 757941 HAS SOPS 757941 HAS SOUS 644779 HAS SOUPS 644779 WITH SCORE 645536.941
AT ITER 3995 NEW BEST:: SOT 4389698 SOS 758325 HAS SOPS 758325 HAS SOUS 644758 HAS SOUPS 644758 WITH SCORE 645516.325
AT ITER 4034 NEW BEST:: SOT 4389704 SOS 758151 HAS SOPS 758151 HAS SOUS 644584 HAS SOUPS 644584 WITH SCORE 645342.151
AT ITER 4059 NEW BEST:: SOT 4389703 SOS 757834 HAS SOPS 757834 HAS SOUS 644583 HAS SOUPS 644583 WITH SCORE 645340.834
AT ITER 4112 NEW BEST:: SOT 4389338 SOS 758481 HAS SOPS 758481 HAS SOUS 644474 HAS SOUPS 644474 WITH SCORE 645232.481
AT ITER 4117 NEW BEST:: SOT 4389338 SOS 758379 HAS SOPS 758379 HAS SOUS 644372 HAS SOUPS 644372 WITH SCORE 645130.379
AT ITER 4136 NEW BEST:: SOT 4389316 SOS 758688 HAS SOPS 758688 HAS SOUS 644328 HAS SOUPS 644328 WITH SCORE 645086.688
AT ITER 4159 NEW BEST:: SOT 4389331 SOS 758459 HAS SOPS 758459 HAS SOUS 644164 HAS SOUPS 644164 WITH SCORE 644922.459
AT ITER 4182 NEW BEST:: SOT 4389304 SOS 758107 HAS SOPS 758107 HAS SOUS 643839 HAS SOUPS 643839 WITH SCORE 644597.107
AT ITER 4203 NEW BEST:: SOT 4389000 SOS 757499 HAS SOPS 757499 HAS SOUS 643231 HAS SOUPS 643231 WITH SCORE 643988.499
AT ITER 4237 NEW BEST:: SOT 4388868 SOS 757367 HAS SOPS 757367 HAS SOUS 643099 HAS SOUPS 643099 WITH SCORE 643856.367
AT ITER 4240 NEW BEST:: SOT 4388748 SOS 757127 HAS SOPS 757127 HAS SOUS 642859 HAS SOUPS 642859 WITH SCORE 643616.127
AT ITER 4250 NEW BEST:: SOT 4388581 SOS 756960 HAS SOPS 756960 HAS SOUS 642692 HAS SOUPS 642692 WITH SCORE 643448.96
AT ITER 4256 NEW BEST:: SOT 4386845 SOS 761091 HAS SOPS 761091 HAS SOUS 641317 HAS SOUPS 641317 WITH SCORE 642078.091
AT ITER 4294 NEW BEST:: SOT 4386719 SOS 760839 HAS SOPS 760839 HAS SOUS 641065 HAS SOUPS 641065 WITH SCORE 641825.839
AT ITER 4304 NEW BEST:: SOT 4386769 SOS 760939 HAS SOPS 760939 HAS SOUS 640979 HAS SOUPS 640979 WITH SCORE 641739.939
AT ITER 4336 NEW BEST:: SOT 4386751 SOS 760777 HAS SOPS 760777 HAS SOUS 640943 HAS SOUPS 640943 WITH SCORE 641703.777
AT ITER 4340 NEW BEST:: SOT 4386751 SOS 760777 HAS SOPS 760777 HAS SOUS 640925 HAS SOUPS 640925 WITH SCORE 641685.777
AT ITER 4359 NEW BEST:: SOT 4386619 SOS 761109 HAS SOPS 761109 HAS SOUS 640884 HAS SOUPS 640884 WITH SCORE 641645.109
AT ITER 4373 NEW BEST:: SOT 4386391 SOS 762111 HAS SOPS 762111 HAS SOUS 640749 HAS SOUPS 640749 WITH SCORE 641511.111
AT ITER 4394 NEW BEST:: SOT 4386422 SOS 762074 HAS SOPS 762074 HAS SOUS 640737 HAS SOUPS 640737 WITH SCORE 641499.074
AT ITER 4412 NEW BEST:: SOT 4386162 SOS 762074 HAS SOPS 762074 HAS SOUS 640607 HAS SOUPS 640607 WITH SCORE 641369.074
AT ITER 4416 NEW BEST:: SOT 4385948 SOS 761829 HAS SOPS 761829 HAS SOUS 640362 HAS SOUPS 640362 WITH SCORE 641123.829
AT ITER 4449 NEW BEST:: SOT 4385867 SOS 761667 HAS SOPS 761667 HAS SOUS 640200 HAS SOUPS 640200 WITH SCORE 640961.667
AT ITER 4537 NEW BEST:: SOT 4385866 SOS 761665 HAS SOPS 761665 HAS SOUS 640198 HAS SOUPS 640198 WITH SCORE 640959.665
AT ITER 4558 NEW BEST:: SOT 4385857 SOS 761647 HAS SOPS 761647 HAS SOUS 640164 HAS SOUPS 640164 WITH SCORE 640925.647
AT ITER 4574 NEW BEST:: SOT 4385541 SOS 760699 HAS SOPS 760699 HAS SOUS 639532 HAS SOUPS 639532 WITH SCORE 640292.699
AT ITER 4589 NEW BEST:: SOT 4385471 SOS 760249 HAS SOPS 760249 HAS SOUS 639435 HAS SOUPS 639435 WITH SCORE 640195.249
AT ITER 4605 NEW BEST:: SOT 4385471 SOS 759983 HAS SOPS 759983 HAS SOUS 639435 HAS SOUPS 639435 WITH SCORE 640194.983
AT ITER 4682 NEW BEST:: SOT 4385458 SOS 759957 HAS SOPS 759957 HAS SOUS 639247 HAS SOUPS 639247 WITH SCORE 640006.957
AT ITER 4683 NEW BEST:: SOT 4385570 SOS 759036 HAS SOPS 759036 HAS SOUS 639032 HAS SOUPS 639032 WITH SCORE 639791.036
AT ITER 4728 NEW BEST:: SOT 4385463 SOS 758822 HAS SOPS 758822 HAS SOUS 638818 HAS SOUPS 638818 WITH SCORE 639576.822
AT ITER 4776 NEW BEST:: SOT 4385463 SOS 758675 HAS SOPS 758675 HAS SOUS 638671 HAS SOUPS 638671 WITH SCORE 639429.675
AT ITER 4793 NEW BEST:: SOT 4384268 SOS 757839 HAS SOPS 757839 HAS SOUS 637892 HAS SOUPS 637892 WITH SCORE 638649.839
AT ITER 4813 NEW BEST:: SOT 4384256 SOS 757815 HAS SOPS 757815 HAS SOUS 637868 HAS SOUPS 637868 WITH SCORE 638625.815
AT ITER 4823 NEW BEST:: SOT 4384010 SOS 757927 HAS SOPS 757927 HAS SOUS 637651 HAS SOUPS 637651 WITH SCORE 638408.927
AT ITER 4826 NEW BEST:: SOT 4384010 SOS 757850 HAS SOPS 757850 HAS SOUS 637640 HAS SOUPS 637640 WITH SCORE 638397.85
AT ITER 4866 NEW BEST:: SOT 4383957 SOS 757850 HAS SOPS 757850 HAS SOUS 637587 HAS SOUPS 637587 WITH SCORE 638344.85
AT ITER 4913 NEW BEST:: SOT 4379878 SOS 753934 HAS SOPS 753934 HAS SOUS 633705 HAS SOUPS 633705 WITH SCORE 634458.934
AT ITER 4934 NEW BEST:: SOT 4379821 SOS 753820 HAS SOPS 753820 HAS SOUS 633648 HAS SOUPS 633648 WITH SCORE 634401.82
AT ITER 4944 NEW BEST:: SOT 4379820 SOS 753818 HAS SOPS 753818 HAS SOUS 633646 HAS SOUPS 633646 WITH SCORE 634399.818
AT ITER 4953 NEW BEST:: SOT 4379711 SOS 753600 HAS SOPS 753600 HAS SOUS 633428 HAS SOUPS 633428 WITH SCORE 634181.6
AT ITER 4959 NEW BEST:: SOT 4379692 SOS 752333 HAS SOPS 752333 HAS SOUS 632880 HAS SOUPS 632880 WITH SCORE 633632.333
AT ITER 4971 NEW BEST:: SOT 4379664 SOS 752319 HAS SOPS 752319 HAS SOUS 632824 HAS SOUPS 632824 WITH SCORE 633576.319
AT ITER 4983 NEW BEST:: SOT 4379476 SOS 752687 HAS SOPS 752687 HAS SOUS 632820 HAS SOUPS 632820 WITH SCORE 633572.687
AT ITER 4991 NEW BEST:: SOT 4379365 SOS 752465 HAS SOPS 752465 HAS SOUS 632598 HAS SOUPS 632598 WITH SCORE 633350.465
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-00 (EF( ((potential((tk(P1967)>=1))))))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-01 (EX( (! ( (EF( ((potential((tk(P2076)>=1)))))) & (! ((potential((tk(P573)>=1) & (tk(P2329)>=1))))) ))))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-02 ( (! ( (AX( ((potential((tk(P737)>=1)))))) & (! ( ( ((potential((tk(P525)>=1)))) | ((potential((tk(P852)>=1)))) ) | ((potential((tk(P2331)>=1)))) )) )) & (EG( (AF( (! ((potential((tk(P573)>=1) & (tk(P2514)>=1))))))))) )
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-03 ( (EG( ( (EX( ((potential((tk(P915)>=1)))))) | (AF( ((potential((tk(P853)>=1)))))) ))) | (AU( (EG( ((potential((tk(P573)>=1) & (tk(P2345)>=1)))))) , (! (! ((potential((tk(P1533)>=1)))))) )) )
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-04 (AU( ( (EG( ((potential((tk(P1892)>=1)))))) | ( ( ((potential((tk(P790)>=1)))) | ((potential((tk(P2053)>=1)))) ) | (! ((potential((tk(P671)>=1))))) ) ) , ((potential((tk(P1096)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-05 (EX( (AF( ( ( ((potential((tk(P2377)>=1)))) & ((potential((tk(P2331)>=1)))) ) | ( ((potential((tk(P1273)>=1)))) & ((potential((tk(P2352)>=1)))) ) )))))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-06 ( (AU( (EG( ((potential((tk(P235)>=1)))))) , (! ( ((potential((tk(P491)>=1)))) & ((potential((tk(P632)>=1)))) )) )) & (EF( (EX( ((potential((tk(P2473)>=1)))))))) )
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-07 (AF( ((potential((tk(P197)>=1))))))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-08 ( (EX( ( (EF( ((potential((tk(P209)>=1)))))) | ( (! ((potential((tk(P96)>=1))))) & ( ((potential((tk(P2255)>=1)))) | ((potential((tk(P641)>=1)))) ) ) ))) & ( ( ( (AX( ((potential((tk(P1822)>=1)))))) | (EF( ((potential((tk(P1818)>=1)))))) ) & (AX( ( ((potential((tk(P1212)>=1)))) & ((potential((tk(P2303)>=1)))) ))) ) | (! (EU( ((potential((tk(P2510)>=1)))) , ((potential((tk(P2494)>=1)))) ))) ) )
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-09 (! (AX( (! (AF( ((potential((tk(P2505)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-10 ( (EU( (AF( ((potential((tk(P573)>=1) & (tk(P1674)>=1)))))) , (AG( ((potential((tk(P759)>=1)))))) )) | ( (EG( ( ( ((potential((tk(P1885)>=1)))) | ((potential((tk(P1739)>=1)))) ) | ( ((potential((tk(P2225)>=1)))) & ((potential((tk(P1336)>=1)))) ) ))) & ( ((potential((tk(P1306)>=1)))) | ( (EF( ((potential((tk(P1098)>=1)))))) & ((potential((tk(P1023)>=1)))) ) ) ) )
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-11 ( (AU( (! ( ((potential((tk(P2090)>=1)))) & ((potential((tk(P714)>=1)))) )) , ( ((potential((tk(P2557)>=1)))) | ( ((potential((tk(P573)>=1) & (tk(P903)>=1)))) & ((potential((tk(P2531)>=1)))) ) ) )) | (! (! ( ( ( ((potential((tk(P886)>=1)))) & ((potential((tk(P2478)>=1)))) ) & ( ((potential((tk(P843)>=1)))) & ((potential((tk(P618)>=1)))) ) ) | (EG( ((potential((tk(P462)>=1)))))) ))) )
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-12 (EF( ( (EU( ((potential((tk(P1788)>=1)))) , ((potential((tk(P1207)>=1)))) )) & (! ( (! ((potential((tk(P2087)>=1))))) & (! ((potential((tk(P480)>=1))))) )) )))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-13 (AF( ((potential((tk(P794)>=1))))))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-14 (EF( ( (! (AG( ((potential((tk(P887)>=1))))))) & (AX( ( ((potential((tk(P1465)>=1)))) & ((potential((tk(P1727)>=1)))) ))) )))
PROPERTY: CloudReconfiguration-PT-307-CTLFireability-15 (! (EG( ( (! ((potential((tk(P497)>=1))))) | ( ( ((potential((tk(P2454)>=1)))) & ((potential((tk(P527)>=1)))) ) & (! ((potential((tk(P1225)>=1))))) ) ))))

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="CTLFireability"
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 CTLFireability"
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-158902541600052"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;