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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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-308-CTLCardinality-00
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-01
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-02
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-03
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-04
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-05
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-06
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-07
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-08
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-09
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-10
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-11
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-12
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-13
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-14
FORMULA_NAME CloudReconfiguration-PT-308-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589091734112

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 308
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 4443229 SOS 758854 HAS SOPS 758854 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.854
AT ITER 10 NEW BEST:: SOT 4443229 SOS 758772 HAS SOPS 758772 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.772
AT ITER 34 NEW BEST:: SOT 4443229 SOS 758772 HAS SOPS 758772 HAS SOUS 699599 HAS SOUPS 699599 WITH SCORE 700357.772
AT ITER 38 NEW BEST:: SOT 4442958 SOS 758501 HAS SOPS 758501 HAS SOUS 699599 HAS SOUPS 699599 WITH SCORE 700357.501
AT ITER 40 NEW BEST:: SOT 4442958 SOS 758445 HAS SOPS 758445 HAS SOUS 699598 HAS SOUPS 699598 WITH SCORE 700356.445
AT ITER 53 NEW BEST:: SOT 4443184 SOS 758449 HAS SOPS 758449 HAS SOUS 699399 HAS SOUPS 699399 WITH SCORE 700157.449
AT ITER 68 NEW BEST:: SOT 4443013 SOS 758107 HAS SOPS 758107 HAS SOUS 699057 HAS SOUPS 699057 WITH SCORE 699815.107
AT ITER 114 NEW BEST:: SOT 4442903 SOS 758021 HAS SOPS 758021 HAS SOUS 698947 HAS SOUPS 698947 WITH SCORE 699705.021
AT ITER 118 NEW BEST:: SOT 4442446 SOS 757636 HAS SOPS 757636 HAS SOUS 698508 HAS SOUPS 698508 WITH SCORE 699265.636
AT ITER 127 NEW BEST:: SOT 4442031 SOS 757464 HAS SOPS 757464 HAS SOUS 698180 HAS SOUPS 698180 WITH SCORE 698937.464
AT ITER 141 NEW BEST:: SOT 4434028 SOS 764299 HAS SOPS 764299 HAS SOUS 690882 HAS SOUPS 690882 WITH SCORE 691646.299
AT ITER 157 NEW BEST:: SOT 4434028 SOS 764299 HAS SOPS 764299 HAS SOUS 690771 HAS SOUPS 690771 WITH SCORE 691535.299
AT ITER 163 NEW BEST:: SOT 4434011 SOS 764298 HAS SOPS 764298 HAS SOUS 690754 HAS SOUPS 690754 WITH SCORE 691518.298
AT ITER 188 NEW BEST:: SOT 4433255 SOS 764826 HAS SOPS 764826 HAS SOUS 690377 HAS SOUPS 690377 WITH SCORE 691141.826
AT ITER 196 NEW BEST:: SOT 4433255 SOS 764733 HAS SOPS 764733 HAS SOUS 690377 HAS SOUPS 690377 WITH SCORE 691141.733
AT ITER 288 NEW BEST:: SOT 4433182 SOS 764587 HAS SOPS 764587 HAS SOUS 690231 HAS SOUPS 690231 WITH SCORE 690995.587
AT ITER 319 NEW BEST:: SOT 4432660 SOS 764239 HAS SOPS 764239 HAS SOUS 689883 HAS SOUPS 689883 WITH SCORE 690647.239
AT ITER 356 NEW BEST:: SOT 4432636 SOS 764191 HAS SOPS 764191 HAS SOUS 689835 HAS SOUPS 689835 WITH SCORE 690599.191
AT ITER 401 NEW BEST:: SOT 4432636 SOS 764112 HAS SOPS 764112 HAS SOUS 689835 HAS SOUPS 689835 WITH SCORE 690599.112
AT ITER 430 NEW BEST:: SOT 4432636 SOS 764008 HAS SOPS 764008 HAS SOUS 689834 HAS SOUPS 689834 WITH SCORE 690598.008
AT ITER 436 NEW BEST:: SOT 4432636 SOS 763975 HAS SOPS 763975 HAS SOUS 689801 HAS SOUPS 689801 WITH SCORE 690564.975
AT ITER 464 NEW BEST:: SOT 4432557 SOS 763738 HAS SOPS 763738 HAS SOUS 689643 HAS SOUPS 689643 WITH SCORE 690406.738
AT ITER 490 NEW BEST:: SOT 4432290 SOS 763204 HAS SOPS 763204 HAS SOUS 689109 HAS SOUPS 689109 WITH SCORE 689872.204
AT ITER 504 NEW BEST:: SOT 4432092 SOS 762610 HAS SOPS 762610 HAS SOUS 688713 HAS SOUPS 688713 WITH SCORE 689475.61
AT ITER 505 NEW BEST:: SOT 4431834 SOS 762352 HAS SOPS 762352 HAS SOUS 688455 HAS SOUPS 688455 WITH SCORE 689217.352
AT ITER 521 NEW BEST:: SOT 4431249 SOS 762196 HAS SOPS 762196 HAS SOUS 688097 HAS SOUPS 688097 WITH SCORE 688859.196
AT ITER 539 NEW BEST:: SOT 4431197 SOS 762092 HAS SOPS 762092 HAS SOUS 687817 HAS SOUPS 687817 WITH SCORE 688579.092
AT ITER 542 NEW BEST:: SOT 4431196 SOS 762046 HAS SOPS 762046 HAS SOUS 687815 HAS SOUPS 687815 WITH SCORE 688577.046
AT ITER 564 NEW BEST:: SOT 4430901 SOS 761728 HAS SOPS 761728 HAS SOUS 687248 HAS SOUPS 687248 WITH SCORE 688009.728
AT ITER 589 NEW BEST:: SOT 4430901 SOS 761728 HAS SOPS 761728 HAS SOUS 687146 HAS SOUPS 687146 WITH SCORE 687907.728
AT ITER 591 NEW BEST:: SOT 4430488 SOS 761434 HAS SOPS 761434 HAS SOUS 686853 HAS SOUPS 686853 WITH SCORE 687614.434
AT ITER 600 NEW BEST:: SOT 4430488 SOS 761381 HAS SOPS 761381 HAS SOUS 686853 HAS SOUPS 686853 WITH SCORE 687614.381
AT ITER 610 NEW BEST:: SOT 4430295 SOS 760802 HAS SOPS 760802 HAS SOUS 686467 HAS SOUPS 686467 WITH SCORE 687227.802
AT ITER 625 NEW BEST:: SOT 4430295 SOS 760635 HAS SOPS 760635 HAS SOUS 686300 HAS SOUPS 686300 WITH SCORE 687060.635
AT ITER 639 NEW BEST:: SOT 4430295 SOS 760592 HAS SOPS 760592 HAS SOUS 686299 HAS SOUPS 686299 WITH SCORE 687059.592
AT ITER 676 NEW BEST:: SOT 4430198 SOS 760585 HAS SOPS 760585 HAS SOUS 686202 HAS SOUPS 686202 WITH SCORE 686962.585
AT ITER 695 NEW BEST:: SOT 4430198 SOS 760585 HAS SOPS 760585 HAS SOUS 686076 HAS SOUPS 686076 WITH SCORE 686836.585
AT ITER 719 NEW BEST:: SOT 4430196 SOS 760581 HAS SOPS 760581 HAS SOUS 686074 HAS SOUPS 686074 WITH SCORE 686834.581
AT ITER 736 NEW BEST:: SOT 4430092 SOS 760784 HAS SOPS 760784 HAS SOUS 685970 HAS SOUPS 685970 WITH SCORE 686730.784
AT ITER 764 NEW BEST:: SOT 4429784 SOS 760487 HAS SOPS 760487 HAS SOUS 685667 HAS SOUPS 685667 WITH SCORE 686427.487
AT ITER 797 NEW BEST:: SOT 4429784 SOS 760393 HAS SOPS 760393 HAS SOUS 685667 HAS SOUPS 685667 WITH SCORE 686427.393
AT ITER 837 NEW BEST:: SOT 4429783 SOS 760391 HAS SOPS 760391 HAS SOUS 685665 HAS SOUPS 685665 WITH SCORE 686425.391
AT ITER 851 NEW BEST:: SOT 4429618 SOS 760061 HAS SOPS 760061 HAS SOUS 685335 HAS SOUPS 685335 WITH SCORE 686095.061
AT ITER 861 NEW BEST:: SOT 4429598 SOS 759857 HAS SOPS 759857 HAS SOUS 685295 HAS SOUPS 685295 WITH SCORE 686054.857
AT ITER 869 NEW BEST:: SOT 4429580 SOS 759852 HAS SOPS 759852 HAS SOUS 685275 HAS SOUPS 685275 WITH SCORE 686034.852
AT ITER 880 NEW BEST:: SOT 4429339 SOS 759370 HAS SOPS 759370 HAS SOUS 684793 HAS SOUPS 684793 WITH SCORE 685552.37
AT ITER 896 NEW BEST:: SOT 4429455 SOS 759047 HAS SOPS 759047 HAS SOUS 684791 HAS SOUPS 684791 WITH SCORE 685550.047
AT ITER 906 NEW BEST:: SOT 4429455 SOS 759035 HAS SOPS 759035 HAS SOUS 684791 HAS SOUPS 684791 WITH SCORE 685550.035
AT ITER 908 NEW BEST:: SOT 4429368 SOS 758949 HAS SOPS 758949 HAS SOUS 684705 HAS SOUPS 684705 WITH SCORE 685463.949
AT ITER 913 NEW BEST:: SOT 4429271 SOS 757765 HAS SOPS 757765 HAS SOUS 684426 HAS SOUPS 684426 WITH SCORE 685183.765
AT ITER 950 NEW BEST:: SOT 4429163 SOS 757549 HAS SOPS 757549 HAS SOUS 684210 HAS SOUPS 684210 WITH SCORE 684967.549
AT ITER 956 NEW BEST:: SOT 4428755 SOS 757549 HAS SOPS 757549 HAS SOUS 684006 HAS SOUPS 684006 WITH SCORE 684763.549
AT ITER 972 NEW BEST:: SOT 4428755 SOS 757341 HAS SOPS 757341 HAS SOUS 684006 HAS SOUPS 684006 WITH SCORE 684763.341
AT ITER 985 NEW BEST:: SOT 4428755 SOS 757233 HAS SOPS 757233 HAS SOUS 684006 HAS SOUPS 684006 WITH SCORE 684763.233
AT ITER 992 NEW BEST:: SOT 4428755 SOS 757055 HAS SOPS 757055 HAS SOUS 683828 HAS SOUPS 683828 WITH SCORE 684585.055
AT ITER 993 NEW BEST:: SOT 4428729 SOS 757003 HAS SOPS 757003 HAS SOUS 683776 HAS SOUPS 683776 WITH SCORE 684533.003
AT ITER 998 NEW BEST:: SOT 4428526 SOS 756597 HAS SOPS 756597 HAS SOUS 683573 HAS SOUPS 683573 WITH SCORE 684329.597
AT ITER 1017 NEW BEST:: SOT 4428526 SOS 756534 HAS SOPS 756534 HAS SOUS 683573 HAS SOUPS 683573 WITH SCORE 684329.534
AT ITER 1031 NEW BEST:: SOT 4427948 SOS 755667 HAS SOPS 755667 HAS SOUS 682706 HAS SOUPS 682706 WITH SCORE 683461.667
AT ITER 1047 NEW BEST:: SOT 4427155 SOS 758125 HAS SOPS 758125 HAS SOUS 681803 HAS SOUPS 681803 WITH SCORE 682561.125
AT ITER 1075 NEW BEST:: SOT 4427093 SOS 757932 HAS SOPS 757932 HAS SOUS 681674 HAS SOUPS 681674 WITH SCORE 682431.932
AT ITER 1077 NEW BEST:: SOT 4427071 SOS 757888 HAS SOPS 757888 HAS SOUS 681630 HAS SOUPS 681630 WITH SCORE 682387.888
AT ITER 1080 NEW BEST:: SOT 4427010 SOS 757430 HAS SOPS 757430 HAS SOUS 681387 HAS SOUPS 681387 WITH SCORE 682144.43
AT ITER 1108 NEW BEST:: SOT 4427147 SOS 757303 HAS SOPS 757303 HAS SOUS 681192 HAS SOUPS 681192 WITH SCORE 681949.303
AT ITER 1119 NEW BEST:: SOT 4427000 SOS 757009 HAS SOPS 757009 HAS SOUS 680898 HAS SOUPS 680898 WITH SCORE 681655.009
AT ITER 1133 NEW BEST:: SOT 4426855 SOS 756719 HAS SOPS 756719 HAS SOUS 680608 HAS SOUPS 680608 WITH SCORE 681364.719
AT ITER 1146 NEW BEST:: SOT 4426855 SOS 756440 HAS SOPS 756440 HAS SOUS 680607 HAS SOUPS 680607 WITH SCORE 681363.44
AT ITER 1154 NEW BEST:: SOT 4426749 SOS 756356 HAS SOPS 756356 HAS SOUS 680501 HAS SOUPS 680501 WITH SCORE 681257.356
AT ITER 1166 NEW BEST:: SOT 4426588 SOS 756330 HAS SOPS 756330 HAS SOUS 680388 HAS SOUPS 680388 WITH SCORE 681144.33
AT ITER 1178 NEW BEST:: SOT 4426420 SOS 756162 HAS SOPS 756162 HAS SOUS 680220 HAS SOUPS 680220 WITH SCORE 680976.162
AT ITER 1182 NEW BEST:: SOT 4426420 SOS 755883 HAS SOPS 755883 HAS SOUS 680220 HAS SOUPS 680220 WITH SCORE 680975.883
AT ITER 1191 NEW BEST:: SOT 4426093 SOS 755229 HAS SOPS 755229 HAS SOUS 679566 HAS SOUPS 679566 WITH SCORE 680321.229
AT ITER 1217 NEW BEST:: SOT 4426092 SOS 755227 HAS SOPS 755227 HAS SOUS 679564 HAS SOUPS 679564 WITH SCORE 680319.227
AT ITER 1220 NEW BEST:: SOT 4426091 SOS 755155 HAS SOPS 755155 HAS SOUS 679563 HAS SOUPS 679563 WITH SCORE 680318.155
AT ITER 1240 NEW BEST:: SOT 4425803 SOS 754939 HAS SOPS 754939 HAS SOUS 679347 HAS SOUPS 679347 WITH SCORE 680101.939
AT ITER 1243 NEW BEST:: SOT 4425955 SOS 754951 HAS SOPS 754951 HAS SOUS 679269 HAS SOUPS 679269 WITH SCORE 680023.951
AT ITER 1255 NEW BEST:: SOT 4425774 SOS 754770 HAS SOPS 754770 HAS SOUS 679088 HAS SOUPS 679088 WITH SCORE 679842.77
AT ITER 1276 NEW BEST:: SOT 4425662 SOS 754658 HAS SOPS 754658 HAS SOUS 678976 HAS SOUPS 678976 WITH SCORE 679730.658
AT ITER 1279 NEW BEST:: SOT 4424668 SOS 755848 HAS SOPS 755848 HAS SOUS 678356 HAS SOUPS 678356 WITH SCORE 679111.848
AT ITER 1280 NEW BEST:: SOT 4424594 SOS 755878 HAS SOPS 755878 HAS SOUS 678282 HAS SOUPS 678282 WITH SCORE 679037.878
AT ITER 1286 NEW BEST:: SOT 4424594 SOS 755878 HAS SOPS 755878 HAS SOUS 678183 HAS SOUPS 678183 WITH SCORE 678938.878
AT ITER 1315 NEW BEST:: SOT 4424384 SOS 755458 HAS SOPS 755458 HAS SOUS 677674 HAS SOUPS 677674 WITH SCORE 678429.458
AT ITER 1325 NEW BEST:: SOT 4424410 SOS 755510 HAS SOPS 755510 HAS SOUS 677572 HAS SOUPS 677572 WITH SCORE 678327.51
AT ITER 1328 NEW BEST:: SOT 4424306 SOS 754574 HAS SOPS 754574 HAS SOUS 677364 HAS SOUPS 677364 WITH SCORE 678118.574
AT ITER 1343 NEW BEST:: SOT 4424306 SOS 754516 HAS SOPS 754516 HAS SOUS 677363 HAS SOUPS 677363 WITH SCORE 678117.516
AT ITER 1355 NEW BEST:: SOT 4424225 SOS 754354 HAS SOPS 754354 HAS SOUS 677201 HAS SOUPS 677201 WITH SCORE 677955.354
AT ITER 1396 NEW BEST:: SOT 4424144 SOS 754276 HAS SOPS 754276 HAS SOUS 677124 HAS SOUPS 677124 WITH SCORE 677878.276
AT ITER 1427 NEW BEST:: SOT 4423781 SOS 754294 HAS SOPS 754294 HAS SOUS 676880 HAS SOUPS 676880 WITH SCORE 677634.294
AT ITER 1430 NEW BEST:: SOT 4423720 SOS 753740 HAS SOPS 753740 HAS SOUS 676637 HAS SOUPS 676637 WITH SCORE 677390.74
AT ITER 1433 NEW BEST:: SOT 4423720 SOS 753740 HAS SOPS 753740 HAS SOUS 676523 HAS SOUPS 676523 WITH SCORE 677276.74
AT ITER 1447 NEW BEST:: SOT 4423720 SOS 753675 HAS SOPS 753675 HAS SOUS 676458 HAS SOUPS 676458 WITH SCORE 677211.675
AT ITER 1451 NEW BEST:: SOT 4423714 SOS 753783 HAS SOPS 753783 HAS SOUS 676452 HAS SOUPS 676452 WITH SCORE 677205.783
AT ITER 1452 NEW BEST:: SOT 4423651 SOS 753657 HAS SOPS 753657 HAS SOUS 676157 HAS SOUPS 676157 WITH SCORE 676910.657
AT ITER 1476 NEW BEST:: SOT 4423597 SOS 753657 HAS SOPS 753657 HAS SOUS 676103 HAS SOUPS 676103 WITH SCORE 676856.657
AT ITER 1499 NEW BEST:: SOT 4423408 SOS 753719 HAS SOPS 753719 HAS SOUS 675914 HAS SOUPS 675914 WITH SCORE 676667.719
AT ITER 1515 NEW BEST:: SOT 4423047 SOS 753371 HAS SOPS 753371 HAS SOUS 675559 HAS SOUPS 675559 WITH SCORE 676312.371
AT ITER 1524 NEW BEST:: SOT 4423047 SOS 753227 HAS SOPS 753227 HAS SOUS 675559 HAS SOUPS 675559 WITH SCORE 676312.227
AT ITER 1533 NEW BEST:: SOT 4423032 SOS 753197 HAS SOPS 753197 HAS SOUS 675544 HAS SOUPS 675544 WITH SCORE 676297.197
AT ITER 1543 NEW BEST:: SOT 4423171 SOS 753475 HAS SOPS 753475 HAS SOUS 675504 HAS SOUPS 675504 WITH SCORE 676257.475
AT ITER 1551 NEW BEST:: SOT 4421420 SOS 756567 HAS SOPS 756567 HAS SOUS 674827 HAS SOUPS 674827 WITH SCORE 675583.567
AT ITER 1553 NEW BEST:: SOT 4421473 SOS 756441 HAS SOPS 756441 HAS SOUS 674701 HAS SOUPS 674701 WITH SCORE 675457.441
AT ITER 1558 NEW BEST:: SOT 4421473 SOS 756441 HAS SOPS 756441 HAS SOUS 674484 HAS SOUPS 674484 WITH SCORE 675240.441
AT ITER 1568 NEW BEST:: SOT 4421473 SOS 756415 HAS SOPS 756415 HAS SOUS 674483 HAS SOUPS 674483 WITH SCORE 675239.415
AT ITER 1570 NEW BEST:: SOT 4421458 SOS 756385 HAS SOPS 756385 HAS SOUS 674468 HAS SOUPS 674468 WITH SCORE 675224.385
AT ITER 1579 NEW BEST:: SOT 4421414 SOS 756297 HAS SOPS 756297 HAS SOUS 674184 HAS SOUPS 674184 WITH SCORE 674940.297
AT ITER 1635 NEW BEST:: SOT 4421159 SOS 755957 HAS SOPS 755957 HAS SOUS 673844 HAS SOUPS 673844 WITH SCORE 674599.957
AT ITER 1650 NEW BEST:: SOT 4421048 SOS 755735 HAS SOPS 755735 HAS SOUS 673622 HAS SOUPS 673622 WITH SCORE 674377.735
AT ITER 1656 NEW BEST:: SOT 4420999 SOS 755914 HAS SOPS 755914 HAS SOUS 673573 HAS SOUPS 673573 WITH SCORE 674328.914
AT ITER 1661 NEW BEST:: SOT 4420708 SOS 755332 HAS SOPS 755332 HAS SOUS 672991 HAS SOUPS 672991 WITH SCORE 673746.332
AT ITER 1688 NEW BEST:: SOT 4420863 SOS 755642 HAS SOPS 755642 HAS SOUS 672952 HAS SOUPS 672952 WITH SCORE 673707.642
AT ITER 1714 NEW BEST:: SOT 4420847 SOS 755610 HAS SOPS 755610 HAS SOUS 672920 HAS SOUPS 672920 WITH SCORE 673675.61
AT ITER 1780 NEW BEST:: SOT 4420619 SOS 755154 HAS SOPS 755154 HAS SOUS 672746 HAS SOUPS 672746 WITH SCORE 673501.154
AT ITER 1790 NEW BEST:: SOT 4420619 SOS 754968 HAS SOPS 754968 HAS SOUS 672746 HAS SOUPS 672746 WITH SCORE 673500.968
AT ITER 1794 NEW BEST:: SOT 4419879 SOS 754228 HAS SOPS 754228 HAS SOUS 672006 HAS SOUPS 672006 WITH SCORE 672760.228
AT ITER 1803 NEW BEST:: SOT 4419878 SOS 754103 HAS SOPS 754103 HAS SOUS 671882 HAS SOUPS 671882 WITH SCORE 672636.103
AT ITER 1809 NEW BEST:: SOT 4419597 SOS 753987 HAS SOPS 753987 HAS SOUS 671766 HAS SOUPS 671766 WITH SCORE 672519.987
AT ITER 1815 NEW BEST:: SOT 4419338 SOS 753469 HAS SOPS 753469 HAS SOUS 671248 HAS SOUPS 671248 WITH SCORE 672001.469
AT ITER 1859 NEW BEST:: SOT 4418997 SOS 752787 HAS SOPS 752787 HAS SOUS 670566 HAS SOUPS 670566 WITH SCORE 671318.787
AT ITER 1867 NEW BEST:: SOT 4418997 SOS 752371 HAS SOPS 752371 HAS SOUS 670146 HAS SOUPS 670146 WITH SCORE 670898.371
AT ITER 1886 NEW BEST:: SOT 4418942 SOS 752261 HAS SOPS 752261 HAS SOUS 670036 HAS SOUPS 670036 WITH SCORE 670788.261
AT ITER 1898 NEW BEST:: SOT 4418879 SOS 752135 HAS SOPS 752135 HAS SOUS 669973 HAS SOUPS 669973 WITH SCORE 670725.135
AT ITER 1924 NEW BEST:: SOT 4418878 SOS 752134 HAS SOPS 752134 HAS SOUS 669972 HAS SOUPS 669972 WITH SCORE 670724.134
AT ITER 1929 NEW BEST:: SOT 4418716 SOS 751810 HAS SOPS 751810 HAS SOUS 669648 HAS SOUPS 669648 WITH SCORE 670399.81
AT ITER 1938 NEW BEST:: SOT 4418698 SOS 751774 HAS SOPS 751774 HAS SOUS 669612 HAS SOUPS 669612 WITH SCORE 670363.774
AT ITER 1941 NEW BEST:: SOT 4418197 SOS 751121 HAS SOPS 751121 HAS SOUS 668908 HAS SOUPS 668908 WITH SCORE 669659.121
AT ITER 1950 NEW BEST:: SOT 4418163 SOS 751096 HAS SOPS 751096 HAS SOUS 668874 HAS SOUPS 668874 WITH SCORE 669625.096
AT ITER 1962 NEW BEST:: SOT 4417976 SOS 751103 HAS SOPS 751103 HAS SOUS 668687 HAS SOUPS 668687 WITH SCORE 669438.103
AT ITER 1981 NEW BEST:: SOT 4417423 SOS 751134 HAS SOPS 751134 HAS SOUS 668378 HAS SOUPS 668378 WITH SCORE 669129.134
AT ITER 1982 NEW BEST:: SOT 4417374 SOS 751036 HAS SOPS 751036 HAS SOUS 668329 HAS SOUPS 668329 WITH SCORE 669080.036
AT ITER 1990 NEW BEST:: SOT 4417335 SOS 750997 HAS SOPS 750997 HAS SOUS 668290 HAS SOUPS 668290 WITH SCORE 669040.997
AT ITER 1996 NEW BEST:: SOT 4417335 SOS 750979 HAS SOPS 750979 HAS SOUS 668290 HAS SOUPS 668290 WITH SCORE 669040.979
AT ITER 2019 NEW BEST:: SOT 4417213 SOS 750596 HAS SOPS 750596 HAS SOUS 668029 HAS SOUPS 668029 WITH SCORE 668779.596
AT ITER 2034 NEW BEST:: SOT 4417115 SOS 750400 HAS SOPS 750400 HAS SOUS 667833 HAS SOUPS 667833 WITH SCORE 668583.4
AT ITER 2039 NEW BEST:: SOT 4416662 SOS 750078 HAS SOPS 750078 HAS SOUS 667511 HAS SOUPS 667511 WITH SCORE 668261.078
AT ITER 2041 NEW BEST:: SOT 4416645 SOS 750044 HAS SOPS 750044 HAS SOUS 667477 HAS SOUPS 667477 WITH SCORE 668227.044
AT ITER 2053 NEW BEST:: SOT 4416803 SOS 750360 HAS SOPS 750360 HAS SOUS 667344 HAS SOUPS 667344 WITH SCORE 668094.36
AT ITER 2062 NEW BEST:: SOT 4416552 SOS 750462 HAS SOPS 750462 HAS SOUS 667315 HAS SOUPS 667315 WITH SCORE 668065.462
AT ITER 2082 NEW BEST:: SOT 4416360 SOS 750078 HAS SOPS 750078 HAS SOUS 666931 HAS SOUPS 666931 WITH SCORE 667681.078
AT ITER 2099 NEW BEST:: SOT 4416315 SOS 749988 HAS SOPS 749988 HAS SOUS 666841 HAS SOUPS 666841 WITH SCORE 667590.988
AT ITER 2113 NEW BEST:: SOT 4416283 SOS 750010 HAS SOPS 750010 HAS SOUS 666837 HAS SOUPS 666837 WITH SCORE 667587.01
AT ITER 2118 NEW BEST:: SOT 4406806 SOS 796240 HAS SOPS 796240 HAS SOUS 659847 HAS SOUPS 659847 WITH SCORE 660643.24
AT ITER 2127 NEW BEST:: SOT 4406806 SOS 796174 HAS SOPS 796174 HAS SOUS 659814 HAS SOUPS 659814 WITH SCORE 660610.174
AT ITER 2129 NEW BEST:: SOT 4406607 SOS 795776 HAS SOPS 795776 HAS SOUS 658978 HAS SOUPS 658978 WITH SCORE 659773.776
AT ITER 2140 NEW BEST:: SOT 4406407 SOS 795576 HAS SOPS 795576 HAS SOUS 658778 HAS SOUPS 658778 WITH SCORE 659573.576
AT ITER 2154 NEW BEST:: SOT 4406197 SOS 795542 HAS SOPS 795542 HAS SOUS 658700 HAS SOUPS 658700 WITH SCORE 659495.542
AT ITER 2159 NEW BEST:: SOT 4406137 SOS 795462 HAS SOPS 795462 HAS SOUS 658620 HAS SOUPS 658620 WITH SCORE 659415.462
AT ITER 2180 NEW BEST:: SOT 4406118 SOS 795424 HAS SOPS 795424 HAS SOUS 658582 HAS SOUPS 658582 WITH SCORE 659377.424
AT ITER 2191 NEW BEST:: SOT 4404266 SOS 794845 HAS SOPS 794845 HAS SOUS 657272 HAS SOUPS 657272 WITH SCORE 658066.845
AT ITER 2268 NEW BEST:: SOT 4398405 SOS 814121 HAS SOPS 814121 HAS SOUS 652443 HAS SOUPS 652443 WITH SCORE 653257.121
AT ITER 2276 NEW BEST:: SOT 4398457 SOS 813960 HAS SOPS 813960 HAS SOUS 652282 HAS SOUPS 652282 WITH SCORE 653095.96
AT ITER 2286 NEW BEST:: SOT 4398547 SOS 813064 HAS SOPS 813064 HAS SOUS 652075 HAS SOUPS 652075 WITH SCORE 652888.064
AT ITER 2295 NEW BEST:: SOT 4398323 SOS 813651 HAS SOPS 813651 HAS SOUS 651808 HAS SOUPS 651808 WITH SCORE 652621.651
AT ITER 2341 NEW BEST:: SOT 4397805 SOS 813211 HAS SOPS 813211 HAS SOUS 651184 HAS SOUPS 651184 WITH SCORE 651997.211
AT ITER 2347 NEW BEST:: SOT 4397574 SOS 812373 HAS SOPS 812373 HAS SOUS 650577 HAS SOUPS 650577 WITH SCORE 651389.373
AT ITER 2371 NEW BEST:: SOT 4392155 SOS 807415 HAS SOPS 807415 HAS SOUS 645298 HAS SOUPS 645298 WITH SCORE 646105.415
AT ITER 2374 NEW BEST:: SOT 4392016 SOS 807137 HAS SOPS 807137 HAS SOUS 645020 HAS SOUPS 645020 WITH SCORE 645827.137
AT ITER 2413 NEW BEST:: SOT 4390840 SOS 810284 HAS SOPS 810284 HAS SOUS 644444 HAS SOUPS 644444 WITH SCORE 645254.284
AT ITER 2421 NEW BEST:: SOT 4390777 SOS 810443 HAS SOPS 810443 HAS SOUS 644381 HAS SOUPS 644381 WITH SCORE 645191.443
AT ITER 2436 NEW BEST:: SOT 4390776 SOS 810442 HAS SOPS 810442 HAS SOUS 644379 HAS SOUPS 644379 WITH SCORE 645189.442
AT ITER 2498 NEW BEST:: SOT 4390675 SOS 810240 HAS SOPS 810240 HAS SOUS 644278 HAS SOUPS 644278 WITH SCORE 645088.24
AT ITER 2499 NEW BEST:: SOT 4390620 SOS 810185 HAS SOPS 810185 HAS SOUS 644168 HAS SOUPS 644168 WITH SCORE 644978.185
AT ITER 2517 NEW BEST:: SOT 4390557 SOS 809788 HAS SOPS 809788 HAS SOUS 643834 HAS SOUPS 643834 WITH SCORE 644643.788
AT ITER 2533 NEW BEST:: SOT 4390442 SOS 809558 HAS SOPS 809558 HAS SOUS 643604 HAS SOUPS 643604 WITH SCORE 644413.558
AT ITER 2540 NEW BEST:: SOT 4390439 SOS 809552 HAS SOPS 809552 HAS SOUS 643601 HAS SOUPS 643601 WITH SCORE 644410.552
AT ITER 2542 NEW BEST:: SOT 4390439 SOS 809276 HAS SOPS 809276 HAS SOUS 643601 HAS SOUPS 643601 WITH SCORE 644410.276
AT ITER 2545 NEW BEST:: SOT 4389981 SOS 809134 HAS SOPS 809134 HAS SOUS 643280 HAS SOUPS 643280 WITH SCORE 644089.134
AT ITER 2559 NEW BEST:: SOT 4389963 SOS 809134 HAS SOPS 809134 HAS SOUS 643271 HAS SOUPS 643271 WITH SCORE 644080.134
AT ITER 2593 NEW BEST:: SOT 4389914 SOS 809192 HAS SOPS 809192 HAS SOUS 643222 HAS SOUPS 643222 WITH SCORE 644031.192
AT ITER 2611 NEW BEST:: SOT 4389791 SOS 808946 HAS SOPS 808946 HAS SOUS 642976 HAS SOUPS 642976 WITH SCORE 643784.946
AT ITER 2640 NEW BEST:: SOT 4389698 SOS 808760 HAS SOPS 808760 HAS SOUS 642895 HAS SOUPS 642895 WITH SCORE 643703.76
AT ITER 2662 NEW BEST:: SOT 4389549 SOS 808636 HAS SOPS 808636 HAS SOUS 642759 HAS SOUPS 642759 WITH SCORE 643567.636
AT ITER 2687 NEW BEST:: SOT 4389672 SOS 808580 HAS SOPS 808580 HAS SOUS 642703 HAS SOUPS 642703 WITH SCORE 643511.58
AT ITER 2716 NEW BEST:: SOT 4389734 SOS 808704 HAS SOPS 808704 HAS SOUS 642674 HAS SOUPS 642674 WITH SCORE 643482.704
AT ITER 2729 NEW BEST:: SOT 4389734 SOS 808702 HAS SOPS 808702 HAS SOUS 642672 HAS SOUPS 642672 WITH SCORE 643480.702
AT ITER 2746 NEW BEST:: SOT 4389272 SOS 789298 HAS SOPS 789298 HAS SOUS 641748 HAS SOUPS 641748 WITH SCORE 642537.298
AT ITER 2758 NEW BEST:: SOT 4389272 SOS 789298 HAS SOPS 789298 HAS SOUS 641739 HAS SOUPS 641739 WITH SCORE 642528.298
AT ITER 2767 NEW BEST:: SOT 4388987 SOS 788401 HAS SOPS 788401 HAS SOUS 641127 HAS SOUPS 641127 WITH SCORE 641915.401
AT ITER 2773 NEW BEST:: SOT 4388987 SOS 788401 HAS SOPS 788401 HAS SOUS 641100 HAS SOUPS 641100 WITH SCORE 641888.401
AT ITER 2790 NEW BEST:: SOT 4388979 SOS 788385 HAS SOPS 788385 HAS SOUS 641084 HAS SOUPS 641084 WITH SCORE 641872.385
AT ITER 2798 NEW BEST:: SOT 4388881 SOS 788189 HAS SOPS 788189 HAS SOUS 640888 HAS SOUPS 640888 WITH SCORE 641676.189
AT ITER 2804 NEW BEST:: SOT 4388628 SOS 787430 HAS SOPS 787430 HAS SOUS 640318 HAS SOUPS 640318 WITH SCORE 641105.43
AT ITER 2820 NEW BEST:: SOT 4388625 SOS 787424 HAS SOPS 787424 HAS SOUS 640312 HAS SOUPS 640312 WITH SCORE 641099.424
AT ITER 2825 NEW BEST:: SOT 4388474 SOS 787273 HAS SOPS 787273 HAS SOUS 640161 HAS SOUPS 640161 WITH SCORE 640948.273
AT ITER 2830 NEW BEST:: SOT 4388331 SOS 786987 HAS SOPS 786987 HAS SOUS 640018 HAS SOUPS 640018 WITH SCORE 640804.987
AT ITER 2841 NEW BEST:: SOT 4388805 SOS 786980 HAS SOPS 786980 HAS SOUS 639966 HAS SOUPS 639966 WITH SCORE 640752.98
AT ITER 2869 NEW BEST:: SOT 4388804 SOS 786978 HAS SOPS 786978 HAS SOUS 639964 HAS SOUPS 639964 WITH SCORE 640750.978
AT ITER 2870 NEW BEST:: SOT 4388794 SOS 786958 HAS SOPS 786958 HAS SOUS 639944 HAS SOUPS 639944 WITH SCORE 640730.958
AT ITER 2920 NEW BEST:: SOT 4388794 SOS 786652 HAS SOPS 786652 HAS SOUS 639944 HAS SOUPS 639944 WITH SCORE 640730.652
AT ITER 2925 NEW BEST:: SOT 4388730 SOS 786524 HAS SOPS 786524 HAS SOUS 639816 HAS SOUPS 639816 WITH SCORE 640602.524
AT ITER 2974 NEW BEST:: SOT 4388658 SOS 786380 HAS SOPS 786380 HAS SOUS 639672 HAS SOUPS 639672 WITH SCORE 640458.38
AT ITER 2976 NEW BEST:: SOT 4388617 SOS 786400 HAS SOPS 786400 HAS SOUS 639653 HAS SOUPS 639653 WITH SCORE 640439.4
AT ITER 2999 NEW BEST:: SOT 4388465 SOS 786096 HAS SOPS 786096 HAS SOUS 639349 HAS SOUPS 639349 WITH SCORE 640135.096
AT ITER 3000 NEW BEST:: SOT 4388465 SOS 786029 HAS SOPS 786029 HAS SOUS 639282 HAS SOUPS 639282 WITH SCORE 640068.029
AT ITER 3008 NEW BEST:: SOT 4388465 SOS 785947 HAS SOPS 785947 HAS SOUS 639200 HAS SOUPS 639200 WITH SCORE 639985.947
AT ITER 3018 NEW BEST:: SOT 4388376 SOS 785769 HAS SOPS 785769 HAS SOUS 639111 HAS SOUPS 639111 WITH SCORE 639896.769
AT ITER 3033 NEW BEST:: SOT 4388317 SOS 785651 HAS SOPS 785651 HAS SOUS 638838 HAS SOUPS 638838 WITH SCORE 639623.651
AT ITER 3052 NEW BEST:: SOT 4388305 SOS 784643 HAS SOPS 784643 HAS SOUS 638812 HAS SOUPS 638812 WITH SCORE 639596.643
AT ITER 3062 NEW BEST:: SOT 4388257 SOS 784547 HAS SOPS 784547 HAS SOUS 638716 HAS SOUPS 638716 WITH SCORE 639500.547
AT ITER 3065 NEW BEST:: SOT 4388215 SOS 784463 HAS SOPS 784463 HAS SOUS 638632 HAS SOUPS 638632 WITH SCORE 639416.463
AT ITER 3096 NEW BEST:: SOT 4387942 SOS 783917 HAS SOPS 783917 HAS SOUS 638359 HAS SOUPS 638359 WITH SCORE 639142.917
AT ITER 3099 NEW BEST:: SOT 4387840 SOS 783713 HAS SOPS 783713 HAS SOUS 638155 HAS SOUPS 638155 WITH SCORE 638938.713
AT ITER 3115 NEW BEST:: SOT 4387577 SOS 783961 HAS SOPS 783961 HAS SOUS 638081 HAS SOUPS 638081 WITH SCORE 638864.961
AT ITER 3117 NEW BEST:: SOT 4382725 SOS 787051 HAS SOPS 787051 HAS SOUS 633660 HAS SOUPS 633660 WITH SCORE 634447.051
AT ITER 3123 NEW BEST:: SOT 4382621 SOS 786947 HAS SOPS 786947 HAS SOUS 633556 HAS SOUPS 633556 WITH SCORE 634342.947
AT ITER 3139 NEW BEST:: SOT 4382910 SOS 787081 HAS SOPS 787081 HAS SOUS 633419 HAS SOUPS 633419 WITH SCORE 634206.081
AT ITER 3144 NEW BEST:: SOT 4382901 SOS 787063 HAS SOPS 787063 HAS SOUS 633401 HAS SOUPS 633401 WITH SCORE 634188.063
AT ITER 3148 NEW BEST:: SOT 4382895 SOS 787209 HAS SOPS 787209 HAS SOUS 633395 HAS SOUPS 633395 WITH SCORE 634182.209
AT ITER 3154 NEW BEST:: SOT 4382859 SOS 787137 HAS SOPS 787137 HAS SOUS 633323 HAS SOUPS 633323 WITH SCORE 634110.137
AT ITER 3196 NEW BEST:: SOT 4382844 SOS 787107 HAS SOPS 787107 HAS SOUS 633293 HAS SOUPS 633293 WITH SCORE 634080.107
AT ITER 3213 NEW BEST:: SOT 4382844 SOS 787015 HAS SOPS 787015 HAS SOUS 633293 HAS SOUPS 633293 WITH SCORE 634080.015
AT ITER 3236 NEW BEST:: SOT 4382844 SOS 787006 HAS SOPS 787006 HAS SOUS 633293 HAS SOUPS 633293 WITH SCORE 634080.006
AT ITER 3251 NEW BEST:: SOT 4382786 SOS 786890 HAS SOPS 786890 HAS SOUS 633177 HAS SOUPS 633177 WITH SCORE 633963.89
AT ITER 3263 NEW BEST:: SOT 4382623 SOS 786401 HAS SOPS 786401 HAS SOUS 632851 HAS SOUPS 632851 WITH SCORE 633637.401
AT ITER 3268 NEW BEST:: SOT 4382584 SOS 786323 HAS SOPS 786323 HAS SOUS 632776 HAS SOUPS 632776 WITH SCORE 633562.323
AT ITER 3287 NEW BEST:: SOT 4382389 SOS 787139 HAS SOPS 787139 HAS SOUS 632726 HAS SOUPS 632726 WITH SCORE 633513.139
AT ITER 3288 NEW BEST:: SOT 4382386 SOS 787133 HAS SOPS 787133 HAS SOUS 632644 HAS SOUPS 632644 WITH SCORE 633431.133
AT ITER 3292 NEW BEST:: SOT 4382386 SOS 787133 HAS SOPS 787133 HAS SOUS 632540 HAS SOUPS 632540 WITH SCORE 633327.133
AT ITER 3322 NEW BEST:: SOT 4382156 SOS 786903 HAS SOPS 786903 HAS SOUS 632442 HAS SOUPS 632442 WITH SCORE 633228.903
AT ITER 3338 NEW BEST:: SOT 4382068 SOS 786815 HAS SOPS 786815 HAS SOUS 632354 HAS SOUPS 632354 WITH SCORE 633140.815
AT ITER 3369 NEW BEST:: SOT 4381863 SOS 786362 HAS SOPS 786362 HAS SOUS 631944 HAS SOUPS 631944 WITH SCORE 632730.362
AT ITER 3386 NEW BEST:: SOT 4381488 SOS 777151 HAS SOPS 777151 HAS SOUS 631481 HAS SOUPS 631481 WITH SCORE 632258.151
AT ITER 3398 NEW BEST:: SOT 4381255 SOS 776900 HAS SOPS 776900 HAS SOUS 631445 HAS SOUPS 631445 WITH SCORE 632221.9
AT ITER 3405 NEW BEST:: SOT 4380990 SOS 776370 HAS SOPS 776370 HAS SOUS 631256 HAS SOUPS 631256 WITH SCORE 632032.37
AT ITER 3433 NEW BEST:: SOT 4380665 SOS 746364 HAS SOPS 746364 HAS SOUS 630769 HAS SOUPS 630769 WITH SCORE 631515.364
AT ITER 3452 NEW BEST:: SOT 4380665 SOS 746331 HAS SOPS 746331 HAS SOUS 630736 HAS SOUPS 630736 WITH SCORE 631482.331
AT ITER 3463 NEW BEST:: SOT 4380515 SOS 745667 HAS SOPS 745667 HAS SOUS 630271 HAS SOUPS 630271 WITH SCORE 631016.667
AT ITER 3503 NEW BEST:: SOT 4380348 SOS 744612 HAS SOPS 744612 HAS SOUS 630012 HAS SOUPS 630012 WITH SCORE 630756.612
AT ITER 3544 NEW BEST:: SOT 4380545 SOS 745006 HAS SOPS 745006 HAS SOUS 629993 HAS SOUPS 629993 WITH SCORE 630738.006
AT ITER 3558 NEW BEST:: SOT 4380560 SOS 745036 HAS SOPS 745036 HAS SOUS 629954 HAS SOUPS 629954 WITH SCORE 630699.036
AT ITER 3562 NEW BEST:: SOT 4380560 SOS 744901 HAS SOPS 744901 HAS SOUS 629954 HAS SOUPS 629954 WITH SCORE 630698.901
AT ITER 3595 NEW BEST:: SOT 4380470 SOS 744721 HAS SOPS 744721 HAS SOUS 629774 HAS SOUPS 629774 WITH SCORE 630518.721
AT ITER 3610 NEW BEST:: SOT 4380204 SOS 744455 HAS SOPS 744455 HAS SOUS 629508 HAS SOUPS 629508 WITH SCORE 630252.455
AT ITER 3653 NEW BEST:: SOT 4380130 SOS 744355 HAS SOPS 744355 HAS SOUS 629408 HAS SOUPS 629408 WITH SCORE 630152.355
AT ITER 3661 NEW BEST:: SOT 4379882 SOS 743859 HAS SOPS 743859 HAS SOUS 628912 HAS SOUPS 628912 WITH SCORE 629655.859
AT ITER 3667 NEW BEST:: SOT 4379882 SOS 743783 HAS SOPS 743783 HAS SOUS 628912 HAS SOUPS 628912 WITH SCORE 629655.783
AT ITER 3684 NEW BEST:: SOT 4379877 SOS 743773 HAS SOPS 743773 HAS SOUS 628902 HAS SOUPS 628902 WITH SCORE 629645.773
AT ITER 3731 NEW BEST:: SOT 4379767 SOS 743663 HAS SOPS 743663 HAS SOUS 628792 HAS SOUPS 628792 WITH SCORE 629535.663
AT ITER 3751 NEW BEST:: SOT 4379707 SOS 743664 HAS SOPS 743664 HAS SOUS 628763 HAS SOUPS 628763 WITH SCORE 629506.664
AT ITER 3756 NEW BEST:: SOT 4379526 SOS 743483 HAS SOPS 743483 HAS SOUS 628582 HAS SOUPS 628582 WITH SCORE 629325.483
AT ITER 3780 NEW BEST:: SOT 4379247 SOS 743297 HAS SOPS 743297 HAS SOUS 628396 HAS SOUPS 628396 WITH SCORE 629139.297
AT ITER 3787 NEW BEST:: SOT 4379006 SOS 742815 HAS SOPS 742815 HAS SOUS 628155 HAS SOUPS 628155 WITH SCORE 628897.815
AT ITER 3791 NEW BEST:: SOT 4378866 SOS 742647 HAS SOPS 742647 HAS SOUS 627970 HAS SOUPS 627970 WITH SCORE 628712.647
AT ITER 3899 NEW BEST:: SOT 4378805 SOS 742586 HAS SOPS 742586 HAS SOUS 627909 HAS SOUPS 627909 WITH SCORE 628651.586
AT ITER 3908 NEW BEST:: SOT 4378805 SOS 742510 HAS SOPS 742510 HAS SOUS 627833 HAS SOUPS 627833 WITH SCORE 628575.51
AT ITER 3952 NEW BEST:: SOT 4378736 SOS 742495 HAS SOPS 742495 HAS SOUS 627818 HAS SOUPS 627818 WITH SCORE 628560.495
AT ITER 3953 NEW BEST:: SOT 4378550 SOS 742123 HAS SOPS 742123 HAS SOUS 627497 HAS SOUPS 627497 WITH SCORE 628239.123
AT ITER 3964 NEW BEST:: SOT 4378536 SOS 742095 HAS SOPS 742095 HAS SOUS 627469 HAS SOUPS 627469 WITH SCORE 628211.095
AT ITER 3993 NEW BEST:: SOT 4378639 SOS 741917 HAS SOPS 741917 HAS SOUS 627347 HAS SOUPS 627347 WITH SCORE 628088.917
AT ITER 4004 NEW BEST:: SOT 4378639 SOS 741816 HAS SOPS 741816 HAS SOUS 627347 HAS SOUPS 627347 WITH SCORE 628088.816
AT ITER 4011 NEW BEST:: SOT 4378483 SOS 741782 HAS SOPS 741782 HAS SOUS 627215 HAS SOUPS 627215 WITH SCORE 627956.782
AT ITER 4028 NEW BEST:: SOT 4378401 SOS 741710 HAS SOPS 741710 HAS SOUS 627140 HAS SOUPS 627140 WITH SCORE 627881.71
AT ITER 4063 NEW BEST:: SOT 4378400 SOS 741708 HAS SOPS 741708 HAS SOUS 627138 HAS SOUPS 627138 WITH SCORE 627879.708
AT ITER 4085 NEW BEST:: SOT 4378339 SOS 741458 HAS SOPS 741458 HAS SOUS 627012 HAS SOUPS 627012 WITH SCORE 627753.458
AT ITER 4129 NEW BEST:: SOT 4377152 SOS 743933 HAS SOPS 743933 HAS SOUS 626496 HAS SOUPS 626496 WITH SCORE 627239.933
AT ITER 4144 NEW BEST:: SOT 4377143 SOS 743915 HAS SOPS 743915 HAS SOUS 626478 HAS SOUPS 626478 WITH SCORE 627221.915
AT ITER 4174 NEW BEST:: SOT 4377038 SOS 743705 HAS SOPS 743705 HAS SOUS 626268 HAS SOUPS 626268 WITH SCORE 627011.705
AT ITER 4202 NEW BEST:: SOT 4376836 SOS 743301 HAS SOPS 743301 HAS SOUS 625864 HAS SOUPS 625864 WITH SCORE 626607.301
AT ITER 4231 NEW BEST:: SOT 4376835 SOS 743215 HAS SOPS 743215 HAS SOUS 625862 HAS SOUPS 625862 WITH SCORE 626605.215
AT ITER 4258 NEW BEST:: SOT 4376835 SOS 743215 HAS SOPS 743215 HAS SOUS 625861 HAS SOUPS 625861 WITH SCORE 626604.215
AT ITER 4262 NEW BEST:: SOT 4376781 SOS 742895 HAS SOPS 742895 HAS SOUS 625753 HAS SOUPS 625753 WITH SCORE 626495.895
AT ITER 4271 NEW BEST:: SOT 4376673 SOS 742679 HAS SOPS 742679 HAS SOUS 625645 HAS SOUPS 625645 WITH SCORE 626387.679
AT ITER 4298 NEW BEST:: SOT 4376673 SOS 742679 HAS SOPS 742679 HAS SOUS 625585 HAS SOUPS 625585 WITH SCORE 626327.679
AT ITER 4301 NEW BEST:: SOT 4376355 SOS 742043 HAS SOPS 742043 HAS SOUS 624949 HAS SOUPS 624949 WITH SCORE 625691.043
AT ITER 4312 NEW BEST:: SOT 4376354 SOS 742041 HAS SOPS 742041 HAS SOUS 624947 HAS SOUPS 624947 WITH SCORE 625689.041
AT ITER 4316 NEW BEST:: SOT 4376354 SOS 742041 HAS SOPS 742041 HAS SOUS 624851 HAS SOUPS 624851 WITH SCORE 625593.041
AT ITER 4330 NEW BEST:: SOT 4376353 SOS 742039 HAS SOPS 742039 HAS SOUS 624849 HAS SOUPS 624849 WITH SCORE 625591.039
AT ITER 4339 NEW BEST:: SOT 4376249 SOS 741831 HAS SOPS 741831 HAS SOUS 624641 HAS SOUPS 624641 WITH SCORE 625382.831
AT ITER 4340 NEW BEST:: SOT 4375954 SOS 741621 HAS SOPS 741621 HAS SOUS 624376 HAS SOUPS 624376 WITH SCORE 625117.621
AT ITER 4356 NEW BEST:: SOT 4375884 SOS 741481 HAS SOPS 741481 HAS SOUS 624233 HAS SOUPS 624233 WITH SCORE 624974.481
AT ITER 4370 NEW BEST:: SOT 4375691 SOS 741383 HAS SOPS 741383 HAS SOUS 624135 HAS SOUPS 624135 WITH SCORE 624876.383
AT ITER 4384 NEW BEST:: SOT 4375691 SOS 741314 HAS SOPS 741314 HAS SOUS 624135 HAS SOUPS 624135 WITH SCORE 624876.314
AT ITER 4388 NEW BEST:: SOT 4375369 SOS 740876 HAS SOPS 740876 HAS SOUS 623697 HAS SOUPS 623697 WITH SCORE 624437.876
AT ITER 4396 NEW BEST:: SOT 4375315 SOS 740822 HAS SOPS 740822 HAS SOUS 623643 HAS SOUPS 623643 WITH SCORE 624383.822
AT ITER 4399 NEW BEST:: SOT 4375315 SOS 740812 HAS SOPS 740812 HAS SOUS 623633 HAS SOUPS 623633 WITH SCORE 624373.812
AT ITER 4411 NEW BEST:: SOT 4375307 SOS 740796 HAS SOPS 740796 HAS SOUS 623625 HAS SOUPS 623625 WITH SCORE 624365.796
AT ITER 4424 NEW BEST:: SOT 4375102 SOS 740615 HAS SOPS 740615 HAS SOUS 623444 HAS SOUPS 623444 WITH SCORE 624184.615
AT ITER 4425 NEW BEST:: SOT 4374861 SOS 740469 HAS SOPS 740469 HAS SOUS 623203 HAS SOUPS 623203 WITH SCORE 623943.469
AT ITER 4427 NEW BEST:: SOT 4374882 SOS 740448 HAS SOPS 740448 HAS SOUS 623203 HAS SOUPS 623203 WITH SCORE 623943.448
AT ITER 4487 NEW BEST:: SOT 4374847 SOS 740133 HAS SOPS 740133 HAS SOUS 623133 HAS SOUPS 623133 WITH SCORE 623873.133
AT ITER 4495 NEW BEST:: SOT 4374672 SOS 739783 HAS SOPS 739783 HAS SOUS 622958 HAS SOUPS 622958 WITH SCORE 623697.783
AT ITER 4510 NEW BEST:: SOT 4374663 SOS 739586 HAS SOPS 739586 HAS SOUS 622940 HAS SOUPS 622940 WITH SCORE 623679.586
AT ITER 4534 NEW BEST:: SOT 4374663 SOS 739555 HAS SOPS 739555 HAS SOUS 622909 HAS SOUPS 622909 WITH SCORE 623648.555
AT ITER 4556 NEW BEST:: SOT 4374658 SOS 739545 HAS SOPS 739545 HAS SOUS 622904 HAS SOUPS 622904 WITH SCORE 623643.545
AT ITER 4570 NEW BEST:: SOT 4374278 SOS 742052 HAS SOPS 742052 HAS SOUS 622887 HAS SOUPS 622887 WITH SCORE 623629.052
AT ITER 4582 NEW BEST:: SOT 4374277 SOS 741915 HAS SOPS 741915 HAS SOUS 622884 HAS SOUPS 622884 WITH SCORE 623625.915
AT ITER 4583 NEW BEST:: SOT 4374262 SOS 742187 HAS SOPS 742187 HAS SOUS 622877 HAS SOUPS 622877 WITH SCORE 623619.187
AT ITER 4604 NEW BEST:: SOT 4374272 SOS 742207 HAS SOPS 742207 HAS SOUS 622624 HAS SOUPS 622624 WITH SCORE 623366.207
AT ITER 4615 NEW BEST:: SOT 4374018 SOS 741699 HAS SOPS 741699 HAS SOUS 622116 HAS SOUPS 622116 WITH SCORE 622857.699
AT ITER 4637 NEW BEST:: SOT 4373802 SOS 741267 HAS SOPS 741267 HAS SOUS 621900 HAS SOUPS 621900 WITH SCORE 622641.267
AT ITER 4652 NEW BEST:: SOT 4373802 SOS 741173 HAS SOPS 741173 HAS SOUS 621847 HAS SOUPS 621847 WITH SCORE 622588.173
AT ITER 4673 NEW BEST:: SOT 4373555 SOS 740679 HAS SOPS 740679 HAS SOUS 621446 HAS SOUPS 621446 WITH SCORE 622186.679
AT ITER 4695 NEW BEST:: SOT 4373326 SOS 741418 HAS SOPS 741418 HAS SOUS 621314 HAS SOUPS 621314 WITH SCORE 622055.418
AT ITER 4718 NEW BEST:: SOT 4373084 SOS 740934 HAS SOPS 740934 HAS SOUS 621072 HAS SOUPS 621072 WITH SCORE 621812.934
AT ITER 4727 NEW BEST:: SOT 4373056 SOS 740878 HAS SOPS 740878 HAS SOUS 620878 HAS SOUPS 620878 WITH SCORE 621618.878
AT ITER 4742 NEW BEST:: SOT 4373056 SOS 740607 HAS SOPS 740607 HAS SOUS 620878 HAS SOUPS 620878 WITH SCORE 621618.607
AT ITER 4755 NEW BEST:: SOT 4373092 SOS 740679 HAS SOPS 740679 HAS SOUS 620864 HAS SOUPS 620864 WITH SCORE 621604.679
AT ITER 4777 NEW BEST:: SOT 4373092 SOS 740679 HAS SOPS 740679 HAS SOUS 620860 HAS SOUPS 620860 WITH SCORE 621600.679
AT ITER 4798 NEW BEST:: SOT 4372954 SOS 740541 HAS SOPS 740541 HAS SOUS 620722 HAS SOUPS 620722 WITH SCORE 621462.541
AT ITER 4809 NEW BEST:: SOT 4372886 SOS 740541 HAS SOPS 740541 HAS SOUS 620688 HAS SOUPS 620688 WITH SCORE 621428.541
AT ITER 4822 NEW BEST:: SOT 4372846 SOS 740461 HAS SOPS 740461 HAS SOUS 620608 HAS SOUPS 620608 WITH SCORE 621348.461
AT ITER 4828 NEW BEST:: SOT 4372846 SOS 739941 HAS SOPS 739941 HAS SOUS 620607 HAS SOUPS 620607 WITH SCORE 621346.941
AT ITER 4836 NEW BEST:: SOT 4372793 SOS 739835 HAS SOPS 739835 HAS SOUS 620501 HAS SOUPS 620501 WITH SCORE 621240.835
AT ITER 4869 NEW BEST:: SOT 4372769 SOS 739787 HAS SOPS 739787 HAS SOUS 620453 HAS SOUPS 620453 WITH SCORE 621192.787
AT ITER 4870 NEW BEST:: SOT 4372387 SOS 739633 HAS SOPS 739633 HAS SOUS 620071 HAS SOUPS 620071 WITH SCORE 620810.633
AT ITER 4885 NEW BEST:: SOT 4372317 SOS 739585 HAS SOPS 739585 HAS SOUS 620001 HAS SOUPS 620001 WITH SCORE 620740.585
AT ITER 4900 NEW BEST:: SOT 4372349 SOS 739649 HAS SOPS 739649 HAS SOUS 619937 HAS SOUPS 619937 WITH SCORE 620676.649
AT ITER 4917 NEW BEST:: SOT 4372321 SOS 739607 HAS SOPS 739607 HAS SOUS 619895 HAS SOUPS 619895 WITH SCORE 620634.607
AT ITER 4923 NEW BEST:: SOT 4372333 SOS 739631 HAS SOPS 739631 HAS SOUS 619833 HAS SOUPS 619833 WITH SCORE 620572.631
AT ITER 4930 NEW BEST:: SOT 4372579 SOS 740123 HAS SOPS 740123 HAS SOUS 619336 HAS SOUPS 619336 WITH SCORE 620076.123
AT ITER 4944 NEW BEST:: SOT 4372387 SOS 739931 HAS SOPS 739931 HAS SOUS 619334 HAS SOUPS 619334 WITH SCORE 620073.931
AT ITER 4952 NEW BEST:: SOT 4372359 SOS 739903 HAS SOPS 739903 HAS SOUS 619306 HAS SOUPS 619306 WITH SCORE 620045.903
AT ITER 4984 NEW BEST:: SOT 4372309 SOS 739803 HAS SOPS 739803 HAS SOUS 619256 HAS SOUPS 619256 WITH SCORE 619995.803
AT ITER 4999 NEW BEST:: SOT 4372255 SOS 739695 HAS SOPS 739695 HAS SOUS 619233 HAS SOUPS 619233 WITH SCORE 619972.695
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-00 (EU( (AX( potential( ( 1 ) <= (tk(P114)) ))),(EF(potential( ( 3 ) <= (tk(P1986)) ))) ))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-01 ( potential( (tk(P2019)) <= (tk(P1303)) ) & (AX( (EG( potential( (tk(P673)) <= (tk(P2540)) ))))) )
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-02 ( ( (! (AG( potential( (tk(P1829)) <= (tk(P1114)) )))) & ( (AG( potential( (tk(P1893)) <= (tk(P1553)) ))) | ( (! potential( ( 2 ) <= (tk(P489)) )) | ( potential( (tk(P1583)) <= (tk(P2041)) ) & potential( (tk(P664)) <= (tk(P1041)) ) ) ) ) ) | ( (EX( ( potential( ( 2 ) <= (tk(P2258)) ) | potential( ( 1 ) <= (tk(P2403)) ) ))) & (! (AF(potential( ( 3 ) <= (tk(P1296)) )))) ) )
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-03 (EU( ( ( potential( (tk(P2148)) <= (tk(P935)) ) & potential( ( 1 ) <= (tk(P1198)) ) ) | (! potential( ( 1 ) <= (tk(P102)) )) ),potential( ( 2 ) <= (tk(P1617)) ) ))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-04 (AU( (AG( potential( (tk(P1240)) <= (tk(P2208)) ))),(EG( potential( ( 2 ) <= (tk(P1139)) ))) ))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-05 ( (AU( ( potential( ( 2 ) <= (tk(P1738)) ) & potential( ( 3 ) <= (tk(P2494)) ) ),(! potential( (tk(P1383)) <= (tk(P2218)) )) )) | (EF(potential( ( 1 ) <= (tk(P1307)) ))) )
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-06 (AU( ( ( potential( (tk(P541)) <= (tk(P353)) ) | potential( (tk(P827)) <= (tk(P338)) ) ) & ( potential( ( 1 ) <= (tk(P1565)) ) | potential( (tk(P2447)) <= (tk(P2319)) ) ) ),potential( ( 1 ) <= (tk(P1733)) ) ))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-07 ( (AX( (EG( potential( (tk(P1246)) <= (tk(P760)) ))))) & (EF((! ( potential( (tk(P518)) <= (tk(P2042)) ) & potential( (tk(P1009)) <= (tk(P2303)) ) )))) )
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-08 (AG( ( ( (! potential( (tk(P1930)) <= (tk(P1716)) )) | ( potential( (tk(P851)) <= (tk(P2326)) ) | potential( ( 2 ) <= (tk(P1935)) ) ) ) | ( ( potential( ( 3 ) <= (tk(P859)) ) | potential( (tk(P535)) <= (tk(P1257)) ) ) & potential( ( 2 ) <= (tk(P51)) ) ) )))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-09 (EF((AG( ( potential( ( 2 ) <= (tk(P2095)) ) | potential( (tk(P677)) <= (tk(P2021)) ) )))))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-10 (EX( (EF(( potential( ( 2 ) <= (tk(P204)) ) | potential( ( 2 ) <= (tk(P1236)) ) )))))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-11 (EU( ( potential( (tk(P36)) <= (tk(P2565)) ) & ( potential( ( 1 ) <= (tk(P1270)) ) | potential( ( 2 ) <= (tk(P450)) ) ) ),(EG( potential( (tk(P1320)) <= (tk(P14)) ))) ))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-12 ( potential( (tk(P1026)) <= (tk(P1408)) ) & (AU( ( potential( ( 2 ) <= (tk(P1970)) ) | potential( (tk(P493)) <= (tk(P414)) ) ),( potential( ( 2 ) <= (tk(P2398)) ) & potential( (tk(P1500)) <= (tk(P2485)) ) ) )) )
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-13 (EF(( (! ( potential( (tk(P396)) <= (tk(P2423)) ) & potential( (tk(P201)) <= (tk(P1888)) ) )) & potential( (tk(P346)) <= (tk(P2232)) ) )))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-14 (EF((AG( potential( ( 3 ) <= (tk(P939)) )))))
PROPERTY: CloudReconfiguration-PT-308-CTLCardinality-15 (AF((AG( ( potential( (tk(P158)) <= (tk(P355)) ) & potential( (tk(P869)) <= (tk(P380)) ) )))))

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-308"
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-308, 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-158902541700059"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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