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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 4.1K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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.7K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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-303-CTLFireability-00
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-01
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-02
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-03
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-04
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-05
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-06
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-07
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-08
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-09
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-10
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-11
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-12
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-13
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-14
FORMULA_NAME CloudReconfiguration-PT-303-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589088017302

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 303
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 4445607 SOS 744324 HAS SOPS 744324 HAS SOUS 686655 HAS SOUPS 686655 WITH SCORE 687399.324
AT ITER 41 NEW BEST:: SOT 4445445 SOS 744000 HAS SOPS 744000 HAS SOUS 686331 HAS SOUPS 686331 WITH SCORE 687075.0
AT ITER 64 NEW BEST:: SOT 4445805 SOS 743812 HAS SOPS 743812 HAS SOUS 686255 HAS SOUPS 686255 WITH SCORE 686998.812
AT ITER 68 NEW BEST:: SOT 4445766 SOS 744061 HAS SOPS 744061 HAS SOUS 686230 HAS SOUPS 686230 WITH SCORE 686974.061
AT ITER 81 NEW BEST:: SOT 4445693 SOS 743988 HAS SOPS 743988 HAS SOUS 686157 HAS SOUPS 686157 WITH SCORE 686900.988
AT ITER 111 NEW BEST:: SOT 4445650 SOS 743902 HAS SOPS 743902 HAS SOUS 686071 HAS SOUPS 686071 WITH SCORE 686814.902
AT ITER 165 NEW BEST:: SOT 4445598 SOS 743857 HAS SOPS 743857 HAS SOUS 685967 HAS SOUPS 685967 WITH SCORE 686710.857
AT ITER 192 NEW BEST:: SOT 4445597 SOS 743855 HAS SOPS 743855 HAS SOUS 685966 HAS SOUPS 685966 WITH SCORE 686709.855
AT ITER 197 NEW BEST:: SOT 4445548 SOS 743757 HAS SOPS 743757 HAS SOUS 685868 HAS SOUPS 685868 WITH SCORE 686611.757
AT ITER 220 NEW BEST:: SOT 4444830 SOS 742923 HAS SOPS 742923 HAS SOUS 684931 HAS SOUPS 684931 WITH SCORE 685673.923
AT ITER 229 NEW BEST:: SOT 4444829 SOS 742921 HAS SOPS 742921 HAS SOUS 684929 HAS SOUPS 684929 WITH SCORE 685671.921
AT ITER 250 NEW BEST:: SOT 4444829 SOS 742921 HAS SOPS 742921 HAS SOUS 684841 HAS SOUPS 684841 WITH SCORE 685583.921
AT ITER 260 NEW BEST:: SOT 4444829 SOS 742892 HAS SOPS 742892 HAS SOUS 684812 HAS SOUPS 684812 WITH SCORE 685554.892
AT ITER 269 NEW BEST:: SOT 4444818 SOS 743218 HAS SOPS 743218 HAS SOUS 684801 HAS SOUPS 684801 WITH SCORE 685544.218
AT ITER 277 NEW BEST:: SOT 4444985 SOS 742790 HAS SOPS 742790 HAS SOUS 684511 HAS SOUPS 684511 WITH SCORE 685253.79
AT ITER 290 NEW BEST:: SOT 4444833 SOS 742334 HAS SOPS 742334 HAS SOUS 684207 HAS SOUPS 684207 WITH SCORE 684949.334
AT ITER 291 NEW BEST:: SOT 4444833 SOS 742334 HAS SOPS 742334 HAS SOUS 684204 HAS SOUPS 684204 WITH SCORE 684946.334
AT ITER 303 NEW BEST:: SOT 4445178 SOS 742122 HAS SOPS 742122 HAS SOUS 684116 HAS SOUPS 684116 WITH SCORE 684858.122
AT ITER 321 NEW BEST:: SOT 4444820 SOS 742464 HAS SOPS 742464 HAS SOUS 684079 HAS SOUPS 684079 WITH SCORE 684821.464
AT ITER 343 NEW BEST:: SOT 4444562 SOS 742206 HAS SOPS 742206 HAS SOUS 683821 HAS SOUPS 683821 WITH SCORE 684563.206
AT ITER 345 NEW BEST:: SOT 4444316 SOS 741993 HAS SOPS 741993 HAS SOUS 683575 HAS SOUPS 683575 WITH SCORE 684316.993
AT ITER 363 NEW BEST:: SOT 4444130 SOS 741884 HAS SOPS 741884 HAS SOUS 683388 HAS SOUPS 683388 WITH SCORE 684129.884
AT ITER 380 NEW BEST:: SOT 4444026 SOS 741676 HAS SOPS 741676 HAS SOUS 683180 HAS SOUPS 683180 WITH SCORE 683921.676
AT ITER 381 NEW BEST:: SOT 4443890 SOS 741794 HAS SOPS 741794 HAS SOUS 683156 HAS SOUPS 683156 WITH SCORE 683897.794
AT ITER 393 NEW BEST:: SOT 4443856 SOS 741601 HAS SOPS 741601 HAS SOUS 682997 HAS SOUPS 682997 WITH SCORE 683738.601
AT ITER 411 NEW BEST:: SOT 4443819 SOS 741527 HAS SOPS 741527 HAS SOUS 682923 HAS SOUPS 682923 WITH SCORE 683664.527
AT ITER 425 NEW BEST:: SOT 4443643 SOS 741351 HAS SOPS 741351 HAS SOUS 682747 HAS SOUPS 682747 WITH SCORE 683488.351
AT ITER 439 NEW BEST:: SOT 4443643 SOS 741325 HAS SOPS 741325 HAS SOUS 682747 HAS SOUPS 682747 WITH SCORE 683488.325
AT ITER 443 NEW BEST:: SOT 4443501 SOS 741183 HAS SOPS 741183 HAS SOUS 682605 HAS SOUPS 682605 WITH SCORE 683346.183
AT ITER 475 NEW BEST:: SOT 4437927 SOS 765483 HAS SOPS 765483 HAS SOUS 678369 HAS SOUPS 678369 WITH SCORE 679134.483
AT ITER 495 NEW BEST:: SOT 4437920 SOS 765469 HAS SOPS 765469 HAS SOUS 678355 HAS SOUPS 678355 WITH SCORE 679120.469
AT ITER 498 NEW BEST:: SOT 4437884 SOS 765445 HAS SOPS 765445 HAS SOUS 678319 HAS SOUPS 678319 WITH SCORE 679084.445
AT ITER 530 NEW BEST:: SOT 4437305 SOS 764610 HAS SOPS 764610 HAS SOUS 677417 HAS SOUPS 677417 WITH SCORE 678181.61
AT ITER 533 NEW BEST:: SOT 4437305 SOS 764433 HAS SOPS 764433 HAS SOUS 677417 HAS SOUPS 677417 WITH SCORE 678181.433
AT ITER 534 NEW BEST:: SOT 4437107 SOS 764169 HAS SOPS 764169 HAS SOUS 677153 HAS SOUPS 677153 WITH SCORE 677917.169
AT ITER 550 NEW BEST:: SOT 4436957 SOS 764019 HAS SOPS 764019 HAS SOUS 677001 HAS SOUPS 677001 WITH SCORE 677765.019
AT ITER 582 NEW BEST:: SOT 4436956 SOS 764017 HAS SOPS 764017 HAS SOUS 676999 HAS SOUPS 676999 WITH SCORE 677763.017
AT ITER 586 NEW BEST:: SOT 4436878 SOS 763861 HAS SOPS 763861 HAS SOUS 676843 HAS SOUPS 676843 WITH SCORE 677606.861
AT ITER 641 NEW BEST:: SOT 4436877 SOS 763859 HAS SOPS 763859 HAS SOUS 676841 HAS SOUPS 676841 WITH SCORE 677604.859
AT ITER 644 NEW BEST:: SOT 4436622 SOS 763349 HAS SOPS 763349 HAS SOUS 676409 HAS SOUPS 676409 WITH SCORE 677172.349
AT ITER 650 NEW BEST:: SOT 4436414 SOS 762933 HAS SOPS 762933 HAS SOUS 675993 HAS SOUPS 675993 WITH SCORE 676755.933
AT ITER 688 NEW BEST:: SOT 4435929 SOS 763899 HAS SOPS 763899 HAS SOUS 675877 HAS SOUPS 675877 WITH SCORE 676640.899
AT ITER 702 NEW BEST:: SOT 4435929 SOS 763744 HAS SOPS 763744 HAS SOUS 675722 HAS SOUPS 675722 WITH SCORE 676485.744
AT ITER 707 NEW BEST:: SOT 4435843 SOS 763572 HAS SOPS 763572 HAS SOUS 675550 HAS SOUPS 675550 WITH SCORE 676313.572
AT ITER 712 NEW BEST:: SOT 4435843 SOS 763572 HAS SOPS 763572 HAS SOUS 675383 HAS SOUPS 675383 WITH SCORE 676146.572
AT ITER 715 NEW BEST:: SOT 4435843 SOS 763378 HAS SOPS 763378 HAS SOUS 675383 HAS SOUPS 675383 WITH SCORE 676146.378
AT ITER 728 NEW BEST:: SOT 4435843 SOS 763318 HAS SOPS 763318 HAS SOUS 675323 HAS SOUPS 675323 WITH SCORE 676086.318
AT ITER 733 NEW BEST:: SOT 4435843 SOS 763264 HAS SOPS 763264 HAS SOUS 675323 HAS SOUPS 675323 WITH SCORE 676086.264
AT ITER 745 NEW BEST:: SOT 4435685 SOS 745056 HAS SOPS 745056 HAS SOUS 675165 HAS SOUPS 675165 WITH SCORE 675910.056
AT ITER 762 NEW BEST:: SOT 4435667 SOS 745038 HAS SOPS 745038 HAS SOUS 675147 HAS SOUPS 675147 WITH SCORE 675892.038
AT ITER 803 NEW BEST:: SOT 4435667 SOS 744953 HAS SOPS 744953 HAS SOUS 675147 HAS SOUPS 675147 WITH SCORE 675891.953
AT ITER 840 NEW BEST:: SOT 4435667 SOS 744836 HAS SOPS 744836 HAS SOUS 675147 HAS SOUPS 675147 WITH SCORE 675891.836
AT ITER 845 NEW BEST:: SOT 4435425 SOS 744594 HAS SOPS 744594 HAS SOUS 674905 HAS SOUPS 674905 WITH SCORE 675649.594
AT ITER 877 NEW BEST:: SOT 4435425 SOS 744594 HAS SOPS 744594 HAS SOUS 674639 HAS SOUPS 674639 WITH SCORE 675383.594
AT ITER 892 NEW BEST:: SOT 4435577 SOS 744161 HAS SOPS 744161 HAS SOUS 674346 HAS SOUPS 674346 WITH SCORE 675090.161
AT ITER 905 NEW BEST:: SOT 4434806 SOS 743133 HAS SOPS 743133 HAS SOUS 673318 HAS SOUPS 673318 WITH SCORE 674061.133
AT ITER 912 NEW BEST:: SOT 4434702 SOS 742925 HAS SOPS 742925 HAS SOUS 673207 HAS SOUPS 673207 WITH SCORE 673949.925
AT ITER 952 NEW BEST:: SOT 4434443 SOS 742407 HAS SOPS 742407 HAS SOUS 672947 HAS SOUPS 672947 WITH SCORE 673689.407
AT ITER 983 NEW BEST:: SOT 4434228 SOS 741977 HAS SOPS 741977 HAS SOUS 672777 HAS SOUPS 672777 WITH SCORE 673518.977
AT ITER 1000 NEW BEST:: SOT 4434228 SOS 741825 HAS SOPS 741825 HAS SOUS 672777 HAS SOUPS 672777 WITH SCORE 673518.825
AT ITER 1014 NEW BEST:: SOT 4434222 SOS 741653 HAS SOPS 741653 HAS SOUS 672765 HAS SOUPS 672765 WITH SCORE 673506.653
AT ITER 1025 NEW BEST:: SOT 4434137 SOS 741591 HAS SOPS 741591 HAS SOUS 672703 HAS SOUPS 672703 WITH SCORE 673444.591
AT ITER 1056 NEW BEST:: SOT 4433759 SOS 741039 HAS SOPS 741039 HAS SOUS 672121 HAS SOUPS 672121 WITH SCORE 672862.039
AT ITER 1073 NEW BEST:: SOT 4433480 SOS 740481 HAS SOPS 740481 HAS SOUS 671563 HAS SOUPS 671563 WITH SCORE 672303.481
AT ITER 1088 NEW BEST:: SOT 4433453 SOS 740427 HAS SOPS 740427 HAS SOUS 671509 HAS SOUPS 671509 WITH SCORE 672249.427
AT ITER 1092 NEW BEST:: SOT 4432961 SOS 739812 HAS SOPS 739812 HAS SOUS 670894 HAS SOUPS 670894 WITH SCORE 671633.812
AT ITER 1119 NEW BEST:: SOT 4432956 SOS 739802 HAS SOPS 739802 HAS SOUS 670884 HAS SOUPS 670884 WITH SCORE 671623.802
AT ITER 1124 NEW BEST:: SOT 4432956 SOS 739436 HAS SOPS 739436 HAS SOUS 670701 HAS SOUPS 670701 WITH SCORE 671440.436
AT ITER 1135 NEW BEST:: SOT 4432876 SOS 739356 HAS SOPS 739356 HAS SOUS 670701 HAS SOUPS 670701 WITH SCORE 671440.356
AT ITER 1157 NEW BEST:: SOT 4432761 SOS 738883 HAS SOPS 738883 HAS SOUS 670232 HAS SOUPS 670232 WITH SCORE 670970.883
AT ITER 1170 NEW BEST:: SOT 4432529 SOS 738419 HAS SOPS 738419 HAS SOUS 669768 HAS SOUPS 669768 WITH SCORE 670506.419
AT ITER 1188 NEW BEST:: SOT 4432392 SOS 738145 HAS SOPS 738145 HAS SOUS 669494 HAS SOUPS 669494 WITH SCORE 670232.145
AT ITER 1195 NEW BEST:: SOT 4432325 SOS 737721 HAS SOPS 737721 HAS SOUS 669130 HAS SOUPS 669130 WITH SCORE 669867.721
AT ITER 1222 NEW BEST:: SOT 4432356 SOS 737721 HAS SOPS 737721 HAS SOUS 669129 HAS SOUPS 669129 WITH SCORE 669866.721
AT ITER 1258 NEW BEST:: SOT 4432090 SOS 737189 HAS SOPS 737189 HAS SOUS 668597 HAS SOUPS 668597 WITH SCORE 669334.189
AT ITER 1264 NEW BEST:: SOT 4432026 SOS 737061 HAS SOPS 737061 HAS SOUS 668533 HAS SOUPS 668533 WITH SCORE 669270.061
AT ITER 1299 NEW BEST:: SOT 4432024 SOS 737037 HAS SOPS 737037 HAS SOUS 668530 HAS SOUPS 668530 WITH SCORE 669267.037
AT ITER 1305 NEW BEST:: SOT 4431884 SOS 736757 HAS SOPS 736757 HAS SOUS 668250 HAS SOUPS 668250 WITH SCORE 668986.757
AT ITER 1326 NEW BEST:: SOT 4431607 SOS 736203 HAS SOPS 736203 HAS SOUS 667696 HAS SOUPS 667696 WITH SCORE 668432.203
AT ITER 1350 NEW BEST:: SOT 4431607 SOS 736203 HAS SOPS 736203 HAS SOUS 667664 HAS SOUPS 667664 WITH SCORE 668400.203
AT ITER 1359 NEW BEST:: SOT 4431240 SOS 736743 HAS SOPS 736743 HAS SOUS 667569 HAS SOUPS 667569 WITH SCORE 668305.743
AT ITER 1362 NEW BEST:: SOT 4431239 SOS 736741 HAS SOPS 736741 HAS SOUS 667567 HAS SOUPS 667567 WITH SCORE 668303.741
AT ITER 1386 NEW BEST:: SOT 4431235 SOS 736733 HAS SOPS 736733 HAS SOUS 667559 HAS SOUPS 667559 WITH SCORE 668295.733
AT ITER 1419 NEW BEST:: SOT 4431085 SOS 736583 HAS SOPS 736583 HAS SOUS 667409 HAS SOUPS 667409 WITH SCORE 668145.583
AT ITER 1435 NEW BEST:: SOT 4431359 SOS 736788 HAS SOPS 736788 HAS SOUS 667394 HAS SOUPS 667394 WITH SCORE 668130.788
AT ITER 1457 NEW BEST:: SOT 4431358 SOS 736421 HAS SOPS 736421 HAS SOUS 667392 HAS SOUPS 667392 WITH SCORE 668128.421
AT ITER 1467 NEW BEST:: SOT 4431292 SOS 736394 HAS SOPS 736394 HAS SOUS 667365 HAS SOUPS 667365 WITH SCORE 668101.394
AT ITER 1496 NEW BEST:: SOT 4431197 SOS 736299 HAS SOPS 736299 HAS SOUS 667270 HAS SOUPS 667270 WITH SCORE 668006.299
AT ITER 1519 NEW BEST:: SOT 4431293 SOS 736491 HAS SOPS 736491 HAS SOUS 667202 HAS SOUPS 667202 WITH SCORE 667938.491
AT ITER 1540 NEW BEST:: SOT 4431274 SOS 736472 HAS SOPS 736472 HAS SOUS 667183 HAS SOUPS 667183 WITH SCORE 667919.472
AT ITER 1624 NEW BEST:: SOT 4431274 SOS 736397 HAS SOPS 736397 HAS SOUS 667183 HAS SOUPS 667183 WITH SCORE 667919.397
AT ITER 1637 NEW BEST:: SOT 4431274 SOS 736372 HAS SOPS 736372 HAS SOUS 667183 HAS SOUPS 667183 WITH SCORE 667919.372
AT ITER 1672 NEW BEST:: SOT 4431274 SOS 736182 HAS SOPS 736182 HAS SOUS 667183 HAS SOUPS 667183 WITH SCORE 667919.182
AT ITER 1708 NEW BEST:: SOT 4431042 SOS 735960 HAS SOPS 735960 HAS SOUS 666958 HAS SOUPS 666958 WITH SCORE 667693.96
AT ITER 1739 NEW BEST:: SOT 4430958 SOS 735876 HAS SOPS 735876 HAS SOUS 666874 HAS SOUPS 666874 WITH SCORE 667609.876
AT ITER 1770 NEW BEST:: SOT 4430795 SOS 735713 HAS SOPS 735713 HAS SOUS 666711 HAS SOUPS 666711 WITH SCORE 667446.713
AT ITER 1771 NEW BEST:: SOT 4430688 SOS 735606 HAS SOPS 735606 HAS SOUS 666604 HAS SOUPS 666604 WITH SCORE 667339.606
AT ITER 1793 NEW BEST:: SOT 4430279 SOS 734788 HAS SOPS 734788 HAS SOUS 665985 HAS SOUPS 665985 WITH SCORE 666719.788
AT ITER 1794 NEW BEST:: SOT 4430109 SOS 734618 HAS SOPS 734618 HAS SOUS 665815 HAS SOUPS 665815 WITH SCORE 666549.618
AT ITER 1803 NEW BEST:: SOT 4430017 SOS 734434 HAS SOPS 734434 HAS SOUS 665631 HAS SOUPS 665631 WITH SCORE 666365.434
AT ITER 1813 NEW BEST:: SOT 4429676 SOS 734156 HAS SOPS 734156 HAS SOUS 665353 HAS SOUPS 665353 WITH SCORE 666087.156
AT ITER 1829 NEW BEST:: SOT 4429754 SOS 733764 HAS SOPS 733764 HAS SOUS 664883 HAS SOUPS 664883 WITH SCORE 665616.764
AT ITER 1835 NEW BEST:: SOT 4429743 SOS 733753 HAS SOPS 733753 HAS SOUS 664872 HAS SOUPS 664872 WITH SCORE 665605.753
AT ITER 1849 NEW BEST:: SOT 4429797 SOS 734289 HAS SOPS 734289 HAS SOUS 664803 HAS SOUPS 664803 WITH SCORE 665537.289
AT ITER 1862 NEW BEST:: SOT 4429671 SOS 734253 HAS SOPS 734253 HAS SOUS 664718 HAS SOUPS 664718 WITH SCORE 665452.253
AT ITER 1901 NEW BEST:: SOT 4429670 SOS 734251 HAS SOPS 734251 HAS SOUS 664716 HAS SOUPS 664716 WITH SCORE 665450.251
AT ITER 1911 NEW BEST:: SOT 4429670 SOS 734180 HAS SOPS 734180 HAS SOUS 664644 HAS SOUPS 664644 WITH SCORE 665378.18
AT ITER 1917 NEW BEST:: SOT 4429475 SOS 734154 HAS SOPS 734154 HAS SOUS 664545 HAS SOUPS 664545 WITH SCORE 665279.154
AT ITER 1925 NEW BEST:: SOT 4429492 SOS 734018 HAS SOPS 734018 HAS SOUS 664411 HAS SOUPS 664411 WITH SCORE 665145.018
AT ITER 1930 NEW BEST:: SOT 4429492 SOS 733723 HAS SOPS 733723 HAS SOUS 664411 HAS SOUPS 664411 WITH SCORE 665144.723
AT ITER 1974 NEW BEST:: SOT 4429492 SOS 733719 HAS SOPS 733719 HAS SOUS 664407 HAS SOUPS 664407 WITH SCORE 665140.719
AT ITER 1997 NEW BEST:: SOT 4429453 SOS 733680 HAS SOPS 733680 HAS SOUS 664407 HAS SOUPS 664407 WITH SCORE 665140.68
AT ITER 2031 NEW BEST:: SOT 4429377 SOS 733528 HAS SOPS 733528 HAS SOUS 664406 HAS SOUPS 664406 WITH SCORE 665139.528
AT ITER 2045 NEW BEST:: SOT 4429377 SOS 733504 HAS SOPS 733504 HAS SOUS 664406 HAS SOUPS 664406 WITH SCORE 665139.504
AT ITER 2093 NEW BEST:: SOT 4429322 SOS 733394 HAS SOPS 733394 HAS SOUS 664296 HAS SOUPS 664296 WITH SCORE 665029.394
AT ITER 2112 NEW BEST:: SOT 4429289 SOS 733328 HAS SOPS 733328 HAS SOUS 664230 HAS SOUPS 664230 WITH SCORE 664963.328
AT ITER 2158 NEW BEST:: SOT 4429233 SOS 733216 HAS SOPS 733216 HAS SOUS 663917 HAS SOUPS 663917 WITH SCORE 664650.216
AT ITER 2186 NEW BEST:: SOT 4429233 SOS 732844 HAS SOPS 732844 HAS SOUS 663917 HAS SOUPS 663917 WITH SCORE 664649.844
AT ITER 2209 NEW BEST:: SOT 4429054 SOS 732690 HAS SOPS 732690 HAS SOUS 663763 HAS SOUPS 663763 WITH SCORE 664495.69
AT ITER 2226 NEW BEST:: SOT 4429036 SOS 732654 HAS SOPS 732654 HAS SOUS 663727 HAS SOUPS 663727 WITH SCORE 664459.654
AT ITER 2241 NEW BEST:: SOT 4429035 SOS 732652 HAS SOPS 732652 HAS SOUS 663601 HAS SOUPS 663601 WITH SCORE 664333.652
AT ITER 2273 NEW BEST:: SOT 4428845 SOS 732272 HAS SOPS 732272 HAS SOUS 663411 HAS SOUPS 663411 WITH SCORE 664143.272
AT ITER 2274 NEW BEST:: SOT 4428926 SOS 732258 HAS SOPS 732258 HAS SOUS 663404 HAS SOUPS 663404 WITH SCORE 664136.258
AT ITER 2290 NEW BEST:: SOT 4427942 SOS 731326 HAS SOPS 731326 HAS SOUS 662442 HAS SOUPS 662442 WITH SCORE 663173.326
AT ITER 2301 NEW BEST:: SOT 4427903 SOS 731023 HAS SOPS 731023 HAS SOUS 662178 HAS SOUPS 662178 WITH SCORE 662909.023
AT ITER 2306 NEW BEST:: SOT 4427827 SOS 730871 HAS SOPS 730871 HAS SOUS 662102 HAS SOUPS 662102 WITH SCORE 662832.871
AT ITER 2357 NEW BEST:: SOT 4427826 SOS 730869 HAS SOPS 730869 HAS SOUS 662100 HAS SOUPS 662100 WITH SCORE 662830.869
AT ITER 2360 NEW BEST:: SOT 4427751 SOS 730719 HAS SOPS 730719 HAS SOUS 661950 HAS SOUPS 661950 WITH SCORE 662680.719
AT ITER 2381 NEW BEST:: SOT 4427052 SOS 730281 HAS SOPS 730281 HAS SOUS 661297 HAS SOUPS 661297 WITH SCORE 662027.281
AT ITER 2415 NEW BEST:: SOT 4426409 SOS 731130 HAS SOPS 731130 HAS SOUS 661206 HAS SOUPS 661206 WITH SCORE 661937.13
AT ITER 2420 NEW BEST:: SOT 4426340 SOS 731076 HAS SOPS 731076 HAS SOUS 661152 HAS SOUPS 661152 WITH SCORE 661883.076
AT ITER 2421 NEW BEST:: SOT 4426155 SOS 730706 HAS SOPS 730706 HAS SOUS 660782 HAS SOUPS 660782 WITH SCORE 661512.706
AT ITER 2422 NEW BEST:: SOT 4426155 SOS 730706 HAS SOPS 730706 HAS SOUS 660617 HAS SOUPS 660617 WITH SCORE 661347.706
AT ITER 2447 NEW BEST:: SOT 4426155 SOS 730695 HAS SOPS 730695 HAS SOUS 660617 HAS SOUPS 660617 WITH SCORE 661347.695
AT ITER 2478 NEW BEST:: SOT 4425815 SOS 730450 HAS SOPS 730450 HAS SOUS 660364 HAS SOUPS 660364 WITH SCORE 661094.45
AT ITER 2492 NEW BEST:: SOT 4425838 SOS 730229 HAS SOPS 730229 HAS SOUS 660152 HAS SOUPS 660152 WITH SCORE 660882.229
AT ITER 2494 NEW BEST:: SOT 4425821 SOS 730195 HAS SOPS 730195 HAS SOUS 660118 HAS SOUPS 660118 WITH SCORE 660848.195
AT ITER 2506 NEW BEST:: SOT 4425708 SOS 729969 HAS SOPS 729969 HAS SOUS 660045 HAS SOUPS 660045 WITH SCORE 660774.969
AT ITER 2509 NEW BEST:: SOT 4425534 SOS 729621 HAS SOPS 729621 HAS SOUS 659697 HAS SOUPS 659697 WITH SCORE 660426.621
AT ITER 2512 NEW BEST:: SOT 4425534 SOS 729446 HAS SOPS 729446 HAS SOUS 659697 HAS SOUPS 659697 WITH SCORE 660426.446
AT ITER 2566 NEW BEST:: SOT 4425473 SOS 729324 HAS SOPS 729324 HAS SOUS 659575 HAS SOUPS 659575 WITH SCORE 660304.324
AT ITER 2588 NEW BEST:: SOT 4425473 SOS 729324 HAS SOPS 729324 HAS SOUS 659574 HAS SOUPS 659574 WITH SCORE 660303.324
AT ITER 2594 NEW BEST:: SOT 4425470 SOS 729318 HAS SOPS 729318 HAS SOUS 659568 HAS SOUPS 659568 WITH SCORE 660297.318
AT ITER 2605 NEW BEST:: SOT 4425413 SOS 729204 HAS SOPS 729204 HAS SOUS 659454 HAS SOUPS 659454 WITH SCORE 660183.204
AT ITER 2607 NEW BEST:: SOT 4425332 SOS 729148 HAS SOPS 729148 HAS SOUS 659398 HAS SOUPS 659398 WITH SCORE 660127.148
AT ITER 2608 NEW BEST:: SOT 4424526 SOS 728564 HAS SOPS 728564 HAS SOUS 658592 HAS SOUPS 658592 WITH SCORE 659320.564
AT ITER 2631 NEW BEST:: SOT 4424170 SOS 727852 HAS SOPS 727852 HAS SOUS 658051 HAS SOUPS 658051 WITH SCORE 658778.852
AT ITER 2643 NEW BEST:: SOT 4423925 SOS 727493 HAS SOPS 727493 HAS SOUS 657685 HAS SOUPS 657685 WITH SCORE 658412.493
AT ITER 2655 NEW BEST:: SOT 4423264 SOS 727599 HAS SOPS 727599 HAS SOUS 657148 HAS SOUPS 657148 WITH SCORE 657875.599
AT ITER 2659 NEW BEST:: SOT 4423134 SOS 727685 HAS SOPS 727685 HAS SOUS 657033 HAS SOUPS 657033 WITH SCORE 657760.685
AT ITER 2685 NEW BEST:: SOT 4423072 SOS 727784 HAS SOPS 727784 HAS SOUS 656971 HAS SOUPS 656971 WITH SCORE 657698.784
AT ITER 2687 NEW BEST:: SOT 4422850 SOS 727832 HAS SOPS 727832 HAS SOUS 656854 HAS SOUPS 656854 WITH SCORE 657581.832
AT ITER 2696 NEW BEST:: SOT 4422622 SOS 727607 HAS SOPS 727607 HAS SOUS 656629 HAS SOUPS 656629 WITH SCORE 657356.607
AT ITER 2704 NEW BEST:: SOT 4422549 SOS 727461 HAS SOPS 727461 HAS SOUS 656483 HAS SOUPS 656483 WITH SCORE 657210.461
AT ITER 2749 NEW BEST:: SOT 4422479 SOS 727321 HAS SOPS 727321 HAS SOUS 656404 HAS SOUPS 656404 WITH SCORE 657131.321
AT ITER 2763 NEW BEST:: SOT 4422479 SOS 726885 HAS SOPS 726885 HAS SOUS 656183 HAS SOUPS 656183 WITH SCORE 656909.885
AT ITER 2777 NEW BEST:: SOT 4422443 SOS 726813 HAS SOPS 726813 HAS SOUS 656111 HAS SOUPS 656111 WITH SCORE 656837.813
AT ITER 2826 NEW BEST:: SOT 4422346 SOS 726716 HAS SOPS 726716 HAS SOUS 656109 HAS SOUPS 656109 WITH SCORE 656835.716
AT ITER 2851 NEW BEST:: SOT 4422268 SOS 726560 HAS SOPS 726560 HAS SOUS 655953 HAS SOUPS 655953 WITH SCORE 656679.56
AT ITER 2854 NEW BEST:: SOT 4422268 SOS 726415 HAS SOPS 726415 HAS SOUS 655953 HAS SOUPS 655953 WITH SCORE 656679.415
AT ITER 2887 NEW BEST:: SOT 4422124 SOS 726271 HAS SOPS 726271 HAS SOUS 655809 HAS SOUPS 655809 WITH SCORE 656535.271
AT ITER 2889 NEW BEST:: SOT 4422124 SOS 726271 HAS SOPS 726271 HAS SOUS 655725 HAS SOUPS 655725 WITH SCORE 656451.271
AT ITER 2908 NEW BEST:: SOT 4422240 SOS 726308 HAS SOPS 726308 HAS SOUS 655578 HAS SOUPS 655578 WITH SCORE 656304.308
AT ITER 2934 NEW BEST:: SOT 4422232 SOS 726300 HAS SOPS 726300 HAS SOUS 655577 HAS SOUPS 655577 WITH SCORE 656303.3
AT ITER 2955 NEW BEST:: SOT 4422232 SOS 726288 HAS SOPS 726288 HAS SOUS 655565 HAS SOUPS 655565 WITH SCORE 656291.288
AT ITER 2987 NEW BEST:: SOT 4422143 SOS 726225 HAS SOPS 726225 HAS SOUS 655499 HAS SOUPS 655499 WITH SCORE 656225.225
AT ITER 2994 NEW BEST:: SOT 4422131 SOS 726201 HAS SOPS 726201 HAS SOUS 655241 HAS SOUPS 655241 WITH SCORE 655967.201
AT ITER 3010 NEW BEST:: SOT 4422090 SOS 726119 HAS SOPS 726119 HAS SOUS 655159 HAS SOUPS 655159 WITH SCORE 655885.119
AT ITER 3019 NEW BEST:: SOT 4421721 SOS 725945 HAS SOPS 725945 HAS SOUS 655072 HAS SOUPS 655072 WITH SCORE 655797.945
AT ITER 3043 NEW BEST:: SOT 4421685 SOS 725873 HAS SOPS 725873 HAS SOUS 655000 HAS SOUPS 655000 WITH SCORE 655725.873
AT ITER 3051 NEW BEST:: SOT 4421645 SOS 725793 HAS SOPS 725793 HAS SOUS 654920 HAS SOUPS 654920 WITH SCORE 655645.793
AT ITER 3086 NEW BEST:: SOT 4421645 SOS 725793 HAS SOPS 725793 HAS SOUS 654896 HAS SOUPS 654896 WITH SCORE 655621.793
AT ITER 3102 NEW BEST:: SOT 4421645 SOS 725528 HAS SOPS 725528 HAS SOUS 654896 HAS SOUPS 654896 WITH SCORE 655621.528
AT ITER 3108 NEW BEST:: SOT 4421644 SOS 725526 HAS SOPS 725526 HAS SOUS 654894 HAS SOUPS 654894 WITH SCORE 655619.526
AT ITER 3115 NEW BEST:: SOT 4421488 SOS 725370 HAS SOPS 725370 HAS SOUS 654660 HAS SOUPS 654660 WITH SCORE 655385.37
AT ITER 3126 NEW BEST:: SOT 4421363 SOS 725120 HAS SOPS 725120 HAS SOUS 654410 HAS SOUPS 654410 WITH SCORE 655135.12
AT ITER 3127 NEW BEST:: SOT 4421291 SOS 724976 HAS SOPS 724976 HAS SOUS 654266 HAS SOUPS 654266 WITH SCORE 654990.976
AT ITER 3131 NEW BEST:: SOT 4421279 SOS 724952 HAS SOPS 724952 HAS SOUS 654242 HAS SOUPS 654242 WITH SCORE 654966.952
AT ITER 3135 NEW BEST:: SOT 4421091 SOS 724576 HAS SOPS 724576 HAS SOUS 654067 HAS SOUPS 654067 WITH SCORE 654791.576
AT ITER 3162 NEW BEST:: SOT 4420659 SOS 723928 HAS SOPS 723928 HAS SOUS 653635 HAS SOUPS 653635 WITH SCORE 654358.928
AT ITER 3206 NEW BEST:: SOT 4418517 SOS 745444 HAS SOPS 745444 HAS SOUS 651833 HAS SOUPS 651833 WITH SCORE 652578.444
AT ITER 3219 NEW BEST:: SOT 4418517 SOS 745444 HAS SOPS 745444 HAS SOUS 651766 HAS SOUPS 651766 WITH SCORE 652511.444
AT ITER 3223 NEW BEST:: SOT 4418361 SOS 745348 HAS SOPS 745348 HAS SOUS 651663 HAS SOUPS 651663 WITH SCORE 652408.348
AT ITER 3240 NEW BEST:: SOT 4418417 SOS 745460 HAS SOPS 745460 HAS SOUS 651324 HAS SOUPS 651324 WITH SCORE 652069.46
AT ITER 3245 NEW BEST:: SOT 4418416 SOS 745458 HAS SOPS 745458 HAS SOUS 651322 HAS SOUPS 651322 WITH SCORE 652067.458
AT ITER 3274 NEW BEST:: SOT 4418467 SOS 745312 HAS SOPS 745312 HAS SOUS 651176 HAS SOUPS 651176 WITH SCORE 651921.312
AT ITER 3305 NEW BEST:: SOT 4418467 SOS 745120 HAS SOPS 745120 HAS SOUS 651175 HAS SOUPS 651175 WITH SCORE 651920.12
AT ITER 3306 NEW BEST:: SOT 4418325 SOS 744836 HAS SOPS 744836 HAS SOUS 651174 HAS SOUPS 651174 WITH SCORE 651918.836
AT ITER 3335 NEW BEST:: SOT 4418393 SOS 744435 HAS SOPS 744435 HAS SOUS 650705 HAS SOUPS 650705 WITH SCORE 651449.435
AT ITER 3345 NEW BEST:: SOT 4418392 SOS 744433 HAS SOPS 744433 HAS SOUS 650532 HAS SOUPS 650532 WITH SCORE 651276.433
AT ITER 3347 NEW BEST:: SOT 4418184 SOS 744225 HAS SOPS 744225 HAS SOUS 650302 HAS SOUPS 650302 WITH SCORE 651046.225
AT ITER 3356 NEW BEST:: SOT 4417388 SOS 743774 HAS SOPS 743774 HAS SOUS 649428 HAS SOUPS 649428 WITH SCORE 650171.774
AT ITER 3406 NEW BEST:: SOT 4417148 SOS 742977 HAS SOPS 742977 HAS SOUS 648860 HAS SOUPS 648860 WITH SCORE 649602.977
AT ITER 3417 NEW BEST:: SOT 4417109 SOS 742899 HAS SOPS 742899 HAS SOUS 648782 HAS SOUPS 648782 WITH SCORE 649524.899
AT ITER 3431 NEW BEST:: SOT 4417108 SOS 742897 HAS SOPS 742897 HAS SOUS 648780 HAS SOUPS 648780 WITH SCORE 649522.897
AT ITER 3444 NEW BEST:: SOT 4416970 SOS 742621 HAS SOPS 742621 HAS SOUS 648504 HAS SOUPS 648504 WITH SCORE 649246.621
AT ITER 3456 NEW BEST:: SOT 4416967 SOS 742615 HAS SOPS 742615 HAS SOUS 648498 HAS SOUPS 648498 WITH SCORE 649240.615
AT ITER 3461 NEW BEST:: SOT 4416894 SOS 742469 HAS SOPS 742469 HAS SOUS 648425 HAS SOUPS 648425 WITH SCORE 649167.469
AT ITER 3465 NEW BEST:: SOT 4416866 SOS 742413 HAS SOPS 742413 HAS SOUS 648425 HAS SOUPS 648425 WITH SCORE 649167.413
AT ITER 3466 NEW BEST:: SOT 4416510 SOS 741886 HAS SOPS 741886 HAS SOUS 647898 HAS SOUPS 647898 WITH SCORE 648639.886
AT ITER 3488 NEW BEST:: SOT 4416379 SOS 741624 HAS SOPS 741624 HAS SOUS 647636 HAS SOUPS 647636 WITH SCORE 648377.624
AT ITER 3489 NEW BEST:: SOT 4416379 SOS 741624 HAS SOPS 741624 HAS SOUS 647426 HAS SOUPS 647426 WITH SCORE 648167.624
AT ITER 3513 NEW BEST:: SOT 4416379 SOS 741515 HAS SOPS 741515 HAS SOUS 647426 HAS SOUPS 647426 WITH SCORE 648167.515
AT ITER 3529 NEW BEST:: SOT 4416379 SOS 741515 HAS SOPS 741515 HAS SOUS 647213 HAS SOUPS 647213 WITH SCORE 647954.515
AT ITER 3594 NEW BEST:: SOT 4416152 SOS 741288 HAS SOPS 741288 HAS SOUS 647213 HAS SOUPS 647213 WITH SCORE 647954.288
AT ITER 3645 NEW BEST:: SOT 4416092 SOS 741353 HAS SOPS 741353 HAS SOUS 647159 HAS SOUPS 647159 WITH SCORE 647900.353
AT ITER 3647 NEW BEST:: SOT 4416100 SOS 741369 HAS SOPS 741369 HAS SOUS 647147 HAS SOUPS 647147 WITH SCORE 647888.369
AT ITER 3663 NEW BEST:: SOT 4415836 SOS 741193 HAS SOPS 741193 HAS SOUS 646883 HAS SOUPS 646883 WITH SCORE 647624.193
AT ITER 3722 NEW BEST:: SOT 4415368 SOS 740725 HAS SOPS 740725 HAS SOUS 646415 HAS SOUPS 646415 WITH SCORE 647155.725
AT ITER 3723 NEW BEST:: SOT 4415368 SOS 740556 HAS SOPS 740556 HAS SOUS 646415 HAS SOUPS 646415 WITH SCORE 647155.556
AT ITER 3730 NEW BEST:: SOT 4415326 SOS 740514 HAS SOPS 740514 HAS SOUS 646373 HAS SOUPS 646373 WITH SCORE 647113.514
AT ITER 3731 NEW BEST:: SOT 4415278 SOS 740466 HAS SOPS 740466 HAS SOUS 646325 HAS SOUPS 646325 WITH SCORE 647065.466
AT ITER 3756 NEW BEST:: SOT 4415154 SOS 740218 HAS SOPS 740218 HAS SOUS 646077 HAS SOUPS 646077 WITH SCORE 646817.218
AT ITER 3783 NEW BEST:: SOT 4414891 SOS 740042 HAS SOPS 740042 HAS SOUS 645857 HAS SOUPS 645857 WITH SCORE 646597.042
AT ITER 3824 NEW BEST:: SOT 4414875 SOS 740010 HAS SOPS 740010 HAS SOUS 645825 HAS SOUPS 645825 WITH SCORE 646565.01
AT ITER 3825 NEW BEST:: SOT 4414874 SOS 740008 HAS SOPS 740008 HAS SOUS 645823 HAS SOUPS 645823 WITH SCORE 646563.008
AT ITER 3838 NEW BEST:: SOT 4414873 SOS 740006 HAS SOPS 740006 HAS SOUS 645821 HAS SOUPS 645821 WITH SCORE 646561.006
AT ITER 3847 NEW BEST:: SOT 4414732 SOS 739966 HAS SOPS 739966 HAS SOUS 645615 HAS SOUPS 645615 WITH SCORE 646354.966
AT ITER 3875 NEW BEST:: SOT 4414621 SOS 739966 HAS SOPS 739966 HAS SOUS 645612 HAS SOUPS 645612 WITH SCORE 646351.966
AT ITER 3903 NEW BEST:: SOT 4414621 SOS 739818 HAS SOPS 739818 HAS SOUS 645612 HAS SOUPS 645612 WITH SCORE 646351.818
AT ITER 3944 NEW BEST:: SOT 4414615 SOS 739809 HAS SOPS 739809 HAS SOUS 645603 HAS SOUPS 645603 WITH SCORE 646342.809
AT ITER 3972 NEW BEST:: SOT 4414606 SOS 739791 HAS SOPS 739791 HAS SOUS 645594 HAS SOUPS 645594 WITH SCORE 646333.791
AT ITER 3989 NEW BEST:: SOT 4414606 SOS 739791 HAS SOPS 739791 HAS SOUS 645593 HAS SOUPS 645593 WITH SCORE 646332.791
AT ITER 3999 NEW BEST:: SOT 4414565 SOS 739709 HAS SOPS 739709 HAS SOUS 645511 HAS SOUPS 645511 WITH SCORE 646250.709
AT ITER 4025 NEW BEST:: SOT 4414511 SOS 739601 HAS SOPS 739601 HAS SOUS 645403 HAS SOUPS 645403 WITH SCORE 646142.601
AT ITER 4028 NEW BEST:: SOT 4414479 SOS 739609 HAS SOPS 739609 HAS SOUS 645385 HAS SOUPS 645385 WITH SCORE 646124.609
AT ITER 4047 NEW BEST:: SOT 4414223 SOS 739505 HAS SOPS 739505 HAS SOUS 645129 HAS SOUPS 645129 WITH SCORE 645868.505
AT ITER 4050 NEW BEST:: SOT 4414161 SOS 739381 HAS SOPS 739381 HAS SOUS 645005 HAS SOUPS 645005 WITH SCORE 645744.381
AT ITER 4071 NEW BEST:: SOT 4414119 SOS 739297 HAS SOPS 739297 HAS SOUS 644845 HAS SOUPS 644845 WITH SCORE 645584.297
AT ITER 4084 NEW BEST:: SOT 4413974 SOS 739605 HAS SOPS 739605 HAS SOUS 644801 HAS SOUPS 644801 WITH SCORE 645540.605
AT ITER 4123 NEW BEST:: SOT 4413800 SOS 739603 HAS SOPS 739603 HAS SOUS 644563 HAS SOUPS 644563 WITH SCORE 645302.603
AT ITER 4144 NEW BEST:: SOT 4413799 SOS 739601 HAS SOPS 739601 HAS SOUS 644561 HAS SOUPS 644561 WITH SCORE 645300.601
AT ITER 4194 NEW BEST:: SOT 4412849 SOS 739311 HAS SOPS 739311 HAS SOUS 643933 HAS SOUPS 643933 WITH SCORE 644672.311
AT ITER 4198 NEW BEST:: SOT 4413021 SOS 739311 HAS SOPS 739311 HAS SOUS 643932 HAS SOUPS 643932 WITH SCORE 644671.311
AT ITER 4208 NEW BEST:: SOT 4412989 SOS 739247 HAS SOPS 739247 HAS SOUS 643772 HAS SOUPS 643772 WITH SCORE 644511.247
AT ITER 4209 NEW BEST:: SOT 4412894 SOS 739057 HAS SOPS 739057 HAS SOUS 643582 HAS SOUPS 643582 WITH SCORE 644321.057
AT ITER 4214 NEW BEST:: SOT 4412878 SOS 739025 HAS SOPS 739025 HAS SOUS 643544 HAS SOUPS 643544 WITH SCORE 644283.025
AT ITER 4234 NEW BEST:: SOT 4412877 SOS 739023 HAS SOPS 739023 HAS SOUS 643542 HAS SOUPS 643542 WITH SCORE 644281.023
AT ITER 4245 NEW BEST:: SOT 4412719 SOS 739007 HAS SOPS 739007 HAS SOUS 643526 HAS SOUPS 643526 WITH SCORE 644265.007
AT ITER 4270 NEW BEST:: SOT 4412539 SOS 738767 HAS SOPS 738767 HAS SOUS 643286 HAS SOUPS 643286 WITH SCORE 644024.767
AT ITER 4319 NEW BEST:: SOT 4412659 SOS 738689 HAS SOPS 738689 HAS SOUS 643247 HAS SOUPS 643247 WITH SCORE 643985.689
AT ITER 4347 NEW BEST:: SOT 4409780 SOS 744925 HAS SOPS 744925 HAS SOUS 640929 HAS SOUPS 640929 WITH SCORE 641673.925
AT ITER 4359 NEW BEST:: SOT 4409666 SOS 745158 HAS SOPS 745158 HAS SOUS 640910 HAS SOUPS 640910 WITH SCORE 641655.158
AT ITER 4371 NEW BEST:: SOT 4409768 SOS 745132 HAS SOPS 745132 HAS SOUS 640884 HAS SOUPS 640884 WITH SCORE 641629.132
AT ITER 4391 NEW BEST:: SOT 4409790 SOS 745176 HAS SOPS 745176 HAS SOUS 640749 HAS SOUPS 640749 WITH SCORE 641494.176
AT ITER 4401 NEW BEST:: SOT 4409436 SOS 745266 HAS SOPS 745266 HAS SOUS 640573 HAS SOUPS 640573 WITH SCORE 641318.266
AT ITER 4409 NEW BEST:: SOT 4409210 SOS 745040 HAS SOPS 745040 HAS SOUS 640347 HAS SOUPS 640347 WITH SCORE 641092.04
AT ITER 4457 NEW BEST:: SOT 4408963 SOS 744546 HAS SOPS 744546 HAS SOUS 639853 HAS SOUPS 639853 WITH SCORE 640597.546
AT ITER 4460 NEW BEST:: SOT 4408572 SOS 745066 HAS SOPS 745066 HAS SOUS 639727 HAS SOUPS 639727 WITH SCORE 640472.066
AT ITER 4461 NEW BEST:: SOT 4408566 SOS 745054 HAS SOPS 745054 HAS SOUS 639721 HAS SOUPS 639721 WITH SCORE 640466.054
AT ITER 4471 NEW BEST:: SOT 4408432 SOS 745054 HAS SOPS 745054 HAS SOUS 639654 HAS SOUPS 639654 WITH SCORE 640399.054
AT ITER 4509 NEW BEST:: SOT 4408430 SOS 745386 HAS SOPS 745386 HAS SOUS 639650 HAS SOUPS 639650 WITH SCORE 640395.386
AT ITER 4529 NEW BEST:: SOT 4408322 SOS 745295 HAS SOPS 745295 HAS SOUS 639417 HAS SOUPS 639417 WITH SCORE 640162.295
AT ITER 4540 NEW BEST:: SOT 4408214 SOS 745079 HAS SOPS 745079 HAS SOUS 639255 HAS SOUPS 639255 WITH SCORE 640000.079
AT ITER 4597 NEW BEST:: SOT 4407848 SOS 744713 HAS SOPS 744713 HAS SOUS 638889 HAS SOUPS 638889 WITH SCORE 639633.713
AT ITER 4614 NEW BEST:: SOT 4407778 SOS 744573 HAS SOPS 744573 HAS SOUS 638749 HAS SOUPS 638749 WITH SCORE 639493.573
AT ITER 4615 NEW BEST:: SOT 4407589 SOS 744195 HAS SOPS 744195 HAS SOUS 638499 HAS SOUPS 638499 WITH SCORE 639243.195
AT ITER 4633 NEW BEST:: SOT 4407753 SOS 743739 HAS SOPS 743739 HAS SOUS 638180 HAS SOUPS 638180 WITH SCORE 638923.739
AT ITER 4648 NEW BEST:: SOT 4407678 SOS 743589 HAS SOPS 743589 HAS SOUS 638104 HAS SOUPS 638104 WITH SCORE 638847.589
AT ITER 4663 NEW BEST:: SOT 4407624 SOS 743400 HAS SOPS 743400 HAS SOUS 637996 HAS SOUPS 637996 WITH SCORE 638739.4
AT ITER 4715 NEW BEST:: SOT 4407493 SOS 743138 HAS SOPS 743138 HAS SOUS 637628 HAS SOUPS 637628 WITH SCORE 638371.138
AT ITER 4746 NEW BEST:: SOT 4407493 SOS 742983 HAS SOPS 742983 HAS SOUS 637628 HAS SOUPS 637628 WITH SCORE 638370.983
AT ITER 4760 NEW BEST:: SOT 4407393 SOS 743195 HAS SOPS 743195 HAS SOUS 637583 HAS SOUPS 637583 WITH SCORE 638326.195
AT ITER 4777 NEW BEST:: SOT 4407393 SOS 743115 HAS SOPS 743115 HAS SOUS 637583 HAS SOUPS 637583 WITH SCORE 638326.115
AT ITER 4782 NEW BEST:: SOT 4407211 SOS 743014 HAS SOPS 743014 HAS SOUS 637482 HAS SOUPS 637482 WITH SCORE 638225.014
AT ITER 4830 NEW BEST:: SOT 4407159 SOS 742962 HAS SOPS 742962 HAS SOUS 637430 HAS SOUPS 637430 WITH SCORE 638172.962
AT ITER 4834 NEW BEST:: SOT 4407159 SOS 742962 HAS SOPS 742962 HAS SOUS 637415 HAS SOUPS 637415 WITH SCORE 638157.962
AT ITER 4866 NEW BEST:: SOT 4407024 SOS 742287 HAS SOPS 742287 HAS SOUS 637145 HAS SOUPS 637145 WITH SCORE 637887.287
AT ITER 4869 NEW BEST:: SOT 4406808 SOS 742309 HAS SOPS 742309 HAS SOUS 636929 HAS SOUPS 636929 WITH SCORE 637671.309
AT ITER 4881 NEW BEST:: SOT 4406769 SOS 742270 HAS SOPS 742270 HAS SOUS 636890 HAS SOUPS 636890 WITH SCORE 637632.27
AT ITER 4884 NEW BEST:: SOT 4406735 SOS 742194 HAS SOPS 742194 HAS SOUS 636814 HAS SOUPS 636814 WITH SCORE 637556.194
AT ITER 4925 NEW BEST:: SOT 4406447 SOS 742486 HAS SOPS 742486 HAS SOUS 636526 HAS SOUPS 636526 WITH SCORE 637268.486
AT ITER 4927 NEW BEST:: SOT 4406447 SOS 742486 HAS SOPS 742486 HAS SOUS 636460 HAS SOUPS 636460 WITH SCORE 637202.486
AT ITER 4956 NEW BEST:: SOT 4406212 SOS 742016 HAS SOPS 742016 HAS SOUS 635990 HAS SOUPS 635990 WITH SCORE 636732.016
AT ITER 4960 NEW BEST:: SOT 4406211 SOS 742014 HAS SOPS 742014 HAS SOUS 635988 HAS SOUPS 635988 WITH SCORE 636730.014
AT ITER 4982 NEW BEST:: SOT 4406211 SOS 741922 HAS SOPS 741922 HAS SOUS 635988 HAS SOUPS 635988 WITH SCORE 636729.922
AT ITER 4999 NEW BEST:: SOT 4406282 SOS 742064 HAS SOPS 742064 HAS SOUS 635804 HAS SOUPS 635804 WITH SCORE 636546.064
Bounds file is: CTLFireability.xml
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-00 (EG( (EF( ( (! ((potential((tk(P2074)>=1))))) | ((potential((tk(P328)>=1)))) )))))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-01 (AU( ( (AX( ((potential((tk(P2354)>=1)))))) | (! ( ((potential((tk(P999)>=1)))) & ((potential((tk(P1109)>=1)))) )) ) , (EG( ( ((potential((tk(P1744)>=1)))) | ((potential((tk(P2078)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-02 ( (AF( ((potential((tk(P924)>=1)))))) & ( (EG( (EF( ((potential((tk(P2230)>=1)))))))) | ((potential((tk(P345)>=1)))) ) )
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-03 (! (AF( ( ( ( ((potential((tk(P2527)>=1)))) & ((potential((tk(P472)>=1)))) ) | ((potential((tk(P572)>=1)))) ) | ( ( ((potential((tk(P724)>=1)))) & ((potential((tk(P2462)>=1)))) ) & ((potential((tk(P1746)>=1)))) ) ))))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-04 (! ( (AU( (! ((potential((tk(P451)>=1))))) , ((potential((tk(P1693)>=1)))) )) | (EG( ( ((potential((tk(P2387)>=1)))) & ( ((potential((tk(P1411)>=1)))) & ((potential((tk(P909)>=1)))) ) ))) ))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-05 (AF( (EF( (AG( ((potential((tk(P573)>=1) & (tk(P1146)>=1))))))))))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-06 ( ( ( ( (! ((potential((tk(P1075)>=1))))) | ( (! ((potential((tk(P1999)>=1))))) | ((potential((tk(P89)>=1)))) ) ) | (! (! ( ((potential((tk(P368)>=1)))) & ((potential((tk(P1555)>=1)))) ))) ) & (! (! ( ((potential((tk(P578)>=1)))) | (! ((potential((tk(P458)>=1))))) ))) ) & ( ( (AG( ( ((potential((tk(P2348)>=1)))) & ((potential((tk(P1473)>=1)))) ))) & ((potential((tk(P1501)>=1)))) ) | ( (EF( ( ((potential((tk(P1032)>=1)))) & ((potential((tk(P573)>=1) & (tk(P1087)>=1)))) ))) | (EF( ( ((potential((tk(P132)>=1)))) | ((potential((tk(P785)>=1)))) ))) ) ) )
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-07 ( (AF( (AG( ( ((potential((tk(P123)>=1)))) | ((potential((tk(P423)>=1)))) ))))) | (AG( (AG( (! ((potential((tk(P768)>=1))))))))) )
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-08 (AU( ( ((potential((tk(P2411)>=1)))) | (! ( ((potential((tk(P850)>=1)))) | ((potential((tk(P1588)>=1)))) )) ) , (! (EF( ((potential((tk(P1777)>=1))))))) ))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-09 (AU( (! (EF( ((potential((tk(P1475)>=1))))))) , ((potential((tk(P759)>=1)))) ))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-10 (EU( (! (! (! ((potential((tk(P432)>=1))))))) , (! ( (! ((potential((tk(P569)>=1))))) | (! ((potential((tk(P1495)>=1))))) )) ))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-11 (EU( ( ( ( ((potential((tk(P2421)>=1)))) | ((potential((tk(P1017)>=1)))) ) | ((potential((tk(P1120)>=1)))) ) & (! ((potential((tk(P573)>=1) & (tk(P1263)>=1))))) ) , (AF( ( ((potential((tk(P944)>=1)))) | ((potential((tk(P672)>=1)))) ))) ))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-12 (EU( ( (AF( ((potential((tk(P302)>=1)))))) | ( ( ((potential((tk(P1834)>=1)))) | ((potential((tk(P1905)>=1)))) ) & ((potential((tk(P1721)>=1)))) ) ) , ( ( ( ((potential((tk(P2537)>=1)))) | ((potential((tk(P979)>=1)))) ) | ((potential((tk(P131)>=1)))) ) | ((potential((tk(P1890)>=1)))) ) ))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-13 (AF( ( ((potential((tk(P415)>=1)))) & ((potential((tk(P1985)>=1)))) )))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-14 (EF( ( (EF( ( ((potential((tk(P1863)>=1)))) | ((potential((tk(P1257)>=1)))) ))) | ( ((potential((tk(P924)>=1)))) | (AX( ((potential((tk(P2152)>=1)))))) ) )))
PROPERTY: CloudReconfiguration-PT-303-CTLFireability-15 (EF( ( ( ( (! ((potential((tk(P2526)>=1))))) & ( ((potential((tk(P2210)>=1)))) | ((potential((tk(P427)>=1)))) ) ) | (! (! ((potential((tk(P1192)>=1)))))) ) | (! ( (! ((potential((tk(P1334)>=1))))) | (! ((potential((tk(P331)>=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-303"
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-303, 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-158902541600020"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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