About the Execution of smart for CloudReconfiguration-PT-304
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.800 | 3600000.00 | 3600070.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-158902541600028.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-304, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600028
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K 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 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.5K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-304-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589088017151
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 304
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439073 SOS 755786 HAS SOPS 755786 HAS SOUS 697225 HAS SOUPS 697225 WITH SCORE 697980.786
AT ITER 2 NEW BEST:: SOT 4429324 SOS 751714 HAS SOPS 751714 HAS SOUS 688159 HAS SOUPS 688159 WITH SCORE 688910.714
AT ITER 12 NEW BEST:: SOT 4429154 SOS 751374 HAS SOPS 751374 HAS SOUS 687819 HAS SOUPS 687819 WITH SCORE 688570.374
AT ITER 13 NEW BEST:: SOT 4429019 SOS 750695 HAS SOPS 750695 HAS SOUS 687451 HAS SOUPS 687451 WITH SCORE 688201.695
AT ITER 14 NEW BEST:: SOT 4429144 SOS 750656 HAS SOPS 750656 HAS SOUS 687413 HAS SOUPS 687413 WITH SCORE 688163.656
AT ITER 15 NEW BEST:: SOT 4429223 SOS 750458 HAS SOPS 750458 HAS SOUS 687393 HAS SOUPS 687393 WITH SCORE 688143.458
AT ITER 27 NEW BEST:: SOT 4429182 SOS 750417 HAS SOPS 750417 HAS SOUS 687352 HAS SOUPS 687352 WITH SCORE 688102.417
AT ITER 29 NEW BEST:: SOT 4429182 SOS 750228 HAS SOPS 750228 HAS SOUS 687163 HAS SOUPS 687163 WITH SCORE 687913.228
AT ITER 46 NEW BEST:: SOT 4429164 SOS 750174 HAS SOPS 750174 HAS SOUS 687127 HAS SOUPS 687127 WITH SCORE 687877.174
AT ITER 101 NEW BEST:: SOT 4429039 SOS 750053 HAS SOPS 750053 HAS SOUS 687006 HAS SOUPS 687006 WITH SCORE 687756.053
AT ITER 104 NEW BEST:: SOT 4428853 SOS 749805 HAS SOPS 749805 HAS SOUS 686758 HAS SOUPS 686758 WITH SCORE 687507.805
AT ITER 121 NEW BEST:: SOT 4428602 SOS 744063 HAS SOPS 744063 HAS SOUS 686256 HAS SOUPS 686256 WITH SCORE 687000.063
AT ITER 123 NEW BEST:: SOT 4428602 SOS 743981 HAS SOPS 743981 HAS SOUS 686256 HAS SOUPS 686256 WITH SCORE 686999.981
AT ITER 129 NEW BEST:: SOT 4428602 SOS 743872 HAS SOPS 743872 HAS SOUS 686256 HAS SOUPS 686256 WITH SCORE 686999.872
AT ITER 159 NEW BEST:: SOT 4428602 SOS 743791 HAS SOPS 743791 HAS SOUS 686255 HAS SOUPS 686255 WITH SCORE 686998.791
AT ITER 196 NEW BEST:: SOT 4428601 SOS 743789 HAS SOPS 743789 HAS SOUS 686253 HAS SOUPS 686253 WITH SCORE 686996.789
AT ITER 199 NEW BEST:: SOT 4428033 SOS 743221 HAS SOPS 743221 HAS SOUS 685685 HAS SOUPS 685685 WITH SCORE 686428.221
AT ITER 208 NEW BEST:: SOT 4427921 SOS 743109 HAS SOPS 743109 HAS SOUS 685573 HAS SOUPS 685573 WITH SCORE 686316.109
AT ITER 211 NEW BEST:: SOT 4427889 SOS 743141 HAS SOPS 743141 HAS SOUS 685541 HAS SOUPS 685541 WITH SCORE 686284.141
AT ITER 222 NEW BEST:: SOT 4427941 SOS 743245 HAS SOPS 743245 HAS SOUS 685519 HAS SOUPS 685519 WITH SCORE 686262.245
AT ITER 272 NEW BEST:: SOT 4427659 SOS 743057 HAS SOPS 743057 HAS SOUS 685331 HAS SOUPS 685331 WITH SCORE 686074.057
AT ITER 281 NEW BEST:: SOT 4427659 SOS 742928 HAS SOPS 742928 HAS SOUS 685331 HAS SOUPS 685331 WITH SCORE 686073.928
AT ITER 286 NEW BEST:: SOT 4427359 SOS 742928 HAS SOPS 742928 HAS SOUS 685181 HAS SOUPS 685181 WITH SCORE 685923.928
AT ITER 340 NEW BEST:: SOT 4427187 SOS 742763 HAS SOPS 742763 HAS SOUS 685009 HAS SOUPS 685009 WITH SCORE 685751.763
AT ITER 357 NEW BEST:: SOT 4427186 SOS 742761 HAS SOPS 742761 HAS SOUS 685007 HAS SOUPS 685007 WITH SCORE 685749.761
AT ITER 381 NEW BEST:: SOT 4427186 SOS 742159 HAS SOPS 742159 HAS SOUS 685007 HAS SOUPS 685007 WITH SCORE 685749.159
AT ITER 382 NEW BEST:: SOT 4427054 SOS 742027 HAS SOPS 742027 HAS SOUS 684875 HAS SOUPS 684875 WITH SCORE 685617.027
AT ITER 391 NEW BEST:: SOT 4426781 SOS 741761 HAS SOPS 741761 HAS SOUS 684609 HAS SOUPS 684609 WITH SCORE 685350.761
AT ITER 393 NEW BEST:: SOT 4426747 SOS 741469 HAS SOPS 741469 HAS SOUS 684320 HAS SOUPS 684320 WITH SCORE 685061.469
AT ITER 412 NEW BEST:: SOT 4426370 SOS 740907 HAS SOPS 740907 HAS SOUS 683751 HAS SOUPS 683751 WITH SCORE 684491.907
AT ITER 427 NEW BEST:: SOT 4419784 SOS 734666 HAS SOPS 734666 HAS SOUS 677855 HAS SOUPS 677855 WITH SCORE 678589.666
AT ITER 433 NEW BEST:: SOT 4419622 SOS 734342 HAS SOPS 734342 HAS SOUS 677531 HAS SOUPS 677531 WITH SCORE 678265.342
AT ITER 498 NEW BEST:: SOT 4419259 SOS 733993 HAS SOPS 733993 HAS SOUS 677182 HAS SOUPS 677182 WITH SCORE 677915.993
AT ITER 515 NEW BEST:: SOT 4419216 SOS 733786 HAS SOPS 733786 HAS SOUS 677096 HAS SOUPS 677096 WITH SCORE 677829.786
AT ITER 529 NEW BEST:: SOT 4419093 SOS 733716 HAS SOPS 733716 HAS SOUS 676877 HAS SOUPS 676877 WITH SCORE 677610.716
AT ITER 541 NEW BEST:: SOT 4419022 SOS 733574 HAS SOPS 733574 HAS SOUS 676735 HAS SOUPS 676735 WITH SCORE 677468.574
AT ITER 546 NEW BEST:: SOT 4418933 SOS 733485 HAS SOPS 733485 HAS SOUS 676557 HAS SOUPS 676557 WITH SCORE 677290.485
AT ITER 556 NEW BEST:: SOT 4418933 SOS 733395 HAS SOPS 733395 HAS SOUS 676467 HAS SOUPS 676467 WITH SCORE 677200.395
AT ITER 563 NEW BEST:: SOT 4418932 SOS 733618 HAS SOPS 733618 HAS SOUS 676466 HAS SOUPS 676466 WITH SCORE 677199.618
AT ITER 566 NEW BEST:: SOT 4418896 SOS 733546 HAS SOPS 733546 HAS SOUS 676394 HAS SOUPS 676394 WITH SCORE 677127.546
AT ITER 574 NEW BEST:: SOT 4418699 SOS 733349 HAS SOPS 733349 HAS SOUS 676197 HAS SOUPS 676197 WITH SCORE 676930.349
AT ITER 578 NEW BEST:: SOT 4418693 SOS 733141 HAS SOPS 733141 HAS SOUS 676180 HAS SOUPS 676180 WITH SCORE 676913.141
AT ITER 610 NEW BEST:: SOT 4418693 SOS 733089 HAS SOPS 733089 HAS SOUS 676128 HAS SOUPS 676128 WITH SCORE 676861.089
AT ITER 635 NEW BEST:: SOT 4418654 SOS 733011 HAS SOPS 733011 HAS SOUS 676089 HAS SOUPS 676089 WITH SCORE 676822.011
AT ITER 682 NEW BEST:: SOT 4418654 SOS 732976 HAS SOPS 732976 HAS SOUS 676089 HAS SOUPS 676089 WITH SCORE 676821.976
AT ITER 683 NEW BEST:: SOT 4418654 SOS 732976 HAS SOPS 732976 HAS SOUS 676052 HAS SOUPS 676052 WITH SCORE 676784.976
AT ITER 717 NEW BEST:: SOT 4418653 SOS 732956 HAS SOPS 732956 HAS SOUS 676050 HAS SOUPS 676050 WITH SCORE 676782.956
AT ITER 768 NEW BEST:: SOT 4418712 SOS 733074 HAS SOPS 733074 HAS SOUS 675959 HAS SOUPS 675959 WITH SCORE 676692.074
AT ITER 781 NEW BEST:: SOT 4418620 SOS 732890 HAS SOPS 732890 HAS SOUS 675775 HAS SOUPS 675775 WITH SCORE 676507.89
AT ITER 782 NEW BEST:: SOT 4418620 SOS 732629 HAS SOPS 732629 HAS SOUS 675514 HAS SOUPS 675514 WITH SCORE 676246.629
AT ITER 791 NEW BEST:: SOT 4418592 SOS 732545 HAS SOPS 732545 HAS SOUS 675458 HAS SOUPS 675458 WITH SCORE 676190.545
AT ITER 801 NEW BEST:: SOT 4418592 SOS 732473 HAS SOPS 732473 HAS SOUS 675458 HAS SOUPS 675458 WITH SCORE 676190.473
AT ITER 836 NEW BEST:: SOT 4418591 SOS 732471 HAS SOPS 732471 HAS SOUS 675456 HAS SOUPS 675456 WITH SCORE 676188.471
AT ITER 855 NEW BEST:: SOT 4418686 SOS 732029 HAS SOPS 732029 HAS SOUS 675282 HAS SOUPS 675282 WITH SCORE 676014.029
AT ITER 866 NEW BEST:: SOT 4418473 SOS 731603 HAS SOPS 731603 HAS SOUS 674856 HAS SOUPS 674856 WITH SCORE 675587.603
AT ITER 879 NEW BEST:: SOT 4418641 SOS 731133 HAS SOPS 731133 HAS SOUS 674672 HAS SOUPS 674672 WITH SCORE 675403.133
AT ITER 921 NEW BEST:: SOT 4418599 SOS 731049 HAS SOPS 731049 HAS SOUS 674629 HAS SOUPS 674629 WITH SCORE 675360.049
AT ITER 933 NEW BEST:: SOT 4418303 SOS 730861 HAS SOPS 730861 HAS SOUS 674441 HAS SOUPS 674441 WITH SCORE 675171.861
AT ITER 948 NEW BEST:: SOT 4418182 SOS 730815 HAS SOPS 730815 HAS SOUS 674395 HAS SOUPS 674395 WITH SCORE 675125.815
AT ITER 955 NEW BEST:: SOT 4418182 SOS 730777 HAS SOPS 730777 HAS SOUS 674395 HAS SOUPS 674395 WITH SCORE 675125.777
AT ITER 987 NEW BEST:: SOT 4418113 SOS 730734 HAS SOPS 730734 HAS SOUS 674257 HAS SOUPS 674257 WITH SCORE 674987.734
AT ITER 1000 NEW BEST:: SOT 4418382 SOS 730916 HAS SOPS 730916 HAS SOUS 674141 HAS SOUPS 674141 WITH SCORE 674871.916
AT ITER 1017 NEW BEST:: SOT 4418382 SOS 730782 HAS SOPS 730782 HAS SOUS 674007 HAS SOUPS 674007 WITH SCORE 674737.782
AT ITER 1022 NEW BEST:: SOT 4418232 SOS 730650 HAS SOPS 730650 HAS SOUS 673875 HAS SOUPS 673875 WITH SCORE 674605.65
AT ITER 1035 NEW BEST:: SOT 4418241 SOS 730515 HAS SOPS 730515 HAS SOUS 673740 HAS SOUPS 673740 WITH SCORE 674470.515
AT ITER 1038 NEW BEST:: SOT 4418209 SOS 730483 HAS SOPS 730483 HAS SOUS 673708 HAS SOUPS 673708 WITH SCORE 674438.483
AT ITER 1051 NEW BEST:: SOT 4418339 SOS 732485 HAS SOPS 732485 HAS SOUS 673634 HAS SOUPS 673634 WITH SCORE 674366.485
AT ITER 1063 NEW BEST:: SOT 4418311 SOS 732429 HAS SOPS 732429 HAS SOUS 673606 HAS SOUPS 673606 WITH SCORE 674338.429
AT ITER 1070 NEW BEST:: SOT 4418365 SOS 732537 HAS SOPS 732537 HAS SOUS 673488 HAS SOUPS 673488 WITH SCORE 674220.537
AT ITER 1079 NEW BEST:: SOT 4418244 SOS 732427 HAS SOPS 732427 HAS SOUS 673372 HAS SOUPS 673372 WITH SCORE 674104.427
AT ITER 1084 NEW BEST:: SOT 4418529 SOS 732142 HAS SOPS 732142 HAS SOUS 673371 HAS SOUPS 673371 WITH SCORE 674103.142
AT ITER 1088 NEW BEST:: SOT 4418660 SOS 731930 HAS SOPS 731930 HAS SOUS 673265 HAS SOUPS 673265 WITH SCORE 673996.93
AT ITER 1090 NEW BEST:: SOT 4418754 SOS 732118 HAS SOPS 732118 HAS SOUS 673080 HAS SOUPS 673080 WITH SCORE 673812.118
AT ITER 1094 NEW BEST:: SOT 4417834 SOS 732280 HAS SOPS 732280 HAS SOUS 672354 HAS SOUPS 672354 WITH SCORE 673086.28
AT ITER 1104 NEW BEST:: SOT 4417859 SOS 732330 HAS SOPS 732330 HAS SOUS 672198 HAS SOUPS 672198 WITH SCORE 672930.33
AT ITER 1115 NEW BEST:: SOT 4417407 SOS 732011 HAS SOPS 732011 HAS SOUS 671750 HAS SOUPS 671750 WITH SCORE 672482.011
AT ITER 1147 NEW BEST:: SOT 4416755 SOS 732458 HAS SOPS 732458 HAS SOUS 671551 HAS SOUPS 671551 WITH SCORE 672283.458
AT ITER 1184 NEW BEST:: SOT 4416708 SOS 732149 HAS SOPS 732149 HAS SOUS 671457 HAS SOUPS 671457 WITH SCORE 672189.149
AT ITER 1237 NEW BEST:: SOT 4416707 SOS 732147 HAS SOPS 732147 HAS SOUS 671455 HAS SOUPS 671455 WITH SCORE 672187.147
AT ITER 1243 NEW BEST:: SOT 4416707 SOS 732140 HAS SOPS 732140 HAS SOUS 671455 HAS SOUPS 671455 WITH SCORE 672187.14
AT ITER 1244 NEW BEST:: SOT 4416456 SOS 731638 HAS SOPS 731638 HAS SOUS 670953 HAS SOUPS 670953 WITH SCORE 671684.638
AT ITER 1301 NEW BEST:: SOT 4416456 SOS 731543 HAS SOPS 731543 HAS SOUS 670953 HAS SOUPS 670953 WITH SCORE 671684.543
AT ITER 1307 NEW BEST:: SOT 4416456 SOS 731394 HAS SOPS 731394 HAS SOUS 670804 HAS SOUPS 670804 WITH SCORE 671535.394
AT ITER 1323 NEW BEST:: SOT 4416455 SOS 731393 HAS SOPS 731393 HAS SOUS 670802 HAS SOUPS 670802 WITH SCORE 671533.393
AT ITER 1357 NEW BEST:: SOT 4416428 SOS 731339 HAS SOPS 731339 HAS SOUS 670748 HAS SOUPS 670748 WITH SCORE 671479.339
AT ITER 1373 NEW BEST:: SOT 4416354 SOS 731191 HAS SOPS 731191 HAS SOUS 670600 HAS SOUPS 670600 WITH SCORE 671331.191
AT ITER 1379 NEW BEST:: SOT 4416323 SOS 731129 HAS SOPS 731129 HAS SOUS 670538 HAS SOUPS 670538 WITH SCORE 671269.129
AT ITER 1395 NEW BEST:: SOT 4415683 SOS 730649 HAS SOPS 730649 HAS SOUS 670058 HAS SOUPS 670058 WITH SCORE 670788.649
AT ITER 1402 NEW BEST:: SOT 4415571 SOS 730537 HAS SOPS 730537 HAS SOUS 669946 HAS SOUPS 669946 WITH SCORE 670676.537
AT ITER 1447 NEW BEST:: SOT 4415638 SOS 730671 HAS SOPS 730671 HAS SOUS 669828 HAS SOUPS 669828 WITH SCORE 670558.671
AT ITER 1449 NEW BEST:: SOT 4415621 SOS 730637 HAS SOPS 730637 HAS SOUS 669692 HAS SOUPS 669692 WITH SCORE 670422.637
AT ITER 1459 NEW BEST:: SOT 4415518 SOS 730431 HAS SOPS 730431 HAS SOUS 669486 HAS SOUPS 669486 WITH SCORE 670216.431
AT ITER 1492 NEW BEST:: SOT 4415108 SOS 730021 HAS SOPS 730021 HAS SOUS 669076 HAS SOUPS 669076 WITH SCORE 669806.021
AT ITER 1505 NEW BEST:: SOT 4415107 SOS 730019 HAS SOPS 730019 HAS SOUS 669074 HAS SOUPS 669074 WITH SCORE 669804.019
AT ITER 1516 NEW BEST:: SOT 4414845 SOS 729495 HAS SOPS 729495 HAS SOUS 668970 HAS SOUPS 668970 WITH SCORE 669699.495
AT ITER 1542 NEW BEST:: SOT 4414793 SOS 729391 HAS SOPS 729391 HAS SOUS 668859 HAS SOUPS 668859 WITH SCORE 669588.391
AT ITER 1573 NEW BEST:: SOT 4414687 SOS 729285 HAS SOPS 729285 HAS SOUS 668753 HAS SOUPS 668753 WITH SCORE 669482.285
AT ITER 1657 NEW BEST:: SOT 4414645 SOS 729201 HAS SOPS 729201 HAS SOUS 668669 HAS SOUPS 668669 WITH SCORE 669398.201
AT ITER 1728 NEW BEST:: SOT 4414411 SOS 728733 HAS SOPS 728733 HAS SOUS 668201 HAS SOUPS 668201 WITH SCORE 668929.733
AT ITER 1745 NEW BEST:: SOT 4414411 SOS 728733 HAS SOPS 728733 HAS SOUS 668037 HAS SOUPS 668037 WITH SCORE 668765.733
AT ITER 1759 NEW BEST:: SOT 4414411 SOS 728401 HAS SOPS 728401 HAS SOUS 668036 HAS SOUPS 668036 WITH SCORE 668764.401
AT ITER 1760 NEW BEST:: SOT 4414370 SOS 728595 HAS SOPS 728595 HAS SOUS 667994 HAS SOUPS 667994 WITH SCORE 668722.595
AT ITER 1802 NEW BEST:: SOT 4414207 SOS 728269 HAS SOPS 728269 HAS SOUS 667668 HAS SOUPS 667668 WITH SCORE 668396.269
AT ITER 1822 NEW BEST:: SOT 4414207 SOS 728242 HAS SOPS 728242 HAS SOUS 667641 HAS SOUPS 667641 WITH SCORE 668369.242
AT ITER 1827 NEW BEST:: SOT 4414123 SOS 728074 HAS SOPS 728074 HAS SOUS 667473 HAS SOUPS 667473 WITH SCORE 668201.074
AT ITER 1849 NEW BEST:: SOT 4412359 SOS 726618 HAS SOPS 726618 HAS SOUS 665764 HAS SOUPS 665764 WITH SCORE 666490.618
AT ITER 1857 NEW BEST:: SOT 4412359 SOS 726618 HAS SOPS 726618 HAS SOUS 665620 HAS SOUPS 665620 WITH SCORE 666346.618
AT ITER 1862 NEW BEST:: SOT 4412284 SOS 726518 HAS SOPS 726518 HAS SOUS 665520 HAS SOUPS 665520 WITH SCORE 666246.518
AT ITER 1878 NEW BEST:: SOT 4411777 SOS 726479 HAS SOPS 726479 HAS SOUS 665149 HAS SOUPS 665149 WITH SCORE 665875.479
AT ITER 1919 NEW BEST:: SOT 4411702 SOS 726254 HAS SOPS 726254 HAS SOUS 664999 HAS SOUPS 664999 WITH SCORE 665725.254
AT ITER 1931 NEW BEST:: SOT 4411679 SOS 726208 HAS SOPS 726208 HAS SOUS 664953 HAS SOUPS 664953 WITH SCORE 665679.208
AT ITER 1936 NEW BEST:: SOT 4411679 SOS 726208 HAS SOPS 726208 HAS SOUS 664674 HAS SOUPS 664674 WITH SCORE 665400.208
AT ITER 1941 NEW BEST:: SOT 4411595 SOS 726040 HAS SOPS 726040 HAS SOUS 664506 HAS SOUPS 664506 WITH SCORE 665232.04
AT ITER 1961 NEW BEST:: SOT 4411521 SOS 725929 HAS SOPS 725929 HAS SOUS 664395 HAS SOUPS 664395 WITH SCORE 665120.929
AT ITER 2052 NEW BEST:: SOT 4411521 SOS 725929 HAS SOPS 725929 HAS SOUS 664392 HAS SOUPS 664392 WITH SCORE 665117.929
AT ITER 2064 NEW BEST:: SOT 4411408 SOS 725816 HAS SOPS 725816 HAS SOUS 664279 HAS SOUPS 664279 WITH SCORE 665004.816
AT ITER 2066 NEW BEST:: SOT 4411429 SOS 725402 HAS SOPS 725402 HAS SOUS 663844 HAS SOUPS 663844 WITH SCORE 664569.402
AT ITER 2070 NEW BEST:: SOT 4411396 SOS 725336 HAS SOPS 725336 HAS SOUS 663778 HAS SOUPS 663778 WITH SCORE 664503.336
AT ITER 2087 NEW BEST:: SOT 4411198 SOS 725336 HAS SOPS 725336 HAS SOUS 663679 HAS SOUPS 663679 WITH SCORE 664404.336
AT ITER 2096 NEW BEST:: SOT 4411066 SOS 724724 HAS SOPS 724724 HAS SOUS 663221 HAS SOUPS 663221 WITH SCORE 663945.724
AT ITER 2108 NEW BEST:: SOT 4410911 SOS 724569 HAS SOPS 724569 HAS SOUS 663066 HAS SOUPS 663066 WITH SCORE 663790.569
AT ITER 2110 NEW BEST:: SOT 4409888 SOS 723552 HAS SOPS 723552 HAS SOUS 662043 HAS SOUPS 662043 WITH SCORE 662766.552
AT ITER 2134 NEW BEST:: SOT 4409609 SOS 723334 HAS SOPS 723334 HAS SOUS 661759 HAS SOUPS 661759 WITH SCORE 662482.334
AT ITER 2149 NEW BEST:: SOT 4409215 SOS 723263 HAS SOPS 723263 HAS SOUS 661604 HAS SOUPS 661604 WITH SCORE 662327.263
AT ITER 2154 NEW BEST:: SOT 4408934 SOS 723173 HAS SOPS 723173 HAS SOUS 661059 HAS SOUPS 661059 WITH SCORE 661782.173
AT ITER 2161 NEW BEST:: SOT 4408932 SOS 723173 HAS SOPS 723173 HAS SOUS 661057 HAS SOUPS 661057 WITH SCORE 661780.173
AT ITER 2197 NEW BEST:: SOT 4408931 SOS 723171 HAS SOPS 723171 HAS SOUS 661055 HAS SOUPS 661055 WITH SCORE 661778.171
AT ITER 2216 NEW BEST:: SOT 4408908 SOS 723405 HAS SOPS 723405 HAS SOUS 661032 HAS SOUPS 661032 WITH SCORE 661755.405
AT ITER 2262 NEW BEST:: SOT 4405065 SOS 776535 HAS SOPS 776535 HAS SOUS 659787 HAS SOUPS 659787 WITH SCORE 660563.535
AT ITER 2266 NEW BEST:: SOT 4404906 SOS 776217 HAS SOPS 776217 HAS SOUS 659469 HAS SOUPS 659469 WITH SCORE 660245.217
AT ITER 2278 NEW BEST:: SOT 4404259 SOS 775254 HAS SOPS 775254 HAS SOUS 658506 HAS SOUPS 658506 WITH SCORE 659281.254
AT ITER 2283 NEW BEST:: SOT 4404159 SOS 775154 HAS SOPS 775154 HAS SOUS 658406 HAS SOUPS 658406 WITH SCORE 659181.154
AT ITER 2286 NEW BEST:: SOT 4403967 SOS 774770 HAS SOPS 774770 HAS SOUS 658022 HAS SOUPS 658022 WITH SCORE 658796.77
AT ITER 2294 NEW BEST:: SOT 4403983 SOS 774931 HAS SOPS 774931 HAS SOUS 658015 HAS SOUPS 658015 WITH SCORE 658789.931
AT ITER 2309 NEW BEST:: SOT 4403802 SOS 774979 HAS SOPS 774979 HAS SOUS 657957 HAS SOUPS 657957 WITH SCORE 658731.979
AT ITER 2317 NEW BEST:: SOT 4403835 SOS 774810 HAS SOPS 774810 HAS SOUS 657788 HAS SOUPS 657788 WITH SCORE 658562.81
AT ITER 2352 NEW BEST:: SOT 4403615 SOS 774590 HAS SOPS 774590 HAS SOUS 657568 HAS SOUPS 657568 WITH SCORE 658342.59
AT ITER 2395 NEW BEST:: SOT 4403445 SOS 774581 HAS SOPS 774581 HAS SOUS 657194 HAS SOUPS 657194 WITH SCORE 657968.581
AT ITER 2405 NEW BEST:: SOT 4403445 SOS 774502 HAS SOPS 774502 HAS SOUS 657193 HAS SOUPS 657193 WITH SCORE 657967.502
AT ITER 2427 NEW BEST:: SOT 4403441 SOS 774494 HAS SOPS 774494 HAS SOUS 657185 HAS SOUPS 657185 WITH SCORE 657959.494
AT ITER 2436 NEW BEST:: SOT 4403509 SOS 774630 HAS SOPS 774630 HAS SOUS 657093 HAS SOUPS 657093 WITH SCORE 657867.63
AT ITER 2438 NEW BEST:: SOT 4403282 SOS 774176 HAS SOPS 774176 HAS SOUS 656779 HAS SOUPS 656779 WITH SCORE 657553.176
AT ITER 2440 NEW BEST:: SOT 4403238 SOS 774088 HAS SOPS 774088 HAS SOUS 656735 HAS SOUPS 656735 WITH SCORE 657509.088
AT ITER 2460 NEW BEST:: SOT 4402930 SOS 773472 HAS SOPS 773472 HAS SOUS 656119 HAS SOUPS 656119 WITH SCORE 656892.472
AT ITER 2477 NEW BEST:: SOT 4402633 SOS 773714 HAS SOPS 773714 HAS SOUS 656031 HAS SOUPS 656031 WITH SCORE 656804.714
AT ITER 2492 NEW BEST:: SOT 4402149 SOS 773266 HAS SOPS 773266 HAS SOUS 655567 HAS SOUPS 655567 WITH SCORE 656340.266
AT ITER 2496 NEW BEST:: SOT 4402314 SOS 773180 HAS SOPS 773180 HAS SOUS 655399 HAS SOUPS 655399 WITH SCORE 656172.18
AT ITER 2502 NEW BEST:: SOT 4402308 SOS 773168 HAS SOPS 773168 HAS SOUS 655387 HAS SOUPS 655387 WITH SCORE 656160.168
AT ITER 2523 NEW BEST:: SOT 4402234 SOS 773094 HAS SOPS 773094 HAS SOUS 655313 HAS SOUPS 655313 WITH SCORE 656086.094
AT ITER 2529 NEW BEST:: SOT 4401966 SOS 772558 HAS SOPS 772558 HAS SOUS 654777 HAS SOUPS 654777 WITH SCORE 655549.558
AT ITER 2533 NEW BEST:: SOT 4401863 SOS 772610 HAS SOPS 772610 HAS SOUS 654702 HAS SOUPS 654702 WITH SCORE 655474.61
AT ITER 2541 NEW BEST:: SOT 4401838 SOS 772560 HAS SOPS 772560 HAS SOUS 654532 HAS SOUPS 654532 WITH SCORE 655304.56
AT ITER 2581 NEW BEST:: SOT 4401838 SOS 772110 HAS SOPS 772110 HAS SOUS 654532 HAS SOUPS 654532 WITH SCORE 655304.11
AT ITER 2586 NEW BEST:: SOT 4401838 SOS 772110 HAS SOPS 772110 HAS SOUS 654347 HAS SOUPS 654347 WITH SCORE 655119.11
AT ITER 2608 NEW BEST:: SOT 4401758 SOS 771950 HAS SOPS 771950 HAS SOUS 654187 HAS SOUPS 654187 WITH SCORE 654958.95
AT ITER 2615 NEW BEST:: SOT 4401650 SOS 771734 HAS SOPS 771734 HAS SOUS 653868 HAS SOUPS 653868 WITH SCORE 654639.734
AT ITER 2628 NEW BEST:: SOT 4401608 SOS 771650 HAS SOPS 771650 HAS SOUS 653826 HAS SOUPS 653826 WITH SCORE 654597.65
AT ITER 2632 NEW BEST:: SOT 4401608 SOS 771470 HAS SOPS 771470 HAS SOUS 653826 HAS SOUPS 653826 WITH SCORE 654597.47
AT ITER 2675 NEW BEST:: SOT 4401566 SOS 771386 HAS SOPS 771386 HAS SOUS 653784 HAS SOUPS 653784 WITH SCORE 654555.386
AT ITER 2705 NEW BEST:: SOT 4401562 SOS 771378 HAS SOPS 771378 HAS SOUS 653776 HAS SOUPS 653776 WITH SCORE 654547.378
AT ITER 2728 NEW BEST:: SOT 4401337 SOS 771264 HAS SOPS 771264 HAS SOUS 653593 HAS SOUPS 653593 WITH SCORE 654364.264
AT ITER 2737 NEW BEST:: SOT 4401140 SOS 770870 HAS SOPS 770870 HAS SOUS 653239 HAS SOUPS 653239 WITH SCORE 654009.87
AT ITER 2775 NEW BEST:: SOT 4401139 SOS 770846 HAS SOPS 770846 HAS SOUS 653215 HAS SOUPS 653215 WITH SCORE 653985.846
AT ITER 2828 NEW BEST:: SOT 4401126 SOS 770722 HAS SOPS 770722 HAS SOUS 653160 HAS SOUPS 653160 WITH SCORE 653930.722
AT ITER 2837 NEW BEST:: SOT 4401095 SOS 770598 HAS SOPS 770598 HAS SOUS 653098 HAS SOUPS 653098 WITH SCORE 653868.598
AT ITER 2867 NEW BEST:: SOT 4401095 SOS 770472 HAS SOPS 770472 HAS SOUS 653098 HAS SOUPS 653098 WITH SCORE 653868.472
AT ITER 2897 NEW BEST:: SOT 4401079 SOS 770456 HAS SOPS 770456 HAS SOUS 653082 HAS SOUPS 653082 WITH SCORE 653852.456
AT ITER 2898 NEW BEST:: SOT 4401052 SOS 770402 HAS SOPS 770402 HAS SOUS 653055 HAS SOUPS 653055 WITH SCORE 653825.402
AT ITER 2909 NEW BEST:: SOT 4401052 SOS 770402 HAS SOPS 770402 HAS SOUS 653038 HAS SOUPS 653038 WITH SCORE 653808.402
AT ITER 2958 NEW BEST:: SOT 4401014 SOS 770268 HAS SOPS 770268 HAS SOUS 653020 HAS SOUPS 653020 WITH SCORE 653790.268
AT ITER 2978 NEW BEST:: SOT 4401183 SOS 770606 HAS SOPS 770606 HAS SOUS 653016 HAS SOUPS 653016 WITH SCORE 653786.606
AT ITER 2986 NEW BEST:: SOT 4401141 SOS 770522 HAS SOPS 770522 HAS SOUS 652974 HAS SOUPS 652974 WITH SCORE 653744.522
AT ITER 3026 NEW BEST:: SOT 4401050 SOS 770450 HAS SOPS 770450 HAS SOUS 652902 HAS SOUPS 652902 WITH SCORE 653672.45
AT ITER 3037 NEW BEST:: SOT 4401050 SOS 770161 HAS SOPS 770161 HAS SOUS 652900 HAS SOUPS 652900 WITH SCORE 653670.161
AT ITER 3053 NEW BEST:: SOT 4400995 SOS 770051 HAS SOPS 770051 HAS SOUS 652790 HAS SOUPS 652790 WITH SCORE 653560.051
AT ITER 3059 NEW BEST:: SOT 4400807 SOS 769675 HAS SOPS 769675 HAS SOUS 652414 HAS SOUPS 652414 WITH SCORE 653183.675
AT ITER 3075 NEW BEST:: SOT 4400791 SOS 769776 HAS SOPS 769776 HAS SOUS 652398 HAS SOUPS 652398 WITH SCORE 653167.776
AT ITER 3080 NEW BEST:: SOT 4400791 SOS 769339 HAS SOPS 769339 HAS SOUS 652110 HAS SOUPS 652110 WITH SCORE 652879.339
AT ITER 3096 NEW BEST:: SOT 4400643 SOS 769043 HAS SOPS 769043 HAS SOUS 651996 HAS SOUPS 651996 WITH SCORE 652765.043
AT ITER 3138 NEW BEST:: SOT 4400597 SOS 768685 HAS SOPS 768685 HAS SOUS 651684 HAS SOUPS 651684 WITH SCORE 652452.685
AT ITER 3145 NEW BEST:: SOT 4400525 SOS 768541 HAS SOPS 768541 HAS SOUS 651612 HAS SOUPS 651612 WITH SCORE 652380.541
AT ITER 3181 NEW BEST:: SOT 4400688 SOS 768867 HAS SOPS 768867 HAS SOUS 651510 HAS SOUPS 651510 WITH SCORE 652278.867
AT ITER 3189 NEW BEST:: SOT 4400660 SOS 768629 HAS SOPS 768629 HAS SOUS 651454 HAS SOUPS 651454 WITH SCORE 652222.629
AT ITER 3232 NEW BEST:: SOT 4400660 SOS 768412 HAS SOPS 768412 HAS SOUS 651453 HAS SOUPS 651453 WITH SCORE 652221.412
AT ITER 3260 NEW BEST:: SOT 4399189 SOS 769315 HAS SOPS 769315 HAS SOUS 650464 HAS SOUPS 650464 WITH SCORE 651233.315
AT ITER 3268 NEW BEST:: SOT 4399077 SOS 768971 HAS SOPS 768971 HAS SOUS 650145 HAS SOUPS 650145 WITH SCORE 650913.971
AT ITER 3276 NEW BEST:: SOT 4398793 SOS 768971 HAS SOPS 768971 HAS SOUS 650003 HAS SOUPS 650003 WITH SCORE 650771.971
AT ITER 3285 NEW BEST:: SOT 4398793 SOS 768971 HAS SOPS 768971 HAS SOUS 650002 HAS SOUPS 650002 WITH SCORE 650770.971
AT ITER 3292 NEW BEST:: SOT 4398793 SOS 768721 HAS SOPS 768721 HAS SOUS 650002 HAS SOUPS 650002 WITH SCORE 650770.721
AT ITER 3296 NEW BEST:: SOT 4398793 SOS 768327 HAS SOPS 768327 HAS SOUS 649805 HAS SOUPS 649805 WITH SCORE 650573.327
AT ITER 3300 NEW BEST:: SOT 4389651 SOS 810649 HAS SOPS 810649 HAS SOUS 643223 HAS SOUPS 643223 WITH SCORE 644033.649
AT ITER 3307 NEW BEST:: SOT 4389755 SOS 810427 HAS SOPS 810427 HAS SOUS 643048 HAS SOUPS 643048 WITH SCORE 643858.427
AT ITER 3323 NEW BEST:: SOT 4389296 SOS 810478 HAS SOPS 810478 HAS SOUS 642884 HAS SOUPS 642884 WITH SCORE 643694.478
AT ITER 3343 NEW BEST:: SOT 4389199 SOS 810284 HAS SOPS 810284 HAS SOUS 642787 HAS SOUPS 642787 WITH SCORE 643597.284
AT ITER 3369 NEW BEST:: SOT 4389198 SOS 810282 HAS SOPS 810282 HAS SOUS 642785 HAS SOUPS 642785 WITH SCORE 643595.282
AT ITER 3394 NEW BEST:: SOT 4389198 SOS 810126 HAS SOPS 810126 HAS SOUS 642785 HAS SOUPS 642785 WITH SCORE 643595.126
AT ITER 3413 NEW BEST:: SOT 4389080 SOS 810008 HAS SOPS 810008 HAS SOUS 642667 HAS SOUPS 642667 WITH SCORE 643477.008
AT ITER 3432 NEW BEST:: SOT 4389080 SOS 809918 HAS SOPS 809918 HAS SOUS 642664 HAS SOUPS 642664 WITH SCORE 643473.918
AT ITER 3454 NEW BEST:: SOT 4388897 SOS 809552 HAS SOPS 809552 HAS SOUS 642479 HAS SOUPS 642479 WITH SCORE 643288.552
AT ITER 3456 NEW BEST:: SOT 4388864 SOS 809486 HAS SOPS 809486 HAS SOUS 642446 HAS SOUPS 642446 WITH SCORE 643255.486
AT ITER 3500 NEW BEST:: SOT 4388762 SOS 809282 HAS SOPS 809282 HAS SOUS 642242 HAS SOUPS 642242 WITH SCORE 643051.282
AT ITER 3519 NEW BEST:: SOT 4388694 SOS 809146 HAS SOPS 809146 HAS SOUS 642106 HAS SOUPS 642106 WITH SCORE 642915.146
AT ITER 3535 NEW BEST:: SOT 4388624 SOS 809076 HAS SOPS 809076 HAS SOUS 642036 HAS SOUPS 642036 WITH SCORE 642845.076
AT ITER 3551 NEW BEST:: SOT 4388396 SOS 808848 HAS SOPS 808848 HAS SOUS 641808 HAS SOUPS 641808 WITH SCORE 642616.848
AT ITER 3560 NEW BEST:: SOT 4388396 SOS 808675 HAS SOPS 808675 HAS SOUS 641808 HAS SOUPS 641808 WITH SCORE 642616.675
AT ITER 3573 NEW BEST:: SOT 4388412 SOS 808707 HAS SOPS 808707 HAS SOUS 641803 HAS SOUPS 641803 WITH SCORE 642611.707
AT ITER 3624 NEW BEST:: SOT 4385750 SOS 843985 HAS SOPS 843985 HAS SOUS 641475 HAS SOUPS 641475 WITH SCORE 642318.985
AT ITER 3632 NEW BEST:: SOT 4385755 SOS 843734 HAS SOPS 843734 HAS SOUS 641238 HAS SOUPS 641238 WITH SCORE 642081.734
AT ITER 3643 NEW BEST:: SOT 4385719 SOS 843662 HAS SOPS 843662 HAS SOUS 641127 HAS SOUPS 641127 WITH SCORE 641970.662
AT ITER 3648 NEW BEST:: SOT 4385631 SOS 843574 HAS SOPS 843574 HAS SOUS 641039 HAS SOUPS 641039 WITH SCORE 641882.574
AT ITER 3655 NEW BEST:: SOT 4385629 SOS 843500 HAS SOPS 843500 HAS SOUS 640965 HAS SOUPS 640965 WITH SCORE 641808.5
AT ITER 3659 NEW BEST:: SOT 4385629 SOS 843380 HAS SOPS 843380 HAS SOUS 640965 HAS SOUPS 640965 WITH SCORE 641808.38
AT ITER 3660 NEW BEST:: SOT 4385518 SOS 843269 HAS SOPS 843269 HAS SOUS 640854 HAS SOUPS 640854 WITH SCORE 641697.269
AT ITER 3675 NEW BEST:: SOT 4385551 SOS 843335 HAS SOPS 843335 HAS SOUS 640799 HAS SOUPS 640799 WITH SCORE 641642.335
AT ITER 3697 NEW BEST:: SOT 4385586 SOS 843724 HAS SOPS 843724 HAS SOUS 640550 HAS SOUPS 640550 WITH SCORE 641393.724
AT ITER 3706 NEW BEST:: SOT 4385585 SOS 843722 HAS SOPS 843722 HAS SOUS 640549 HAS SOUPS 640549 WITH SCORE 641392.722
AT ITER 3725 NEW BEST:: SOT 4385351 SOS 843539 HAS SOPS 843539 HAS SOUS 640366 HAS SOUPS 640366 WITH SCORE 641209.539
AT ITER 3738 NEW BEST:: SOT 4385300 SOS 843527 HAS SOPS 843527 HAS SOUS 640333 HAS SOUPS 640333 WITH SCORE 641176.527
AT ITER 3776 NEW BEST:: SOT 4385384 SOS 843382 HAS SOPS 843382 HAS SOUS 640188 HAS SOUPS 640188 WITH SCORE 641031.382
AT ITER 3779 NEW BEST:: SOT 4385185 SOS 842984 HAS SOPS 842984 HAS SOUS 639790 HAS SOUPS 639790 WITH SCORE 640632.984
AT ITER 3798 NEW BEST:: SOT 4385123 SOS 842860 HAS SOPS 842860 HAS SOUS 639666 HAS SOUPS 639666 WITH SCORE 640508.86
AT ITER 3809 NEW BEST:: SOT 4385063 SOS 842740 HAS SOPS 842740 HAS SOUS 639546 HAS SOUPS 639546 WITH SCORE 640388.74
AT ITER 3814 NEW BEST:: SOT 4385040 SOS 842565 HAS SOPS 842565 HAS SOUS 639500 HAS SOUPS 639500 WITH SCORE 640342.565
AT ITER 3823 NEW BEST:: SOT 4384798 SOS 842519 HAS SOPS 842519 HAS SOUS 639264 HAS SOUPS 639264 WITH SCORE 640106.519
AT ITER 3844 NEW BEST:: SOT 4384798 SOS 842013 HAS SOPS 842013 HAS SOUS 639264 HAS SOUPS 639264 WITH SCORE 640106.013
AT ITER 3865 NEW BEST:: SOT 4384759 SOS 841935 HAS SOPS 841935 HAS SOUS 639225 HAS SOUPS 639225 WITH SCORE 640066.935
AT ITER 3874 NEW BEST:: SOT 4384560 SOS 841906 HAS SOPS 841906 HAS SOUS 639025 HAS SOUPS 639025 WITH SCORE 639866.906
AT ITER 3881 NEW BEST:: SOT 4384560 SOS 841729 HAS SOPS 841729 HAS SOUS 639025 HAS SOUPS 639025 WITH SCORE 639866.729
AT ITER 3917 NEW BEST:: SOT 4384252 SOS 841113 HAS SOPS 841113 HAS SOUS 638717 HAS SOUPS 638717 WITH SCORE 639558.113
AT ITER 3924 NEW BEST:: SOT 4382224 SOS 877545 HAS SOPS 877545 HAS SOUS 638185 HAS SOUPS 638185 WITH SCORE 639062.545
AT ITER 3939 NEW BEST:: SOT 4382223 SOS 877543 HAS SOPS 877543 HAS SOUS 638183 HAS SOUPS 638183 WITH SCORE 639060.543
AT ITER 3949 NEW BEST:: SOT 4382150 SOS 877397 HAS SOPS 877397 HAS SOUS 638110 HAS SOUPS 638110 WITH SCORE 638987.397
AT ITER 3991 NEW BEST:: SOT 4382009 SOS 877256 HAS SOPS 877256 HAS SOUS 637969 HAS SOUPS 637969 WITH SCORE 638846.256
AT ITER 3994 NEW BEST:: SOT 4382009 SOS 877256 HAS SOPS 877256 HAS SOUS 637968 HAS SOUPS 637968 WITH SCORE 638845.256
AT ITER 4025 NEW BEST:: SOT 4381937 SOS 876995 HAS SOPS 876995 HAS SOUS 637824 HAS SOUPS 637824 WITH SCORE 638700.995
AT ITER 4030 NEW BEST:: SOT 4381937 SOS 876878 HAS SOPS 876878 HAS SOUS 637707 HAS SOUPS 637707 WITH SCORE 638583.878
AT ITER 4068 NEW BEST:: SOT 4381806 SOS 876747 HAS SOPS 876747 HAS SOUS 637445 HAS SOUPS 637445 WITH SCORE 638321.747
AT ITER 4080 NEW BEST:: SOT 4381720 SOS 876235 HAS SOPS 876235 HAS SOUS 637265 HAS SOUPS 637265 WITH SCORE 638141.235
AT ITER 4084 NEW BEST:: SOT 4381410 SOS 875615 HAS SOPS 875615 HAS SOUS 636645 HAS SOUPS 636645 WITH SCORE 637520.615
AT ITER 4167 NEW BEST:: SOT 4381409 SOS 875487 HAS SOPS 875487 HAS SOUS 636643 HAS SOUPS 636643 WITH SCORE 637518.487
AT ITER 4172 NEW BEST:: SOT 4381455 SOS 875579 HAS SOPS 875579 HAS SOUS 636619 HAS SOUPS 636619 WITH SCORE 637494.579
AT ITER 4180 NEW BEST:: SOT 4381405 SOS 875479 HAS SOPS 875479 HAS SOUS 636348 HAS SOUPS 636348 WITH SCORE 637223.479
AT ITER 4190 NEW BEST:: SOT 4381367 SOS 875403 HAS SOPS 875403 HAS SOUS 636225 HAS SOUPS 636225 WITH SCORE 637100.403
AT ITER 4218 NEW BEST:: SOT 4381343 SOS 875355 HAS SOPS 875355 HAS SOUS 636213 HAS SOUPS 636213 WITH SCORE 637088.355
AT ITER 4222 NEW BEST:: SOT 4381362 SOS 875393 HAS SOPS 875393 HAS SOUS 635937 HAS SOUPS 635937 WITH SCORE 636812.393
AT ITER 4231 NEW BEST:: SOT 4381262 SOS 875193 HAS SOPS 875193 HAS SOUS 635837 HAS SOUPS 635837 WITH SCORE 636712.193
AT ITER 4233 NEW BEST:: SOT 4381083 SOS 874658 HAS SOPS 874658 HAS SOUS 635479 HAS SOUPS 635479 WITH SCORE 636353.658
AT ITER 4265 NEW BEST:: SOT 4380837 SOS 874469 HAS SOPS 874469 HAS SOUS 635178 HAS SOUPS 635178 WITH SCORE 636052.469
AT ITER 4274 NEW BEST:: SOT 4380757 SOS 874309 HAS SOPS 874309 HAS SOUS 635018 HAS SOUPS 635018 WITH SCORE 635892.309
AT ITER 4285 NEW BEST:: SOT 4380757 SOS 873929 HAS SOPS 873929 HAS SOUS 635018 HAS SOUPS 635018 WITH SCORE 635891.929
AT ITER 4289 NEW BEST:: SOT 4380728 SOS 873871 HAS SOPS 873871 HAS SOUS 634972 HAS SOUPS 634972 WITH SCORE 635845.871
AT ITER 4291 NEW BEST:: SOT 4380838 SOS 873795 HAS SOPS 873795 HAS SOUS 634897 HAS SOUPS 634897 WITH SCORE 635770.795
AT ITER 4318 NEW BEST:: SOT 4380770 SOS 873730 HAS SOPS 873730 HAS SOUS 634829 HAS SOUPS 634829 WITH SCORE 635702.73
AT ITER 4321 NEW BEST:: SOT 4380747 SOS 873684 HAS SOPS 873684 HAS SOUS 634783 HAS SOUPS 634783 WITH SCORE 635656.684
AT ITER 4347 NEW BEST:: SOT 4380747 SOS 873684 HAS SOPS 873684 HAS SOUS 634685 HAS SOUPS 634685 WITH SCORE 635558.684
AT ITER 4382 NEW BEST:: SOT 4380317 SOS 874014 HAS SOPS 874014 HAS SOUS 634319 HAS SOUPS 634319 WITH SCORE 635193.014
AT ITER 4388 NEW BEST:: SOT 4380263 SOS 873906 HAS SOPS 873906 HAS SOUS 634211 HAS SOUPS 634211 WITH SCORE 635084.906
AT ITER 4401 NEW BEST:: SOT 4380167 SOS 873281 HAS SOPS 873281 HAS SOUS 634019 HAS SOUPS 634019 WITH SCORE 634892.281
AT ITER 4419 NEW BEST:: SOT 4380167 SOS 873234 HAS SOPS 873234 HAS SOUS 634019 HAS SOUPS 634019 WITH SCORE 634892.234
AT ITER 4446 NEW BEST:: SOT 4379857 SOS 872938 HAS SOPS 872938 HAS SOUS 633709 HAS SOUPS 633709 WITH SCORE 634581.938
AT ITER 4473 NEW BEST:: SOT 4379849 SOS 872922 HAS SOPS 872922 HAS SOUS 633701 HAS SOUPS 633701 WITH SCORE 634573.922
AT ITER 4474 NEW BEST:: SOT 4379849 SOS 872922 HAS SOPS 872922 HAS SOUS 633698 HAS SOUPS 633698 WITH SCORE 634570.922
AT ITER 4477 NEW BEST:: SOT 4379774 SOS 872697 HAS SOPS 872697 HAS SOUS 633548 HAS SOUPS 633548 WITH SCORE 634420.697
AT ITER 4478 NEW BEST:: SOT 4379476 SOS 872101 HAS SOPS 872101 HAS SOUS 633259 HAS SOUPS 633259 WITH SCORE 634131.101
AT ITER 4503 NEW BEST:: SOT 4379183 SOS 872063 HAS SOPS 872063 HAS SOUS 633088 HAS SOUPS 633088 WITH SCORE 633960.063
AT ITER 4537 NEW BEST:: SOT 4379116 SOS 871929 HAS SOPS 871929 HAS SOUS 633021 HAS SOUPS 633021 WITH SCORE 633892.929
AT ITER 4538 NEW BEST:: SOT 4379116 SOS 871929 HAS SOPS 871929 HAS SOUS 632862 HAS SOUPS 632862 WITH SCORE 633733.929
AT ITER 4571 NEW BEST:: SOT 4378930 SOS 871557 HAS SOPS 871557 HAS SOUS 632676 HAS SOUPS 632676 WITH SCORE 633547.557
AT ITER 4597 NEW BEST:: SOT 4378926 SOS 871549 HAS SOPS 871549 HAS SOUS 632655 HAS SOUPS 632655 WITH SCORE 633526.549
AT ITER 4605 NEW BEST:: SOT 4378819 SOS 871228 HAS SOPS 871228 HAS SOUS 632441 HAS SOUPS 632441 WITH SCORE 633312.228
AT ITER 4610 NEW BEST:: SOT 4378711 SOS 871120 HAS SOPS 871120 HAS SOUS 632333 HAS SOUPS 632333 WITH SCORE 633204.12
AT ITER 4618 NEW BEST:: SOT 4378646 SOS 870990 HAS SOPS 870990 HAS SOUS 632270 HAS SOUPS 632270 WITH SCORE 633140.99
AT ITER 4635 NEW BEST:: SOT 4378715 SOS 870869 HAS SOPS 870869 HAS SOUS 632149 HAS SOUPS 632149 WITH SCORE 633019.869
AT ITER 4638 NEW BEST:: SOT 4378609 SOS 870657 HAS SOPS 870657 HAS SOUS 631937 HAS SOUPS 631937 WITH SCORE 632807.657
AT ITER 4645 NEW BEST:: SOT 4378442 SOS 870991 HAS SOPS 870991 HAS SOUS 631770 HAS SOUPS 631770 WITH SCORE 632640.991
AT ITER 4683 NEW BEST:: SOT 4378392 SOS 870891 HAS SOPS 870891 HAS SOUS 631670 HAS SOUPS 631670 WITH SCORE 632540.891
AT ITER 4690 NEW BEST:: SOT 4378441 SOS 870989 HAS SOPS 870989 HAS SOUS 631619 HAS SOUPS 631619 WITH SCORE 632489.989
AT ITER 4737 NEW BEST:: SOT 4378096 SOS 843019 HAS SOPS 843019 HAS SOUS 631164 HAS SOUPS 631164 WITH SCORE 632007.019
AT ITER 4742 NEW BEST:: SOT 4377702 SOS 843375 HAS SOPS 843375 HAS SOUS 631083 HAS SOUPS 631083 WITH SCORE 631926.375
AT ITER 4760 NEW BEST:: SOT 4377701 SOS 843373 HAS SOPS 843373 HAS SOUS 631081 HAS SOUPS 631081 WITH SCORE 631924.373
AT ITER 4783 NEW BEST:: SOT 4377628 SOS 843300 HAS SOPS 843300 HAS SOUS 630935 HAS SOUPS 630935 WITH SCORE 631778.3
AT ITER 4796 NEW BEST:: SOT 4377568 SOS 843180 HAS SOPS 843180 HAS SOUS 630815 HAS SOUPS 630815 WITH SCORE 631658.18
AT ITER 4804 NEW BEST:: SOT 4377507 SOS 843058 HAS SOPS 843058 HAS SOUS 630754 HAS SOUPS 630754 WITH SCORE 631597.058
AT ITER 4856 NEW BEST:: SOT 4377321 SOS 843058 HAS SOPS 843058 HAS SOUS 630661 HAS SOUPS 630661 WITH SCORE 631504.058
AT ITER 4875 NEW BEST:: SOT 4377441 SOS 842946 HAS SOPS 842946 HAS SOUS 630549 HAS SOUPS 630549 WITH SCORE 631391.946
AT ITER 4894 NEW BEST:: SOT 4377441 SOS 812751 HAS SOPS 812751 HAS SOUS 630549 HAS SOUPS 630549 WITH SCORE 631361.751
AT ITER 4909 NEW BEST:: SOT 4377701 SOS 812739 HAS SOPS 812739 HAS SOUS 630365 HAS SOUPS 630365 WITH SCORE 631177.739
AT ITER 4910 NEW BEST:: SOT 4377668 SOS 812673 HAS SOPS 812673 HAS SOUS 630299 HAS SOUPS 630299 WITH SCORE 631111.673
AT ITER 4937 NEW BEST:: SOT 4377597 SOS 812531 HAS SOPS 812531 HAS SOUS 630157 HAS SOUPS 630157 WITH SCORE 630969.531
AT ITER 4983 NEW BEST:: SOT 4377596 SOS 812530 HAS SOPS 812530 HAS SOUS 630155 HAS SOUPS 630155 WITH SCORE 630967.53
AT ITER 4996 NEW BEST:: SOT 4377596 SOS 812102 HAS SOPS 812102 HAS SOUS 630155 HAS SOUPS 630155 WITH SCORE 630967.102
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-00 (AF( ( ((potential((tk(P672)>=1)))) | ( (AG( ((potential((tk(P1613)>=1)))))) | ((potential((tk(P1314)>=1)))) ) )))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-01 (AU( (! ((potential((tk(P458)>=1))))) , (EF( ((potential((tk(P1330)>=1)))))) ))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-02 (AG( (AU( (! ((potential((tk(P2526)>=1))))) , ( ((potential((tk(P1502)>=1)))) & ((potential((tk(P1509)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-03 (! (EF( (AF( ((potential((tk(P1392)>=1)))))))))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-04 (AF( ((potential((tk(P1292)>=1))))))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-05 ( ( ((potential((tk(P56)>=1)))) | ( (! (AX( ((potential((tk(P52)>=1))))))) | ( (! ( ((potential((tk(P2443)>=1)))) & ((potential((tk(P384)>=1)))) )) | (AG( ((potential((tk(P1699)>=1)))))) ) ) ) & ( ( (AX( ((potential((tk(P141)>=1)))))) | ( (EF( ((potential((tk(P2184)>=1)))))) & (EF( ((potential((tk(P1910)>=1)))))) ) ) & ( ( (EX( ((potential((tk(P988)>=1)))))) | (! ((potential((tk(P236)>=1))))) ) & ( (! ( ((potential((tk(P1777)>=1)))) & ((potential((tk(P1695)>=1)))) )) | (AG( ((potential((tk(P441)>=1)))))) ) ) ) )
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-06 (! (AF( (AF( ( ((potential((tk(P2567)>=1)))) & ((potential((tk(P2338)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-07 ( (EX( (AG( (! ((potential((tk(P955)>=1))))))))) | ( (EG( (EF( ((potential((tk(P1387)>=1)))))))) | ( (EX( (! ((potential((tk(P642)>=1))))))) & (EF( ( ((potential((tk(P222)>=1)))) & ((potential((tk(P1420)>=1)))) ))) ) ) )
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-08 (AG( ( (EX( (! ((potential((tk(P1722)>=1))))))) | (AU( ((potential((tk(P901)>=1)))) , ((potential((tk(P1161)>=1)))) )) )))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-09 (EX( (! (EF( ( ((potential((tk(P2385)>=1)))) & ((potential((tk(P2186)>=1)))) ))))))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-10 (AU( (AX( (! ((potential((tk(P1277)>=1))))))) , ((potential((tk(P2004)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-11 (AX( ( ( ((potential((tk(P1196)>=1)))) & ( (! ((potential((tk(P2016)>=1))))) & ( ((potential((tk(P1190)>=1)))) & ((potential((tk(P458)>=1)))) ) ) ) | (! (AF( ((potential((tk(P624)>=1))))))) )))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-12 (AG( (! ( (! ( ((potential((tk(P597)>=1)))) & ((potential((tk(P443)>=1)))) )) & ( ((potential((tk(P2567)>=1)))) & ( ((potential((tk(P290)>=1)))) | ((potential((tk(P859)>=1)))) ) ) ))))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-13 ( (EX( (! (EF( ((potential((tk(P573)>=1) & (tk(P1648)>=1))))))))) | (AG( ( ( ((potential((tk(P409)>=1)))) | ((potential((tk(P291)>=1)))) ) | (AF( ((potential((tk(P1230)>=1)))))) ))) )
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-14 (AU( (AX( ( ((potential((tk(P115)>=1)))) & ((potential((tk(P1779)>=1)))) ))) , ( (EF( ((potential((tk(P1065)>=1)))))) & (! ( ((potential((tk(P2439)>=1)))) | ((potential((tk(P750)>=1)))) )) ) ))
PROPERTY: CloudReconfiguration-PT-304-CTLFireability-15 ( (AX( (EU( ((potential((tk(P1611)>=1)))) , ((potential((tk(P2225)>=1)))) )))) | (! ( (EF( ((potential((tk(P2121)>=1)))))) | ((potential((tk(P875)>=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-304"
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-304, 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-158902541600028"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-304.tgz
mv CloudReconfiguration-PT-304 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 '
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 ;