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

About the Execution of smart for CloudReconfiguration-PT-310

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15763.710 3600000.00 3600071.00 9.90 [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-158902541700075.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-310, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700075
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1589091755183

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 310
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4442383 SOS 722657 HAS SOPS 722657 HAS SOUS 696293 HAS SOUPS 696293 WITH SCORE 697015.657
AT ITER 11 NEW BEST:: SOT 4442457 SOS 722562 HAS SOPS 722562 HAS SOUS 696198 HAS SOUPS 696198 WITH SCORE 696920.562
AT ITER 43 NEW BEST:: SOT 4442431 SOS 722536 HAS SOPS 722536 HAS SOUS 696172 HAS SOUPS 696172 WITH SCORE 696894.536
AT ITER 60 NEW BEST:: SOT 4442266 SOS 722206 HAS SOPS 722206 HAS SOUS 695842 HAS SOUPS 695842 WITH SCORE 696564.206
AT ITER 82 NEW BEST:: SOT 4442055 SOS 721784 HAS SOPS 721784 HAS SOUS 695420 HAS SOUPS 695420 WITH SCORE 696141.784
AT ITER 138 NEW BEST:: SOT 4441952 SOS 721578 HAS SOPS 721578 HAS SOUS 695214 HAS SOUPS 695214 WITH SCORE 695935.578
AT ITER 141 NEW BEST:: SOT 4441942 SOS 721558 HAS SOPS 721558 HAS SOUS 695194 HAS SOUPS 695194 WITH SCORE 695915.558
AT ITER 175 NEW BEST:: SOT 4441648 SOS 720970 HAS SOPS 720970 HAS SOUS 694606 HAS SOUPS 694606 WITH SCORE 695326.97
AT ITER 202 NEW BEST:: SOT 4441588 SOS 720969 HAS SOPS 720969 HAS SOUS 694605 HAS SOUPS 694605 WITH SCORE 695325.969
AT ITER 256 NEW BEST:: SOT 4441586 SOS 720968 HAS SOPS 720968 HAS SOUS 694604 HAS SOUPS 694604 WITH SCORE 695324.968
AT ITER 263 NEW BEST:: SOT 4441470 SOS 720736 HAS SOPS 720736 HAS SOUS 694372 HAS SOUPS 694372 WITH SCORE 695092.736
AT ITER 276 NEW BEST:: SOT 4441433 SOS 720662 HAS SOPS 720662 HAS SOUS 694298 HAS SOUPS 694298 WITH SCORE 695018.662
AT ITER 296 NEW BEST:: SOT 4440969 SOS 720082 HAS SOPS 720082 HAS SOUS 693718 HAS SOUPS 693718 WITH SCORE 694438.082
AT ITER 323 NEW BEST:: SOT 4440969 SOS 720081 HAS SOPS 720081 HAS SOUS 693717 HAS SOUPS 693717 WITH SCORE 694437.081
AT ITER 328 NEW BEST:: SOT 4440923 SOS 719848 HAS SOPS 719848 HAS SOUS 693530 HAS SOUPS 693530 WITH SCORE 694249.848
AT ITER 336 NEW BEST:: SOT 4440923 SOS 719218 HAS SOPS 719218 HAS SOUS 693215 HAS SOUPS 693215 WITH SCORE 693934.218
AT ITER 358 NEW BEST:: SOT 4440951 SOS 719274 HAS SOPS 719274 HAS SOUS 693151 HAS SOUPS 693151 WITH SCORE 693870.274
AT ITER 363 NEW BEST:: SOT 4440951 SOS 719273 HAS SOPS 719273 HAS SOUS 693150 HAS SOUPS 693150 WITH SCORE 693869.273
AT ITER 364 NEW BEST:: SOT 4440708 SOS 719272 HAS SOPS 719272 HAS SOUS 693149 HAS SOUPS 693149 WITH SCORE 693868.272
AT ITER 367 NEW BEST:: SOT 4428524 SOS 710252 HAS SOPS 710252 HAS SOUS 681416 HAS SOUPS 681416 WITH SCORE 682126.252
AT ITER 386 NEW BEST:: SOT 4428087 SOS 710246 HAS SOPS 710246 HAS SOUS 680979 HAS SOUPS 680979 WITH SCORE 681689.246
AT ITER 403 NEW BEST:: SOT 4427938 SOS 710099 HAS SOPS 710099 HAS SOUS 680830 HAS SOUPS 680830 WITH SCORE 681540.099
AT ITER 416 NEW BEST:: SOT 4427938 SOS 710099 HAS SOPS 710099 HAS SOUS 680810 HAS SOUPS 680810 WITH SCORE 681520.099
AT ITER 499 NEW BEST:: SOT 4427982 SOS 709954 HAS SOPS 709954 HAS SOUS 680665 HAS SOUPS 680665 WITH SCORE 681374.954
AT ITER 506 NEW BEST:: SOT 4427955 SOS 710198 HAS SOPS 710198 HAS SOUS 680638 HAS SOUPS 680638 WITH SCORE 681348.198
AT ITER 513 NEW BEST:: SOT 4427913 SOS 710156 HAS SOPS 710156 HAS SOUS 680596 HAS SOUPS 680596 WITH SCORE 681306.156
AT ITER 514 NEW BEST:: SOT 4427812 SOS 709954 HAS SOPS 709954 HAS SOUS 680394 HAS SOUPS 680394 WITH SCORE 681103.954
AT ITER 556 NEW BEST:: SOT 4427771 SOS 709872 HAS SOPS 709872 HAS SOUS 680312 HAS SOUPS 680312 WITH SCORE 681021.872
AT ITER 576 NEW BEST:: SOT 4427711 SOS 709692 HAS SOPS 709692 HAS SOUS 680192 HAS SOUPS 680192 WITH SCORE 680901.692
AT ITER 577 NEW BEST:: SOT 4427803 SOS 709876 HAS SOPS 709876 HAS SOUS 680174 HAS SOUPS 680174 WITH SCORE 680883.876
AT ITER 584 NEW BEST:: SOT 4427803 SOS 709738 HAS SOPS 709738 HAS SOUS 680105 HAS SOUPS 680105 WITH SCORE 680814.738
AT ITER 593 NEW BEST:: SOT 4427864 SOS 709078 HAS SOPS 709078 HAS SOUS 679775 HAS SOUPS 679775 WITH SCORE 680484.078
AT ITER 595 NEW BEST:: SOT 4427864 SOS 708890 HAS SOPS 708890 HAS SOUS 679587 HAS SOUPS 679587 WITH SCORE 680295.89
AT ITER 614 NEW BEST:: SOT 4427862 SOS 708886 HAS SOPS 708886 HAS SOUS 679585 HAS SOUPS 679585 WITH SCORE 680293.886
AT ITER 625 NEW BEST:: SOT 4426950 SOS 707656 HAS SOPS 707656 HAS SOUS 678412 HAS SOUPS 678412 WITH SCORE 679119.656
AT ITER 626 NEW BEST:: SOT 4426751 SOS 707519 HAS SOPS 707519 HAS SOUS 678262 HAS SOUPS 678262 WITH SCORE 678969.519
AT ITER 629 NEW BEST:: SOT 4426751 SOS 707519 HAS SOPS 707519 HAS SOUS 678216 HAS SOUPS 678216 WITH SCORE 678923.519
AT ITER 631 NEW BEST:: SOT 4426461 SOS 707251 HAS SOPS 707251 HAS SOUS 677821 HAS SOUPS 677821 WITH SCORE 678528.251
AT ITER 643 NEW BEST:: SOT 4426284 SOS 707074 HAS SOPS 707074 HAS SOUS 677644 HAS SOUPS 677644 WITH SCORE 678351.074
AT ITER 648 NEW BEST:: SOT 4425882 SOS 706672 HAS SOPS 706672 HAS SOUS 677242 HAS SOUPS 677242 WITH SCORE 677948.672
AT ITER 662 NEW BEST:: SOT 4425750 SOS 705952 HAS SOPS 705952 HAS SOUS 676802 HAS SOUPS 676802 WITH SCORE 677507.952
AT ITER 674 NEW BEST:: SOT 4425057 SOS 705028 HAS SOPS 705028 HAS SOUS 675878 HAS SOUPS 675878 WITH SCORE 676583.028
AT ITER 679 NEW BEST:: SOT 4425057 SOS 705028 HAS SOPS 705028 HAS SOUS 675627 HAS SOUPS 675627 WITH SCORE 676332.028
AT ITER 711 NEW BEST:: SOT 4424881 SOS 704676 HAS SOPS 704676 HAS SOUS 675275 HAS SOUPS 675275 WITH SCORE 675979.676
AT ITER 749 NEW BEST:: SOT 4424881 SOS 704676 HAS SOPS 704676 HAS SOUS 675125 HAS SOUPS 675125 WITH SCORE 675829.676
AT ITER 774 NEW BEST:: SOT 4425021 SOS 704956 HAS SOPS 704956 HAS SOUS 674996 HAS SOUPS 674996 WITH SCORE 675700.956
AT ITER 786 NEW BEST:: SOT 4425027 SOS 704968 HAS SOPS 704968 HAS SOUS 674816 HAS SOUPS 674816 WITH SCORE 675520.968
AT ITER 799 NEW BEST:: SOT 4424923 SOS 704890 HAS SOPS 704890 HAS SOUS 674738 HAS SOUPS 674738 WITH SCORE 675442.89
AT ITER 830 NEW BEST:: SOT 4424923 SOS 704865 HAS SOPS 704865 HAS SOUS 674713 HAS SOUPS 674713 WITH SCORE 675417.865
AT ITER 842 NEW BEST:: SOT 4424923 SOS 704865 HAS SOPS 704865 HAS SOUS 674593 HAS SOUPS 674593 WITH SCORE 675297.865
AT ITER 863 NEW BEST:: SOT 4424923 SOS 704864 HAS SOPS 704864 HAS SOUS 674592 HAS SOUPS 674592 WITH SCORE 675296.864
AT ITER 865 NEW BEST:: SOT 4424786 SOS 704727 HAS SOPS 704727 HAS SOUS 674455 HAS SOUPS 674455 WITH SCORE 675159.727
AT ITER 887 NEW BEST:: SOT 4424726 SOS 704607 HAS SOPS 704607 HAS SOUS 674395 HAS SOUPS 674395 WITH SCORE 675099.607
AT ITER 891 NEW BEST:: SOT 4424626 SOS 704507 HAS SOPS 704507 HAS SOUS 674295 HAS SOUPS 674295 WITH SCORE 674999.507
AT ITER 924 NEW BEST:: SOT 4424626 SOS 704506 HAS SOPS 704506 HAS SOUS 674294 HAS SOUPS 674294 WITH SCORE 674998.506
AT ITER 939 NEW BEST:: SOT 4424722 SOS 704698 HAS SOPS 704698 HAS SOUS 674183 HAS SOUPS 674183 WITH SCORE 674887.698
AT ITER 941 NEW BEST:: SOT 4424722 SOS 704698 HAS SOPS 704698 HAS SOUS 674182 HAS SOUPS 674182 WITH SCORE 674886.698
AT ITER 989 NEW BEST:: SOT 4424683 SOS 704619 HAS SOPS 704619 HAS SOUS 673873 HAS SOUPS 673873 WITH SCORE 674577.619
AT ITER 994 NEW BEST:: SOT 4424547 SOS 704483 HAS SOPS 704483 HAS SOUS 673737 HAS SOUPS 673737 WITH SCORE 674441.483
AT ITER 996 NEW BEST:: SOT 4424427 SOS 704483 HAS SOPS 704483 HAS SOUS 673677 HAS SOUPS 673677 WITH SCORE 674381.483
AT ITER 1022 NEW BEST:: SOT 4424427 SOS 704337 HAS SOPS 704337 HAS SOUS 673531 HAS SOUPS 673531 WITH SCORE 674235.337
AT ITER 1025 NEW BEST:: SOT 4424412 SOS 704307 HAS SOPS 704307 HAS SOUS 673501 HAS SOUPS 673501 WITH SCORE 674205.307
AT ITER 1026 NEW BEST:: SOT 4423541 SOS 704380 HAS SOPS 704380 HAS SOUS 672981 HAS SOUPS 672981 WITH SCORE 673685.38
AT ITER 1103 NEW BEST:: SOT 4421096 SOS 703683 HAS SOPS 703683 HAS SOUS 671051 HAS SOUPS 671051 WITH SCORE 671754.683
AT ITER 1107 NEW BEST:: SOT 4421068 SOS 703627 HAS SOPS 703627 HAS SOUS 671023 HAS SOUPS 671023 WITH SCORE 671726.627
AT ITER 1115 NEW BEST:: SOT 4420962 SOS 703521 HAS SOPS 703521 HAS SOUS 670917 HAS SOUPS 670917 WITH SCORE 671620.521
AT ITER 1126 NEW BEST:: SOT 4420638 SOS 703089 HAS SOPS 703089 HAS SOUS 670485 HAS SOUPS 670485 WITH SCORE 671188.089
AT ITER 1153 NEW BEST:: SOT 4420638 SOS 703255 HAS SOPS 703255 HAS SOUS 670484 HAS SOUPS 670484 WITH SCORE 671187.255
AT ITER 1162 NEW BEST:: SOT 4420533 SOS 703431 HAS SOPS 703431 HAS SOUS 670379 HAS SOUPS 670379 WITH SCORE 671082.431
AT ITER 1178 NEW BEST:: SOT 4420345 SOS 703503 HAS SOPS 703503 HAS SOUS 670174 HAS SOUPS 670174 WITH SCORE 670877.503
AT ITER 1184 NEW BEST:: SOT 4420356 SOS 703445 HAS SOPS 703445 HAS SOUS 670116 HAS SOUPS 670116 WITH SCORE 670819.445
AT ITER 1194 NEW BEST:: SOT 4420192 SOS 703117 HAS SOPS 703117 HAS SOUS 669788 HAS SOUPS 669788 WITH SCORE 670491.117
AT ITER 1241 NEW BEST:: SOT 4420010 SOS 702990 HAS SOPS 702990 HAS SOUS 669631 HAS SOUPS 669631 WITH SCORE 670333.99
AT ITER 1249 NEW BEST:: SOT 4420010 SOS 702989 HAS SOPS 702989 HAS SOUS 669630 HAS SOUPS 669630 WITH SCORE 670332.989
AT ITER 1261 NEW BEST:: SOT 4419948 SOS 702511 HAS SOPS 702511 HAS SOUS 669275 HAS SOUPS 669275 WITH SCORE 669977.511
AT ITER 1293 NEW BEST:: SOT 4419888 SOS 702616 HAS SOPS 702616 HAS SOUS 669234 HAS SOUPS 669234 WITH SCORE 669936.616
AT ITER 1305 NEW BEST:: SOT 4419807 SOS 702601 HAS SOPS 702601 HAS SOUS 669219 HAS SOUPS 669219 WITH SCORE 669921.601
AT ITER 1350 NEW BEST:: SOT 4419681 SOS 702349 HAS SOPS 702349 HAS SOUS 668967 HAS SOUPS 668967 WITH SCORE 669669.349
AT ITER 1362 NEW BEST:: SOT 4419482 SOS 701741 HAS SOPS 701741 HAS SOUS 668558 HAS SOUPS 668558 WITH SCORE 669259.741
AT ITER 1363 NEW BEST:: SOT 4419566 SOS 701909 HAS SOPS 701909 HAS SOUS 668481 HAS SOUPS 668481 WITH SCORE 669182.909
AT ITER 1364 NEW BEST:: SOT 4419345 SOS 701817 HAS SOPS 701817 HAS SOUS 668260 HAS SOUPS 668260 WITH SCORE 668961.817
AT ITER 1367 NEW BEST:: SOT 4418921 SOS 701620 HAS SOPS 701620 HAS SOUS 668063 HAS SOUPS 668063 WITH SCORE 668764.62
AT ITER 1377 NEW BEST:: SOT 4418712 SOS 701445 HAS SOPS 701445 HAS SOUS 667854 HAS SOUPS 667854 WITH SCORE 668555.445
AT ITER 1382 NEW BEST:: SOT 4418611 SOS 701243 HAS SOPS 701243 HAS SOUS 667766 HAS SOUPS 667766 WITH SCORE 668467.243
AT ITER 1404 NEW BEST:: SOT 4418509 SOS 701141 HAS SOPS 701141 HAS SOUS 667664 HAS SOUPS 667664 WITH SCORE 668365.141
AT ITER 1412 NEW BEST:: SOT 4418443 SOS 701009 HAS SOPS 701009 HAS SOUS 667464 HAS SOUPS 667464 WITH SCORE 668165.009
AT ITER 1429 NEW BEST:: SOT 4418374 SOS 700964 HAS SOPS 700964 HAS SOUS 667395 HAS SOUPS 667395 WITH SCORE 668095.964
AT ITER 1432 NEW BEST:: SOT 4418273 SOS 700762 HAS SOPS 700762 HAS SOUS 667294 HAS SOUPS 667294 WITH SCORE 667994.762
AT ITER 1506 NEW BEST:: SOT 4418123 SOS 700701 HAS SOPS 700701 HAS SOUS 667233 HAS SOUPS 667233 WITH SCORE 667933.701
AT ITER 1509 NEW BEST:: SOT 4417947 SOS 700645 HAS SOPS 700645 HAS SOUS 667079 HAS SOUPS 667079 WITH SCORE 667779.645
AT ITER 1538 NEW BEST:: SOT 4417821 SOS 700477 HAS SOPS 700477 HAS SOUS 666911 HAS SOUPS 666911 WITH SCORE 667611.477
AT ITER 1563 NEW BEST:: SOT 4417756 SOS 700412 HAS SOPS 700412 HAS SOUS 666910 HAS SOUPS 666910 WITH SCORE 667610.412
AT ITER 1608 NEW BEST:: SOT 4417708 SOS 700316 HAS SOPS 700316 HAS SOUS 666814 HAS SOUPS 666814 WITH SCORE 667514.316
AT ITER 1616 NEW BEST:: SOT 4417684 SOS 700268 HAS SOPS 700268 HAS SOUS 666766 HAS SOUPS 666766 WITH SCORE 667466.268
AT ITER 1651 NEW BEST:: SOT 4417587 SOS 700074 HAS SOPS 700074 HAS SOUS 666669 HAS SOUPS 666669 WITH SCORE 667369.074
AT ITER 1661 NEW BEST:: SOT 4416673 SOS 699431 HAS SOPS 699431 HAS SOUS 665932 HAS SOUPS 665932 WITH SCORE 666631.431
AT ITER 1666 NEW BEST:: SOT 4416603 SOS 699291 HAS SOPS 699291 HAS SOUS 665792 HAS SOUPS 665792 WITH SCORE 666491.291
AT ITER 1717 NEW BEST:: SOT 4416463 SOS 699151 HAS SOPS 699151 HAS SOUS 665652 HAS SOUPS 665652 WITH SCORE 666351.151
AT ITER 1746 NEW BEST:: SOT 4416277 SOS 699192 HAS SOPS 699192 HAS SOUS 665484 HAS SOUPS 665484 WITH SCORE 666183.192
AT ITER 1755 NEW BEST:: SOT 4416277 SOS 699192 HAS SOPS 699192 HAS SOUS 665483 HAS SOUPS 665483 WITH SCORE 666182.192
AT ITER 1773 NEW BEST:: SOT 4416277 SOS 699096 HAS SOPS 699096 HAS SOUS 665387 HAS SOUPS 665387 WITH SCORE 666086.096
AT ITER 1835 NEW BEST:: SOT 4416187 SOS 699006 HAS SOPS 699006 HAS SOUS 665207 HAS SOUPS 665207 WITH SCORE 665906.006
AT ITER 1837 NEW BEST:: SOT 4414580 SOS 698510 HAS SOPS 698510 HAS SOUS 663805 HAS SOUPS 663805 WITH SCORE 664503.51
AT ITER 1843 NEW BEST:: SOT 4414428 SOS 698358 HAS SOPS 698358 HAS SOUS 663653 HAS SOUPS 663653 WITH SCORE 664351.358
AT ITER 1865 NEW BEST:: SOT 4414393 SOS 698288 HAS SOPS 698288 HAS SOUS 663609 HAS SOUPS 663609 WITH SCORE 664307.288
AT ITER 1884 NEW BEST:: SOT 4413927 SOS 698156 HAS SOPS 698156 HAS SOUS 663343 HAS SOUPS 663343 WITH SCORE 664041.156
AT ITER 1930 NEW BEST:: SOT 4414230 SOS 698762 HAS SOPS 698762 HAS SOUS 663155 HAS SOUPS 663155 WITH SCORE 663853.762
AT ITER 1941 NEW BEST:: SOT 4414214 SOS 698858 HAS SOPS 698858 HAS SOUS 663139 HAS SOUPS 663139 WITH SCORE 663837.858
AT ITER 1942 NEW BEST:: SOT 4414184 SOS 698888 HAS SOPS 698888 HAS SOUS 663063 HAS SOUPS 663063 WITH SCORE 663761.888
AT ITER 1943 NEW BEST:: SOT 4413823 SOS 699266 HAS SOPS 699266 HAS SOUS 662841 HAS SOUPS 662841 WITH SCORE 663540.266
AT ITER 1946 NEW BEST:: SOT 4413700 SOS 699020 HAS SOPS 699020 HAS SOUS 662595 HAS SOUPS 662595 WITH SCORE 663294.02
AT ITER 1966 NEW BEST:: SOT 4413489 SOS 698808 HAS SOPS 698808 HAS SOUS 662383 HAS SOUPS 662383 WITH SCORE 663081.808
AT ITER 1983 NEW BEST:: SOT 4413473 SOS 698784 HAS SOPS 698784 HAS SOUS 662367 HAS SOUPS 662367 WITH SCORE 663065.784
AT ITER 1985 NEW BEST:: SOT 4413415 SOS 698668 HAS SOPS 698668 HAS SOUS 662251 HAS SOUPS 662251 WITH SCORE 662949.668
AT ITER 2008 NEW BEST:: SOT 4413437 SOS 698258 HAS SOPS 698258 HAS SOUS 661973 HAS SOUPS 661973 WITH SCORE 662671.258
AT ITER 2017 NEW BEST:: SOT 4413422 SOS 698228 HAS SOPS 698228 HAS SOUS 661943 HAS SOUPS 661943 WITH SCORE 662641.228
AT ITER 2029 NEW BEST:: SOT 4413443 SOS 698270 HAS SOPS 698270 HAS SOUS 661629 HAS SOUPS 661629 WITH SCORE 662327.27
AT ITER 2060 NEW BEST:: SOT 4413388 SOS 698215 HAS SOPS 698215 HAS SOUS 661574 HAS SOUPS 661574 WITH SCORE 662272.215
AT ITER 2076 NEW BEST:: SOT 4413275 SOS 697989 HAS SOPS 697989 HAS SOUS 661069 HAS SOUPS 661069 WITH SCORE 661766.989
AT ITER 2077 NEW BEST:: SOT 4413243 SOS 697925 HAS SOPS 697925 HAS SOUS 660814 HAS SOUPS 660814 WITH SCORE 661511.925
AT ITER 2087 NEW BEST:: SOT 4413207 SOS 697853 HAS SOPS 697853 HAS SOUS 660503 HAS SOUPS 660503 WITH SCORE 661200.853
AT ITER 2088 NEW BEST:: SOT 4413306 SOS 698051 HAS SOPS 698051 HAS SOUS 660345 HAS SOUPS 660345 WITH SCORE 661043.051
AT ITER 2089 NEW BEST:: SOT 4413454 SOS 698347 HAS SOPS 698347 HAS SOUS 660342 HAS SOUPS 660342 WITH SCORE 661040.347
AT ITER 2102 NEW BEST:: SOT 4413446 SOS 698331 HAS SOPS 698331 HAS SOUS 660326 HAS SOUPS 660326 WITH SCORE 661024.331
AT ITER 2121 NEW BEST:: SOT 4413324 SOS 698305 HAS SOPS 698305 HAS SOUS 660300 HAS SOUPS 660300 WITH SCORE 660998.305
AT ITER 2161 NEW BEST:: SOT 4413256 SOS 698169 HAS SOPS 698169 HAS SOUS 660232 HAS SOUPS 660232 WITH SCORE 660930.169
AT ITER 2165 NEW BEST:: SOT 4413183 SOS 698279 HAS SOPS 698279 HAS SOUS 660223 HAS SOUPS 660223 WITH SCORE 660921.279
AT ITER 2166 NEW BEST:: SOT 4413048 SOS 697516 HAS SOPS 697516 HAS SOUS 659884 HAS SOUPS 659884 WITH SCORE 660581.516
AT ITER 2199 NEW BEST:: SOT 4412987 SOS 697394 HAS SOPS 697394 HAS SOUS 659762 HAS SOUPS 659762 WITH SCORE 660459.394
AT ITER 2207 NEW BEST:: SOT 4413098 SOS 697616 HAS SOPS 697616 HAS SOUS 659738 HAS SOUPS 659738 WITH SCORE 660435.616
AT ITER 2213 NEW BEST:: SOT 4413052 SOS 697570 HAS SOPS 697570 HAS SOUS 659692 HAS SOUPS 659692 WITH SCORE 660389.57
AT ITER 2234 NEW BEST:: SOT 4413052 SOS 697489 HAS SOPS 697489 HAS SOUS 659692 HAS SOUPS 659692 WITH SCORE 660389.489
AT ITER 2239 NEW BEST:: SOT 4412972 SOS 697329 HAS SOPS 697329 HAS SOUS 659611 HAS SOUPS 659611 WITH SCORE 660308.329
AT ITER 2241 NEW BEST:: SOT 4412890 SOS 705187 HAS SOPS 705187 HAS SOUS 659529 HAS SOUPS 659529 WITH SCORE 660234.187
AT ITER 2244 NEW BEST:: SOT 4412330 SOS 707066 HAS SOPS 707066 HAS SOUS 659457 HAS SOUPS 659457 WITH SCORE 660164.066
AT ITER 2262 NEW BEST:: SOT 4411343 SOS 706277 HAS SOPS 706277 HAS SOUS 658668 HAS SOUPS 658668 WITH SCORE 659374.277
AT ITER 2312 NEW BEST:: SOT 4411425 SOS 706810 HAS SOPS 706810 HAS SOUS 658666 HAS SOUPS 658666 WITH SCORE 659372.81
AT ITER 2320 NEW BEST:: SOT 4410935 SOS 706320 HAS SOPS 706320 HAS SOUS 658176 HAS SOUPS 658176 WITH SCORE 658882.32
AT ITER 2338 NEW BEST:: SOT 4410934 SOS 706318 HAS SOPS 706318 HAS SOUS 658174 HAS SOUPS 658174 WITH SCORE 658880.318
AT ITER 2345 NEW BEST:: SOT 4410933 SOS 706316 HAS SOPS 706316 HAS SOUS 658172 HAS SOUPS 658172 WITH SCORE 658878.316
AT ITER 2346 NEW BEST:: SOT 4410958 SOS 706366 HAS SOPS 706366 HAS SOUS 658157 HAS SOUPS 658157 WITH SCORE 658863.366
AT ITER 2358 NEW BEST:: SOT 4410957 SOS 706364 HAS SOPS 706364 HAS SOUS 658155 HAS SOUPS 658155 WITH SCORE 658861.364
AT ITER 2368 NEW BEST:: SOT 4411076 SOS 706197 HAS SOPS 706197 HAS SOUS 658023 HAS SOUPS 658023 WITH SCORE 658729.197
AT ITER 2405 NEW BEST:: SOT 4411076 SOS 706170 HAS SOPS 706170 HAS SOUS 658023 HAS SOUPS 658023 WITH SCORE 658729.17
AT ITER 2409 NEW BEST:: SOT 4410999 SOS 706016 HAS SOPS 706016 HAS SOUS 657946 HAS SOUPS 657946 WITH SCORE 658652.016
AT ITER 2436 NEW BEST:: SOT 4410879 SOS 705776 HAS SOPS 705776 HAS SOUS 657826 HAS SOUPS 657826 WITH SCORE 658531.776
AT ITER 2448 NEW BEST:: SOT 4410656 SOS 705776 HAS SOPS 705776 HAS SOUS 657679 HAS SOUPS 657679 WITH SCORE 658384.776
AT ITER 2493 NEW BEST:: SOT 4408777 SOS 705134 HAS SOPS 705134 HAS SOUS 656512 HAS SOUPS 656512 WITH SCORE 657217.134
AT ITER 2497 NEW BEST:: SOT 4408777 SOS 704880 HAS SOPS 704880 HAS SOUS 656512 HAS SOUPS 656512 WITH SCORE 657216.88
AT ITER 2510 NEW BEST:: SOT 4408666 SOS 704769 HAS SOPS 704769 HAS SOUS 656401 HAS SOUPS 656401 WITH SCORE 657105.769
AT ITER 2512 NEW BEST:: SOT 4408666 SOS 704683 HAS SOPS 704683 HAS SOUS 656315 HAS SOUPS 656315 WITH SCORE 657019.683
AT ITER 2559 NEW BEST:: SOT 4408603 SOS 704557 HAS SOPS 704557 HAS SOUS 656060 HAS SOUPS 656060 WITH SCORE 656764.557
AT ITER 2592 NEW BEST:: SOT 4408694 SOS 704293 HAS SOPS 704293 HAS SOUS 656048 HAS SOUPS 656048 WITH SCORE 656752.293
AT ITER 2603 NEW BEST:: SOT 4408491 SOS 704090 HAS SOPS 704090 HAS SOUS 655845 HAS SOUPS 655845 WITH SCORE 656549.09
AT ITER 2608 NEW BEST:: SOT 4408491 SOS 704039 HAS SOPS 704039 HAS SOUS 655794 HAS SOUPS 655794 WITH SCORE 656498.039
AT ITER 2609 NEW BEST:: SOT 4408490 SOS 704037 HAS SOPS 704037 HAS SOUS 655792 HAS SOUPS 655792 WITH SCORE 656496.037
AT ITER 2612 NEW BEST:: SOT 4408305 SOS 703667 HAS SOPS 703667 HAS SOUS 655725 HAS SOUPS 655725 WITH SCORE 656428.667
AT ITER 2630 NEW BEST:: SOT 4408278 SOS 703613 HAS SOPS 703613 HAS SOUS 655698 HAS SOUPS 655698 WITH SCORE 656401.613
AT ITER 2634 NEW BEST:: SOT 4408321 SOS 703099 HAS SOPS 703099 HAS SOUS 655462 HAS SOUPS 655462 WITH SCORE 656165.099
AT ITER 2638 NEW BEST:: SOT 4408321 SOS 703098 HAS SOPS 703098 HAS SOUS 655461 HAS SOUPS 655461 WITH SCORE 656164.098
AT ITER 2646 NEW BEST:: SOT 4408249 SOS 702954 HAS SOPS 702954 HAS SOUS 655317 HAS SOUPS 655317 WITH SCORE 656019.954
AT ITER 2657 NEW BEST:: SOT 4408233 SOS 702922 HAS SOPS 702922 HAS SOUS 655165 HAS SOUPS 655165 WITH SCORE 655867.922
AT ITER 2668 NEW BEST:: SOT 4408291 SOS 703038 HAS SOPS 703038 HAS SOUS 655083 HAS SOUPS 655083 WITH SCORE 655786.038
AT ITER 2675 NEW BEST:: SOT 4408207 SOS 702662 HAS SOPS 702662 HAS SOUS 654869 HAS SOUPS 654869 WITH SCORE 655571.662
AT ITER 2683 NEW BEST:: SOT 4408055 SOS 702358 HAS SOPS 702358 HAS SOUS 654565 HAS SOUPS 654565 WITH SCORE 655267.358
AT ITER 2715 NEW BEST:: SOT 4408013 SOS 702358 HAS SOPS 702358 HAS SOUS 654544 HAS SOUPS 654544 WITH SCORE 655246.358
AT ITER 2719 NEW BEST:: SOT 4407905 SOS 702307 HAS SOPS 702307 HAS SOUS 654436 HAS SOUPS 654436 WITH SCORE 655138.307
AT ITER 2730 NEW BEST:: SOT 4407845 SOS 702187 HAS SOPS 702187 HAS SOUS 654346 HAS SOUPS 654346 WITH SCORE 655048.187
AT ITER 2755 NEW BEST:: SOT 4407770 SOS 702127 HAS SOPS 702127 HAS SOUS 654286 HAS SOUPS 654286 WITH SCORE 654988.127
AT ITER 2776 NEW BEST:: SOT 4407769 SOS 702125 HAS SOPS 702125 HAS SOUS 654284 HAS SOUPS 654284 WITH SCORE 654986.125
AT ITER 2799 NEW BEST:: SOT 4407769 SOS 702125 HAS SOPS 702125 HAS SOUS 654079 HAS SOUPS 654079 WITH SCORE 654781.125
AT ITER 2808 NEW BEST:: SOT 4407700 SOS 701987 HAS SOPS 701987 HAS SOUS 653941 HAS SOUPS 653941 WITH SCORE 654642.987
AT ITER 2852 NEW BEST:: SOT 4407646 SOS 701933 HAS SOPS 701933 HAS SOUS 653887 HAS SOUPS 653887 WITH SCORE 654588.933
AT ITER 2879 NEW BEST:: SOT 4407741 SOS 702123 HAS SOPS 702123 HAS SOUS 653770 HAS SOUPS 653770 WITH SCORE 654472.123
AT ITER 2882 NEW BEST:: SOT 4407591 SOS 701823 HAS SOPS 701823 HAS SOUS 653769 HAS SOUPS 653769 WITH SCORE 654470.823
AT ITER 2894 NEW BEST:: SOT 4407591 SOS 701823 HAS SOPS 701823 HAS SOUS 653736 HAS SOUPS 653736 WITH SCORE 654437.823
AT ITER 2914 NEW BEST:: SOT 4407550 SOS 701741 HAS SOPS 701741 HAS SOUS 653695 HAS SOUPS 653695 WITH SCORE 654396.741
AT ITER 2915 NEW BEST:: SOT 4407524 SOS 701689 HAS SOPS 701689 HAS SOUS 653643 HAS SOUPS 653643 WITH SCORE 654344.689
AT ITER 2923 NEW BEST:: SOT 4407625 SOS 701655 HAS SOPS 701655 HAS SOUS 653609 HAS SOUPS 653609 WITH SCORE 654310.655
AT ITER 2927 NEW BEST:: SOT 4407914 SOS 701789 HAS SOPS 701789 HAS SOUS 653563 HAS SOUPS 653563 WITH SCORE 654264.789
AT ITER 2931 NEW BEST:: SOT 4407925 SOS 701811 HAS SOPS 701811 HAS SOUS 653448 HAS SOUPS 653448 WITH SCORE 654149.811
AT ITER 2950 NEW BEST:: SOT 4407906 SOS 701773 HAS SOPS 701773 HAS SOUS 653410 HAS SOUPS 653410 WITH SCORE 654111.773
AT ITER 2985 NEW BEST:: SOT 4407803 SOS 701669 HAS SOPS 701669 HAS SOUS 653306 HAS SOUPS 653306 WITH SCORE 654007.669
AT ITER 2996 NEW BEST:: SOT 4407800 SOS 701663 HAS SOPS 701663 HAS SOUS 653300 HAS SOUPS 653300 WITH SCORE 654001.663
AT ITER 3017 NEW BEST:: SOT 4407800 SOS 701662 HAS SOPS 701662 HAS SOUS 653299 HAS SOUPS 653299 WITH SCORE 654000.662
AT ITER 3025 NEW BEST:: SOT 4407757 SOS 701696 HAS SOPS 701696 HAS SOUS 653265 HAS SOUPS 653265 WITH SCORE 653966.696
AT ITER 3035 NEW BEST:: SOT 4406773 SOS 700883 HAS SOPS 700883 HAS SOUS 652446 HAS SOUPS 652446 WITH SCORE 653146.883
AT ITER 3053 NEW BEST:: SOT 4406725 SOS 700835 HAS SOPS 700835 HAS SOUS 652398 HAS SOUPS 652398 WITH SCORE 653098.835
AT ITER 3073 NEW BEST:: SOT 4406595 SOS 700707 HAS SOPS 700707 HAS SOUS 652268 HAS SOUPS 652268 WITH SCORE 652968.707
AT ITER 3081 NEW BEST:: SOT 4406516 SOS 701597 HAS SOPS 701597 HAS SOUS 652238 HAS SOUPS 652238 WITH SCORE 652939.597
AT ITER 3089 NEW BEST:: SOT 4406501 SOS 701567 HAS SOPS 701567 HAS SOUS 652208 HAS SOUPS 652208 WITH SCORE 652909.567
AT ITER 3124 NEW BEST:: SOT 4406452 SOS 701469 HAS SOPS 701469 HAS SOUS 652110 HAS SOUPS 652110 WITH SCORE 652811.469
AT ITER 3178 NEW BEST:: SOT 4406080 SOS 701074 HAS SOPS 701074 HAS SOUS 651666 HAS SOUPS 651666 WITH SCORE 652367.074
AT ITER 3187 NEW BEST:: SOT 4405918 SOS 700911 HAS SOPS 700911 HAS SOUS 651503 HAS SOUPS 651503 WITH SCORE 652203.911
AT ITER 3199 NEW BEST:: SOT 4405778 SOS 700942 HAS SOPS 700942 HAS SOUS 651363 HAS SOUPS 651363 WITH SCORE 652063.942
AT ITER 3208 NEW BEST:: SOT 4405741 SOS 701020 HAS SOPS 701020 HAS SOUS 651313 HAS SOUPS 651313 WITH SCORE 652014.02
AT ITER 3223 NEW BEST:: SOT 4405740 SOS 701018 HAS SOPS 701018 HAS SOUS 651311 HAS SOUPS 651311 WITH SCORE 652012.018
AT ITER 3246 NEW BEST:: SOT 4405732 SOS 701002 HAS SOPS 701002 HAS SOUS 651103 HAS SOUPS 651103 WITH SCORE 651804.002
AT ITER 3251 NEW BEST:: SOT 4405710 SOS 701171 HAS SOPS 701171 HAS SOUS 651081 HAS SOUPS 651081 WITH SCORE 651782.171
AT ITER 3263 NEW BEST:: SOT 4405695 SOS 701141 HAS SOPS 701141 HAS SOUS 651066 HAS SOUPS 651066 WITH SCORE 651767.141
AT ITER 3310 NEW BEST:: SOT 4405578 SOS 701024 HAS SOPS 701024 HAS SOUS 650949 HAS SOUPS 650949 WITH SCORE 651650.024
AT ITER 3312 NEW BEST:: SOT 4405578 SOS 701024 HAS SOPS 701024 HAS SOUS 650948 HAS SOUPS 650948 WITH SCORE 651649.024
AT ITER 3347 NEW BEST:: SOT 4405578 SOS 700976 HAS SOPS 700976 HAS SOUS 650524 HAS SOUPS 650524 WITH SCORE 651224.976
AT ITER 3367 NEW BEST:: SOT 4405089 SOS 700291 HAS SOPS 700291 HAS SOUS 649791 HAS SOUPS 649791 WITH SCORE 650491.291
AT ITER 3382 NEW BEST:: SOT 4404881 SOS 699875 HAS SOPS 699875 HAS SOUS 649583 HAS SOUPS 649583 WITH SCORE 650282.875
AT ITER 3384 NEW BEST:: SOT 4404880 SOS 699873 HAS SOPS 699873 HAS SOUS 649581 HAS SOUPS 649581 WITH SCORE 650280.873
AT ITER 3387 NEW BEST:: SOT 4404904 SOS 699821 HAS SOPS 699821 HAS SOUS 649529 HAS SOUPS 649529 WITH SCORE 650228.821
AT ITER 3410 NEW BEST:: SOT 4404904 SOS 699598 HAS SOPS 699598 HAS SOUS 649529 HAS SOUPS 649529 WITH SCORE 650228.598
AT ITER 3414 NEW BEST:: SOT 4404817 SOS 699424 HAS SOPS 699424 HAS SOUS 649355 HAS SOUPS 649355 WITH SCORE 650054.424
AT ITER 3453 NEW BEST:: SOT 4404812 SOS 699414 HAS SOPS 699414 HAS SOUS 649345 HAS SOUPS 649345 WITH SCORE 650044.414
AT ITER 3455 NEW BEST:: SOT 4404707 SOS 699099 HAS SOPS 699099 HAS SOUS 649135 HAS SOUPS 649135 WITH SCORE 649834.099
AT ITER 3457 NEW BEST:: SOT 4403462 SOS 702274 HAS SOPS 702274 HAS SOUS 648935 HAS SOUPS 648935 WITH SCORE 649637.274
AT ITER 3485 NEW BEST:: SOT 4403462 SOS 702164 HAS SOPS 702164 HAS SOUS 648825 HAS SOUPS 648825 WITH SCORE 649527.164
AT ITER 3500 NEW BEST:: SOT 4399373 SOS 745562 HAS SOPS 745562 HAS SOUS 646855 HAS SOUPS 646855 WITH SCORE 647600.562
AT ITER 3532 NEW BEST:: SOT 4399262 SOS 745470 HAS SOPS 745470 HAS SOUS 646744 HAS SOUPS 646744 WITH SCORE 647489.47
AT ITER 3533 NEW BEST:: SOT 4399113 SOS 745344 HAS SOPS 745344 HAS SOUS 646454 HAS SOUPS 646454 WITH SCORE 647199.344
AT ITER 3578 NEW BEST:: SOT 4399079 SOS 745276 HAS SOPS 745276 HAS SOUS 646386 HAS SOUPS 646386 WITH SCORE 647131.276
AT ITER 3579 NEW BEST:: SOT 4398777 SOS 744672 HAS SOPS 744672 HAS SOUS 646238 HAS SOUPS 646238 WITH SCORE 646982.672
AT ITER 3588 NEW BEST:: SOT 4398858 SOS 744834 HAS SOPS 744834 HAS SOUS 646138 HAS SOUPS 646138 WITH SCORE 646882.834
AT ITER 3607 NEW BEST:: SOT 4398849 SOS 744816 HAS SOPS 744816 HAS SOUS 646120 HAS SOUPS 646120 WITH SCORE 646864.816
AT ITER 3628 NEW BEST:: SOT 4398809 SOS 744736 HAS SOPS 744736 HAS SOUS 646040 HAS SOUPS 646040 WITH SCORE 646784.736
AT ITER 3647 NEW BEST:: SOT 4398809 SOS 744587 HAS SOPS 744587 HAS SOUS 645891 HAS SOUPS 645891 WITH SCORE 646635.587
AT ITER 3666 NEW BEST:: SOT 4398809 SOS 744542 HAS SOPS 744542 HAS SOUS 645846 HAS SOUPS 645846 WITH SCORE 646590.542
AT ITER 3682 NEW BEST:: SOT 4398709 SOS 744342 HAS SOPS 744342 HAS SOUS 645646 HAS SOUPS 645646 WITH SCORE 646390.342
AT ITER 3688 NEW BEST:: SOT 4398658 SOS 744291 HAS SOPS 744291 HAS SOUS 645595 HAS SOUPS 645595 WITH SCORE 646339.291
AT ITER 3691 NEW BEST:: SOT 4398556 SOS 744189 HAS SOPS 744189 HAS SOUS 645493 HAS SOUPS 645493 WITH SCORE 646237.189
AT ITER 3729 NEW BEST:: SOT 4398495 SOS 744225 HAS SOPS 744225 HAS SOUS 645432 HAS SOUPS 645432 WITH SCORE 646176.225
AT ITER 3784 NEW BEST:: SOT 4398433 SOS 744222 HAS SOPS 744222 HAS SOUS 645370 HAS SOUPS 645370 WITH SCORE 646114.222
AT ITER 3785 NEW BEST:: SOT 4398310 SOS 744098 HAS SOPS 744098 HAS SOUS 645369 HAS SOUPS 645369 WITH SCORE 646113.098
AT ITER 3803 NEW BEST:: SOT 4398225 SOS 743826 HAS SOPS 743826 HAS SOUS 645301 HAS SOUPS 645301 WITH SCORE 646044.826
AT ITER 3819 NEW BEST:: SOT 4397984 SOS 743824 HAS SOPS 743824 HAS SOUS 645299 HAS SOUPS 645299 WITH SCORE 646042.824
AT ITER 3828 NEW BEST:: SOT 4397983 SOS 743822 HAS SOPS 743822 HAS SOUS 645297 HAS SOUPS 645297 WITH SCORE 646040.822
AT ITER 3835 NEW BEST:: SOT 4397712 SOS 743280 HAS SOPS 743280 HAS SOUS 645229 HAS SOUPS 645229 WITH SCORE 645972.28
AT ITER 3857 NEW BEST:: SOT 4397367 SOS 743176 HAS SOPS 743176 HAS SOUS 645004 HAS SOUPS 645004 WITH SCORE 645747.176
AT ITER 3885 NEW BEST:: SOT 4397367 SOS 743175 HAS SOPS 743175 HAS SOUS 645003 HAS SOUPS 645003 WITH SCORE 645746.175
AT ITER 3916 NEW BEST:: SOT 4397347 SOS 743154 HAS SOPS 743154 HAS SOUS 645002 HAS SOUPS 645002 WITH SCORE 645745.154
AT ITER 3920 NEW BEST:: SOT 4397346 SOS 743152 HAS SOPS 743152 HAS SOUS 645000 HAS SOUPS 645000 WITH SCORE 645743.152
AT ITER 3938 NEW BEST:: SOT 4397327 SOS 743114 HAS SOPS 743114 HAS SOUS 644981 HAS SOUPS 644981 WITH SCORE 645724.114
AT ITER 3941 NEW BEST:: SOT 4397326 SOS 743112 HAS SOPS 743112 HAS SOUS 644981 HAS SOUPS 644981 WITH SCORE 645724.112
AT ITER 3968 NEW BEST:: SOT 4397055 SOS 742570 HAS SOPS 742570 HAS SOUS 644900 HAS SOUPS 644900 WITH SCORE 645642.57
AT ITER 3980 NEW BEST:: SOT 4396855 SOS 742170 HAS SOPS 742170 HAS SOUS 644700 HAS SOUPS 644700 WITH SCORE 645442.17
AT ITER 4020 NEW BEST:: SOT 4397087 SOS 742125 HAS SOPS 742125 HAS SOUS 644652 HAS SOUPS 644652 WITH SCORE 645394.125
AT ITER 4024 NEW BEST:: SOT 4397056 SOS 742063 HAS SOPS 742063 HAS SOUS 644590 HAS SOUPS 644590 WITH SCORE 645332.063
AT ITER 4027 NEW BEST:: SOT 4396784 SOS 741791 HAS SOPS 741791 HAS SOUS 644318 HAS SOUPS 644318 WITH SCORE 645059.791
AT ITER 4044 NEW BEST:: SOT 4396580 SOS 741383 HAS SOPS 741383 HAS SOUS 644113 HAS SOUPS 644113 WITH SCORE 644854.383
AT ITER 4066 NEW BEST:: SOT 4396571 SOS 741374 HAS SOPS 741374 HAS SOUS 644104 HAS SOUPS 644104 WITH SCORE 644845.374
AT ITER 4143 NEW BEST:: SOT 4396376 SOS 740984 HAS SOPS 740984 HAS SOUS 643714 HAS SOUPS 643714 WITH SCORE 644454.984
AT ITER 4182 NEW BEST:: SOT 4396376 SOS 741155 HAS SOPS 741155 HAS SOUS 643713 HAS SOUPS 643713 WITH SCORE 644454.155
AT ITER 4256 NEW BEST:: SOT 4396054 SOS 740511 HAS SOPS 740511 HAS SOUS 643225 HAS SOUPS 643225 WITH SCORE 643965.511
AT ITER 4269 NEW BEST:: SOT 4396053 SOS 740509 HAS SOPS 740509 HAS SOUS 643223 HAS SOUPS 643223 WITH SCORE 643963.509
AT ITER 4274 NEW BEST:: SOT 4395988 SOS 740444 HAS SOPS 740444 HAS SOUS 643158 HAS SOUPS 643158 WITH SCORE 643898.444
AT ITER 4301 NEW BEST:: SOT 4395978 SOS 740424 HAS SOPS 740424 HAS SOUS 643148 HAS SOUPS 643148 WITH SCORE 643888.424
AT ITER 4309 NEW BEST:: SOT 4395951 SOS 740370 HAS SOPS 740370 HAS SOUS 643093 HAS SOUPS 643093 WITH SCORE 643833.37
AT ITER 4361 NEW BEST:: SOT 4395540 SOS 739548 HAS SOPS 739548 HAS SOUS 642695 HAS SOUPS 642695 WITH SCORE 643434.548
AT ITER 4398 NEW BEST:: SOT 4395335 SOS 739376 HAS SOPS 739376 HAS SOUS 642523 HAS SOUPS 642523 WITH SCORE 643262.376
AT ITER 4406 NEW BEST:: SOT 4394945 SOS 739116 HAS SOPS 739116 HAS SOUS 642133 HAS SOUPS 642133 WITH SCORE 642872.116
AT ITER 4430 NEW BEST:: SOT 4394926 SOS 739078 HAS SOPS 739078 HAS SOUS 642095 HAS SOUPS 642095 WITH SCORE 642834.078
AT ITER 4436 NEW BEST:: SOT 4394900 SOS 739026 HAS SOPS 739026 HAS SOUS 641899 HAS SOUPS 641899 WITH SCORE 642638.026
AT ITER 4455 NEW BEST:: SOT 4394898 SOS 738917 HAS SOPS 738917 HAS SOUS 641792 HAS SOUPS 641792 WITH SCORE 642530.917
AT ITER 4460 NEW BEST:: SOT 4394545 SOS 738211 HAS SOPS 738211 HAS SOUS 641193 HAS SOUPS 641193 WITH SCORE 641931.211
AT ITER 4525 NEW BEST:: SOT 4394348 SOS 737817 HAS SOPS 737817 HAS SOUS 640799 HAS SOUPS 640799 WITH SCORE 641536.817
AT ITER 4531 NEW BEST:: SOT 4394304 SOS 737729 HAS SOPS 737729 HAS SOUS 640755 HAS SOUPS 640755 WITH SCORE 641492.729
AT ITER 4551 NEW BEST:: SOT 4394221 SOS 737766 HAS SOPS 737766 HAS SOUS 640589 HAS SOUPS 640589 WITH SCORE 641326.766
AT ITER 4578 NEW BEST:: SOT 4394333 SOS 737989 HAS SOPS 737989 HAS SOUS 640510 HAS SOUPS 640510 WITH SCORE 641247.989
AT ITER 4606 NEW BEST:: SOT 4394250 SOS 737968 HAS SOPS 737968 HAS SOUS 640427 HAS SOUPS 640427 WITH SCORE 641164.968
AT ITER 4628 NEW BEST:: SOT 4393946 SOS 737399 HAS SOPS 737399 HAS SOUS 640162 HAS SOUPS 640162 WITH SCORE 640899.399
AT ITER 4646 NEW BEST:: SOT 4393742 SOS 737119 HAS SOPS 737119 HAS SOUS 639882 HAS SOUPS 639882 WITH SCORE 640619.119
AT ITER 4651 NEW BEST:: SOT 4393743 SOS 736917 HAS SOPS 736917 HAS SOUS 639876 HAS SOUPS 639876 WITH SCORE 640612.917
AT ITER 4681 NEW BEST:: SOT 4393733 SOS 736830 HAS SOPS 736830 HAS SOUS 639856 HAS SOUPS 639856 WITH SCORE 640592.83
AT ITER 4696 NEW BEST:: SOT 4393619 SOS 736602 HAS SOPS 736602 HAS SOUS 639742 HAS SOUPS 639742 WITH SCORE 640478.602
AT ITER 4708 NEW BEST:: SOT 4393462 SOS 736288 HAS SOPS 736288 HAS SOUS 639428 HAS SOUPS 639428 WITH SCORE 640164.288
AT ITER 4711 NEW BEST:: SOT 4393462 SOS 736287 HAS SOPS 736287 HAS SOUS 639427 HAS SOUPS 639427 WITH SCORE 640163.287
AT ITER 4721 NEW BEST:: SOT 4393565 SOS 736339 HAS SOPS 736339 HAS SOUS 639376 HAS SOUPS 639376 WITH SCORE 640112.339
AT ITER 4734 NEW BEST:: SOT 4393565 SOS 736338 HAS SOPS 736338 HAS SOUS 639375 HAS SOUPS 639375 WITH SCORE 640111.338
AT ITER 4764 NEW BEST:: SOT 4393565 SOS 736274 HAS SOPS 736274 HAS SOUS 639311 HAS SOUPS 639311 WITH SCORE 640047.274
AT ITER 4774 NEW BEST:: SOT 4393532 SOS 736265 HAS SOPS 736265 HAS SOUS 639287 HAS SOUPS 639287 WITH SCORE 640023.265
AT ITER 4776 NEW BEST:: SOT 4393494 SOS 736189 HAS SOPS 736189 HAS SOUS 639211 HAS SOUPS 639211 WITH SCORE 639947.189
AT ITER 4804 NEW BEST:: SOT 4393424 SOS 736049 HAS SOPS 736049 HAS SOUS 639141 HAS SOUPS 639141 WITH SCORE 639877.049
AT ITER 4827 NEW BEST:: SOT 4393361 SOS 736235 HAS SOPS 736235 HAS SOUS 639127 HAS SOUPS 639127 WITH SCORE 639863.235
AT ITER 4850 NEW BEST:: SOT 4393090 SOS 735693 HAS SOPS 735693 HAS SOUS 639033 HAS SOUPS 639033 WITH SCORE 639768.693
AT ITER 4864 NEW BEST:: SOT 4392911 SOS 735335 HAS SOPS 735335 HAS SOUS 638841 HAS SOUPS 638841 WITH SCORE 639576.335
AT ITER 4866 NEW BEST:: SOT 4392799 SOS 735296 HAS SOPS 735296 HAS SOUS 638729 HAS SOUPS 638729 WITH SCORE 639464.296
AT ITER 4875 NEW BEST:: SOT 4392799 SOS 735150 HAS SOPS 735150 HAS SOUS 638656 HAS SOUPS 638656 WITH SCORE 639391.15
AT ITER 4921 NEW BEST:: SOT 4392799 SOS 735137 HAS SOPS 735137 HAS SOUS 638643 HAS SOUPS 638643 WITH SCORE 639378.137
AT ITER 4958 NEW BEST:: SOT 4392769 SOS 735077 HAS SOPS 735077 HAS SOUS 638583 HAS SOUPS 638583 WITH SCORE 639318.077
AT ITER 4997 NEW BEST:: SOT 4392707 SOS 735115 HAS SOPS 735115 HAS SOUS 638521 HAS SOUPS 638521 WITH SCORE 639256.115
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-00 (EG( (AF(( potential( ( 2 ) <= (tk(P1995)) ) & potential( (tk(P2136)) <= (tk(P354)) ) )))))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-01 (EX( (AG( ( potential( (tk(P1275)) <= (tk(P1062)) ) | potential( (tk(P2332)) <= (tk(P876)) ) )))))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-02 (EU( (EF(potential( (tk(P1428)) <= (tk(P710)) ))),(EF(potential( ( 3 ) <= (tk(P904)) ))) ))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-03 (EX( (EG( potential( (tk(P1046)) <= (tk(P2438)) )))))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-04 ( ( (EG( (! potential( ( 2 ) <= (tk(P723)) )))) & ( (! ( potential( ( 2 ) <= (tk(P2489)) ) | potential( ( 1 ) <= (tk(P2385)) ) )) | (! ( potential( (tk(P121)) <= (tk(P502)) ) & potential( ( 1 ) <= (tk(P2496)) ) )) ) ) & ( (EX( potential( ( 1 ) <= (tk(P115)) ))) | (! (EF(potential( ( 1 ) <= (tk(P1036)) )))) ) )
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-05 ( ( (EU( potential( (tk(P929)) <= (tk(P2271)) ),potential( ( 2 ) <= (tk(P465)) ) )) | potential( ( 3 ) <= (tk(P482)) ) ) | (AG( ( ( potential( (tk(P2384)) <= (tk(P2051)) ) | potential( (tk(P70)) <= (tk(P228)) ) ) | potential( (tk(P311)) <= (tk(P556)) ) ))) )
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-06 (EF((! potential( (tk(P1633)) <= (tk(P1812)) ))))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-07 ( (AG( ( ( potential( ( 1 ) <= (tk(P677)) ) & potential( ( 2 ) <= (tk(P2187)) ) ) | ( potential( (tk(P1293)) <= (tk(P1362)) ) | potential( (tk(P1274)) <= (tk(P1397)) ) ) ))) & (! potential( ( 2 ) <= (tk(P1514)) )) )
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-08 (EF((EG( ( potential( ( 1 ) <= (tk(P582)) ) | potential( (tk(P340)) <= (tk(P1879)) ) )))))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-09 ( potential( ( 1 ) <= (tk(P1141)) ) | (! ( (AF(potential( ( 2 ) <= (tk(P2284)) ))) & ( potential( (tk(P1831)) <= (tk(P500)) ) & potential( (tk(P1571)) <= (tk(P43)) ) ) )) )
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-10 (EG( potential( (tk(P793)) <= (tk(P804)) )))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-11 (AU( (AX( potential( (tk(P2466)) <= (tk(P2408)) ))),( ( potential( ( 3 ) <= (tk(P1974)) ) & potential( ( 3 ) <= (tk(P1152)) ) ) & ( potential( (tk(P1600)) <= (tk(P637)) ) | potential( ( 2 ) <= (tk(P1544)) ) ) ) ))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-12 (EX( (AF(( potential( ( 1 ) <= (tk(P2579)) ) & potential( (tk(P1916)) <= (tk(P67)) ) )))))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-13 ( (AF((AX( potential( ( 2 ) <= (tk(P927)) ))))) & (AU( (! potential( (tk(P774)) <= (tk(P482)) )),( potential( ( 1 ) <= (tk(P113)) ) | potential( (tk(P1710)) <= (tk(P1778)) ) ) )) )
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-14 (AG( (AG( potential( (tk(P194)) <= (tk(P474)) )))))
PROPERTY: CloudReconfiguration-PT-310-CTLCardinality-15 (EF(potential( ( 3 ) <= (tk(P1706)) )))

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-310"
export BK_EXAMINATION="CTLCardinality"
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-310, examination is CTLCardinality"
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-158902541700075"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-310.tgz
mv CloudReconfiguration-PT-310 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;