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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K 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 661K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589099167285

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 317
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458557 SOS 744619 HAS SOPS 744619 HAS SOUS 686904 HAS SOUPS 686904 WITH SCORE 687648.619
AT ITER 3 NEW BEST:: SOT 4458697 SOS 744576 HAS SOPS 744576 HAS SOUS 686868 HAS SOUPS 686868 WITH SCORE 687612.576
AT ITER 4 NEW BEST:: SOT 4458639 SOS 744460 HAS SOPS 744460 HAS SOUS 686752 HAS SOUPS 686752 WITH SCORE 687496.46
AT ITER 7 NEW BEST:: SOT 4458637 SOS 744542 HAS SOPS 744542 HAS SOUS 686749 HAS SOUPS 686749 WITH SCORE 687493.542
AT ITER 37 NEW BEST:: SOT 4458571 SOS 744187 HAS SOPS 744187 HAS SOUS 686617 HAS SOUPS 686617 WITH SCORE 687361.187
AT ITER 46 NEW BEST:: SOT 4458571 SOS 744073 HAS SOPS 744073 HAS SOUS 686560 HAS SOUPS 686560 WITH SCORE 687304.073
AT ITER 64 NEW BEST:: SOT 4458488 SOS 743990 HAS SOPS 743990 HAS SOUS 686559 HAS SOUPS 686559 WITH SCORE 687302.99
AT ITER 74 NEW BEST:: SOT 4458041 SOS 743534 HAS SOPS 743534 HAS SOUS 685970 HAS SOUPS 685970 WITH SCORE 686713.534
AT ITER 83 NEW BEST:: SOT 4457798 SOS 743390 HAS SOPS 743390 HAS SOUS 685643 HAS SOUPS 685643 WITH SCORE 686386.39
AT ITER 88 NEW BEST:: SOT 4457616 SOS 743026 HAS SOPS 743026 HAS SOUS 685279 HAS SOUPS 685279 WITH SCORE 686022.026
AT ITER 129 NEW BEST:: SOT 4457338 SOS 742470 HAS SOPS 742470 HAS SOUS 684738 HAS SOUPS 684738 WITH SCORE 685480.47
AT ITER 139 NEW BEST:: SOT 4456079 SOS 743452 HAS SOPS 743452 HAS SOUS 683735 HAS SOUPS 683735 WITH SCORE 684478.452
AT ITER 180 NEW BEST:: SOT 4456057 SOS 743766 HAS SOPS 743766 HAS SOUS 683640 HAS SOUPS 683640 WITH SCORE 684383.766
AT ITER 192 NEW BEST:: SOT 4456040 SOS 743732 HAS SOPS 743732 HAS SOUS 683623 HAS SOUPS 683623 WITH SCORE 684366.732
AT ITER 196 NEW BEST:: SOT 4456039 SOS 743730 HAS SOPS 743730 HAS SOUS 683621 HAS SOUPS 683621 WITH SCORE 684364.73
AT ITER 207 NEW BEST:: SOT 4456280 SOS 743864 HAS SOPS 743864 HAS SOUS 683609 HAS SOUPS 683609 WITH SCORE 684352.864
AT ITER 237 NEW BEST:: SOT 4456280 SOS 743592 HAS SOPS 743592 HAS SOUS 683609 HAS SOUPS 683609 WITH SCORE 684352.592
AT ITER 268 NEW BEST:: SOT 4456572 SOS 743316 HAS SOPS 743316 HAS SOUS 683471 HAS SOUPS 683471 WITH SCORE 684214.316
AT ITER 279 NEW BEST:: SOT 4456460 SOS 742870 HAS SOPS 742870 HAS SOUS 683032 HAS SOUPS 683032 WITH SCORE 683774.87
AT ITER 280 NEW BEST:: SOT 4456364 SOS 742678 HAS SOPS 742678 HAS SOUS 682840 HAS SOUPS 682840 WITH SCORE 683582.678
AT ITER 304 NEW BEST:: SOT 4456364 SOS 742349 HAS SOPS 742349 HAS SOUS 682511 HAS SOUPS 682511 WITH SCORE 683253.349
AT ITER 322 NEW BEST:: SOT 4456111 SOS 741843 HAS SOPS 741843 HAS SOUS 682258 HAS SOUPS 682258 WITH SCORE 682999.843
AT ITER 398 NEW BEST:: SOT 4456111 SOS 741486 HAS SOPS 741486 HAS SOUS 682258 HAS SOUPS 682258 WITH SCORE 682999.486
AT ITER 402 NEW BEST:: SOT 4455804 SOS 741326 HAS SOPS 741326 HAS SOUS 682005 HAS SOUPS 682005 WITH SCORE 682746.326
AT ITER 411 NEW BEST:: SOT 4455804 SOS 741037 HAS SOPS 741037 HAS SOUS 682005 HAS SOUPS 682005 WITH SCORE 682746.037
AT ITER 440 NEW BEST:: SOT 4455804 SOS 740729 HAS SOPS 740729 HAS SOUS 682004 HAS SOUPS 682004 WITH SCORE 682744.729
AT ITER 475 NEW BEST:: SOT 4455804 SOS 740729 HAS SOPS 740729 HAS SOUS 681809 HAS SOUPS 681809 WITH SCORE 682549.729
AT ITER 533 NEW BEST:: SOT 4455804 SOS 740548 HAS SOPS 740548 HAS SOUS 681808 HAS SOUPS 681808 WITH SCORE 682548.548
AT ITER 537 NEW BEST:: SOT 4455803 SOS 740560 HAS SOPS 740560 HAS SOUS 681806 HAS SOUPS 681806 WITH SCORE 682546.56
AT ITER 557 NEW BEST:: SOT 4455407 SOS 741353 HAS SOPS 741353 HAS SOUS 681573 HAS SOUPS 681573 WITH SCORE 682314.353
AT ITER 566 NEW BEST:: SOT 4455289 SOS 741235 HAS SOPS 741235 HAS SOUS 681455 HAS SOUPS 681455 WITH SCORE 682196.235
AT ITER 598 NEW BEST:: SOT 4455249 SOS 741155 HAS SOPS 741155 HAS SOUS 681375 HAS SOUPS 681375 WITH SCORE 682116.155
AT ITER 605 NEW BEST:: SOT 4455283 SOS 741018 HAS SOPS 741018 HAS SOUS 681204 HAS SOUPS 681204 WITH SCORE 681945.018
AT ITER 611 NEW BEST:: SOT 4455128 SOS 740863 HAS SOPS 740863 HAS SOUS 681049 HAS SOUPS 681049 WITH SCORE 681789.863
AT ITER 662 NEW BEST:: SOT 4454992 SOS 740910 HAS SOPS 740910 HAS SOUS 681004 HAS SOUPS 681004 WITH SCORE 681744.91
AT ITER 664 NEW BEST:: SOT 4454842 SOS 740760 HAS SOPS 740760 HAS SOUS 680854 HAS SOUPS 680854 WITH SCORE 681594.76
AT ITER 674 NEW BEST:: SOT 4454842 SOS 740470 HAS SOPS 740470 HAS SOUS 680854 HAS SOUPS 680854 WITH SCORE 681594.47
AT ITER 695 NEW BEST:: SOT 4454530 SOS 741358 HAS SOPS 741358 HAS SOUS 680778 HAS SOUPS 680778 WITH SCORE 681519.358
AT ITER 702 NEW BEST:: SOT 4454397 SOS 741422 HAS SOPS 741422 HAS SOUS 680645 HAS SOUPS 680645 WITH SCORE 681386.422
AT ITER 782 NEW BEST:: SOT 4454421 SOS 741470 HAS SOPS 741470 HAS SOUS 680305 HAS SOUPS 680305 WITH SCORE 681046.47
AT ITER 791 NEW BEST:: SOT 4454033 SOS 741828 HAS SOPS 741828 HAS SOUS 679978 HAS SOUPS 679978 WITH SCORE 680719.828
AT ITER 793 NEW BEST:: SOT 4453983 SOS 741778 HAS SOPS 741778 HAS SOUS 679928 HAS SOUPS 679928 WITH SCORE 680669.778
AT ITER 812 NEW BEST:: SOT 4453876 SOS 741564 HAS SOPS 741564 HAS SOUS 679714 HAS SOUPS 679714 WITH SCORE 680455.564
AT ITER 863 NEW BEST:: SOT 4453876 SOS 741424 HAS SOPS 741424 HAS SOUS 679644 HAS SOUPS 679644 WITH SCORE 680385.424
AT ITER 869 NEW BEST:: SOT 4453742 SOS 741580 HAS SOPS 741580 HAS SOUS 679510 HAS SOUPS 679510 WITH SCORE 680251.58
AT ITER 872 NEW BEST:: SOT 4453519 SOS 741134 HAS SOPS 741134 HAS SOUS 679064 HAS SOUPS 679064 WITH SCORE 679805.134
AT ITER 879 NEW BEST:: SOT 4453605 SOS 741306 HAS SOPS 741306 HAS SOUS 678947 HAS SOUPS 678947 WITH SCORE 679688.306
AT ITER 906 NEW BEST:: SOT 4453604 SOS 741304 HAS SOPS 741304 HAS SOUS 678945 HAS SOUPS 678945 WITH SCORE 679686.304
AT ITER 911 NEW BEST:: SOT 4453376 SOS 709111 HAS SOPS 709111 HAS SOUS 678804 HAS SOUPS 678804 WITH SCORE 679513.111
AT ITER 928 NEW BEST:: SOT 4453310 SOS 709045 HAS SOPS 709045 HAS SOUS 678738 HAS SOUPS 678738 WITH SCORE 679447.045
AT ITER 935 NEW BEST:: SOT 4452701 SOS 708511 HAS SOPS 708511 HAS SOUS 678157 HAS SOUPS 678157 WITH SCORE 678865.511
AT ITER 936 NEW BEST:: SOT 4452701 SOS 708511 HAS SOPS 708511 HAS SOUS 678156 HAS SOUPS 678156 WITH SCORE 678864.511
AT ITER 959 NEW BEST:: SOT 4452482 SOS 708354 HAS SOPS 708354 HAS SOUS 677999 HAS SOUPS 677999 WITH SCORE 678707.354
AT ITER 1033 NEW BEST:: SOT 4452662 SOS 708411 HAS SOPS 708411 HAS SOUS 677893 HAS SOUPS 677893 WITH SCORE 678601.411
AT ITER 1041 NEW BEST:: SOT 4452471 SOS 708029 HAS SOPS 708029 HAS SOUS 677762 HAS SOUPS 677762 WITH SCORE 678470.029
AT ITER 1078 NEW BEST:: SOT 4452440 SOS 707967 HAS SOPS 707967 HAS SOUS 677700 HAS SOUPS 677700 WITH SCORE 678407.967
AT ITER 1130 NEW BEST:: SOT 4452440 SOS 707964 HAS SOPS 707964 HAS SOUS 677700 HAS SOUPS 677700 WITH SCORE 678407.964
AT ITER 1134 NEW BEST:: SOT 4452364 SOS 707812 HAS SOPS 707812 HAS SOUS 677604 HAS SOUPS 677604 WITH SCORE 678311.812
AT ITER 1142 NEW BEST:: SOT 4452513 SOS 707568 HAS SOPS 707568 HAS SOUS 677293 HAS SOUPS 677293 WITH SCORE 678000.568
AT ITER 1161 NEW BEST:: SOT 4452513 SOS 707568 HAS SOPS 707568 HAS SOUS 677214 HAS SOUPS 677214 WITH SCORE 677921.568
AT ITER 1172 NEW BEST:: SOT 4452340 SOS 707834 HAS SOPS 707834 HAS SOUS 677116 HAS SOUPS 677116 WITH SCORE 677823.834
AT ITER 1198 NEW BEST:: SOT 4452340 SOS 707834 HAS SOPS 707834 HAS SOUS 677077 HAS SOUPS 677077 WITH SCORE 677784.834
AT ITER 1212 NEW BEST:: SOT 4452146 SOS 707446 HAS SOPS 707446 HAS SOUS 676689 HAS SOUPS 676689 WITH SCORE 677396.446
AT ITER 1214 NEW BEST:: SOT 4452146 SOS 707410 HAS SOPS 707410 HAS SOUS 676653 HAS SOUPS 676653 WITH SCORE 677360.41
AT ITER 1225 NEW BEST:: SOT 4452148 SOS 707273 HAS SOPS 707273 HAS SOUS 676516 HAS SOUPS 676516 WITH SCORE 677223.273
AT ITER 1313 NEW BEST:: SOT 4448296 SOS 772691 HAS SOPS 772691 HAS SOUS 675724 HAS SOUPS 675724 WITH SCORE 676496.691
AT ITER 1325 NEW BEST:: SOT 4448474 SOS 772564 HAS SOPS 772564 HAS SOUS 675660 HAS SOUPS 675660 WITH SCORE 676432.564
AT ITER 1400 NEW BEST:: SOT 4448360 SOS 772450 HAS SOPS 772450 HAS SOUS 675489 HAS SOUPS 675489 WITH SCORE 676261.45
AT ITER 1428 NEW BEST:: SOT 4448263 SOS 772382 HAS SOPS 772382 HAS SOUS 675392 HAS SOUPS 675392 WITH SCORE 676164.382
AT ITER 1439 NEW BEST:: SOT 4447478 SOS 771772 HAS SOPS 771772 HAS SOUS 674645 HAS SOUPS 674645 WITH SCORE 675416.772
AT ITER 1441 NEW BEST:: SOT 4447471 SOS 771758 HAS SOPS 771758 HAS SOUS 674609 HAS SOUPS 674609 WITH SCORE 675380.758
AT ITER 1477 NEW BEST:: SOT 4447471 SOS 771728 HAS SOPS 771728 HAS SOUS 674579 HAS SOUPS 674579 WITH SCORE 675350.728
AT ITER 1510 NEW BEST:: SOT 4447212 SOS 771808 HAS SOPS 771808 HAS SOUS 674320 HAS SOUPS 674320 WITH SCORE 675091.808
AT ITER 1532 NEW BEST:: SOT 4447317 SOS 772018 HAS SOPS 772018 HAS SOUS 674189 HAS SOUPS 674189 WITH SCORE 674961.018
AT ITER 1610 NEW BEST:: SOT 4447093 SOS 771794 HAS SOPS 771794 HAS SOUS 673965 HAS SOUPS 673965 WITH SCORE 674736.794
AT ITER 1634 NEW BEST:: SOT 4447246 SOS 771477 HAS SOPS 771477 HAS SOUS 673495 HAS SOUPS 673495 WITH SCORE 674266.477
AT ITER 1638 NEW BEST:: SOT 4447246 SOS 771301 HAS SOPS 771301 HAS SOUS 673319 HAS SOUPS 673319 WITH SCORE 674090.301
AT ITER 1661 NEW BEST:: SOT 4447246 SOS 771270 HAS SOPS 771270 HAS SOUS 673319 HAS SOUPS 673319 WITH SCORE 674090.27
AT ITER 1672 NEW BEST:: SOT 4446576 SOS 771744 HAS SOPS 771744 HAS SOUS 673203 HAS SOUPS 673203 WITH SCORE 673974.744
AT ITER 1710 NEW BEST:: SOT 4446576 SOS 771744 HAS SOPS 771744 HAS SOUS 673202 HAS SOUPS 673202 WITH SCORE 673973.744
AT ITER 1714 NEW BEST:: SOT 4446558 SOS 771708 HAS SOPS 771708 HAS SOUS 673184 HAS SOUPS 673184 WITH SCORE 673955.708
AT ITER 1757 NEW BEST:: SOT 4446256 SOS 771416 HAS SOPS 771416 HAS SOUS 672892 HAS SOUPS 672892 WITH SCORE 673663.416
AT ITER 1827 NEW BEST:: SOT 4446342 SOS 771460 HAS SOPS 771460 HAS SOUS 672868 HAS SOUPS 672868 WITH SCORE 673639.46
AT ITER 1845 NEW BEST:: SOT 4446341 SOS 771458 HAS SOPS 771458 HAS SOUS 672866 HAS SOUPS 672866 WITH SCORE 673637.458
AT ITER 1868 NEW BEST:: SOT 4446318 SOS 771412 HAS SOPS 771412 HAS SOUS 672843 HAS SOUPS 672843 WITH SCORE 673614.412
AT ITER 1900 NEW BEST:: SOT 4446559 SOS 771894 HAS SOPS 771894 HAS SOUS 672751 HAS SOUPS 672751 WITH SCORE 673522.894
AT ITER 1928 NEW BEST:: SOT 4446555 SOS 771903 HAS SOPS 771903 HAS SOUS 672734 HAS SOUPS 672734 WITH SCORE 673505.903
AT ITER 1931 NEW BEST:: SOT 4446410 SOS 771773 HAS SOPS 771773 HAS SOUS 672444 HAS SOUPS 672444 WITH SCORE 673215.773
AT ITER 2016 NEW BEST:: SOT 4446368 SOS 771449 HAS SOPS 771449 HAS SOUS 672215 HAS SOUPS 672215 WITH SCORE 672986.449
AT ITER 2028 NEW BEST:: SOT 4446368 SOS 771376 HAS SOPS 771376 HAS SOUS 672215 HAS SOUPS 672215 WITH SCORE 672986.376
AT ITER 2034 NEW BEST:: SOT 4446367 SOS 771442 HAS SOPS 771442 HAS SOUS 672214 HAS SOUPS 672214 WITH SCORE 672985.442
AT ITER 2053 NEW BEST:: SOT 4446351 SOS 771410 HAS SOPS 771410 HAS SOUS 672182 HAS SOUPS 672182 WITH SCORE 672953.41
AT ITER 2065 NEW BEST:: SOT 4445567 SOS 770751 HAS SOPS 770751 HAS SOUS 671432 HAS SOUPS 671432 WITH SCORE 672202.751
AT ITER 2074 NEW BEST:: SOT 4445486 SOS 770589 HAS SOPS 770589 HAS SOUS 671119 HAS SOUPS 671119 WITH SCORE 671889.589
AT ITER 2097 NEW BEST:: SOT 4445378 SOS 770593 HAS SOPS 770593 HAS SOUS 671013 HAS SOUPS 671013 WITH SCORE 671783.593
AT ITER 2101 NEW BEST:: SOT 4445194 SOS 770225 HAS SOPS 770225 HAS SOUS 670645 HAS SOUPS 670645 WITH SCORE 671415.225
AT ITER 2102 NEW BEST:: SOT 4445206 SOS 770041 HAS SOPS 770041 HAS SOUS 670378 HAS SOUPS 670378 WITH SCORE 671148.041
AT ITER 2131 NEW BEST:: SOT 4444855 SOS 769582 HAS SOPS 769582 HAS SOUS 669815 HAS SOUPS 669815 WITH SCORE 670584.582
AT ITER 2138 NEW BEST:: SOT 4444710 SOS 769437 HAS SOPS 769437 HAS SOUS 669670 HAS SOUPS 669670 WITH SCORE 670439.437
AT ITER 2139 NEW BEST:: SOT 4444450 SOS 768917 HAS SOPS 768917 HAS SOUS 669191 HAS SOUPS 669191 WITH SCORE 669959.917
AT ITER 2141 NEW BEST:: SOT 4444232 SOS 768961 HAS SOPS 768961 HAS SOUS 669062 HAS SOUPS 669062 WITH SCORE 669830.961
AT ITER 2187 NEW BEST:: SOT 4443925 SOS 768688 HAS SOPS 768688 HAS SOUS 668782 HAS SOUPS 668782 WITH SCORE 669550.688
AT ITER 2201 NEW BEST:: SOT 4443925 SOS 768688 HAS SOPS 768688 HAS SOUS 668717 HAS SOUPS 668717 WITH SCORE 669485.688
AT ITER 2212 NEW BEST:: SOT 4443924 SOS 768686 HAS SOPS 768686 HAS SOUS 668715 HAS SOUPS 668715 WITH SCORE 669483.686
AT ITER 2227 NEW BEST:: SOT 4443837 SOS 768459 HAS SOPS 768459 HAS SOUS 668541 HAS SOUPS 668541 WITH SCORE 669309.459
AT ITER 2235 NEW BEST:: SOT 4443843 SOS 768293 HAS SOPS 768293 HAS SOUS 668470 HAS SOUPS 668470 WITH SCORE 669238.293
AT ITER 2240 NEW BEST:: SOT 4443801 SOS 768265 HAS SOPS 768265 HAS SOUS 668428 HAS SOUPS 668428 WITH SCORE 669196.265
AT ITER 2245 NEW BEST:: SOT 4443748 SOS 768159 HAS SOPS 768159 HAS SOUS 668375 HAS SOUPS 668375 WITH SCORE 669143.159
AT ITER 2267 NEW BEST:: SOT 4443655 SOS 767973 HAS SOPS 767973 HAS SOUS 668189 HAS SOUPS 668189 WITH SCORE 668956.973
AT ITER 2269 NEW BEST:: SOT 4443655 SOS 767973 HAS SOPS 767973 HAS SOUS 668163 HAS SOUPS 668163 WITH SCORE 668930.973
AT ITER 2270 NEW BEST:: SOT 4443332 SOS 768254 HAS SOPS 768254 HAS SOUS 667973 HAS SOUPS 667973 WITH SCORE 668741.254
AT ITER 2274 NEW BEST:: SOT 4443332 SOS 768254 HAS SOPS 768254 HAS SOUS 667972 HAS SOUPS 667972 WITH SCORE 668740.254
AT ITER 2280 NEW BEST:: SOT 4443228 SOS 767942 HAS SOPS 767942 HAS SOUS 667764 HAS SOUPS 667764 WITH SCORE 668531.942
AT ITER 2282 NEW BEST:: SOT 4443107 SOS 768117 HAS SOPS 768117 HAS SOUS 667720 HAS SOUPS 667720 WITH SCORE 668488.117
AT ITER 2286 NEW BEST:: SOT 4443107 SOS 768117 HAS SOPS 768117 HAS SOUS 667709 HAS SOUPS 667709 WITH SCORE 668477.117
AT ITER 2295 NEW BEST:: SOT 4443008 SOS 767930 HAS SOPS 767930 HAS SOUS 667664 HAS SOUPS 667664 WITH SCORE 668431.93
AT ITER 2320 NEW BEST:: SOT 4442838 SOS 767590 HAS SOPS 767590 HAS SOUS 667324 HAS SOUPS 667324 WITH SCORE 668091.59
AT ITER 2333 NEW BEST:: SOT 4442775 SOS 767464 HAS SOPS 767464 HAS SOUS 667198 HAS SOUPS 667198 WITH SCORE 667965.464
AT ITER 2360 NEW BEST:: SOT 4442775 SOS 767265 HAS SOPS 767265 HAS SOUS 666999 HAS SOUPS 666999 WITH SCORE 667766.265
AT ITER 2380 NEW BEST:: SOT 4441781 SOS 775953 HAS SOPS 775953 HAS SOUS 666264 HAS SOUPS 666264 WITH SCORE 667039.953
AT ITER 2493 NEW BEST:: SOT 4441732 SOS 775855 HAS SOPS 775855 HAS SOUS 666166 HAS SOUPS 666166 WITH SCORE 666941.855
AT ITER 2510 NEW BEST:: SOT 4441653 SOS 775825 HAS SOPS 775825 HAS SOUS 666117 HAS SOUPS 666117 WITH SCORE 666892.825
AT ITER 2514 NEW BEST:: SOT 4441345 SOS 775209 HAS SOPS 775209 HAS SOUS 665501 HAS SOUPS 665501 WITH SCORE 666276.209
AT ITER 2517 NEW BEST:: SOT 4441345 SOS 775188 HAS SOPS 775188 HAS SOUS 665500 HAS SOUPS 665500 WITH SCORE 666275.188
AT ITER 2538 NEW BEST:: SOT 4441345 SOS 775188 HAS SOPS 775188 HAS SOUS 665489 HAS SOUPS 665489 WITH SCORE 666264.188
AT ITER 2568 NEW BEST:: SOT 4441352 SOS 774954 HAS SOPS 774954 HAS SOUS 665408 HAS SOUPS 665408 WITH SCORE 666182.954
AT ITER 2577 NEW BEST:: SOT 4441351 SOS 774952 HAS SOPS 774952 HAS SOUS 665406 HAS SOUPS 665406 WITH SCORE 666180.952
AT ITER 2583 NEW BEST:: SOT 4441407 SOS 775064 HAS SOPS 775064 HAS SOUS 665211 HAS SOUPS 665211 WITH SCORE 665986.064
AT ITER 2587 NEW BEST:: SOT 4441381 SOS 775012 HAS SOPS 775012 HAS SOUS 665159 HAS SOUPS 665159 WITH SCORE 665934.012
AT ITER 2592 NEW BEST:: SOT 4441308 SOS 774954 HAS SOPS 774954 HAS SOUS 665101 HAS SOUPS 665101 WITH SCORE 665875.954
AT ITER 2603 NEW BEST:: SOT 4441308 SOS 774827 HAS SOPS 774827 HAS SOUS 664974 HAS SOUPS 664974 WITH SCORE 665748.827
AT ITER 2617 NEW BEST:: SOT 4441225 SOS 774661 HAS SOPS 774661 HAS SOUS 664808 HAS SOUPS 664808 WITH SCORE 665582.661
AT ITER 2621 NEW BEST:: SOT 4441225 SOS 774454 HAS SOPS 774454 HAS SOUS 664601 HAS SOUPS 664601 WITH SCORE 665375.454
AT ITER 2649 NEW BEST:: SOT 4440919 SOS 755236 HAS SOPS 755236 HAS SOUS 663989 HAS SOUPS 663989 WITH SCORE 664744.236
AT ITER 2662 NEW BEST:: SOT 4440672 SOS 754742 HAS SOPS 754742 HAS SOUS 663495 HAS SOUPS 663495 WITH SCORE 664249.742
AT ITER 2666 NEW BEST:: SOT 4436848 SOS 752050 HAS SOPS 752050 HAS SOUS 659719 HAS SOUPS 659719 WITH SCORE 660471.05
AT ITER 2667 NEW BEST:: SOT 4436901 SOS 751912 HAS SOPS 751912 HAS SOUS 659614 HAS SOUPS 659614 WITH SCORE 660365.912
AT ITER 2726 NEW BEST:: SOT 4436901 SOS 751790 HAS SOPS 751790 HAS SOUS 659614 HAS SOUPS 659614 WITH SCORE 660365.79
AT ITER 2748 NEW BEST:: SOT 4436898 SOS 751784 HAS SOPS 751784 HAS SOUS 659608 HAS SOUPS 659608 WITH SCORE 660359.784
AT ITER 2751 NEW BEST:: SOT 4436898 SOS 751784 HAS SOPS 751784 HAS SOUS 659512 HAS SOUPS 659512 WITH SCORE 660263.784
AT ITER 2752 NEW BEST:: SOT 4436749 SOS 751486 HAS SOPS 751486 HAS SOUS 659214 HAS SOUPS 659214 WITH SCORE 659965.486
AT ITER 2768 NEW BEST:: SOT 4436025 SOS 753430 HAS SOPS 753430 HAS SOUS 658992 HAS SOUPS 658992 WITH SCORE 659745.43
AT ITER 2781 NEW BEST:: SOT 4435719 SOS 752818 HAS SOPS 752818 HAS SOUS 658883 HAS SOUPS 658883 WITH SCORE 659635.818
AT ITER 2782 NEW BEST:: SOT 4435725 SOS 752625 HAS SOPS 752625 HAS SOUS 658766 HAS SOUPS 658766 WITH SCORE 659518.625
AT ITER 2790 NEW BEST:: SOT 4435529 SOS 752492 HAS SOPS 752492 HAS SOUS 658587 HAS SOUPS 658587 WITH SCORE 659339.492
AT ITER 2813 NEW BEST:: SOT 4435529 SOS 752492 HAS SOPS 752492 HAS SOUS 658578 HAS SOUPS 658578 WITH SCORE 659330.492
AT ITER 2827 NEW BEST:: SOT 4435529 SOS 752427 HAS SOPS 752427 HAS SOUS 658578 HAS SOUPS 658578 WITH SCORE 659330.427
AT ITER 2838 NEW BEST:: SOT 4435267 SOS 751903 HAS SOPS 751903 HAS SOUS 658054 HAS SOUPS 658054 WITH SCORE 658805.903
AT ITER 2859 NEW BEST:: SOT 4435214 SOS 751797 HAS SOPS 751797 HAS SOUS 657948 HAS SOUPS 657948 WITH SCORE 658699.797
AT ITER 2866 NEW BEST:: SOT 4435283 SOS 751935 HAS SOPS 751935 HAS SOUS 657888 HAS SOUPS 657888 WITH SCORE 658639.935
AT ITER 2872 NEW BEST:: SOT 4435057 SOS 751552 HAS SOPS 751552 HAS SOUS 657859 HAS SOUPS 657859 WITH SCORE 658610.552
AT ITER 2907 NEW BEST:: SOT 4434680 SOS 751206 HAS SOPS 751206 HAS SOUS 657513 HAS SOUPS 657513 WITH SCORE 658264.206
AT ITER 2908 NEW BEST:: SOT 4434725 SOS 751156 HAS SOPS 751156 HAS SOUS 657463 HAS SOUPS 657463 WITH SCORE 658214.156
AT ITER 2913 NEW BEST:: SOT 4434308 SOS 751120 HAS SOPS 751120 HAS SOUS 657169 HAS SOUPS 657169 WITH SCORE 657920.12
AT ITER 2928 NEW BEST:: SOT 4434032 SOS 750568 HAS SOPS 750568 HAS SOUS 656990 HAS SOUPS 656990 WITH SCORE 657740.568
AT ITER 2951 NEW BEST:: SOT 4434032 SOS 750568 HAS SOPS 750568 HAS SOUS 656985 HAS SOUPS 656985 WITH SCORE 657735.568
AT ITER 2957 NEW BEST:: SOT 4433992 SOS 750488 HAS SOPS 750488 HAS SOUS 656905 HAS SOUPS 656905 WITH SCORE 657655.488
AT ITER 2972 NEW BEST:: SOT 4434339 SOS 750606 HAS SOPS 750606 HAS SOUS 656868 HAS SOUPS 656868 WITH SCORE 657618.606
AT ITER 2983 NEW BEST:: SOT 4434270 SOS 750468 HAS SOPS 750468 HAS SOUS 656730 HAS SOUPS 656730 WITH SCORE 657480.468
AT ITER 3026 NEW BEST:: SOT 4434052 SOS 750032 HAS SOPS 750032 HAS SOUS 656294 HAS SOUPS 656294 WITH SCORE 657044.032
AT ITER 3045 NEW BEST:: SOT 4433904 SOS 749909 HAS SOPS 749909 HAS SOUS 656171 HAS SOUPS 656171 WITH SCORE 656920.909
AT ITER 3075 NEW BEST:: SOT 4434056 SOS 750025 HAS SOPS 750025 HAS SOUS 656170 HAS SOUPS 656170 WITH SCORE 656920.025
AT ITER 3088 NEW BEST:: SOT 4434056 SOS 749791 HAS SOPS 749791 HAS SOUS 656166 HAS SOUPS 656166 WITH SCORE 656915.791
AT ITER 3109 NEW BEST:: SOT 4433952 SOS 749583 HAS SOPS 749583 HAS SOUS 655958 HAS SOUPS 655958 WITH SCORE 656707.583
AT ITER 3111 NEW BEST:: SOT 4433764 SOS 749394 HAS SOPS 749394 HAS SOUS 655769 HAS SOUPS 655769 WITH SCORE 656518.394
AT ITER 3119 NEW BEST:: SOT 4433656 SOS 749178 HAS SOPS 749178 HAS SOUS 655650 HAS SOUPS 655650 WITH SCORE 656399.178
AT ITER 3124 NEW BEST:: SOT 4433678 SOS 748800 HAS SOPS 748800 HAS SOUS 655461 HAS SOUPS 655461 WITH SCORE 656209.8
AT ITER 3128 NEW BEST:: SOT 4433667 SOS 748778 HAS SOPS 748778 HAS SOUS 655439 HAS SOUPS 655439 WITH SCORE 656187.778
AT ITER 3133 NEW BEST:: SOT 4433667 SOS 748776 HAS SOPS 748776 HAS SOUS 655437 HAS SOUPS 655437 WITH SCORE 656185.776
AT ITER 3137 NEW BEST:: SOT 4433667 SOS 748684 HAS SOPS 748684 HAS SOUS 655437 HAS SOUPS 655437 WITH SCORE 656185.684
AT ITER 3150 NEW BEST:: SOT 4433539 SOS 748428 HAS SOPS 748428 HAS SOUS 655181 HAS SOUPS 655181 WITH SCORE 655929.428
AT ITER 3153 NEW BEST:: SOT 4433524 SOS 748398 HAS SOPS 748398 HAS SOUS 655151 HAS SOUPS 655151 WITH SCORE 655899.398
AT ITER 3172 NEW BEST:: SOT 4433524 SOS 748397 HAS SOPS 748397 HAS SOUS 655150 HAS SOUPS 655150 WITH SCORE 655898.397
AT ITER 3177 NEW BEST:: SOT 4433258 SOS 747865 HAS SOPS 747865 HAS SOUS 654884 HAS SOUPS 654884 WITH SCORE 655631.865
AT ITER 3200 NEW BEST:: SOT 4433076 SOS 747683 HAS SOPS 747683 HAS SOUS 654611 HAS SOUPS 654611 WITH SCORE 655358.683
AT ITER 3231 NEW BEST:: SOT 4432860 SOS 747251 HAS SOPS 747251 HAS SOUS 654135 HAS SOUPS 654135 WITH SCORE 654882.251
AT ITER 3234 NEW BEST:: SOT 4433011 SOS 747012 HAS SOPS 747012 HAS SOUS 653824 HAS SOUPS 653824 WITH SCORE 654571.012
AT ITER 3264 NEW BEST:: SOT 4432909 SOS 747061 HAS SOPS 747061 HAS SOUS 653798 HAS SOUPS 653798 WITH SCORE 654545.061
AT ITER 3265 NEW BEST:: SOT 4432899 SOS 747041 HAS SOPS 747041 HAS SOUS 653778 HAS SOUPS 653778 WITH SCORE 654525.041
AT ITER 3276 NEW BEST:: SOT 4432543 SOS 746917 HAS SOPS 746917 HAS SOUS 653549 HAS SOUPS 653549 WITH SCORE 654295.917
AT ITER 3283 NEW BEST:: SOT 4432517 SOS 746865 HAS SOPS 746865 HAS SOUS 653497 HAS SOUPS 653497 WITH SCORE 654243.865
AT ITER 3336 NEW BEST:: SOT 4432502 SOS 746648 HAS SOPS 746648 HAS SOUS 653295 HAS SOUPS 653295 WITH SCORE 654041.648
AT ITER 3352 NEW BEST:: SOT 4432501 SOS 746646 HAS SOPS 746646 HAS SOUS 653293 HAS SOUPS 653293 WITH SCORE 654039.646
AT ITER 3361 NEW BEST:: SOT 4432501 SOS 746646 HAS SOPS 746646 HAS SOUS 653204 HAS SOUPS 653204 WITH SCORE 653950.646
AT ITER 3362 NEW BEST:: SOT 4432279 SOS 746202 HAS SOPS 746202 HAS SOUS 652982 HAS SOUPS 652982 WITH SCORE 653728.202
AT ITER 3374 NEW BEST:: SOT 4432279 SOS 746174 HAS SOPS 746174 HAS SOUS 652982 HAS SOUPS 652982 WITH SCORE 653728.174
AT ITER 3377 NEW BEST:: SOT 4432279 SOS 746150 HAS SOPS 746150 HAS SOUS 652981 HAS SOUPS 652981 WITH SCORE 653727.15
AT ITER 3401 NEW BEST:: SOT 4432249 SOS 746060 HAS SOPS 746060 HAS SOUS 652921 HAS SOUPS 652921 WITH SCORE 653667.06
AT ITER 3413 NEW BEST:: SOT 4432073 SOS 745884 HAS SOPS 745884 HAS SOUS 652856 HAS SOUPS 652856 WITH SCORE 653601.884
AT ITER 3418 NEW BEST:: SOT 4432073 SOS 745790 HAS SOPS 745790 HAS SOUS 652856 HAS SOUPS 652856 WITH SCORE 653601.79
AT ITER 3420 NEW BEST:: SOT 4432061 SOS 745766 HAS SOPS 745766 HAS SOUS 652841 HAS SOUPS 652841 WITH SCORE 653586.766
AT ITER 3450 NEW BEST:: SOT 4432039 SOS 745700 HAS SOPS 745700 HAS SOUS 652797 HAS SOUPS 652797 WITH SCORE 653542.7
AT ITER 3503 NEW BEST:: SOT 4432039 SOS 745697 HAS SOPS 745697 HAS SOUS 652794 HAS SOUPS 652794 WITH SCORE 653539.697
AT ITER 3512 NEW BEST:: SOT 4432000 SOS 745619 HAS SOPS 745619 HAS SOUS 652716 HAS SOUPS 652716 WITH SCORE 653461.619
AT ITER 3515 NEW BEST:: SOT 4432060 SOS 746185 HAS SOPS 746185 HAS SOUS 652525 HAS SOUPS 652525 WITH SCORE 653271.185
AT ITER 3523 NEW BEST:: SOT 4431809 SOS 745683 HAS SOPS 745683 HAS SOUS 652023 HAS SOUPS 652023 WITH SCORE 652768.683
AT ITER 3537 NEW BEST:: SOT 4431808 SOS 745681 HAS SOPS 745681 HAS SOUS 652021 HAS SOUPS 652021 WITH SCORE 652766.681
AT ITER 3567 NEW BEST:: SOT 4431776 SOS 745553 HAS SOPS 745553 HAS SOUS 651957 HAS SOUPS 651957 WITH SCORE 652702.553
AT ITER 3572 NEW BEST:: SOT 4431433 SOS 745949 HAS SOPS 745949 HAS SOUS 651942 HAS SOUPS 651942 WITH SCORE 652687.949
AT ITER 3577 NEW BEST:: SOT 4431544 SOS 745839 HAS SOPS 745839 HAS SOUS 651832 HAS SOUPS 651832 WITH SCORE 652577.839
AT ITER 3598 NEW BEST:: SOT 4431535 SOS 745821 HAS SOPS 745821 HAS SOUS 651814 HAS SOUPS 651814 WITH SCORE 652559.821
AT ITER 3609 NEW BEST:: SOT 4431527 SOS 745805 HAS SOPS 745805 HAS SOUS 651798 HAS SOUPS 651798 WITH SCORE 652543.805
AT ITER 3615 NEW BEST:: SOT 4431461 SOS 745739 HAS SOPS 745739 HAS SOUS 651732 HAS SOUPS 651732 WITH SCORE 652477.739
AT ITER 3632 NEW BEST:: SOT 4431410 SOS 745637 HAS SOPS 745637 HAS SOUS 651681 HAS SOUPS 651681 WITH SCORE 652426.637
AT ITER 3634 NEW BEST:: SOT 4431272 SOS 745499 HAS SOPS 745499 HAS SOUS 651543 HAS SOUPS 651543 WITH SCORE 652288.499
AT ITER 3670 NEW BEST:: SOT 4431282 SOS 745519 HAS SOPS 745519 HAS SOUS 651533 HAS SOUPS 651533 WITH SCORE 652278.519
AT ITER 3698 NEW BEST:: SOT 4431282 SOS 745452 HAS SOPS 745452 HAS SOUS 651533 HAS SOUPS 651533 WITH SCORE 652278.452
AT ITER 3702 NEW BEST:: SOT 4431079 SOS 745338 HAS SOPS 745338 HAS SOUS 651362 HAS SOUPS 651362 WITH SCORE 652107.338
AT ITER 3723 NEW BEST:: SOT 4431013 SOS 745206 HAS SOPS 745206 HAS SOUS 651296 HAS SOUPS 651296 WITH SCORE 652041.206
AT ITER 3730 NEW BEST:: SOT 4430562 SOS 746524 HAS SOPS 746524 HAS SOUS 650927 HAS SOUPS 650927 WITH SCORE 651673.524
AT ITER 3736 NEW BEST:: SOT 4430562 SOS 746497 HAS SOPS 746497 HAS SOUS 650900 HAS SOUPS 650900 WITH SCORE 651646.497
AT ITER 3739 NEW BEST:: SOT 4430548 SOS 746469 HAS SOPS 746469 HAS SOUS 650872 HAS SOUPS 650872 WITH SCORE 651618.469
AT ITER 3761 NEW BEST:: SOT 4430328 SOS 746299 HAS SOPS 746299 HAS SOUS 650672 HAS SOUPS 650672 WITH SCORE 651418.299
AT ITER 3808 NEW BEST:: SOT 4429160 SOS 747028 HAS SOPS 747028 HAS SOUS 649667 HAS SOUPS 649667 WITH SCORE 650414.028
AT ITER 3859 NEW BEST:: SOT 4428904 SOS 746516 HAS SOPS 746516 HAS SOUS 649155 HAS SOUPS 649155 WITH SCORE 649901.516
AT ITER 3896 NEW BEST:: SOT 4428904 SOS 746256 HAS SOPS 746256 HAS SOUS 649155 HAS SOUPS 649155 WITH SCORE 649901.256
AT ITER 3921 NEW BEST:: SOT 4428904 SOS 746256 HAS SOPS 746256 HAS SOUS 649146 HAS SOUPS 649146 WITH SCORE 649892.256
AT ITER 3948 NEW BEST:: SOT 4428785 SOS 746018 HAS SOPS 746018 HAS SOUS 648908 HAS SOUPS 648908 WITH SCORE 649654.018
AT ITER 3949 NEW BEST:: SOT 4428739 SOS 745926 HAS SOPS 745926 HAS SOUS 648862 HAS SOUPS 648862 WITH SCORE 649607.926
AT ITER 3960 NEW BEST:: SOT 4428639 SOS 745826 HAS SOPS 745826 HAS SOUS 648762 HAS SOUPS 648762 WITH SCORE 649507.826
AT ITER 3972 NEW BEST:: SOT 4428460 SOS 745755 HAS SOPS 745755 HAS SOUS 648446 HAS SOUPS 648446 WITH SCORE 649191.755
AT ITER 3980 NEW BEST:: SOT 4428452 SOS 745739 HAS SOPS 745739 HAS SOUS 648430 HAS SOUPS 648430 WITH SCORE 649175.739
AT ITER 4017 NEW BEST:: SOT 4428684 SOS 745753 HAS SOPS 745753 HAS SOUS 648350 HAS SOUPS 648350 WITH SCORE 649095.753
AT ITER 4056 NEW BEST:: SOT 4428657 SOS 745726 HAS SOPS 745726 HAS SOUS 648323 HAS SOUPS 648323 WITH SCORE 649068.726
AT ITER 4076 NEW BEST:: SOT 4428670 SOS 745752 HAS SOPS 745752 HAS SOUS 648027 HAS SOUPS 648027 WITH SCORE 648772.752
AT ITER 4084 NEW BEST:: SOT 4428488 SOS 745252 HAS SOPS 745252 HAS SOUS 647663 HAS SOUPS 647663 WITH SCORE 648408.252
AT ITER 4100 NEW BEST:: SOT 4427747 SOS 744690 HAS SOPS 744690 HAS SOUS 646960 HAS SOUPS 646960 WITH SCORE 647704.69
AT ITER 4109 NEW BEST:: SOT 4427746 SOS 744688 HAS SOPS 744688 HAS SOUS 646958 HAS SOUPS 646958 WITH SCORE 647702.688
AT ITER 4120 NEW BEST:: SOT 4427745 SOS 744742 HAS SOPS 744742 HAS SOUS 646956 HAS SOUPS 646956 WITH SCORE 647700.742
AT ITER 4181 NEW BEST:: SOT 4427531 SOS 744635 HAS SOPS 744635 HAS SOUS 646849 HAS SOUPS 646849 WITH SCORE 647593.635
AT ITER 4190 NEW BEST:: SOT 4426925 SOS 744265 HAS SOPS 744265 HAS SOUS 646324 HAS SOUPS 646324 WITH SCORE 647068.265
AT ITER 4225 NEW BEST:: SOT 4426786 SOS 743864 HAS SOPS 743864 HAS SOUS 646217 HAS SOUPS 646217 WITH SCORE 646960.864
AT ITER 4230 NEW BEST:: SOT 4426655 SOS 743836 HAS SOPS 743836 HAS SOUS 646138 HAS SOUPS 646138 WITH SCORE 646881.836
AT ITER 4247 NEW BEST:: SOT 4426369 SOS 743793 HAS SOPS 743793 HAS SOUS 646114 HAS SOUPS 646114 WITH SCORE 646857.793
AT ITER 4270 NEW BEST:: SOT 4426081 SOS 743791 HAS SOPS 743791 HAS SOUS 646112 HAS SOUPS 646112 WITH SCORE 646855.791
AT ITER 4279 NEW BEST:: SOT 4426081 SOS 743755 HAS SOPS 743755 HAS SOUS 646076 HAS SOUPS 646076 WITH SCORE 646819.755
AT ITER 4342 NEW BEST:: SOT 4425936 SOS 743465 HAS SOPS 743465 HAS SOUS 645786 HAS SOUPS 645786 WITH SCORE 646529.465
AT ITER 4365 NEW BEST:: SOT 4425958 SOS 743229 HAS SOPS 743229 HAS SOUS 645550 HAS SOUPS 645550 WITH SCORE 646293.229
AT ITER 4385 NEW BEST:: SOT 4425816 SOS 742945 HAS SOPS 742945 HAS SOUS 645266 HAS SOUPS 645266 WITH SCORE 646008.945
AT ITER 4389 NEW BEST:: SOT 4425815 SOS 742943 HAS SOPS 742943 HAS SOUS 645264 HAS SOUPS 645264 WITH SCORE 646006.943
AT ITER 4406 NEW BEST:: SOT 4425815 SOS 742713 HAS SOPS 742713 HAS SOUS 645034 HAS SOUPS 645034 WITH SCORE 645776.713
AT ITER 4422 NEW BEST:: SOT 4425707 SOS 742497 HAS SOPS 742497 HAS SOUS 644847 HAS SOUPS 644847 WITH SCORE 645589.497
AT ITER 4466 NEW BEST:: SOT 4425678 SOS 742439 HAS SOPS 742439 HAS SOUS 644818 HAS SOUPS 644818 WITH SCORE 645560.439
AT ITER 4479 NEW BEST:: SOT 4425803 SOS 742425 HAS SOPS 742425 HAS SOUS 644804 HAS SOUPS 644804 WITH SCORE 645546.425
AT ITER 4490 NEW BEST:: SOT 4425705 SOS 742229 HAS SOPS 742229 HAS SOUS 644608 HAS SOUPS 644608 WITH SCORE 645350.229
AT ITER 4499 NEW BEST:: SOT 4425569 SOS 742093 HAS SOPS 742093 HAS SOUS 644336 HAS SOUPS 644336 WITH SCORE 645078.093
AT ITER 4504 NEW BEST:: SOT 4425439 SOS 741833 HAS SOPS 741833 HAS SOUS 644243 HAS SOUPS 644243 WITH SCORE 644984.833
AT ITER 4507 NEW BEST:: SOT 4425438 SOS 741831 HAS SOPS 741831 HAS SOUS 644241 HAS SOUPS 644241 WITH SCORE 644982.831
AT ITER 4560 NEW BEST:: SOT 4425216 SOS 741387 HAS SOPS 741387 HAS SOUS 643797 HAS SOUPS 643797 WITH SCORE 644538.387
AT ITER 4562 NEW BEST:: SOT 4425079 SOS 741113 HAS SOPS 741113 HAS SOUS 643523 HAS SOUPS 643523 WITH SCORE 644264.113
AT ITER 4564 NEW BEST:: SOT 4425079 SOS 741113 HAS SOPS 741113 HAS SOUS 643402 HAS SOUPS 643402 WITH SCORE 644143.113
AT ITER 4574 NEW BEST:: SOT 4425067 SOS 741089 HAS SOPS 741089 HAS SOUS 643390 HAS SOUPS 643390 WITH SCORE 644131.089
AT ITER 4606 NEW BEST:: SOT 4424987 SOS 740860 HAS SOPS 740860 HAS SOUS 643309 HAS SOUPS 643309 WITH SCORE 644049.86
AT ITER 4624 NEW BEST:: SOT 4424956 SOS 740798 HAS SOPS 740798 HAS SOUS 643247 HAS SOUPS 643247 WITH SCORE 643987.798
AT ITER 4668 NEW BEST:: SOT 4424919 SOS 740724 HAS SOPS 740724 HAS SOUS 643210 HAS SOUPS 643210 WITH SCORE 643950.724
AT ITER 4678 NEW BEST:: SOT 4424908 SOS 740702 HAS SOPS 740702 HAS SOUS 643188 HAS SOUPS 643188 WITH SCORE 643928.702
AT ITER 4753 NEW BEST:: SOT 4424679 SOS 740244 HAS SOPS 740244 HAS SOUS 642730 HAS SOUPS 642730 WITH SCORE 643470.244
AT ITER 4758 NEW BEST:: SOT 4424591 SOS 740068 HAS SOPS 740068 HAS SOUS 642554 HAS SOUPS 642554 WITH SCORE 643294.068
AT ITER 4763 NEW BEST:: SOT 4424565 SOS 740093 HAS SOPS 740093 HAS SOUS 642528 HAS SOUPS 642528 WITH SCORE 643268.093
AT ITER 4774 NEW BEST:: SOT 4424521 SOS 740101 HAS SOPS 740101 HAS SOUS 642516 HAS SOUPS 642516 WITH SCORE 643256.101
AT ITER 4778 NEW BEST:: SOT 4424431 SOS 739921 HAS SOPS 739921 HAS SOUS 642336 HAS SOUPS 642336 WITH SCORE 643075.921
AT ITER 4779 NEW BEST:: SOT 4424437 SOS 739896 HAS SOPS 739896 HAS SOUS 642311 HAS SOUPS 642311 WITH SCORE 643050.896
AT ITER 4802 NEW BEST:: SOT 4424437 SOS 739752 HAS SOPS 739752 HAS SOUS 642167 HAS SOUPS 642167 WITH SCORE 642906.752
AT ITER 4815 NEW BEST:: SOT 4424371 SOS 739714 HAS SOPS 739714 HAS SOUS 642129 HAS SOUPS 642129 WITH SCORE 642868.714
AT ITER 4830 NEW BEST:: SOT 4424175 SOS 739862 HAS SOPS 739862 HAS SOUS 642041 HAS SOUPS 642041 WITH SCORE 642780.862
AT ITER 4833 NEW BEST:: SOT 4424105 SOS 739792 HAS SOPS 739792 HAS SOUS 642041 HAS SOUPS 642041 WITH SCORE 642780.792
AT ITER 4857 NEW BEST:: SOT 4424003 SOS 739384 HAS SOPS 739384 HAS SOUS 641837 HAS SOUPS 641837 WITH SCORE 642576.384
AT ITER 4864 NEW BEST:: SOT 4423922 SOS 739222 HAS SOPS 739222 HAS SOUS 641752 HAS SOUPS 641752 WITH SCORE 642491.222
AT ITER 4870 NEW BEST:: SOT 4423899 SOS 739176 HAS SOPS 739176 HAS SOUS 641729 HAS SOUPS 641729 WITH SCORE 642468.176
AT ITER 4884 NEW BEST:: SOT 4423899 SOS 739089 HAS SOPS 739089 HAS SOUS 641729 HAS SOUPS 641729 WITH SCORE 642468.089
AT ITER 4900 NEW BEST:: SOT 4423894 SOS 739150 HAS SOPS 739150 HAS SOUS 641724 HAS SOUPS 641724 WITH SCORE 642463.15
AT ITER 4902 NEW BEST:: SOT 4423861 SOS 739117 HAS SOPS 739117 HAS SOUS 641691 HAS SOUPS 641691 WITH SCORE 642430.117
AT ITER 4912 NEW BEST:: SOT 4423737 SOS 739229 HAS SOPS 739229 HAS SOUS 641443 HAS SOUPS 641443 WITH SCORE 642182.229
AT ITER 4914 NEW BEST:: SOT 4423724 SOS 739203 HAS SOPS 739203 HAS SOUS 641430 HAS SOUPS 641430 WITH SCORE 642169.203
AT ITER 4915 NEW BEST:: SOT 4423724 SOS 739203 HAS SOPS 739203 HAS SOUS 641259 HAS SOUPS 641259 WITH SCORE 641998.203
AT ITER 4941 NEW BEST:: SOT 4423470 SOS 738695 HAS SOPS 738695 HAS SOUS 641003 HAS SOUPS 641003 WITH SCORE 641741.695
AT ITER 4942 NEW BEST:: SOT 4423350 SOS 738746 HAS SOPS 738746 HAS SOUS 640864 HAS SOUPS 640864 WITH SCORE 641602.746
AT ITER 4949 NEW BEST:: SOT 4423350 SOS 738436 HAS SOPS 738436 HAS SOUS 640863 HAS SOUPS 640863 WITH SCORE 641601.436
AT ITER 4953 NEW BEST:: SOT 4423293 SOS 738322 HAS SOPS 738322 HAS SOUS 640726 HAS SOUPS 640726 WITH SCORE 641464.322
AT ITER 4961 NEW BEST:: SOT 4423124 SOS 738346 HAS SOPS 738346 HAS SOUS 640623 HAS SOUPS 640623 WITH SCORE 641361.346
AT ITER 4974 NEW BEST:: SOT 4423096 SOS 738290 HAS SOPS 738290 HAS SOUS 640595 HAS SOUPS 640595 WITH SCORE 641333.29
AT ITER 4990 NEW BEST:: SOT 4423004 SOS 738106 HAS SOPS 738106 HAS SOUS 640503 HAS SOUPS 640503 WITH SCORE 641241.106
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-00 (AF( ( ( ( ( ((potential((tk(P2452)>=1)))) & ((potential((tk(P2085)>=1)))) ) & (! ((potential((tk(P281)>=1))))) ) & ( ( ((potential((tk(P1850)>=1)))) & ((potential((tk(P1459)>=1)))) ) & ((potential((tk(P2194)>=1)))) ) ) & ( (EX( ((potential((tk(P2252)>=1)))))) & (! ( ((potential((tk(P1018)>=1)))) | ((potential((tk(P2274)>=1)))) )) ) )))
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-01 (! (AF( (AG( ( ((potential((tk(P642)>=1)))) | ((potential((tk(P2069)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-02 (EU( ( (AF( ((potential((tk(P2427)>=1)))))) & ((potential((tk(P2293)>=1)))) ) , (AF( ( ((potential((tk(P311)>=1)))) & ((potential((tk(P2560)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-03 (AX( ( ((potential((tk(P1651)>=1)))) | (! (AF( ((potential((tk(P551)>=1))))))) )))
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-04 (AF( ( ( ( ((potential((tk(P1906)>=1)))) | ( ((potential((tk(P946)>=1)))) | ((potential((tk(P573)>=1) & (tk(P599)>=1)))) ) ) | (AX( ((potential((tk(P573)>=1) & (tk(P1370)>=1)))))) ) | (EF( ( ((potential((tk(P1082)>=1)))) | ((potential((tk(P456)>=1)))) ))) )))
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-05 ( (EX( (AF( ((potential((tk(P995)>=1)))))))) | (EU( ((potential((tk(P625)>=1)))) , (EX( ((potential((tk(P192)>=1)))))) )) )
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-06 ( (! (AU( ( ((potential((tk(P157)>=1)))) | ((potential((tk(P389)>=1)))) ) , ( ((potential((tk(P225)>=1)))) & ((potential((tk(P123)>=1)))) ) ))) & ( ( ( ( ((potential((tk(P1636)>=1)))) & ( ((potential((tk(P302)>=1)))) | ((potential((tk(P573)>=1) & (tk(P1916)>=1)))) ) ) & ( ( ((potential((tk(P291)>=1)))) | ((potential((tk(P841)>=1)))) ) & ( ((potential((tk(P2455)>=1)))) | ((potential((tk(P1426)>=1)))) ) ) ) & ( (! ( ((potential((tk(P2157)>=1)))) | ((potential((tk(P1205)>=1)))) )) | (! ((potential((tk(P1189)>=1))))) ) ) | (AU( (! ((potential((tk(P573)>=1) & (tk(P1916)>=1))))) , ( ((potential((tk(P2210)>=1)))) & ((potential((tk(P1234)>=1)))) ) )) ) )
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-07 ( ( ( ( ((potential((tk(P441)>=1)))) & ((potential((tk(P680)>=1)))) ) | (AF( ( ((potential((tk(P573)>=1) & (tk(P1865)>=1)))) & ((potential((tk(P515)>=1)))) ))) ) & ( ( (EG( ((potential((tk(P2186)>=1)))))) | (! ( ((potential((tk(P968)>=1)))) | ((potential((tk(P358)>=1)))) )) ) & (EG( (! ((potential((tk(P1388)>=1))))))) ) ) & (! ((potential((tk(P859)>=1))))) )
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-08 (AG( (! ( (EG( ((potential((tk(P1156)>=1)))))) & (EG( ((potential((tk(P145)>=1)))))) ))))
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-09 ( (EG( (AF( (! ((potential((tk(P2211)>=1))))))))) | (AF( ((potential((tk(P878)>=1)))))) )
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-10 ( ( ( ( (AG( ((potential((tk(P757)>=1)))))) | ( (! ((potential((tk(P1458)>=1))))) & (! ((potential((tk(P1691)>=1))))) ) ) | ((potential((tk(P1363)>=1)))) ) | ((potential((tk(P1288)>=1)))) ) & (EF( ( ( ( ((potential((tk(P2393)>=1)))) & ((potential((tk(P1976)>=1)))) ) | ( ((potential((tk(P209)>=1)))) | ((potential((tk(P2025)>=1)))) ) ) | (EG( ((potential((tk(P2122)>=1)))))) ))) )
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-11 ( (! (EF( (! ( ((potential((tk(P576)>=1)))) & ((potential((tk(P5)>=1)))) ))))) | (EG( (EF( ( ((potential((tk(P569)>=1)))) | ((potential((tk(P1893)>=1)))) ))))) )
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-12 (! (EF( (EG( (! ((potential((tk(P2468)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-13 (EX( (EF( ( ( ((potential((tk(P1290)>=1)))) | ((potential((tk(P2395)>=1)))) ) | ((potential((tk(P2196)>=1)))) )))))
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-14 ( (EF( ( ((potential((tk(P1325)>=1)))) | ( ((potential((tk(P696)>=1)))) & ((potential((tk(P320)>=1)))) ) ))) & ( ((potential((tk(P64)>=1)))) | (EF( ((potential((tk(P1064)>=1)))))) ) )
PROPERTY: CloudReconfiguration-PT-317-CTLFireability-15 (AU( ( (AF( ((potential((tk(P304)>=1)))))) | (! ( ((potential((tk(P2358)>=1)))) & ((potential((tk(P279)>=1)))) )) ) , (AF( ( ((potential((tk(P1429)>=1)))) | ((potential((tk(P294)>=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-317"
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-317, 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-158902541800132"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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