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

About the Execution of smart for CloudReconfiguration-PT-315

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.020 3600000.00 3600101.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-158902541700116.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-315, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700116
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 2.9K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:13 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.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-315-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589095471347

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 315
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443229 SOS 758851 HAS SOPS 758851 HAS SOUS 699873 HAS SOUPS 699873 WITH SCORE 700631.851
AT ITER 4 NEW BEST:: SOT 4443258 SOS 758464 HAS SOPS 758464 HAS SOUS 699541 HAS SOUPS 699541 WITH SCORE 700299.464
AT ITER 18 NEW BEST:: SOT 4443258 SOS 758368 HAS SOPS 758368 HAS SOUS 699541 HAS SOUPS 699541 WITH SCORE 700299.368
AT ITER 43 NEW BEST:: SOT 4443153 SOS 758263 HAS SOPS 758263 HAS SOUS 699436 HAS SOUPS 699436 WITH SCORE 700194.263
AT ITER 98 NEW BEST:: SOT 4443153 SOS 758113 HAS SOPS 758113 HAS SOUS 699436 HAS SOUPS 699436 WITH SCORE 700194.113
AT ITER 145 NEW BEST:: SOT 4443152 SOS 758111 HAS SOPS 758111 HAS SOUS 699434 HAS SOUPS 699434 WITH SCORE 700192.111
AT ITER 151 NEW BEST:: SOT 4443152 SOS 758111 HAS SOPS 758111 HAS SOUS 699257 HAS SOUPS 699257 WITH SCORE 700015.111
AT ITER 177 NEW BEST:: SOT 4443075 SOS 758531 HAS SOPS 758531 HAS SOUS 699180 HAS SOUPS 699180 WITH SCORE 699938.531
AT ITER 179 NEW BEST:: SOT 4443003 SOS 758459 HAS SOPS 758459 HAS SOUS 699108 HAS SOUPS 699108 WITH SCORE 699866.459
AT ITER 203 NEW BEST:: SOT 4435781 SOS 809171 HAS SOPS 809171 HAS SOUS 695027 HAS SOUPS 695027 WITH SCORE 695836.171
AT ITER 211 NEW BEST:: SOT 4435643 SOS 809033 HAS SOPS 809033 HAS SOUS 694889 HAS SOUPS 694889 WITH SCORE 695698.033
AT ITER 257 NEW BEST:: SOT 4435643 SOS 808818 HAS SOPS 808818 HAS SOUS 694674 HAS SOUPS 694674 WITH SCORE 695482.818
AT ITER 266 NEW BEST:: SOT 4435586 SOS 808907 HAS SOPS 808907 HAS SOUS 694617 HAS SOUPS 694617 WITH SCORE 695425.907
AT ITER 279 NEW BEST:: SOT 4435633 SOS 808860 HAS SOPS 808860 HAS SOUS 694617 HAS SOUPS 694617 WITH SCORE 695425.86
AT ITER 301 NEW BEST:: SOT 4435633 SOS 808860 HAS SOPS 808860 HAS SOUS 694441 HAS SOUPS 694441 WITH SCORE 695249.86
AT ITER 306 NEW BEST:: SOT 4433800 SOS 811417 HAS SOPS 811417 HAS SOUS 693600 HAS SOUPS 693600 WITH SCORE 694411.417
AT ITER 342 NEW BEST:: SOT 4433799 SOS 811190 HAS SOPS 811190 HAS SOUS 693598 HAS SOUPS 693598 WITH SCORE 694409.19
AT ITER 346 NEW BEST:: SOT 4433878 SOS 811348 HAS SOPS 811348 HAS SOUS 693457 HAS SOUPS 693457 WITH SCORE 694268.348
AT ITER 367 NEW BEST:: SOT 4433878 SOS 811228 HAS SOPS 811228 HAS SOUS 693396 HAS SOUPS 693396 WITH SCORE 694207.228
AT ITER 387 NEW BEST:: SOT 4433851 SOS 811225 HAS SOPS 811225 HAS SOUS 693393 HAS SOUPS 693393 WITH SCORE 694204.225
AT ITER 414 NEW BEST:: SOT 4432268 SOS 811517 HAS SOPS 811517 HAS SOUS 692477 HAS SOUPS 692477 WITH SCORE 693288.517
AT ITER 435 NEW BEST:: SOT 4432123 SOS 811227 HAS SOPS 811227 HAS SOUS 692187 HAS SOUPS 692187 WITH SCORE 692998.227
AT ITER 440 NEW BEST:: SOT 4431911 SOS 811026 HAS SOPS 811026 HAS SOUS 691975 HAS SOUPS 691975 WITH SCORE 692786.026
AT ITER 444 NEW BEST:: SOT 4431901 SOS 811006 HAS SOPS 811006 HAS SOUS 691955 HAS SOUPS 691955 WITH SCORE 692766.006
AT ITER 449 NEW BEST:: SOT 4431901 SOS 810671 HAS SOPS 810671 HAS SOUS 691952 HAS SOUPS 691952 WITH SCORE 692762.671
AT ITER 457 NEW BEST:: SOT 4431901 SOS 810671 HAS SOPS 810671 HAS SOUS 691835 HAS SOUPS 691835 WITH SCORE 692645.671
AT ITER 459 NEW BEST:: SOT 4432137 SOS 810505 HAS SOPS 810505 HAS SOUS 691752 HAS SOUPS 691752 WITH SCORE 692562.505
AT ITER 507 NEW BEST:: SOT 4431763 SOS 812697 HAS SOPS 812697 HAS SOUS 691461 HAS SOUPS 691461 WITH SCORE 692273.697
AT ITER 564 NEW BEST:: SOT 4431763 SOS 812400 HAS SOPS 812400 HAS SOUS 691158 HAS SOUPS 691158 WITH SCORE 691970.4
AT ITER 565 NEW BEST:: SOT 4431742 SOS 812358 HAS SOPS 812358 HAS SOUS 691062 HAS SOUPS 691062 WITH SCORE 691874.358
AT ITER 566 NEW BEST:: SOT 4431717 SOS 812362 HAS SOPS 812362 HAS SOUS 691037 HAS SOUPS 691037 WITH SCORE 691849.362
AT ITER 571 NEW BEST:: SOT 4431717 SOS 812362 HAS SOPS 812362 HAS SOUS 690962 HAS SOUPS 690962 WITH SCORE 691774.362
AT ITER 594 NEW BEST:: SOT 4431487 SOS 812362 HAS SOPS 812362 HAS SOUS 690847 HAS SOUPS 690847 WITH SCORE 691659.362
AT ITER 602 NEW BEST:: SOT 4431155 SOS 811698 HAS SOPS 811698 HAS SOUS 690515 HAS SOUPS 690515 WITH SCORE 691326.698
AT ITER 625 NEW BEST:: SOT 4431154 SOS 811696 HAS SOPS 811696 HAS SOUS 690513 HAS SOUPS 690513 WITH SCORE 691324.696
AT ITER 642 NEW BEST:: SOT 4431259 SOS 811906 HAS SOPS 811906 HAS SOUS 690324 HAS SOUPS 690324 WITH SCORE 691135.906
AT ITER 647 NEW BEST:: SOT 4431161 SOS 811961 HAS SOPS 811961 HAS SOUS 690226 HAS SOUPS 690226 WITH SCORE 691037.961
AT ITER 649 NEW BEST:: SOT 4431096 SOS 811642 HAS SOPS 811642 HAS SOUS 689972 HAS SOUPS 689972 WITH SCORE 690783.642
AT ITER 663 NEW BEST:: SOT 4431096 SOS 811503 HAS SOPS 811503 HAS SOUS 689833 HAS SOUPS 689833 WITH SCORE 690644.503
AT ITER 696 NEW BEST:: SOT 4430982 SOS 811275 HAS SOPS 811275 HAS SOUS 689802 HAS SOUPS 689802 WITH SCORE 690613.275
AT ITER 710 NEW BEST:: SOT 4430981 SOS 811273 HAS SOPS 811273 HAS SOUS 689800 HAS SOUPS 689800 WITH SCORE 690611.273
AT ITER 711 NEW BEST:: SOT 4430881 SOS 811073 HAS SOPS 811073 HAS SOUS 689600 HAS SOUPS 689600 WITH SCORE 690411.073
AT ITER 720 NEW BEST:: SOT 4430866 SOS 811028 HAS SOPS 811028 HAS SOUS 689570 HAS SOUPS 689570 WITH SCORE 690381.028
AT ITER 722 NEW BEST:: SOT 4430866 SOS 810975 HAS SOPS 810975 HAS SOUS 689517 HAS SOUPS 689517 WITH SCORE 690327.975
AT ITER 728 NEW BEST:: SOT 4430712 SOS 811087 HAS SOPS 811087 HAS SOUS 689392 HAS SOUPS 689392 WITH SCORE 690203.087
AT ITER 735 NEW BEST:: SOT 4430737 SOS 810729 HAS SOPS 810729 HAS SOUS 689238 HAS SOUPS 689238 WITH SCORE 690048.729
AT ITER 746 NEW BEST:: SOT 4430737 SOS 810729 HAS SOPS 810729 HAS SOUS 689226 HAS SOUPS 689226 WITH SCORE 690036.729
AT ITER 759 NEW BEST:: SOT 4430737 SOS 810727 HAS SOPS 810727 HAS SOUS 689225 HAS SOUPS 689225 WITH SCORE 690035.727
AT ITER 761 NEW BEST:: SOT 4430737 SOS 810684 HAS SOPS 810684 HAS SOUS 689182 HAS SOUPS 689182 WITH SCORE 689992.684
AT ITER 763 NEW BEST:: SOT 4430683 SOS 810630 HAS SOPS 810630 HAS SOUS 689182 HAS SOUPS 689182 WITH SCORE 689992.63
AT ITER 769 NEW BEST:: SOT 4430683 SOS 810630 HAS SOPS 810630 HAS SOUS 688947 HAS SOUPS 688947 WITH SCORE 689757.63
AT ITER 785 NEW BEST:: SOT 4430554 SOS 810724 HAS SOPS 810724 HAS SOUS 688934 HAS SOUPS 688934 WITH SCORE 689744.724
AT ITER 801 NEW BEST:: SOT 4430188 SOS 810236 HAS SOPS 810236 HAS SOUS 688446 HAS SOUPS 688446 WITH SCORE 689256.236
AT ITER 802 NEW BEST:: SOT 4430186 SOS 810083 HAS SOPS 810083 HAS SOUS 688295 HAS SOUPS 688295 WITH SCORE 689105.083
AT ITER 808 NEW BEST:: SOT 4430040 SOS 809966 HAS SOPS 809966 HAS SOUS 688149 HAS SOUPS 688149 WITH SCORE 688958.966
AT ITER 809 NEW BEST:: SOT 4430017 SOS 809874 HAS SOPS 809874 HAS SOUS 688103 HAS SOUPS 688103 WITH SCORE 688912.874
AT ITER 814 NEW BEST:: SOT 4430058 SOS 809704 HAS SOPS 809704 HAS SOUS 687933 HAS SOUPS 687933 WITH SCORE 688742.704
AT ITER 835 NEW BEST:: SOT 4430052 SOS 809704 HAS SOPS 809704 HAS SOUS 687932 HAS SOUPS 687932 WITH SCORE 688741.704
AT ITER 847 NEW BEST:: SOT 4430009 SOS 809575 HAS SOPS 809575 HAS SOUS 687846 HAS SOUPS 687846 WITH SCORE 688655.575
AT ITER 859 NEW BEST:: SOT 4429747 SOS 809051 HAS SOPS 809051 HAS SOUS 687322 HAS SOUPS 687322 WITH SCORE 688131.051
AT ITER 861 NEW BEST:: SOT 4429746 SOS 809049 HAS SOPS 809049 HAS SOUS 687320 HAS SOUPS 687320 WITH SCORE 688129.049
AT ITER 863 NEW BEST:: SOT 4429605 SOS 808908 HAS SOPS 808908 HAS SOUS 687320 HAS SOUPS 687320 WITH SCORE 688128.908
AT ITER 867 NEW BEST:: SOT 4429375 SOS 809027 HAS SOPS 809027 HAS SOUS 687112 HAS SOUPS 687112 WITH SCORE 687921.027
AT ITER 873 NEW BEST:: SOT 4429375 SOS 808767 HAS SOPS 808767 HAS SOUS 687112 HAS SOUPS 687112 WITH SCORE 687920.767
AT ITER 899 NEW BEST:: SOT 4429099 SOS 808215 HAS SOPS 808215 HAS SOUS 686560 HAS SOUPS 686560 WITH SCORE 687368.215
AT ITER 900 NEW BEST:: SOT 4429096 SOS 808209 HAS SOPS 808209 HAS SOUS 686548 HAS SOUPS 686548 WITH SCORE 687356.209
AT ITER 903 NEW BEST:: SOT 4428630 SOS 807743 HAS SOPS 807743 HAS SOUS 686082 HAS SOUPS 686082 WITH SCORE 686889.743
AT ITER 913 NEW BEST:: SOT 4428415 SOS 807528 HAS SOPS 807528 HAS SOUS 685867 HAS SOUPS 685867 WITH SCORE 686674.528
AT ITER 916 NEW BEST:: SOT 4428415 SOS 807432 HAS SOPS 807432 HAS SOUS 685819 HAS SOUPS 685819 WITH SCORE 686626.432
AT ITER 935 NEW BEST:: SOT 4428405 SOS 807402 HAS SOPS 807402 HAS SOUS 685799 HAS SOUPS 685799 WITH SCORE 686606.402
AT ITER 962 NEW BEST:: SOT 4428267 SOS 807126 HAS SOPS 807126 HAS SOUS 685661 HAS SOUPS 685661 WITH SCORE 686468.126
AT ITER 977 NEW BEST:: SOT 4428253 SOS 807098 HAS SOPS 807098 HAS SOUS 685579 HAS SOUPS 685579 WITH SCORE 686386.098
AT ITER 983 NEW BEST:: SOT 4428000 SOS 806592 HAS SOPS 806592 HAS SOUS 685073 HAS SOUPS 685073 WITH SCORE 685879.592
AT ITER 988 NEW BEST:: SOT 4427973 SOS 806565 HAS SOPS 806565 HAS SOUS 685046 HAS SOUPS 685046 WITH SCORE 685852.565
AT ITER 1018 NEW BEST:: SOT 4427973 SOS 806534 HAS SOPS 806534 HAS SOUS 685046 HAS SOUPS 685046 WITH SCORE 685852.534
AT ITER 1022 NEW BEST:: SOT 4427924 SOS 806536 HAS SOPS 806536 HAS SOUS 684997 HAS SOUPS 684997 WITH SCORE 685803.536
AT ITER 1025 NEW BEST:: SOT 4427840 SOS 806410 HAS SOPS 806410 HAS SOUS 684913 HAS SOUPS 684913 WITH SCORE 685719.41
AT ITER 1051 NEW BEST:: SOT 4427830 SOS 806390 HAS SOPS 806390 HAS SOUS 684898 HAS SOUPS 684898 WITH SCORE 685704.39
AT ITER 1054 NEW BEST:: SOT 4427580 SOS 806144 HAS SOPS 806144 HAS SOUS 684652 HAS SOUPS 684652 WITH SCORE 685458.144
AT ITER 1058 NEW BEST:: SOT 4427580 SOS 806144 HAS SOPS 806144 HAS SOUS 684429 HAS SOUPS 684429 WITH SCORE 685235.144
AT ITER 1069 NEW BEST:: SOT 4427490 SOS 805964 HAS SOPS 805964 HAS SOUS 684338 HAS SOUPS 684338 WITH SCORE 685143.964
AT ITER 1074 NEW BEST:: SOT 4427539 SOS 805752 HAS SOPS 805752 HAS SOUS 684161 HAS SOUPS 684161 WITH SCORE 684966.752
AT ITER 1085 NEW BEST:: SOT 4427463 SOS 805838 HAS SOPS 805838 HAS SOUS 684019 HAS SOUPS 684019 WITH SCORE 684824.838
AT ITER 1102 NEW BEST:: SOT 4427463 SOS 805785 HAS SOPS 805785 HAS SOUS 684019 HAS SOUPS 684019 WITH SCORE 684824.785
AT ITER 1122 NEW BEST:: SOT 4427413 SOS 805735 HAS SOPS 805735 HAS SOUS 683965 HAS SOUPS 683965 WITH SCORE 684770.735
AT ITER 1125 NEW BEST:: SOT 4427171 SOS 805623 HAS SOPS 805623 HAS SOUS 683723 HAS SOUPS 683723 WITH SCORE 684528.623
AT ITER 1127 NEW BEST:: SOT 4427171 SOS 805537 HAS SOPS 805537 HAS SOUS 683723 HAS SOUPS 683723 WITH SCORE 684528.537
AT ITER 1133 NEW BEST:: SOT 4426869 SOS 805310 HAS SOPS 805310 HAS SOUS 683421 HAS SOUPS 683421 WITH SCORE 684226.31
AT ITER 1137 NEW BEST:: SOT 4426869 SOS 805191 HAS SOPS 805191 HAS SOUS 683421 HAS SOUPS 683421 WITH SCORE 684226.191
AT ITER 1148 NEW BEST:: SOT 4426869 SOS 804825 HAS SOPS 804825 HAS SOUS 683238 HAS SOUPS 683238 WITH SCORE 684042.825
AT ITER 1158 NEW BEST:: SOT 4426869 SOS 804800 HAS SOPS 804800 HAS SOUS 683238 HAS SOUPS 683238 WITH SCORE 684042.8
AT ITER 1167 NEW BEST:: SOT 4426866 SOS 804800 HAS SOPS 804800 HAS SOUS 683235 HAS SOUPS 683235 WITH SCORE 684039.8
AT ITER 1176 NEW BEST:: SOT 4426878 SOS 804776 HAS SOPS 804776 HAS SOUS 683212 HAS SOUPS 683212 WITH SCORE 684016.776
AT ITER 1182 NEW BEST:: SOT 4426836 SOS 804692 HAS SOPS 804692 HAS SOUS 683149 HAS SOUPS 683149 WITH SCORE 683953.692
AT ITER 1192 NEW BEST:: SOT 4426597 SOS 804214 HAS SOPS 804214 HAS SOUS 682671 HAS SOUPS 682671 WITH SCORE 683475.214
AT ITER 1194 NEW BEST:: SOT 4426597 SOS 804083 HAS SOPS 804083 HAS SOUS 682540 HAS SOUPS 682540 WITH SCORE 683344.083
AT ITER 1198 NEW BEST:: SOT 4426453 SOS 803915 HAS SOPS 803915 HAS SOUS 682372 HAS SOUPS 682372 WITH SCORE 683175.915
AT ITER 1199 NEW BEST:: SOT 4426453 SOS 803549 HAS SOPS 803549 HAS SOUS 682189 HAS SOUPS 682189 WITH SCORE 682992.549
AT ITER 1209 NEW BEST:: SOT 4426516 SOS 803076 HAS SOPS 803076 HAS SOUS 681713 HAS SOUPS 681713 WITH SCORE 682516.076
AT ITER 1287 NEW BEST:: SOT 4426644 SOS 803332 HAS SOPS 803332 HAS SOUS 681683 HAS SOUPS 681683 WITH SCORE 682486.332
AT ITER 1292 NEW BEST:: SOT 4426689 SOS 803422 HAS SOPS 803422 HAS SOUS 681558 HAS SOUPS 681558 WITH SCORE 682361.422
AT ITER 1319 NEW BEST:: SOT 4426625 SOS 803294 HAS SOPS 803294 HAS SOUS 681494 HAS SOUPS 681494 WITH SCORE 682297.294
AT ITER 1320 NEW BEST:: SOT 4426785 SOS 803614 HAS SOPS 803614 HAS SOUS 681452 HAS SOUPS 681452 WITH SCORE 682255.614
AT ITER 1333 NEW BEST:: SOT 4427089 SOS 803833 HAS SOPS 803833 HAS SOUS 681403 HAS SOUPS 681403 WITH SCORE 682206.833
AT ITER 1341 NEW BEST:: SOT 4427043 SOS 801901 HAS SOPS 801901 HAS SOUS 681311 HAS SOUPS 681311 WITH SCORE 682112.901
AT ITER 1348 NEW BEST:: SOT 4427042 SOS 801899 HAS SOPS 801899 HAS SOUS 681309 HAS SOUPS 681309 WITH SCORE 682110.899
AT ITER 1376 NEW BEST:: SOT 4427053 SOS 801733 HAS SOPS 801733 HAS SOUS 681143 HAS SOUPS 681143 WITH SCORE 681944.733
AT ITER 1377 NEW BEST:: SOT 4426095 SOS 800455 HAS SOPS 800455 HAS SOUS 679935 HAS SOUPS 679935 WITH SCORE 680735.455
AT ITER 1394 NEW BEST:: SOT 4426088 SOS 800441 HAS SOPS 800441 HAS SOUS 679921 HAS SOUPS 679921 WITH SCORE 680721.441
AT ITER 1413 NEW BEST:: SOT 4425701 SOS 799450 HAS SOPS 799450 HAS SOUS 679147 HAS SOUPS 679147 WITH SCORE 679946.45
AT ITER 1414 NEW BEST:: SOT 4425519 SOS 799086 HAS SOPS 799086 HAS SOUS 678910 HAS SOUPS 678910 WITH SCORE 679709.086
AT ITER 1424 NEW BEST:: SOT 4425699 SOS 799138 HAS SOPS 799138 HAS SOUS 678897 HAS SOUPS 678897 WITH SCORE 679696.138
AT ITER 1446 NEW BEST:: SOT 4425699 SOS 799119 HAS SOPS 799119 HAS SOUS 678878 HAS SOUPS 678878 WITH SCORE 679677.119
AT ITER 1461 NEW BEST:: SOT 4425698 SOS 799066 HAS SOPS 799066 HAS SOUS 678877 HAS SOUPS 678877 WITH SCORE 679676.066
AT ITER 1481 NEW BEST:: SOT 4425471 SOS 798966 HAS SOPS 798966 HAS SOUS 678713 HAS SOUPS 678713 WITH SCORE 679511.966
AT ITER 1491 NEW BEST:: SOT 4425471 SOS 798866 HAS SOPS 798866 HAS SOUS 678713 HAS SOUPS 678713 WITH SCORE 679511.866
AT ITER 1496 NEW BEST:: SOT 4425253 SOS 798866 HAS SOPS 798866 HAS SOUS 678712 HAS SOUPS 678712 WITH SCORE 679510.866
AT ITER 1501 NEW BEST:: SOT 4425253 SOS 798625 HAS SOPS 798625 HAS SOUS 678471 HAS SOUPS 678471 WITH SCORE 679269.625
AT ITER 1508 NEW BEST:: SOT 4425253 SOS 798542 HAS SOPS 798542 HAS SOUS 678470 HAS SOUPS 678470 WITH SCORE 679268.542
AT ITER 1510 NEW BEST:: SOT 4425252 SOS 798540 HAS SOPS 798540 HAS SOUS 678468 HAS SOUPS 678468 WITH SCORE 679266.54
AT ITER 1526 NEW BEST:: SOT 4425203 SOS 798442 HAS SOPS 798442 HAS SOUS 678370 HAS SOUPS 678370 WITH SCORE 679168.442
AT ITER 1537 NEW BEST:: SOT 4425195 SOS 798426 HAS SOPS 798426 HAS SOUS 678362 HAS SOUPS 678362 WITH SCORE 679160.426
AT ITER 1541 NEW BEST:: SOT 4425149 SOS 798380 HAS SOPS 798380 HAS SOUS 678316 HAS SOUPS 678316 WITH SCORE 679114.38
AT ITER 1544 NEW BEST:: SOT 4425025 SOS 798256 HAS SOPS 798256 HAS SOUS 678130 HAS SOUPS 678130 WITH SCORE 678928.256
AT ITER 1609 NEW BEST:: SOT 4425025 SOS 797961 HAS SOPS 797961 HAS SOUS 678130 HAS SOUPS 678130 WITH SCORE 678927.961
AT ITER 1612 NEW BEST:: SOT 4424836 SOS 797583 HAS SOPS 797583 HAS SOUS 677143 HAS SOUPS 677143 WITH SCORE 677940.583
AT ITER 1641 NEW BEST:: SOT 4424770 SOS 797451 HAS SOPS 797451 HAS SOUS 677077 HAS SOUPS 677077 WITH SCORE 677874.451
AT ITER 1642 NEW BEST:: SOT 4424223 SOS 750677 HAS SOPS 750677 HAS SOUS 676530 HAS SOUPS 676530 WITH SCORE 677280.677
AT ITER 1645 NEW BEST:: SOT 4424082 SOS 750395 HAS SOPS 750395 HAS SOUS 676248 HAS SOUPS 676248 WITH SCORE 676998.395
AT ITER 1649 NEW BEST:: SOT 4424177 SOS 750585 HAS SOPS 750585 HAS SOUS 676121 HAS SOUPS 676121 WITH SCORE 676871.585
AT ITER 1676 NEW BEST:: SOT 4423960 SOS 750373 HAS SOPS 750373 HAS SOUS 675909 HAS SOUPS 675909 WITH SCORE 676659.373
AT ITER 1686 NEW BEST:: SOT 4423960 SOS 750373 HAS SOPS 750373 HAS SOUS 675858 HAS SOUPS 675858 WITH SCORE 676608.373
AT ITER 1687 NEW BEST:: SOT 4423960 SOS 750373 HAS SOPS 750373 HAS SOUS 675767 HAS SOUPS 675767 WITH SCORE 676517.373
AT ITER 1710 NEW BEST:: SOT 4423706 SOS 749865 HAS SOPS 749865 HAS SOUS 675259 HAS SOUPS 675259 WITH SCORE 676008.865
AT ITER 1749 NEW BEST:: SOT 4420127 SOS 775187 HAS SOPS 775187 HAS SOUS 672372 HAS SOUPS 672372 WITH SCORE 673147.187
AT ITER 1758 NEW BEST:: SOT 4419830 SOS 774791 HAS SOPS 774791 HAS SOUS 671976 HAS SOUPS 671976 WITH SCORE 672750.791
AT ITER 1773 NEW BEST:: SOT 4419799 SOS 774776 HAS SOPS 774776 HAS SOUS 671945 HAS SOUPS 671945 WITH SCORE 672719.776
AT ITER 1829 NEW BEST:: SOT 4419422 SOS 774654 HAS SOPS 774654 HAS SOUS 671823 HAS SOUPS 671823 WITH SCORE 672597.654
AT ITER 1838 NEW BEST:: SOT 4419422 SOS 774654 HAS SOPS 774654 HAS SOUS 671822 HAS SOUPS 671822 WITH SCORE 672596.654
AT ITER 1840 NEW BEST:: SOT 4419317 SOS 774444 HAS SOPS 774444 HAS SOUS 671717 HAS SOUPS 671717 WITH SCORE 672491.444
AT ITER 1854 NEW BEST:: SOT 4418723 SOS 774782 HAS SOPS 774782 HAS SOUS 671559 HAS SOUPS 671559 WITH SCORE 672333.782
AT ITER 1865 NEW BEST:: SOT 4418535 SOS 774406 HAS SOPS 774406 HAS SOUS 671183 HAS SOUPS 671183 WITH SCORE 671957.406
AT ITER 1869 NEW BEST:: SOT 4417948 SOS 774708 HAS SOPS 774708 HAS SOUS 670834 HAS SOUPS 670834 WITH SCORE 671608.708
AT ITER 1892 NEW BEST:: SOT 4417780 SOS 774204 HAS SOPS 774204 HAS SOUS 670498 HAS SOUPS 670498 WITH SCORE 671272.204
AT ITER 1905 NEW BEST:: SOT 4417671 SOS 773986 HAS SOPS 773986 HAS SOUS 670389 HAS SOUPS 670389 WITH SCORE 671162.986
AT ITER 1917 NEW BEST:: SOT 4417671 SOS 773838 HAS SOPS 773838 HAS SOUS 670389 HAS SOUPS 670389 WITH SCORE 671162.838
AT ITER 1922 NEW BEST:: SOT 4417671 SOS 773678 HAS SOPS 773678 HAS SOUS 670389 HAS SOUPS 670389 WITH SCORE 671162.678
AT ITER 1924 NEW BEST:: SOT 4417579 SOS 773494 HAS SOPS 773494 HAS SOUS 670297 HAS SOUPS 670297 WITH SCORE 671070.494
AT ITER 1970 NEW BEST:: SOT 4413991 SOS 770008 HAS SOPS 770008 HAS SOUS 666839 HAS SOUPS 666839 WITH SCORE 667609.008
AT ITER 1975 NEW BEST:: SOT 4413633 SOS 769944 HAS SOPS 769944 HAS SOUS 666644 HAS SOUPS 666644 WITH SCORE 667413.944
AT ITER 1997 NEW BEST:: SOT 4413600 SOS 769911 HAS SOPS 769911 HAS SOUS 666611 HAS SOUPS 666611 WITH SCORE 667380.911
AT ITER 2022 NEW BEST:: SOT 4413600 SOS 769911 HAS SOPS 769911 HAS SOUS 666472 HAS SOUPS 666472 WITH SCORE 667241.911
AT ITER 2026 NEW BEST:: SOT 4413516 SOS 769743 HAS SOPS 769743 HAS SOUS 666304 HAS SOUPS 666304 WITH SCORE 667073.743
AT ITER 2056 NEW BEST:: SOT 4413516 SOS 769167 HAS SOPS 769167 HAS SOUS 666304 HAS SOUPS 666304 WITH SCORE 667073.167
AT ITER 2083 NEW BEST:: SOT 4413443 SOS 769071 HAS SOPS 769071 HAS SOUS 666240 HAS SOUPS 666240 WITH SCORE 667009.071
AT ITER 2090 NEW BEST:: SOT 4413380 SOS 768945 HAS SOPS 768945 HAS SOUS 666114 HAS SOUPS 666114 WITH SCORE 666882.945
AT ITER 2133 NEW BEST:: SOT 4411846 SOS 768839 HAS SOPS 768839 HAS SOUS 665219 HAS SOUPS 665219 WITH SCORE 665987.839
AT ITER 2156 NEW BEST:: SOT 4411549 SOS 768552 HAS SOPS 768552 HAS SOUS 664922 HAS SOUPS 664922 WITH SCORE 665690.552
AT ITER 2192 NEW BEST:: SOT 4411396 SOS 768246 HAS SOPS 768246 HAS SOUS 664616 HAS SOUPS 664616 WITH SCORE 665384.246
AT ITER 2193 NEW BEST:: SOT 4411300 SOS 768054 HAS SOPS 768054 HAS SOUS 664353 HAS SOUPS 664353 WITH SCORE 665121.054
AT ITER 2212 NEW BEST:: SOT 4411144 SOS 767742 HAS SOPS 767742 HAS SOUS 664353 HAS SOUPS 664353 WITH SCORE 665120.742
AT ITER 2222 NEW BEST:: SOT 4411036 SOS 767580 HAS SOPS 767580 HAS SOUS 664191 HAS SOUPS 664191 WITH SCORE 664958.58
AT ITER 2226 NEW BEST:: SOT 4411035 SOS 767578 HAS SOPS 767578 HAS SOUS 664189 HAS SOUPS 664189 WITH SCORE 664956.578
AT ITER 2235 NEW BEST:: SOT 4410878 SOS 767107 HAS SOPS 767107 HAS SOUS 663875 HAS SOUPS 663875 WITH SCORE 664642.107
AT ITER 2259 NEW BEST:: SOT 4410567 SOS 766801 HAS SOPS 766801 HAS SOUS 663569 HAS SOUPS 663569 WITH SCORE 664335.801
AT ITER 2282 NEW BEST:: SOT 4409972 SOS 766087 HAS SOPS 766087 HAS SOUS 662855 HAS SOUPS 662855 WITH SCORE 663621.087
AT ITER 2285 NEW BEST:: SOT 4409936 SOS 766015 HAS SOPS 766015 HAS SOUS 662841 HAS SOUPS 662841 WITH SCORE 663607.015
AT ITER 2302 NEW BEST:: SOT 4409677 SOS 765497 HAS SOPS 765497 HAS SOUS 662593 HAS SOUPS 662593 WITH SCORE 663358.497
AT ITER 2322 NEW BEST:: SOT 4409553 SOS 765373 HAS SOPS 765373 HAS SOUS 662469 HAS SOUPS 662469 WITH SCORE 663234.373
AT ITER 2338 NEW BEST:: SOT 4409630 SOS 765142 HAS SOPS 765142 HAS SOUS 661902 HAS SOUPS 661902 WITH SCORE 662667.142
AT ITER 2359 NEW BEST:: SOT 4409484 SOS 764850 HAS SOPS 764850 HAS SOUS 661610 HAS SOUPS 661610 WITH SCORE 662374.85
AT ITER 2370 NEW BEST:: SOT 4409168 SOS 764536 HAS SOPS 764536 HAS SOUS 661296 HAS SOUPS 661296 WITH SCORE 662060.536
AT ITER 2379 NEW BEST:: SOT 4409168 SOS 764480 HAS SOPS 764480 HAS SOUS 661295 HAS SOUPS 661295 WITH SCORE 662059.48
AT ITER 2391 NEW BEST:: SOT 4409168 SOS 764480 HAS SOPS 764480 HAS SOUS 661217 HAS SOUPS 661217 WITH SCORE 661981.48
AT ITER 2398 NEW BEST:: SOT 4408923 SOS 764347 HAS SOPS 764347 HAS SOUS 661084 HAS SOUPS 661084 WITH SCORE 661848.347
AT ITER 2412 NEW BEST:: SOT 4408837 SOS 764175 HAS SOPS 764175 HAS SOUS 660912 HAS SOUPS 660912 WITH SCORE 661676.175
AT ITER 2420 NEW BEST:: SOT 4408313 SOS 763470 HAS SOPS 763470 HAS SOUS 660184 HAS SOUPS 660184 WITH SCORE 660947.47
AT ITER 2424 NEW BEST:: SOT 4408006 SOS 763333 HAS SOPS 763333 HAS SOUS 660036 HAS SOUPS 660036 WITH SCORE 660799.333
AT ITER 2433 NEW BEST:: SOT 4408006 SOS 763249 HAS SOPS 763249 HAS SOUS 660036 HAS SOUPS 660036 WITH SCORE 660799.249
AT ITER 2464 NEW BEST:: SOT 4407688 SOS 763543 HAS SOPS 763543 HAS SOUS 660009 HAS SOUPS 660009 WITH SCORE 660772.543
AT ITER 2481 NEW BEST:: SOT 4407524 SOS 762882 HAS SOPS 762882 HAS SOUS 659512 HAS SOUPS 659512 WITH SCORE 660274.882
AT ITER 2483 NEW BEST:: SOT 4407524 SOS 762823 HAS SOPS 762823 HAS SOUS 659512 HAS SOUPS 659512 WITH SCORE 660274.823
AT ITER 2511 NEW BEST:: SOT 4407462 SOS 762550 HAS SOPS 762550 HAS SOUS 659314 HAS SOUPS 659314 WITH SCORE 660076.55
AT ITER 2523 NEW BEST:: SOT 4407385 SOS 762396 HAS SOPS 762396 HAS SOUS 659160 HAS SOUPS 659160 WITH SCORE 659922.396
AT ITER 2531 NEW BEST:: SOT 4407287 SOS 762102 HAS SOPS 762102 HAS SOUS 658964 HAS SOUPS 658964 WITH SCORE 659726.102
AT ITER 2561 NEW BEST:: SOT 4407287 SOS 761812 HAS SOPS 761812 HAS SOUS 658964 HAS SOUPS 658964 WITH SCORE 659725.812
AT ITER 2564 NEW BEST:: SOT 4407095 SOS 761428 HAS SOPS 761428 HAS SOUS 658960 HAS SOUPS 658960 WITH SCORE 659721.428
AT ITER 2570 NEW BEST:: SOT 4407095 SOS 761428 HAS SOPS 761428 HAS SOUS 658949 HAS SOUPS 658949 WITH SCORE 659710.428
AT ITER 2575 NEW BEST:: SOT 4407071 SOS 761380 HAS SOPS 761380 HAS SOUS 658872 HAS SOUPS 658872 WITH SCORE 659633.38
AT ITER 2584 NEW BEST:: SOT 4401541 SOS 762027 HAS SOPS 762027 HAS SOUS 653953 HAS SOUPS 653953 WITH SCORE 654715.027
AT ITER 2587 NEW BEST:: SOT 4401379 SOS 761394 HAS SOPS 761394 HAS SOUS 653507 HAS SOUPS 653507 WITH SCORE 654268.394
AT ITER 2611 NEW BEST:: SOT 4401379 SOS 761363 HAS SOPS 761363 HAS SOUS 653507 HAS SOUPS 653507 WITH SCORE 654268.363
AT ITER 2618 NEW BEST:: SOT 4401379 SOS 761168 HAS SOPS 761168 HAS SOUS 653507 HAS SOUPS 653507 WITH SCORE 654268.168
AT ITER 2629 NEW BEST:: SOT 4401032 SOS 760850 HAS SOPS 760850 HAS SOUS 653187 HAS SOUPS 653187 WITH SCORE 653947.85
AT ITER 2651 NEW BEST:: SOT 4399536 SOS 760226 HAS SOPS 760226 HAS SOUS 652979 HAS SOUPS 652979 WITH SCORE 653739.226
AT ITER 2666 NEW BEST:: SOT 4399463 SOS 760080 HAS SOPS 760080 HAS SOUS 652833 HAS SOUPS 652833 WITH SCORE 653593.08
AT ITER 2688 NEW BEST:: SOT 4399221 SOS 759717 HAS SOPS 759717 HAS SOUS 652590 HAS SOUPS 652590 WITH SCORE 653349.717
AT ITER 2705 NEW BEST:: SOT 4398972 SOS 759219 HAS SOPS 759219 HAS SOUS 652092 HAS SOUPS 652092 WITH SCORE 652851.219
AT ITER 2713 NEW BEST:: SOT 4398945 SOS 759165 HAS SOPS 759165 HAS SOUS 652038 HAS SOUPS 652038 WITH SCORE 652797.165
AT ITER 2716 NEW BEST:: SOT 4398726 SOS 758727 HAS SOPS 758727 HAS SOUS 651842 HAS SOUPS 651842 WITH SCORE 652600.727
AT ITER 2717 NEW BEST:: SOT 4398689 SOS 758690 HAS SOPS 758690 HAS SOUS 651704 HAS SOUPS 651704 WITH SCORE 652462.69
AT ITER 2723 NEW BEST:: SOT 4398675 SOS 758719 HAS SOPS 758719 HAS SOUS 651676 HAS SOUPS 651676 WITH SCORE 652434.719
AT ITER 2724 NEW BEST:: SOT 4398673 SOS 758715 HAS SOPS 758715 HAS SOUS 651674 HAS SOUPS 651674 WITH SCORE 652432.715
AT ITER 2739 NEW BEST:: SOT 4398574 SOS 758411 HAS SOPS 758411 HAS SOUS 651476 HAS SOUPS 651476 WITH SCORE 652234.411
AT ITER 2743 NEW BEST:: SOT 4398574 SOS 758411 HAS SOPS 758411 HAS SOUS 651451 HAS SOUPS 651451 WITH SCORE 652209.411
AT ITER 2745 NEW BEST:: SOT 4398240 SOS 758573 HAS SOPS 758573 HAS SOUS 651211 HAS SOUPS 651211 WITH SCORE 651969.573
AT ITER 2751 NEW BEST:: SOT 4397796 SOS 758145 HAS SOPS 758145 HAS SOUS 650783 HAS SOUPS 650783 WITH SCORE 651541.145
AT ITER 2761 NEW BEST:: SOT 4397593 SOS 757739 HAS SOPS 757739 HAS SOUS 650484 HAS SOUPS 650484 WITH SCORE 651241.739
AT ITER 2785 NEW BEST:: SOT 4397593 SOS 757739 HAS SOPS 757739 HAS SOUS 650483 HAS SOUPS 650483 WITH SCORE 651240.739
AT ITER 2806 NEW BEST:: SOT 4397441 SOS 757906 HAS SOPS 757906 HAS SOUS 650343 HAS SOUPS 650343 WITH SCORE 651100.906
AT ITER 2811 NEW BEST:: SOT 4397000 SOS 757472 HAS SOPS 757472 HAS SOUS 649902 HAS SOUPS 649902 WITH SCORE 650659.472
AT ITER 2843 NEW BEST:: SOT 4396944 SOS 757360 HAS SOPS 757360 HAS SOUS 649790 HAS SOUPS 649790 WITH SCORE 650547.36
AT ITER 2850 NEW BEST:: SOT 4397112 SOS 757696 HAS SOPS 757696 HAS SOUS 649535 HAS SOUPS 649535 WITH SCORE 650292.696
AT ITER 2887 NEW BEST:: SOT 4396937 SOS 757346 HAS SOPS 757346 HAS SOUS 649185 HAS SOUPS 649185 WITH SCORE 649942.346
AT ITER 2888 NEW BEST:: SOT 4396869 SOS 757210 HAS SOPS 757210 HAS SOUS 649023 HAS SOUPS 649023 WITH SCORE 649780.21
AT ITER 2940 NEW BEST:: SOT 4396761 SOS 756994 HAS SOPS 756994 HAS SOUS 648871 HAS SOUPS 648871 WITH SCORE 649627.994
AT ITER 2946 NEW BEST:: SOT 4396760 SOS 756791 HAS SOPS 756791 HAS SOUS 648869 HAS SOUPS 648869 WITH SCORE 649625.791
AT ITER 2947 NEW BEST:: SOT 4396552 SOS 756583 HAS SOPS 756583 HAS SOUS 648661 HAS SOUPS 648661 WITH SCORE 649417.583
AT ITER 2966 NEW BEST:: SOT 4396379 SOS 756237 HAS SOPS 756237 HAS SOUS 648386 HAS SOUPS 648386 WITH SCORE 649142.237
AT ITER 2991 NEW BEST:: SOT 4396379 SOS 755865 HAS SOPS 755865 HAS SOUS 648200 HAS SOUPS 648200 WITH SCORE 648955.865
AT ITER 2993 NEW BEST:: SOT 4396243 SOS 755454 HAS SOPS 755454 HAS SOUS 647789 HAS SOUPS 647789 WITH SCORE 648544.454
AT ITER 2998 NEW BEST:: SOT 4396169 SOS 755172 HAS SOPS 755172 HAS SOUS 647641 HAS SOUPS 647641 WITH SCORE 648396.172
AT ITER 3057 NEW BEST:: SOT 4395864 SOS 755230 HAS SOPS 755230 HAS SOUS 647503 HAS SOUPS 647503 WITH SCORE 648258.23
AT ITER 3111 NEW BEST:: SOT 4395841 SOS 755184 HAS SOPS 755184 HAS SOUS 647140 HAS SOUPS 647140 WITH SCORE 647895.184
AT ITER 3136 NEW BEST:: SOT 4395840 SOS 755182 HAS SOPS 755182 HAS SOUS 647138 HAS SOUPS 647138 WITH SCORE 647893.182
AT ITER 3160 NEW BEST:: SOT 4386289 SOS 778542 HAS SOPS 778542 HAS SOUS 638838 HAS SOUPS 638838 WITH SCORE 639616.542
AT ITER 3175 NEW BEST:: SOT 4386277 SOS 778518 HAS SOPS 778518 HAS SOUS 638814 HAS SOUPS 638814 WITH SCORE 639592.518
AT ITER 3176 NEW BEST:: SOT 4386277 SOS 778518 HAS SOPS 778518 HAS SOUS 638773 HAS SOUPS 638773 WITH SCORE 639551.518
AT ITER 3177 NEW BEST:: SOT 4386151 SOS 778266 HAS SOPS 778266 HAS SOUS 638647 HAS SOUPS 638647 WITH SCORE 639425.266
AT ITER 3198 NEW BEST:: SOT 4386138 SOS 778219 HAS SOPS 778219 HAS SOUS 638621 HAS SOUPS 638621 WITH SCORE 639399.219
AT ITER 3228 NEW BEST:: SOT 4386077 SOS 778097 HAS SOPS 778097 HAS SOUS 638499 HAS SOUPS 638499 WITH SCORE 639277.097
AT ITER 3279 NEW BEST:: SOT 4386187 SOS 778317 HAS SOPS 778317 HAS SOUS 638412 HAS SOUPS 638412 WITH SCORE 639190.317
AT ITER 3283 NEW BEST:: SOT 4386172 SOS 779009 HAS SOPS 779009 HAS SOUS 638391 HAS SOUPS 638391 WITH SCORE 639170.009
AT ITER 3337 NEW BEST:: SOT 4386161 SOS 778987 HAS SOPS 778987 HAS SOUS 638369 HAS SOUPS 638369 WITH SCORE 639147.987
AT ITER 3364 NEW BEST:: SOT 4386161 SOS 778968 HAS SOPS 778968 HAS SOUS 638369 HAS SOUPS 638369 WITH SCORE 639147.968
AT ITER 3402 NEW BEST:: SOT 4386264 SOS 778851 HAS SOPS 778851 HAS SOUS 638204 HAS SOUPS 638204 WITH SCORE 638982.851
AT ITER 3416 NEW BEST:: SOT 4386103 SOS 778529 HAS SOPS 778529 HAS SOUS 638043 HAS SOUPS 638043 WITH SCORE 638821.529
AT ITER 3421 NEW BEST:: SOT 4385913 SOS 778149 HAS SOPS 778149 HAS SOUS 637521 HAS SOUPS 637521 WITH SCORE 638299.149
AT ITER 3450 NEW BEST:: SOT 4385844 SOS 778011 HAS SOPS 778011 HAS SOUS 637452 HAS SOUPS 637452 WITH SCORE 638230.011
AT ITER 3460 NEW BEST:: SOT 4385844 SOS 777940 HAS SOPS 777940 HAS SOUS 637452 HAS SOUPS 637452 WITH SCORE 638229.94
AT ITER 3465 NEW BEST:: SOT 4385837 SOS 777926 HAS SOPS 777926 HAS SOUS 637438 HAS SOUPS 637438 WITH SCORE 638215.926
AT ITER 3474 NEW BEST:: SOT 4385793 SOS 777900 HAS SOPS 777900 HAS SOUS 637394 HAS SOUPS 637394 WITH SCORE 638171.9
AT ITER 3503 NEW BEST:: SOT 4385738 SOS 777790 HAS SOPS 777790 HAS SOUS 637284 HAS SOUPS 637284 WITH SCORE 638061.79
AT ITER 3509 NEW BEST:: SOT 4385525 SOS 777364 HAS SOPS 777364 HAS SOUS 636858 HAS SOUPS 636858 WITH SCORE 637635.364
AT ITER 3519 NEW BEST:: SOT 4385373 SOS 777212 HAS SOPS 777212 HAS SOUS 636706 HAS SOUPS 636706 WITH SCORE 637483.212
AT ITER 3538 NEW BEST:: SOT 4385347 SOS 777183 HAS SOPS 777183 HAS SOUS 636677 HAS SOUPS 636677 WITH SCORE 637454.183
AT ITER 3549 NEW BEST:: SOT 4385246 SOS 776981 HAS SOPS 776981 HAS SOUS 636475 HAS SOUPS 636475 WITH SCORE 637251.981
AT ITER 3550 NEW BEST:: SOT 4385233 SOS 776955 HAS SOPS 776955 HAS SOUS 636449 HAS SOUPS 636449 WITH SCORE 637225.955
AT ITER 3580 NEW BEST:: SOT 4385233 SOS 776910 HAS SOPS 776910 HAS SOUS 636449 HAS SOUPS 636449 WITH SCORE 637225.91
AT ITER 3583 NEW BEST:: SOT 4385240 SOS 776924 HAS SOPS 776924 HAS SOUS 636307 HAS SOUPS 636307 WITH SCORE 637083.924
AT ITER 3595 NEW BEST:: SOT 4385113 SOS 777190 HAS SOPS 777190 HAS SOUS 636250 HAS SOUPS 636250 WITH SCORE 637027.19
AT ITER 3596 NEW BEST:: SOT 4385121 SOS 777206 HAS SOPS 777206 HAS SOUS 636195 HAS SOUPS 636195 WITH SCORE 636972.206
AT ITER 3622 NEW BEST:: SOT 4385069 SOS 777102 HAS SOPS 777102 HAS SOUS 636091 HAS SOUPS 636091 WITH SCORE 636868.102
AT ITER 3650 NEW BEST:: SOT 4383545 SOS 780060 HAS SOPS 780060 HAS SOUS 635563 HAS SOUPS 635563 WITH SCORE 636343.06
AT ITER 3658 NEW BEST:: SOT 4383381 SOS 779732 HAS SOPS 779732 HAS SOUS 635459 HAS SOUPS 635459 WITH SCORE 636238.732
AT ITER 3683 NEW BEST:: SOT 4383381 SOS 779732 HAS SOPS 779732 HAS SOUS 635458 HAS SOUPS 635458 WITH SCORE 636237.732
AT ITER 3695 NEW BEST:: SOT 4383381 SOS 779615 HAS SOPS 779615 HAS SOUS 635458 HAS SOUPS 635458 WITH SCORE 636237.615
AT ITER 3704 NEW BEST:: SOT 4383381 SOS 779447 HAS SOPS 779447 HAS SOUS 635290 HAS SOUPS 635290 WITH SCORE 636069.447
AT ITER 3706 NEW BEST:: SOT 4383381 SOS 779292 HAS SOPS 779292 HAS SOUS 635290 HAS SOUPS 635290 WITH SCORE 636069.292
AT ITER 3721 NEW BEST:: SOT 4383359 SOS 779248 HAS SOPS 779248 HAS SOUS 635278 HAS SOUPS 635278 WITH SCORE 636057.248
AT ITER 3736 NEW BEST:: SOT 4383279 SOS 779168 HAS SOPS 779168 HAS SOUS 635081 HAS SOUPS 635081 WITH SCORE 635860.168
AT ITER 3744 NEW BEST:: SOT 4383325 SOS 779062 HAS SOPS 779062 HAS SOUS 635065 HAS SOUPS 635065 WITH SCORE 635844.062
AT ITER 3766 NEW BEST:: SOT 4383325 SOS 778806 HAS SOPS 778806 HAS SOUS 634937 HAS SOUPS 634937 WITH SCORE 635715.806
AT ITER 3774 NEW BEST:: SOT 4383061 SOS 778278 HAS SOPS 778278 HAS SOUS 634673 HAS SOUPS 634673 WITH SCORE 635451.278
AT ITER 3779 NEW BEST:: SOT 4382895 SOS 778381 HAS SOPS 778381 HAS SOUS 634641 HAS SOUPS 634641 WITH SCORE 635419.381
AT ITER 3826 NEW BEST:: SOT 4383032 SOS 750389 HAS SOPS 750389 HAS SOUS 634183 HAS SOUPS 634183 WITH SCORE 634933.389
AT ITER 3843 NEW BEST:: SOT 4383022 SOS 750374 HAS SOPS 750374 HAS SOUS 634173 HAS SOUPS 634173 WITH SCORE 634923.374
AT ITER 3850 NEW BEST:: SOT 4382869 SOS 750068 HAS SOPS 750068 HAS SOUS 634020 HAS SOUPS 634020 WITH SCORE 634770.068
AT ITER 3858 NEW BEST:: SOT 4382555 SOS 749647 HAS SOPS 749647 HAS SOUS 633499 HAS SOUPS 633499 WITH SCORE 634248.647
AT ITER 3862 NEW BEST:: SOT 4382533 SOS 749603 HAS SOPS 749603 HAS SOUS 633455 HAS SOUPS 633455 WITH SCORE 634204.603
AT ITER 3886 NEW BEST:: SOT 4382533 SOS 749603 HAS SOPS 749603 HAS SOUS 633432 HAS SOUPS 633432 WITH SCORE 634181.603
AT ITER 3898 NEW BEST:: SOT 4382534 SOS 749125 HAS SOPS 749125 HAS SOUS 632955 HAS SOUPS 632955 WITH SCORE 633704.125
AT ITER 3901 NEW BEST:: SOT 4382392 SOS 749305 HAS SOPS 749305 HAS SOUS 632903 HAS SOUPS 632903 WITH SCORE 633652.305
AT ITER 3914 NEW BEST:: SOT 4380583 SOS 757825 HAS SOPS 757825 HAS SOUS 631383 HAS SOUPS 631383 WITH SCORE 632140.825
AT ITER 3946 NEW BEST:: SOT 4380462 SOS 757704 HAS SOPS 757704 HAS SOUS 631262 HAS SOUPS 631262 WITH SCORE 632019.704
AT ITER 3956 NEW BEST:: SOT 4380128 SOS 757036 HAS SOPS 757036 HAS SOUS 630594 HAS SOUPS 630594 WITH SCORE 631351.036
AT ITER 3971 NEW BEST:: SOT 4379884 SOS 756548 HAS SOPS 756548 HAS SOUS 630106 HAS SOUPS 630106 WITH SCORE 630862.548
AT ITER 3976 NEW BEST:: SOT 4379884 SOS 756548 HAS SOPS 756548 HAS SOUS 630081 HAS SOUPS 630081 WITH SCORE 630837.548
AT ITER 3985 NEW BEST:: SOT 4379830 SOS 756440 HAS SOPS 756440 HAS SOUS 630027 HAS SOUPS 630027 WITH SCORE 630783.44
AT ITER 4034 NEW BEST:: SOT 4379769 SOS 756780 HAS SOPS 756780 HAS SOUS 629905 HAS SOUPS 629905 WITH SCORE 630661.78
AT ITER 4038 NEW BEST:: SOT 4379576 SOS 756591 HAS SOPS 756591 HAS SOUS 629616 HAS SOUPS 629616 WITH SCORE 630372.591
AT ITER 4056 NEW BEST:: SOT 4379576 SOS 756428 HAS SOPS 756428 HAS SOUS 629616 HAS SOUPS 629616 WITH SCORE 630372.428
AT ITER 4057 NEW BEST:: SOT 4379488 SOS 756252 HAS SOPS 756252 HAS SOUS 629528 HAS SOUPS 629528 WITH SCORE 630284.252
AT ITER 4066 NEW BEST:: SOT 4379283 SOS 756047 HAS SOPS 756047 HAS SOUS 629118 HAS SOUPS 629118 WITH SCORE 629874.047
AT ITER 4068 NEW BEST:: SOT 4379277 SOS 756035 HAS SOPS 756035 HAS SOUS 629106 HAS SOUPS 629106 WITH SCORE 629862.035
AT ITER 4071 NEW BEST:: SOT 4379199 SOS 755801 HAS SOPS 755801 HAS SOUS 628950 HAS SOUPS 628950 WITH SCORE 629705.801
AT ITER 4076 NEW BEST:: SOT 4379049 SOS 755501 HAS SOPS 755501 HAS SOUS 628512 HAS SOUPS 628512 WITH SCORE 629267.501
AT ITER 4078 NEW BEST:: SOT 4378967 SOS 755337 HAS SOPS 755337 HAS SOUS 628348 HAS SOUPS 628348 WITH SCORE 629103.337
AT ITER 4080 NEW BEST:: SOT 4378772 SOS 754947 HAS SOPS 754947 HAS SOUS 627958 HAS SOUPS 627958 WITH SCORE 628712.947
AT ITER 4086 NEW BEST:: SOT 4378876 SOS 754919 HAS SOPS 754919 HAS SOUS 627930 HAS SOUPS 627930 WITH SCORE 628684.919
AT ITER 4089 NEW BEST:: SOT 4378758 SOS 755021 HAS SOPS 755021 HAS SOUS 627869 HAS SOUPS 627869 WITH SCORE 628624.021
AT ITER 4119 NEW BEST:: SOT 4378263 SOS 757280 HAS SOPS 757280 HAS SOUS 627828 HAS SOUPS 627828 WITH SCORE 628585.28
AT ITER 4138 NEW BEST:: SOT 4378048 SOS 756850 HAS SOPS 756850 HAS SOUS 627398 HAS SOUPS 627398 WITH SCORE 628154.85
AT ITER 4172 NEW BEST:: SOT 4378048 SOS 756717 HAS SOPS 756717 HAS SOUS 627265 HAS SOUPS 627265 WITH SCORE 628021.717
AT ITER 4215 NEW BEST:: SOT 4377696 SOS 756635 HAS SOPS 756635 HAS SOUS 626984 HAS SOUPS 626984 WITH SCORE 627740.635
AT ITER 4228 NEW BEST:: SOT 4377599 SOS 756538 HAS SOPS 756538 HAS SOUS 626887 HAS SOUPS 626887 WITH SCORE 627643.538
AT ITER 4235 NEW BEST:: SOT 4377516 SOS 756476 HAS SOPS 756476 HAS SOUS 626825 HAS SOUPS 626825 WITH SCORE 627581.476
AT ITER 4271 NEW BEST:: SOT 4377218 SOS 755880 HAS SOPS 755880 HAS SOUS 625762 HAS SOUPS 625762 WITH SCORE 626517.88
AT ITER 4285 NEW BEST:: SOT 4377218 SOS 755847 HAS SOPS 755847 HAS SOUS 625729 HAS SOUPS 625729 WITH SCORE 626484.847
AT ITER 4336 NEW BEST:: SOT 4377129 SOS 755669 HAS SOPS 755669 HAS SOUS 625640 HAS SOUPS 625640 WITH SCORE 626395.669
AT ITER 4341 NEW BEST:: SOT 4377106 SOS 755623 HAS SOPS 755623 HAS SOUS 625621 HAS SOUPS 625621 WITH SCORE 626376.623
AT ITER 4344 NEW BEST:: SOT 4376929 SOS 755269 HAS SOPS 755269 HAS SOUS 625444 HAS SOUPS 625444 WITH SCORE 626199.269
AT ITER 4354 NEW BEST:: SOT 4376609 SOS 757725 HAS SOPS 757725 HAS SOUS 625198 HAS SOUPS 625198 WITH SCORE 625955.725
AT ITER 4362 NEW BEST:: SOT 4376608 SOS 757723 HAS SOPS 757723 HAS SOUS 625196 HAS SOUPS 625196 WITH SCORE 625953.723
AT ITER 4364 NEW BEST:: SOT 4376608 SOS 757513 HAS SOPS 757513 HAS SOUS 625196 HAS SOUPS 625196 WITH SCORE 625953.513
AT ITER 4376 NEW BEST:: SOT 4376608 SOS 757513 HAS SOPS 757513 HAS SOUS 625184 HAS SOUPS 625184 WITH SCORE 625941.513
AT ITER 4404 NEW BEST:: SOT 4376428 SOS 757036 HAS SOPS 757036 HAS SOUS 624793 HAS SOUPS 624793 WITH SCORE 625550.036
AT ITER 4414 NEW BEST:: SOT 4376428 SOS 756928 HAS SOPS 756928 HAS SOUS 624793 HAS SOUPS 624793 WITH SCORE 625549.928
AT ITER 4415 NEW BEST:: SOT 4376427 SOS 756926 HAS SOPS 756926 HAS SOUS 624791 HAS SOUPS 624791 WITH SCORE 625547.926
AT ITER 4418 NEW BEST:: SOT 4376079 SOS 756230 HAS SOPS 756230 HAS SOUS 624095 HAS SOUPS 624095 WITH SCORE 624851.23
AT ITER 4445 NEW BEST:: SOT 4375864 SOS 755800 HAS SOPS 755800 HAS SOUS 623665 HAS SOUPS 623665 WITH SCORE 624420.8
AT ITER 4458 NEW BEST:: SOT 4375640 SOS 755352 HAS SOPS 755352 HAS SOUS 623217 HAS SOUPS 623217 WITH SCORE 623972.352
AT ITER 4460 NEW BEST:: SOT 4375639 SOS 755240 HAS SOPS 755240 HAS SOUS 623215 HAS SOUPS 623215 WITH SCORE 623970.24
AT ITER 4469 NEW BEST:: SOT 4375583 SOS 755184 HAS SOPS 755184 HAS SOUS 623215 HAS SOUPS 623215 WITH SCORE 623970.184
AT ITER 4490 NEW BEST:: SOT 4375583 SOS 755184 HAS SOPS 755184 HAS SOUS 623088 HAS SOUPS 623088 WITH SCORE 623843.184
AT ITER 4493 NEW BEST:: SOT 4375570 SOS 754995 HAS SOPS 754995 HAS SOUS 623062 HAS SOUPS 623062 WITH SCORE 623816.995
AT ITER 4513 NEW BEST:: SOT 4375395 SOS 754937 HAS SOPS 754937 HAS SOUS 622928 HAS SOUPS 622928 WITH SCORE 623682.937
AT ITER 4530 NEW BEST:: SOT 4375329 SOS 755067 HAS SOPS 755067 HAS SOUS 622862 HAS SOUPS 622862 WITH SCORE 623617.067
AT ITER 4534 NEW BEST:: SOT 4374959 SOS 755195 HAS SOPS 755195 HAS SOUS 622777 HAS SOUPS 622777 WITH SCORE 623532.195
AT ITER 4548 NEW BEST:: SOT 4374845 SOS 754967 HAS SOPS 754967 HAS SOUS 622549 HAS SOUPS 622549 WITH SCORE 623303.967
AT ITER 4596 NEW BEST:: SOT 4374839 SOS 754955 HAS SOPS 754955 HAS SOUS 622537 HAS SOUPS 622537 WITH SCORE 623291.955
AT ITER 4603 NEW BEST:: SOT 4374829 SOS 754935 HAS SOPS 754935 HAS SOUS 622526 HAS SOUPS 622526 WITH SCORE 623280.935
AT ITER 4614 NEW BEST:: SOT 4374432 SOS 754141 HAS SOPS 754141 HAS SOUS 621732 HAS SOUPS 621732 WITH SCORE 622486.141
AT ITER 4615 NEW BEST:: SOT 4374365 SOS 754188 HAS SOPS 754188 HAS SOUS 621598 HAS SOUPS 621598 WITH SCORE 622352.188
AT ITER 4656 NEW BEST:: SOT 4374365 SOS 754188 HAS SOPS 754188 HAS SOUS 621482 HAS SOUPS 621482 WITH SCORE 622236.188
AT ITER 4673 NEW BEST:: SOT 4374316 SOS 754139 HAS SOPS 754139 HAS SOUS 621433 HAS SOUPS 621433 WITH SCORE 622187.139
AT ITER 4742 NEW BEST:: SOT 4373834 SOS 753175 HAS SOPS 753175 HAS SOUS 621294 HAS SOUPS 621294 WITH SCORE 622047.175
AT ITER 4786 NEW BEST:: SOT 4373834 SOS 752918 HAS SOPS 752918 HAS SOUS 621294 HAS SOUPS 621294 WITH SCORE 622046.918
AT ITER 4802 NEW BEST:: SOT 4373829 SOS 752913 HAS SOPS 752913 HAS SOUS 621289 HAS SOUPS 621289 WITH SCORE 622041.913
AT ITER 4807 NEW BEST:: SOT 4372974 SOS 754607 HAS SOPS 754607 HAS SOUS 621056 HAS SOUPS 621056 WITH SCORE 621810.607
AT ITER 4819 NEW BEST:: SOT 4372967 SOS 754593 HAS SOPS 754593 HAS SOUS 621042 HAS SOUPS 621042 WITH SCORE 621796.593
AT ITER 4825 NEW BEST:: SOT 4372964 SOS 754587 HAS SOPS 754587 HAS SOUS 621036 HAS SOUPS 621036 WITH SCORE 621790.587
AT ITER 4827 NEW BEST:: SOT 4372879 SOS 754502 HAS SOPS 754502 HAS SOUS 620951 HAS SOUPS 620951 WITH SCORE 621705.502
AT ITER 4833 NEW BEST:: SOT 4372879 SOS 754502 HAS SOPS 754502 HAS SOUS 620930 HAS SOUPS 620930 WITH SCORE 621684.502
AT ITER 4858 NEW BEST:: SOT 4373097 SOS 754215 HAS SOPS 754215 HAS SOUS 620643 HAS SOUPS 620643 WITH SCORE 621397.215
AT ITER 4867 NEW BEST:: SOT 4373087 SOS 754195 HAS SOPS 754195 HAS SOUS 620623 HAS SOUPS 620623 WITH SCORE 621377.195
AT ITER 4880 NEW BEST:: SOT 4372971 SOS 753963 HAS SOPS 753963 HAS SOUS 620391 HAS SOUPS 620391 WITH SCORE 621144.963
AT ITER 4918 NEW BEST:: SOT 4372965 SOS 753951 HAS SOPS 753951 HAS SOUS 620379 HAS SOUPS 620379 WITH SCORE 621132.951
AT ITER 4928 NEW BEST:: SOT 4372645 SOS 753311 HAS SOPS 753311 HAS SOUS 619789 HAS SOUPS 619789 WITH SCORE 620542.311
AT ITER 4960 NEW BEST:: SOT 4372621 SOS 753239 HAS SOPS 753239 HAS SOUS 619741 HAS SOUPS 619741 WITH SCORE 620494.239
AT ITER 4967 NEW BEST:: SOT 4372620 SOS 753237 HAS SOPS 753237 HAS SOUS 619739 HAS SOUPS 619739 WITH SCORE 620492.237
AT ITER 4987 NEW BEST:: SOT 4372616 SOS 753229 HAS SOPS 753229 HAS SOUS 619731 HAS SOUPS 619731 WITH SCORE 620484.229
AT ITER 4989 NEW BEST:: SOT 4372616 SOS 753229 HAS SOPS 753229 HAS SOUS 619726 HAS SOUPS 619726 WITH SCORE 620479.229
AT ITER 4992 NEW BEST:: SOT 4372508 SOS 753013 HAS SOPS 753013 HAS SOUS 619510 HAS SOUPS 619510 WITH SCORE 620263.013
AT ITER 4999 NEW BEST:: SOT 4372507 SOS 753011 HAS SOPS 753011 HAS SOUS 619507 HAS SOUPS 619507 WITH SCORE 620260.011
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-00 (EF( ((potential((tk(P379)>=1))))))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-01 ( (AF( (AF( ( ((potential((tk(P1226)>=1)))) | ((potential((tk(P2507)>=1)))) ))))) | (AF( ( ( ((potential((tk(P573)>=1) & (tk(P1105)>=1)))) | ( ((potential((tk(P2253)>=1)))) | ((potential((tk(P2011)>=1)))) ) ) | ( ((potential((tk(P1633)>=1)))) & (! ((potential((tk(P104)>=1))))) ) ))) )
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-02 (EF( (AG( (! ( ((potential((tk(P1176)>=1)))) | ((potential((tk(P1529)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-03 (EG( (EG( (! ( ((potential((tk(P1192)>=1)))) & ((potential((tk(P170)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-04 (AG( ( ( (! ( ((potential((tk(P1843)>=1)))) | ((potential((tk(P465)>=1)))) )) | (EX( ((potential((tk(P1128)>=1)))))) ) | ( ((potential((tk(P2510)>=1)))) & ( ( ((potential((tk(P1249)>=1)))) & ((potential((tk(P573)>=1) & (tk(P1119)>=1)))) ) | ( ((potential((tk(P269)>=1)))) | ((potential((tk(P122)>=1)))) ) ) ) )))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-05 (EF( ( (AU( ((potential((tk(P412)>=1)))) , ((potential((tk(P1371)>=1)))) )) & ((potential((tk(P385)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-06 (AU( ( (! ((potential((tk(P8)>=1))))) | ( ( ((potential((tk(P303)>=1)))) | ((potential((tk(P256)>=1)))) ) | (! ((potential((tk(P1399)>=1))))) ) ) , (AF( ( ((potential((tk(P2172)>=1)))) & ((potential((tk(P340)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-07 (! (EX( (EF( ( ((potential((tk(P736)>=1)))) | ((potential((tk(P1117)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-08 ( (AU( (! (! ((potential((tk(P2099)>=1)))))) , (AF( ((potential((tk(P420)>=1)))))) )) | ( ( ((potential((tk(P1690)>=1)))) & ((potential((tk(P758)>=1)))) ) & (EG( ( (! ((potential((tk(P379)>=1))))) & (! ((potential((tk(P63)>=1))))) ))) ) )
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-09 (EU( (AU( ((potential((tk(P449)>=1)))) , ((potential((tk(P1732)>=1)))) )) , ( ( ( ((potential((tk(P2275)>=1)))) & ((potential((tk(P1224)>=1)))) ) & ( ((potential((tk(P1565)>=1)))) & ((potential((tk(P548)>=1)))) ) ) | (EF( ((potential((tk(P2560)>=1)))))) ) ))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-10 ( (EU( (! ( ((potential((tk(P569)>=1)))) & ((potential((tk(P778)>=1)))) )) , (! ((potential((tk(P2068)>=1))))) )) & (AU( (EF( ((potential((tk(P1012)>=1)))))) , ((potential((tk(P1515)>=1)))) )) )
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-11 (EX( (! (EG( (! ((potential((tk(P120)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-12 (! ( (! ((potential((tk(P1755)>=1))))) & (AU( (! ((potential((tk(P1506)>=1))))) , ((potential((tk(P1650)>=1)))) )) ))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-13 (AU( (! ((potential((tk(P180)>=1))))) , (! (AF( ((potential((tk(P171)>=1))))))) ))
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-14 ( (AF( (AU( ((potential((tk(P209)>=1)))) , ((potential((tk(P21)>=1)))) )))) | (AX( (AU( ((potential((tk(P2410)>=1)))) , ((potential((tk(P1297)>=1)))) )))) )
PROPERTY: CloudReconfiguration-PT-315-CTLFireability-15 ( (AG( ( ( ( ((potential((tk(P1398)>=1)))) & ((potential((tk(P399)>=1)))) ) | (! ((potential((tk(P999)>=1))))) ) | (EG( ((potential((tk(P2016)>=1)))))) ))) | (EX( (EF( ( ((potential((tk(P2227)>=1)))) | ((potential((tk(P2148)>=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-315"
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-315, 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-158902541700116"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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