Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508200164.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ASLink-PT-10b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508200164
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.9K Mar 25 08:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 1.4M 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 ASLink-PT-10b-CTLFireability-00
FORMULA_NAME ASLink-PT-10b-CTLFireability-01
FORMULA_NAME ASLink-PT-10b-CTLFireability-02
FORMULA_NAME ASLink-PT-10b-CTLFireability-03
FORMULA_NAME ASLink-PT-10b-CTLFireability-04
FORMULA_NAME ASLink-PT-10b-CTLFireability-05
FORMULA_NAME ASLink-PT-10b-CTLFireability-06
FORMULA_NAME ASLink-PT-10b-CTLFireability-07
FORMULA_NAME ASLink-PT-10b-CTLFireability-08
FORMULA_NAME ASLink-PT-10b-CTLFireability-09
FORMULA_NAME ASLink-PT-10b-CTLFireability-10
FORMULA_NAME ASLink-PT-10b-CTLFireability-11
FORMULA_NAME ASLink-PT-10b-CTLFireability-12
FORMULA_NAME ASLink-PT-10b-CTLFireability-13
FORMULA_NAME ASLink-PT-10b-CTLFireability-14
FORMULA_NAME ASLink-PT-10b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589087818958

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 10b
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: 4410 places, 5405 transitions, 16377 arcs.
AT ITER 0 NEW BEST:: SOT 12534095 SOS 1884602 HAS SOPS 1884602 HAS SOUS 1530000 HAS SOUPS 1530000 WITH SCORE 1531884.602
AT ITER 3 NEW BEST:: SOT 12533828 SOS 1884108 HAS SOPS 1884108 HAS SOUS 1529748 HAS SOUPS 1529748 WITH SCORE 1531632.108
AT ITER 8 NEW BEST:: SOT 12533828 SOS 1884096 HAS SOPS 1884096 HAS SOUS 1529736 HAS SOUPS 1529736 WITH SCORE 1531620.096
AT ITER 13 NEW BEST:: SOT 12533765 SOS 1884024 HAS SOPS 1884024 HAS SOUS 1529727 HAS SOUPS 1529727 WITH SCORE 1531611.024
AT ITER 57 NEW BEST:: SOT 12533570 SOS 1883439 HAS SOPS 1883439 HAS SOUS 1529142 HAS SOUPS 1529142 WITH SCORE 1531025.439
AT ITER 110 NEW BEST:: SOT 12531821 SOS 1884302 HAS SOPS 1884302 HAS SOUS 1527465 HAS SOUPS 1527465 WITH SCORE 1529349.302
AT ITER 112 NEW BEST:: SOT 12531748 SOS 1884156 HAS SOPS 1884156 HAS SOUS 1527319 HAS SOUPS 1527319 WITH SCORE 1529203.156
AT ITER 126 NEW BEST:: SOT 12531748 SOS 1884022 HAS SOPS 1884022 HAS SOUS 1527319 HAS SOUPS 1527319 WITH SCORE 1529203.022
AT ITER 161 NEW BEST:: SOT 12531340 SOS 1883614 HAS SOPS 1883614 HAS SOUS 1526911 HAS SOUPS 1526911 WITH SCORE 1528794.614
AT ITER 180 NEW BEST:: SOT 12531166 SOS 1883040 HAS SOPS 1883040 HAS SOUS 1526625 HAS SOUPS 1526625 WITH SCORE 1528508.04
AT ITER 184 NEW BEST:: SOT 12531165 SOS 1883038 HAS SOPS 1883038 HAS SOUS 1526623 HAS SOUPS 1526623 WITH SCORE 1528506.038
AT ITER 206 NEW BEST:: SOT 12531165 SOS 1883026 HAS SOPS 1883026 HAS SOUS 1526611 HAS SOUPS 1526611 WITH SCORE 1528494.026
AT ITER 211 NEW BEST:: SOT 12529310 SOS 1880906 HAS SOPS 1880906 HAS SOUS 1526346 HAS SOUPS 1526346 WITH SCORE 1528226.906
AT ITER 214 NEW BEST:: SOT 12528127 SOS 1884770 HAS SOPS 1884770 HAS SOUS 1525248 HAS SOUPS 1525248 WITH SCORE 1527132.77
AT ITER 269 NEW BEST:: SOT 12528126 SOS 1884768 HAS SOPS 1884768 HAS SOUS 1525246 HAS SOUPS 1525246 WITH SCORE 1527130.768
AT ITER 304 NEW BEST:: SOT 12528063 SOS 1884561 HAS SOPS 1884561 HAS SOUS 1524905 HAS SOUPS 1524905 WITH SCORE 1526789.561
AT ITER 308 NEW BEST:: SOT 12528092 SOS 1884576 HAS SOPS 1884576 HAS SOUS 1524526 HAS SOUPS 1524526 WITH SCORE 1526410.576
AT ITER 311 NEW BEST:: SOT 12527796 SOS 1884457 HAS SOPS 1884457 HAS SOUS 1524366 HAS SOUPS 1524366 WITH SCORE 1526250.457
AT ITER 325 NEW BEST:: SOT 12527796 SOS 1884453 HAS SOPS 1884453 HAS SOUS 1524366 HAS SOUPS 1524366 WITH SCORE 1526250.453
AT ITER 326 NEW BEST:: SOT 12527606 SOS 1884262 HAS SOPS 1884262 HAS SOUS 1524175 HAS SOUPS 1524175 WITH SCORE 1526059.262
AT ITER 347 NEW BEST:: SOT 12527499 SOS 1884048 HAS SOPS 1884048 HAS SOUS 1523961 HAS SOUPS 1523961 WITH SCORE 1525845.048
AT ITER 348 NEW BEST:: SOT 12527581 SOS 1883989 HAS SOPS 1883989 HAS SOUS 1523928 HAS SOUPS 1523928 WITH SCORE 1525811.989
AT ITER 374 NEW BEST:: SOT 12527558 SOS 1885397 HAS SOPS 1885397 HAS SOUS 1523873 HAS SOUPS 1523873 WITH SCORE 1525758.397
AT ITER 378 NEW BEST:: SOT 12527182 SOS 1885021 HAS SOPS 1885021 HAS SOUS 1523496 HAS SOUPS 1523496 WITH SCORE 1525381.021
AT ITER 391 NEW BEST:: SOT 12527114 SOS 1884813 HAS SOPS 1884813 HAS SOUS 1523428 HAS SOUPS 1523428 WITH SCORE 1525312.813
AT ITER 436 NEW BEST:: SOT 12527114 SOS 1884766 HAS SOPS 1884766 HAS SOUS 1523381 HAS SOUPS 1523381 WITH SCORE 1525265.766
AT ITER 442 NEW BEST:: SOT 12527114 SOS 1884704 HAS SOPS 1884704 HAS SOUS 1523319 HAS SOUPS 1523319 WITH SCORE 1525203.704
AT ITER 450 NEW BEST:: SOT 12524646 SOS 1884612 HAS SOPS 1884612 HAS SOUS 1521056 HAS SOUPS 1521056 WITH SCORE 1522940.612
AT ITER 468 NEW BEST:: SOT 12524646 SOS 1884594 HAS SOPS 1884594 HAS SOUS 1521038 HAS SOUPS 1521038 WITH SCORE 1522922.594
AT ITER 491 NEW BEST:: SOT 12524263 SOS 1884465 HAS SOPS 1884465 HAS SOUS 1520764 HAS SOUPS 1520764 WITH SCORE 1522648.465
AT ITER 496 NEW BEST:: SOT 12523970 SOS 1885779 HAS SOPS 1885779 HAS SOUS 1520146 HAS SOUPS 1520146 WITH SCORE 1522031.779
AT ITER 513 NEW BEST:: SOT 12523796 SOS 1885431 HAS SOPS 1885431 HAS SOUS 1519676 HAS SOUPS 1519676 WITH SCORE 1521561.431
AT ITER 527 NEW BEST:: SOT 12523609 SOS 1885051 HAS SOPS 1885051 HAS SOUS 1519483 HAS SOUPS 1519483 WITH SCORE 1521368.051
AT ITER 543 NEW BEST:: SOT 12523596 SOS 1884835 HAS SOPS 1884835 HAS SOUS 1519458 HAS SOUPS 1519458 WITH SCORE 1521342.835
AT ITER 557 NEW BEST:: SOT 12523441 SOS 1884521 HAS SOPS 1884521 HAS SOUS 1519144 HAS SOUPS 1519144 WITH SCORE 1521028.521
AT ITER 562 NEW BEST:: SOT 12523365 SOS 1884445 HAS SOPS 1884445 HAS SOUS 1519066 HAS SOUPS 1519066 WITH SCORE 1520950.445
AT ITER 607 NEW BEST:: SOT 12523187 SOS 1884250 HAS SOPS 1884250 HAS SOUS 1518871 HAS SOUPS 1518871 WITH SCORE 1520755.25
AT ITER 615 NEW BEST:: SOT 12523186 SOS 1884248 HAS SOPS 1884248 HAS SOUS 1518869 HAS SOUPS 1518869 WITH SCORE 1520753.248
AT ITER 621 NEW BEST:: SOT 12523186 SOS 1884046 HAS SOPS 1884046 HAS SOUS 1518667 HAS SOUPS 1518667 WITH SCORE 1520551.046
AT ITER 625 NEW BEST:: SOT 12523034 SOS 1883894 HAS SOPS 1883894 HAS SOUS 1518515 HAS SOUPS 1518515 WITH SCORE 1520398.894
AT ITER 638 NEW BEST:: SOT 12523025 SOS 1883885 HAS SOPS 1883885 HAS SOUS 1518506 HAS SOUPS 1518506 WITH SCORE 1520389.885
AT ITER 692 NEW BEST:: SOT 12522592 SOS 1883157 HAS SOPS 1883157 HAS SOUS 1518054 HAS SOUPS 1518054 WITH SCORE 1519937.157
AT ITER 697 NEW BEST:: SOT 12522329 SOS 1882273 HAS SOPS 1882273 HAS SOUS 1517242 HAS SOUPS 1517242 WITH SCORE 1519124.273
AT ITER 720 NEW BEST:: SOT 12522035 SOS 1881955 HAS SOPS 1881955 HAS SOUS 1516949 HAS SOUPS 1516949 WITH SCORE 1518830.955
AT ITER 758 NEW BEST:: SOT 12522035 SOS 1881930 HAS SOPS 1881930 HAS SOUS 1516948 HAS SOUPS 1516948 WITH SCORE 1518829.93
AT ITER 792 NEW BEST:: SOT 12522033 SOS 1881932 HAS SOPS 1881932 HAS SOUS 1516944 HAS SOUPS 1516944 WITH SCORE 1518825.932
AT ITER 830 NEW BEST:: SOT 12520799 SOS 1888272 HAS SOPS 1888272 HAS SOUS 1516241 HAS SOUPS 1516241 WITH SCORE 1518129.272
AT ITER 832 NEW BEST:: SOT 12520523 SOS 1887996 HAS SOPS 1887996 HAS SOUS 1515964 HAS SOUPS 1515964 WITH SCORE 1517851.996
AT ITER 838 NEW BEST:: SOT 12519760 SOS 1887375 HAS SOPS 1887375 HAS SOUS 1515310 HAS SOUPS 1515310 WITH SCORE 1517197.375
AT ITER 840 NEW BEST:: SOT 12519599 SOS 1886661 HAS SOPS 1886661 HAS SOUS 1514715 HAS SOUPS 1514715 WITH SCORE 1516601.661
AT ITER 846 NEW BEST:: SOT 12519599 SOS 1886660 HAS SOPS 1886660 HAS SOUS 1514714 HAS SOUPS 1514714 WITH SCORE 1516600.66
AT ITER 856 NEW BEST:: SOT 12519599 SOS 1888782 HAS SOPS 1888782 HAS SOUS 1514505 HAS SOUPS 1514505 WITH SCORE 1516393.782
AT ITER 881 NEW BEST:: SOT 12519249 SOS 1889376 HAS SOPS 1889376 HAS SOUS 1514478 HAS SOUPS 1514478 WITH SCORE 1516367.376
AT ITER 908 NEW BEST:: SOT 12519086 SOS 1889050 HAS SOPS 1889050 HAS SOUS 1513909 HAS SOUPS 1513909 WITH SCORE 1515798.05
AT ITER 940 NEW BEST:: SOT 12519086 SOS 1889046 HAS SOPS 1889046 HAS SOUS 1513905 HAS SOUPS 1513905 WITH SCORE 1515794.046
AT ITER 962 NEW BEST:: SOT 12518791 SOS 1888456 HAS SOPS 1888456 HAS SOUS 1513315 HAS SOUPS 1513315 WITH SCORE 1515203.456
AT ITER 965 NEW BEST:: SOT 12518437 SOS 1888098 HAS SOPS 1888098 HAS SOUS 1512957 HAS SOUPS 1512957 WITH SCORE 1514845.098
AT ITER 1011 NEW BEST:: SOT 12518505 SOS 1888054 HAS SOPS 1888054 HAS SOUS 1512911 HAS SOUPS 1512911 WITH SCORE 1514799.054
AT ITER 1018 NEW BEST:: SOT 12518198 SOS 1887502 HAS SOPS 1887502 HAS SOUS 1512331 HAS SOUPS 1512331 WITH SCORE 1514218.502
AT ITER 1034 NEW BEST:: SOT 12518434 SOS 1887494 HAS SOPS 1887494 HAS SOUS 1512323 HAS SOUPS 1512323 WITH SCORE 1514210.494
AT ITER 1045 NEW BEST:: SOT 12518227 SOS 1887080 HAS SOPS 1887080 HAS SOUS 1511808 HAS SOUPS 1511808 WITH SCORE 1513695.08
AT ITER 1052 NEW BEST:: SOT 12517999 SOS 1886396 HAS SOPS 1886396 HAS SOUS 1511124 HAS SOUPS 1511124 WITH SCORE 1513010.396
AT ITER 1064 NEW BEST:: SOT 12517711 SOS 1886064 HAS SOPS 1886064 HAS SOUS 1510817 HAS SOUPS 1510817 WITH SCORE 1512703.064
AT ITER 1082 NEW BEST:: SOT 12517714 SOS 1885778 HAS SOPS 1885778 HAS SOUS 1510531 HAS SOUPS 1510531 WITH SCORE 1512416.778
AT ITER 1083 NEW BEST:: SOT 12517712 SOS 1885751 HAS SOPS 1885751 HAS SOUS 1510329 HAS SOUPS 1510329 WITH SCORE 1512214.751
AT ITER 1103 NEW BEST:: SOT 12517397 SOS 1885381 HAS SOPS 1885381 HAS SOUS 1509959 HAS SOUPS 1509959 WITH SCORE 1511844.381
AT ITER 1151 NEW BEST:: SOT 12517346 SOS 1885330 HAS SOPS 1885330 HAS SOUS 1509908 HAS SOUPS 1509908 WITH SCORE 1511793.33
AT ITER 1153 NEW BEST:: SOT 12517283 SOS 1885204 HAS SOPS 1885204 HAS SOUS 1509845 HAS SOUPS 1509845 WITH SCORE 1511730.204
AT ITER 1201 NEW BEST:: SOT 12517283 SOS 1885026 HAS SOPS 1885026 HAS SOUS 1509489 HAS SOUPS 1509489 WITH SCORE 1511374.026
AT ITER 1210 NEW BEST:: SOT 12516551 SOS 1884765 HAS SOPS 1884765 HAS SOUS 1508846 HAS SOUPS 1508846 WITH SCORE 1510730.765
AT ITER 1224 NEW BEST:: SOT 12516404 SOS 1885274 HAS SOPS 1885274 HAS SOUS 1508669 HAS SOUPS 1508669 WITH SCORE 1510554.274
AT ITER 1275 NEW BEST:: SOT 12516403 SOS 1885236 HAS SOPS 1885236 HAS SOUS 1508631 HAS SOUPS 1508631 WITH SCORE 1510516.236
AT ITER 1276 NEW BEST:: SOT 12516297 SOS 1885024 HAS SOPS 1885024 HAS SOUS 1508313 HAS SOUPS 1508313 WITH SCORE 1510198.024
AT ITER 1279 NEW BEST:: SOT 12516217 SOS 1884944 HAS SOPS 1884944 HAS SOUS 1508233 HAS SOUPS 1508233 WITH SCORE 1510117.944
AT ITER 1302 NEW BEST:: SOT 12516062 SOS 1884266 HAS SOPS 1884266 HAS SOUS 1505928 HAS SOUPS 1505928 WITH SCORE 1507812.266
AT ITER 1330 NEW BEST:: SOT 12516062 SOS 1884077 HAS SOPS 1884077 HAS SOUS 1505925 HAS SOUPS 1505925 WITH SCORE 1507809.077
AT ITER 1335 NEW BEST:: SOT 12516062 SOS 1884075 HAS SOPS 1884075 HAS SOUS 1505923 HAS SOUPS 1505923 WITH SCORE 1507807.075
AT ITER 1362 NEW BEST:: SOT 12515691 SOS 1883407 HAS SOPS 1883407 HAS SOUS 1505234 HAS SOUPS 1505234 WITH SCORE 1507117.407
AT ITER 1380 NEW BEST:: SOT 12515691 SOS 1884807 HAS SOPS 1884807 HAS SOUS 1505206 HAS SOUPS 1505206 WITH SCORE 1507090.807
AT ITER 1384 NEW BEST:: SOT 12515409 SOS 1884807 HAS SOPS 1884807 HAS SOUS 1504924 HAS SOUPS 1504924 WITH SCORE 1506808.807
AT ITER 1441 NEW BEST:: SOT 12515357 SOS 1884755 HAS SOPS 1884755 HAS SOUS 1504872 HAS SOUPS 1504872 WITH SCORE 1506756.755
AT ITER 1474 NEW BEST:: SOT 12515428 SOS 1884607 HAS SOPS 1884607 HAS SOUS 1504639 HAS SOUPS 1504639 WITH SCORE 1506523.607
AT ITER 1516 NEW BEST:: SOT 12515318 SOS 1884387 HAS SOPS 1884387 HAS SOUS 1504419 HAS SOUPS 1504419 WITH SCORE 1506303.387
AT ITER 1530 NEW BEST:: SOT 12515323 SOS 1884105 HAS SOPS 1884105 HAS SOUS 1504137 HAS SOUPS 1504137 WITH SCORE 1506021.105
AT ITER 1534 NEW BEST:: SOT 12515273 SOS 1884005 HAS SOPS 1884005 HAS SOUS 1504087 HAS SOUPS 1504087 WITH SCORE 1505971.005
AT ITER 1587 NEW BEST:: SOT 12515077 SOS 1883613 HAS SOPS 1883613 HAS SOUS 1503459 HAS SOUPS 1503459 WITH SCORE 1505342.613
AT ITER 1600 NEW BEST:: SOT 12514777 SOS 1883353 HAS SOPS 1883353 HAS SOUS 1503459 HAS SOUPS 1503459 WITH SCORE 1505342.353
AT ITER 1603 NEW BEST:: SOT 12514541 SOS 1883485 HAS SOPS 1883485 HAS SOUS 1503223 HAS SOUPS 1503223 WITH SCORE 1505106.485
AT ITER 1620 NEW BEST:: SOT 12514426 SOS 1883370 HAS SOPS 1883370 HAS SOUS 1503222 HAS SOUPS 1503222 WITH SCORE 1505105.37
AT ITER 1622 NEW BEST:: SOT 12514215 SOS 1882695 HAS SOPS 1882695 HAS SOUS 1502547 HAS SOUPS 1502547 WITH SCORE 1504429.695
AT ITER 1629 NEW BEST:: SOT 12514067 SOS 1882546 HAS SOPS 1882546 HAS SOUS 1502390 HAS SOUPS 1502390 WITH SCORE 1504272.546
AT ITER 1688 NEW BEST:: SOT 12513872 SOS 1882120 HAS SOPS 1882120 HAS SOUS 1502159 HAS SOUPS 1502159 WITH SCORE 1504041.12
AT ITER 1717 NEW BEST:: SOT 12513872 SOS 1882089 HAS SOPS 1882089 HAS SOUS 1502159 HAS SOUPS 1502159 WITH SCORE 1504041.089
AT ITER 1750 NEW BEST:: SOT 12513750 SOS 1881834 HAS SOPS 1881834 HAS SOUS 1501904 HAS SOUPS 1501904 WITH SCORE 1503785.834
AT ITER 1759 NEW BEST:: SOT 12513749 SOS 1881832 HAS SOPS 1881832 HAS SOUS 1501902 HAS SOUPS 1501902 WITH SCORE 1503783.832
AT ITER 1786 NEW BEST:: SOT 12514653 SOS 1883772 HAS SOPS 1883772 HAS SOUS 1500414 HAS SOUPS 1500414 WITH SCORE 1502297.772
AT ITER 1788 NEW BEST:: SOT 12514653 SOS 1883653 HAS SOPS 1883653 HAS SOUS 1500414 HAS SOUPS 1500414 WITH SCORE 1502297.653
AT ITER 1794 NEW BEST:: SOT 12514653 SOS 1883648 HAS SOPS 1883648 HAS SOUS 1500409 HAS SOUPS 1500409 WITH SCORE 1502292.648
AT ITER 1807 NEW BEST:: SOT 12514653 SOS 1883386 HAS SOPS 1883386 HAS SOUS 1500409 HAS SOUPS 1500409 WITH SCORE 1502292.386
AT ITER 1821 NEW BEST:: SOT 12514480 SOS 1884684 HAS SOPS 1884684 HAS SOUS 1500293 HAS SOUPS 1500293 WITH SCORE 1502177.684
AT ITER 1828 NEW BEST:: SOT 12514480 SOS 1884634 HAS SOPS 1884634 HAS SOUS 1500243 HAS SOUPS 1500243 WITH SCORE 1502127.634
AT ITER 1865 NEW BEST:: SOT 12514481 SOS 1884632 HAS SOPS 1884632 HAS SOUS 1500241 HAS SOUPS 1500241 WITH SCORE 1502125.632
AT ITER 1878 NEW BEST:: SOT 12514463 SOS 1884617 HAS SOPS 1884617 HAS SOUS 1500226 HAS SOUPS 1500226 WITH SCORE 1502110.617
AT ITER 1881 NEW BEST:: SOT 12514462 SOS 1884346 HAS SOPS 1884346 HAS SOUS 1500209 HAS SOUPS 1500209 WITH SCORE 1502093.346
AT ITER 1917 NEW BEST:: SOT 12514238 SOS 1884122 HAS SOPS 1884122 HAS SOUS 1499983 HAS SOUPS 1499983 WITH SCORE 1501867.122
AT ITER 1944 NEW BEST:: SOT 12514238 SOS 1884049 HAS SOPS 1884049 HAS SOUS 1499910 HAS SOUPS 1499910 WITH SCORE 1501794.049
AT ITER 1950 NEW BEST:: SOT 12514238 SOS 1883931 HAS SOPS 1883931 HAS SOUS 1499809 HAS SOUPS 1499809 WITH SCORE 1501692.931
AT ITER 1963 NEW BEST:: SOT 12514275 SOS 1885914 HAS SOPS 1885914 HAS SOUS 1499517 HAS SOUPS 1499517 WITH SCORE 1501402.914
AT ITER 1976 NEW BEST:: SOT 12514275 SOS 1885913 HAS SOPS 1885913 HAS SOUS 1499516 HAS SOUPS 1499516 WITH SCORE 1501401.913
AT ITER 2018 NEW BEST:: SOT 12514239 SOS 1885682 HAS SOPS 1885682 HAS SOUS 1499415 HAS SOUPS 1499415 WITH SCORE 1501300.682
AT ITER 2019 NEW BEST:: SOT 12514249 SOS 1885657 HAS SOPS 1885657 HAS SOUS 1499390 HAS SOUPS 1499390 WITH SCORE 1501275.657
AT ITER 2026 NEW BEST:: SOT 12514220 SOS 1885599 HAS SOPS 1885599 HAS SOUS 1499360 HAS SOUPS 1499360 WITH SCORE 1501245.599
AT ITER 2035 NEW BEST:: SOT 12514220 SOS 1885366 HAS SOPS 1885366 HAS SOUS 1499359 HAS SOUPS 1499359 WITH SCORE 1501244.366
AT ITER 2080 NEW BEST:: SOT 12514117 SOS 1885201 HAS SOPS 1885201 HAS SOUS 1499150 HAS SOUPS 1499150 WITH SCORE 1501035.201
AT ITER 2118 NEW BEST:: SOT 12514117 SOS 1885261 HAS SOPS 1885261 HAS SOUS 1499090 HAS SOUPS 1499090 WITH SCORE 1500975.261
AT ITER 2162 NEW BEST:: SOT 12514117 SOS 1885150 HAS SOPS 1885150 HAS SOUS 1499090 HAS SOUPS 1499090 WITH SCORE 1500975.15
AT ITER 2188 NEW BEST:: SOT 12512113 SOS 1882857 HAS SOPS 1882857 HAS SOUS 1496797 HAS SOUPS 1496797 WITH SCORE 1498679.857
AT ITER 2213 NEW BEST:: SOT 12511819 SOS 1881867 HAS SOPS 1881867 HAS SOUS 1495807 HAS SOUPS 1495807 WITH SCORE 1497688.867
AT ITER 2230 NEW BEST:: SOT 12511507 SOS 1883172 HAS SOPS 1883172 HAS SOUS 1495173 HAS SOUPS 1495173 WITH SCORE 1497056.172
AT ITER 2247 NEW BEST:: SOT 12511430 SOS 1882941 HAS SOPS 1882941 HAS SOUS 1495096 HAS SOUPS 1495096 WITH SCORE 1496978.941
AT ITER 2263 NEW BEST:: SOT 12511430 SOS 1882887 HAS SOPS 1882887 HAS SOUS 1495095 HAS SOUPS 1495095 WITH SCORE 1496977.887
AT ITER 2264 NEW BEST:: SOT 12511429 SOS 1882885 HAS SOPS 1882885 HAS SOUS 1495093 HAS SOUPS 1495093 WITH SCORE 1496975.885
AT ITER 2279 NEW BEST:: SOT 12511429 SOS 1882885 HAS SOPS 1882885 HAS SOUS 1495092 HAS SOUPS 1495092 WITH SCORE 1496974.885
AT ITER 2324 NEW BEST:: SOT 12509889 SOS 1881563 HAS SOPS 1881563 HAS SOUS 1493770 HAS SOUPS 1493770 WITH SCORE 1495651.563
AT ITER 2348 NEW BEST:: SOT 12509761 SOS 1881798 HAS SOPS 1881798 HAS SOUS 1493380 HAS SOUPS 1493380 WITH SCORE 1495261.798
AT ITER 2359 NEW BEST:: SOT 12509585 SOS 1879894 HAS SOPS 1879894 HAS SOUS 1493142 HAS SOUPS 1493142 WITH SCORE 1495021.894
AT ITER 2384 NEW BEST:: SOT 12509585 SOS 1879770 HAS SOPS 1879770 HAS SOUS 1493018 HAS SOUPS 1493018 WITH SCORE 1494897.77
AT ITER 2473 NEW BEST:: SOT 12509557 SOS 1879714 HAS SOPS 1879714 HAS SOUS 1492989 HAS SOUPS 1492989 WITH SCORE 1494868.714
AT ITER 2506 NEW BEST:: SOT 12508993 SOS 1879150 HAS SOPS 1879150 HAS SOUS 1492425 HAS SOUPS 1492425 WITH SCORE 1494304.15
AT ITER 2508 NEW BEST:: SOT 12508993 SOS 1879123 HAS SOPS 1879123 HAS SOUS 1492398 HAS SOUPS 1492398 WITH SCORE 1494277.123
AT ITER 2512 NEW BEST:: SOT 12508989 SOS 1879118 HAS SOPS 1879118 HAS SOUS 1492393 HAS SOUPS 1492393 WITH SCORE 1494272.118
AT ITER 2518 NEW BEST:: SOT 12508989 SOS 1879238 HAS SOPS 1879238 HAS SOUS 1492390 HAS SOUPS 1492390 WITH SCORE 1494269.238
AT ITER 2526 NEW BEST:: SOT 12508989 SOS 1879172 HAS SOPS 1879172 HAS SOUS 1492386 HAS SOUPS 1492386 WITH SCORE 1494265.172
AT ITER 2557 NEW BEST:: SOT 12508742 SOS 1879171 HAS SOPS 1879171 HAS SOUS 1492204 HAS SOUPS 1492204 WITH SCORE 1494083.171
AT ITER 2599 NEW BEST:: SOT 12508394 SOS 1878650 HAS SOPS 1878650 HAS SOUS 1491874 HAS SOUPS 1491874 WITH SCORE 1493752.65
AT ITER 2615 NEW BEST:: SOT 12507908 SOS 1878315 HAS SOPS 1878315 HAS SOUS 1491539 HAS SOUPS 1491539 WITH SCORE 1493417.315
AT ITER 2630 NEW BEST:: SOT 12507915 SOS 1878328 HAS SOPS 1878328 HAS SOUS 1491310 HAS SOUPS 1491310 WITH SCORE 1493188.328
AT ITER 2631 NEW BEST:: SOT 12507752 SOS 1878134 HAS SOPS 1878134 HAS SOUS 1491116 HAS SOUPS 1491116 WITH SCORE 1492994.134
AT ITER 2639 NEW BEST:: SOT 12506938 SOS 1877873 HAS SOPS 1877873 HAS SOUS 1490670 HAS SOUPS 1490670 WITH SCORE 1492547.873
AT ITER 2642 NEW BEST:: SOT 12506938 SOS 1877640 HAS SOPS 1877640 HAS SOUS 1490669 HAS SOUPS 1490669 WITH SCORE 1492546.64
AT ITER 2644 NEW BEST:: SOT 12506938 SOS 1877510 HAS SOPS 1877510 HAS SOUS 1490668 HAS SOUPS 1490668 WITH SCORE 1492545.51
AT ITER 2645 NEW BEST:: SOT 12506780 SOS 1877350 HAS SOPS 1877350 HAS SOUS 1490509 HAS SOUPS 1490509 WITH SCORE 1492386.35
AT ITER 2659 NEW BEST:: SOT 12506780 SOS 1877305 HAS SOPS 1877305 HAS SOUS 1490464 HAS SOUPS 1490464 WITH SCORE 1492341.305
AT ITER 2666 NEW BEST:: SOT 12505452 SOS 1877476 HAS SOPS 1877476 HAS SOUS 1489136 HAS SOUPS 1489136 WITH SCORE 1491013.476
AT ITER 2674 NEW BEST:: SOT 12505408 SOS 1877366 HAS SOPS 1877366 HAS SOUS 1489053 HAS SOUPS 1489053 WITH SCORE 1490930.366
AT ITER 2679 NEW BEST:: SOT 12505408 SOS 1877366 HAS SOPS 1877366 HAS SOUS 1489051 HAS SOUPS 1489051 WITH SCORE 1490928.366
AT ITER 2702 NEW BEST:: SOT 12505261 SOS 1877072 HAS SOPS 1877072 HAS SOUS 1488904 HAS SOUPS 1488904 WITH SCORE 1490781.072
AT ITER 2716 NEW BEST:: SOT 12504930 SOS 1876741 HAS SOPS 1876741 HAS SOUS 1488569 HAS SOUPS 1488569 WITH SCORE 1490445.741
AT ITER 2722 NEW BEST:: SOT 12504930 SOS 1876688 HAS SOPS 1876688 HAS SOUS 1488516 HAS SOUPS 1488516 WITH SCORE 1490392.688
AT ITER 2726 NEW BEST:: SOT 12504612 SOS 1876052 HAS SOPS 1876052 HAS SOUS 1487880 HAS SOUPS 1487880 WITH SCORE 1489756.052
AT ITER 2735 NEW BEST:: SOT 12504499 SOS 1875446 HAS SOPS 1875446 HAS SOUS 1487661 HAS SOUPS 1487661 WITH SCORE 1489536.446
AT ITER 2744 NEW BEST:: SOT 12504330 SOS 1875117 HAS SOPS 1875117 HAS SOUS 1487332 HAS SOUPS 1487332 WITH SCORE 1489207.117
AT ITER 2749 NEW BEST:: SOT 12504328 SOS 1874983 HAS SOPS 1874983 HAS SOUS 1487198 HAS SOUPS 1487198 WITH SCORE 1489072.983
AT ITER 2801 NEW BEST:: SOT 12504105 SOS 1874934 HAS SOPS 1874934 HAS SOUS 1487149 HAS SOUPS 1487149 WITH SCORE 1489023.934
AT ITER 2803 NEW BEST:: SOT 12504076 SOS 1874790 HAS SOPS 1874790 HAS SOUS 1486993 HAS SOUPS 1486993 WITH SCORE 1488867.79
AT ITER 2827 NEW BEST:: SOT 12503994 SOS 1874567 HAS SOPS 1874567 HAS SOUS 1486770 HAS SOUPS 1486770 WITH SCORE 1488644.567
AT ITER 2831 NEW BEST:: SOT 12503879 SOS 1874167 HAS SOPS 1874167 HAS SOUS 1486370 HAS SOUPS 1486370 WITH SCORE 1488244.167
AT ITER 2909 NEW BEST:: SOT 12501983 SOS 1871955 HAS SOPS 1871955 HAS SOUS 1486370 HAS SOUPS 1486370 WITH SCORE 1488241.955
AT ITER 2938 NEW BEST:: SOT 12501744 SOS 1871846 HAS SOPS 1871846 HAS SOUS 1486261 HAS SOUPS 1486261 WITH SCORE 1488132.846
AT ITER 2993 NEW BEST:: SOT 12500139 SOS 1874654 HAS SOPS 1874654 HAS SOUS 1485316 HAS SOUPS 1485316 WITH SCORE 1487190.654
AT ITER 3033 NEW BEST:: SOT 12499855 SOS 1873854 HAS SOPS 1873854 HAS SOUS 1484799 HAS SOUPS 1484799 WITH SCORE 1486672.854
AT ITER 3078 NEW BEST:: SOT 12499477 SOS 1873509 HAS SOPS 1873509 HAS SOUS 1484454 HAS SOUPS 1484454 WITH SCORE 1486327.509
AT ITER 3087 NEW BEST:: SOT 12499477 SOS 1873449 HAS SOPS 1873449 HAS SOUS 1484454 HAS SOUPS 1484454 WITH SCORE 1486327.449
AT ITER 3091 NEW BEST:: SOT 12499477 SOS 1873402 HAS SOPS 1873402 HAS SOUS 1484407 HAS SOUPS 1484407 WITH SCORE 1486280.402
AT ITER 3100 NEW BEST:: SOT 12499477 SOS 1873296 HAS SOPS 1873296 HAS SOUS 1484301 HAS SOUPS 1484301 WITH SCORE 1486174.296
AT ITER 3104 NEW BEST:: SOT 12499477 SOS 1873496 HAS SOPS 1873496 HAS SOUS 1483221 HAS SOUPS 1483221 WITH SCORE 1485094.496
AT ITER 3127 NEW BEST:: SOT 12499360 SOS 1873261 HAS SOPS 1873261 HAS SOUS 1482986 HAS SOUPS 1482986 WITH SCORE 1484859.261
AT ITER 3163 NEW BEST:: SOT 12499141 SOS 1872956 HAS SOPS 1872956 HAS SOUS 1482899 HAS SOUPS 1482899 WITH SCORE 1484771.956
AT ITER 3192 NEW BEST:: SOT 12498889 SOS 1872730 HAS SOPS 1872730 HAS SOUS 1482855 HAS SOUPS 1482855 WITH SCORE 1484727.73
AT ITER 3201 NEW BEST:: SOT 12498849 SOS 1872690 HAS SOPS 1872690 HAS SOUS 1482815 HAS SOUPS 1482815 WITH SCORE 1484687.69
AT ITER 3211 NEW BEST:: SOT 12498849 SOS 1872690 HAS SOPS 1872690 HAS SOUS 1482814 HAS SOUPS 1482814 WITH SCORE 1484686.69
AT ITER 3234 NEW BEST:: SOT 12498824 SOS 1872658 HAS SOPS 1872658 HAS SOUS 1482782 HAS SOUPS 1482782 WITH SCORE 1484654.658
AT ITER 3288 NEW BEST:: SOT 12498668 SOS 1872479 HAS SOPS 1872479 HAS SOUS 1482626 HAS SOUPS 1482626 WITH SCORE 1484498.479
AT ITER 3292 NEW BEST:: SOT 12498622 SOS 1872372 HAS SOPS 1872372 HAS SOUS 1482504 HAS SOUPS 1482504 WITH SCORE 1484376.372
AT ITER 3302 NEW BEST:: SOT 12498622 SOS 1872206 HAS SOPS 1872206 HAS SOUS 1482503 HAS SOUPS 1482503 WITH SCORE 1484375.206
AT ITER 3306 NEW BEST:: SOT 12498618 SOS 1872202 HAS SOPS 1872202 HAS SOUS 1482499 HAS SOUPS 1482499 WITH SCORE 1484371.202
AT ITER 3315 NEW BEST:: SOT 12498498 SOS 1871962 HAS SOPS 1871962 HAS SOUS 1482259 HAS SOUPS 1482259 WITH SCORE 1484130.962
AT ITER 3325 NEW BEST:: SOT 12498367 SOS 1871813 HAS SOPS 1871813 HAS SOUS 1482110 HAS SOUPS 1482110 WITH SCORE 1483981.813
AT ITER 3336 NEW BEST:: SOT 12498367 SOS 1871905 HAS SOPS 1871905 HAS SOUS 1481998 HAS SOUPS 1481998 WITH SCORE 1483869.905
AT ITER 3351 NEW BEST:: SOT 12498367 SOS 1871794 HAS SOPS 1871794 HAS SOUS 1481888 HAS SOUPS 1481888 WITH SCORE 1483759.794
AT ITER 3353 NEW BEST:: SOT 12498367 SOS 1871671 HAS SOPS 1871671 HAS SOUS 1481862 HAS SOUPS 1481862 WITH SCORE 1483733.671
AT ITER 3425 NEW BEST:: SOT 12498205 SOS 1870976 HAS SOPS 1870976 HAS SOUS 1481306 HAS SOUPS 1481306 WITH SCORE 1483176.976
AT ITER 3468 NEW BEST:: SOT 12498097 SOS 1870418 HAS SOPS 1870418 HAS SOUS 1481090 HAS SOUPS 1481090 WITH SCORE 1482960.418
AT ITER 3472 NEW BEST:: SOT 12497984 SOS 1870304 HAS SOPS 1870304 HAS SOUS 1480976 HAS SOUPS 1480976 WITH SCORE 1482846.304
AT ITER 3486 NEW BEST:: SOT 12497984 SOS 1870048 HAS SOPS 1870048 HAS SOUS 1480976 HAS SOUPS 1480976 WITH SCORE 1482846.048
AT ITER 3517 NEW BEST:: SOT 12497980 SOS 1870040 HAS SOPS 1870040 HAS SOUS 1480968 HAS SOUPS 1480968 WITH SCORE 1482838.04
AT ITER 3529 NEW BEST:: SOT 12497741 SOS 1869317 HAS SOPS 1869317 HAS SOUS 1480489 HAS SOUPS 1480489 WITH SCORE 1482358.317
AT ITER 3546 NEW BEST:: SOT 12496093 SOS 1867625 HAS SOPS 1867625 HAS SOUS 1478635 HAS SOUPS 1478635 WITH SCORE 1480502.625
AT ITER 3568 NEW BEST:: SOT 12496091 SOS 1867623 HAS SOPS 1867623 HAS SOUS 1478633 HAS SOUPS 1478633 WITH SCORE 1480500.623
AT ITER 3571 NEW BEST:: SOT 12495335 SOS 1868098 HAS SOPS 1868098 HAS SOUS 1478470 HAS SOUPS 1478470 WITH SCORE 1480338.098
AT ITER 3581 NEW BEST:: SOT 12495335 SOS 1868098 HAS SOPS 1868098 HAS SOUS 1478419 HAS SOUPS 1478419 WITH SCORE 1480287.098
AT ITER 3599 NEW BEST:: SOT 12496158 SOS 1868889 HAS SOPS 1868889 HAS SOUS 1473972 HAS SOUPS 1473972 WITH SCORE 1475840.889
AT ITER 3604 NEW BEST:: SOT 12495947 SOS 1868688 HAS SOPS 1868688 HAS SOUS 1473540 HAS SOUPS 1473540 WITH SCORE 1475408.688
AT ITER 3622 NEW BEST:: SOT 12495528 SOS 1868549 HAS SOPS 1868549 HAS SOUS 1473191 HAS SOUPS 1473191 WITH SCORE 1475059.549
AT ITER 3647 NEW BEST:: SOT 12495449 SOS 1868470 HAS SOPS 1868470 HAS SOUS 1473144 HAS SOUPS 1473144 WITH SCORE 1475012.47
AT ITER 3673 NEW BEST:: SOT 12495000 SOS 1868020 HAS SOPS 1868020 HAS SOUS 1472694 HAS SOUPS 1472694 WITH SCORE 1474562.02
AT ITER 3683 NEW BEST:: SOT 12494850 SOS 1868020 HAS SOPS 1868020 HAS SOUS 1472594 HAS SOUPS 1472594 WITH SCORE 1474462.02
AT ITER 3699 NEW BEST:: SOT 12494717 SOS 1867621 HAS SOPS 1867621 HAS SOUS 1472328 HAS SOUPS 1472328 WITH SCORE 1474195.621
AT ITER 3706 NEW BEST:: SOT 12494367 SOS 1866969 HAS SOPS 1866969 HAS SOUS 1471810 HAS SOUPS 1471810 WITH SCORE 1473676.969
AT ITER 3734 NEW BEST:: SOT 12494367 SOS 1867509 HAS SOPS 1867509 HAS SOUS 1471720 HAS SOUPS 1471720 WITH SCORE 1473587.509
AT ITER 3747 NEW BEST:: SOT 12494055 SOS 1867382 HAS SOPS 1867382 HAS SOUS 1471593 HAS SOUPS 1471593 WITH SCORE 1473460.382
AT ITER 3751 NEW BEST:: SOT 12494037 SOS 1867346 HAS SOPS 1867346 HAS SOUS 1471553 HAS SOUPS 1471553 WITH SCORE 1473420.346
AT ITER 3773 NEW BEST:: SOT 12494037 SOS 1867340 HAS SOPS 1867340 HAS SOUS 1471274 HAS SOUPS 1471274 WITH SCORE 1473141.34
AT ITER 3789 NEW BEST:: SOT 12494085 SOS 1867271 HAS SOPS 1867271 HAS SOUS 1471205 HAS SOUPS 1471205 WITH SCORE 1473072.271
AT ITER 3799 NEW BEST:: SOT 12493899 SOS 1867072 HAS SOPS 1867072 HAS SOUS 1470985 HAS SOUPS 1470985 WITH SCORE 1472852.072
AT ITER 3813 NEW BEST:: SOT 12493824 SOS 1866737 HAS SOPS 1866737 HAS SOUS 1470650 HAS SOUPS 1470650 WITH SCORE 1472516.737
AT ITER 3814 NEW BEST:: SOT 12493816 SOS 1866765 HAS SOPS 1866765 HAS SOUS 1470634 HAS SOUPS 1470634 WITH SCORE 1472500.765
AT ITER 3845 NEW BEST:: SOT 12493816 SOS 1866704 HAS SOPS 1866704 HAS SOUS 1470512 HAS SOUPS 1470512 WITH SCORE 1472378.704
AT ITER 3849 NEW BEST:: SOT 12493743 SOS 1867022 HAS SOPS 1867022 HAS SOUS 1470502 HAS SOUPS 1470502 WITH SCORE 1472369.022
AT ITER 3853 NEW BEST:: SOT 12493737 SOS 1867016 HAS SOPS 1867016 HAS SOUS 1470496 HAS SOUPS 1470496 WITH SCORE 1472363.016
AT ITER 3861 NEW BEST:: SOT 12493425 SOS 1866392 HAS SOPS 1866392 HAS SOUS 1469872 HAS SOUPS 1469872 WITH SCORE 1471738.392
AT ITER 3863 NEW BEST:: SOT 12492792 SOS 1866056 HAS SOPS 1866056 HAS SOUS 1469387 HAS SOUPS 1469387 WITH SCORE 1471253.056
AT ITER 3935 NEW BEST:: SOT 12492473 SOS 1865416 HAS SOPS 1865416 HAS SOUS 1469065 HAS SOUPS 1469065 WITH SCORE 1470930.416
AT ITER 3941 NEW BEST:: SOT 12492473 SOS 1865429 HAS SOPS 1865429 HAS SOUS 1468652 HAS SOUPS 1468652 WITH SCORE 1470517.429
AT ITER 3942 NEW BEST:: SOT 12491768 SOS 1865208 HAS SOPS 1865208 HAS SOUS 1468251 HAS SOUPS 1468251 WITH SCORE 1470116.208
AT ITER 3948 NEW BEST:: SOT 12491474 SOS 1865165 HAS SOPS 1865165 HAS SOUS 1468174 HAS SOUPS 1468174 WITH SCORE 1470039.165
AT ITER 3975 NEW BEST:: SOT 12491465 SOS 1865155 HAS SOPS 1865155 HAS SOUS 1468173 HAS SOUPS 1468173 WITH SCORE 1470038.155
AT ITER 3976 NEW BEST:: SOT 12491254 SOS 1864578 HAS SOPS 1864578 HAS SOUS 1467596 HAS SOUPS 1467596 WITH SCORE 1469460.578
AT ITER 3983 NEW BEST:: SOT 12491112 SOS 1864294 HAS SOPS 1864294 HAS SOUS 1467453 HAS SOUPS 1467453 WITH SCORE 1469317.294
AT ITER 3994 NEW BEST:: SOT 12490836 SOS 1863938 HAS SOPS 1863938 HAS SOUS 1467338 HAS SOUPS 1467338 WITH SCORE 1469201.938
AT ITER 4016 NEW BEST:: SOT 12490556 SOS 1865303 HAS SOPS 1865303 HAS SOUS 1466974 HAS SOUPS 1466974 WITH SCORE 1468839.303
AT ITER 4035 NEW BEST:: SOT 12490062 SOS 1865002 HAS SOPS 1865002 HAS SOUS 1466630 HAS SOUPS 1466630 WITH SCORE 1468495.002
AT ITER 4057 NEW BEST:: SOT 12490062 SOS 1864875 HAS SOPS 1864875 HAS SOUS 1466629 HAS SOUPS 1466629 WITH SCORE 1468493.875
AT ITER 4087 NEW BEST:: SOT 12490062 SOS 1864847 HAS SOPS 1864847 HAS SOUS 1466601 HAS SOUPS 1466601 WITH SCORE 1468465.847
AT ITER 4090 NEW BEST:: SOT 12489985 SOS 1864693 HAS SOPS 1864693 HAS SOUS 1466447 HAS SOUPS 1466447 WITH SCORE 1468311.693
AT ITER 4093 NEW BEST:: SOT 12489840 SOS 1864403 HAS SOPS 1864403 HAS SOUS 1466302 HAS SOUPS 1466302 WITH SCORE 1468166.403
AT ITER 4100 NEW BEST:: SOT 12489766 SOS 1865515 HAS SOPS 1865515 HAS SOUS 1466228 HAS SOUPS 1466228 WITH SCORE 1468093.515
AT ITER 4118 NEW BEST:: SOT 12489572 SOS 1865127 HAS SOPS 1865127 HAS SOUS 1465763 HAS SOUPS 1465763 WITH SCORE 1467628.127
AT ITER 4209 NEW BEST:: SOT 12489572 SOS 1865050 HAS SOPS 1865050 HAS SOUS 1465763 HAS SOUPS 1465763 WITH SCORE 1467628.05
AT ITER 4213 NEW BEST:: SOT 12489543 SOS 1864992 HAS SOPS 1864992 HAS SOUS 1465705 HAS SOUPS 1465705 WITH SCORE 1467569.992
AT ITER 4243 NEW BEST:: SOT 12489543 SOS 1864991 HAS SOPS 1864991 HAS SOUS 1465704 HAS SOUPS 1465704 WITH SCORE 1467568.991
AT ITER 4248 NEW BEST:: SOT 12489543 SOS 1864757 HAS SOPS 1864757 HAS SOUS 1465704 HAS SOUPS 1465704 WITH SCORE 1467568.757
AT ITER 4265 NEW BEST:: SOT 12489543 SOS 1864745 HAS SOPS 1864745 HAS SOUS 1465692 HAS SOUPS 1465692 WITH SCORE 1467556.745
AT ITER 4279 NEW BEST:: SOT 12489543 SOS 1864734 HAS SOPS 1864734 HAS SOUS 1465681 HAS SOUPS 1465681 WITH SCORE 1467545.734
AT ITER 4280 NEW BEST:: SOT 12489445 SOS 1864538 HAS SOPS 1864538 HAS SOUS 1465485 HAS SOUPS 1465485 WITH SCORE 1467349.538
AT ITER 4289 NEW BEST:: SOT 12489445 SOS 1864538 HAS SOPS 1864538 HAS SOUS 1465484 HAS SOUPS 1465484 WITH SCORE 1467348.538
AT ITER 4296 NEW BEST:: SOT 12489593 SOS 1864691 HAS SOPS 1864691 HAS SOUS 1465444 HAS SOUPS 1465444 WITH SCORE 1467308.691
AT ITER 4301 NEW BEST:: SOT 12489425 SOS 1864174 HAS SOPS 1864174 HAS SOUS 1465312 HAS SOUPS 1465312 WITH SCORE 1467176.174
AT ITER 4316 NEW BEST:: SOT 12489230 SOS 1863589 HAS SOPS 1863589 HAS SOUS 1464922 HAS SOUPS 1464922 WITH SCORE 1466785.589
AT ITER 4317 NEW BEST:: SOT 12491416 SOS 1866266 HAS SOPS 1866266 HAS SOUS 1464538 HAS SOUPS 1464538 WITH SCORE 1466404.266
AT ITER 4328 NEW BEST:: SOT 12490990 SOS 1865691 HAS SOPS 1865691 HAS SOUS 1463992 HAS SOUPS 1463992 WITH SCORE 1465857.691
AT ITER 4333 NEW BEST:: SOT 12490989 SOS 1865777 HAS SOPS 1865777 HAS SOUS 1463304 HAS SOUPS 1463304 WITH SCORE 1465169.777
AT ITER 4360 NEW BEST:: SOT 12490905 SOS 1865564 HAS SOPS 1865564 HAS SOUS 1463241 HAS SOUPS 1463241 WITH SCORE 1465106.564
AT ITER 4419 NEW BEST:: SOT 12490905 SOS 1865557 HAS SOPS 1865557 HAS SOUS 1463234 HAS SOUPS 1463234 WITH SCORE 1465099.557
AT ITER 4421 NEW BEST:: SOT 12490865 SOS 1865165 HAS SOPS 1865165 HAS SOUS 1462803 HAS SOUPS 1462803 WITH SCORE 1464668.165
AT ITER 4442 NEW BEST:: SOT 12490640 SOS 1864825 HAS SOPS 1864825 HAS SOUS 1462543 HAS SOUPS 1462543 WITH SCORE 1464407.825
AT ITER 4471 NEW BEST:: SOT 12490640 SOS 1864821 HAS SOPS 1864821 HAS SOUS 1462542 HAS SOUPS 1462542 WITH SCORE 1464406.821
AT ITER 4484 NEW BEST:: SOT 12490483 SOS 1864506 HAS SOPS 1864506 HAS SOUS 1462384 HAS SOUPS 1462384 WITH SCORE 1464248.506
AT ITER 4485 NEW BEST:: SOT 12490390 SOS 1864320 HAS SOPS 1864320 HAS SOUS 1462198 HAS SOUPS 1462198 WITH SCORE 1464062.32
AT ITER 4488 NEW BEST:: SOT 12490366 SOS 1864272 HAS SOPS 1864272 HAS SOUS 1462148 HAS SOUPS 1462148 WITH SCORE 1464012.272
AT ITER 4492 NEW BEST:: SOT 12490009 SOS 1863756 HAS SOPS 1863756 HAS SOUS 1461634 HAS SOUPS 1461634 WITH SCORE 1463497.756
AT ITER 4564 NEW BEST:: SOT 12489838 SOS 1863585 HAS SOPS 1863585 HAS SOUS 1461463 HAS SOUPS 1461463 WITH SCORE 1463326.585
AT ITER 4573 NEW BEST:: SOT 12489645 SOS 1863125 HAS SOPS 1863125 HAS SOUS 1461077 HAS SOUPS 1461077 WITH SCORE 1462940.125
AT ITER 4601 NEW BEST:: SOT 12489583 SOS 1862409 HAS SOPS 1862409 HAS SOUS 1460956 HAS SOUPS 1460956 WITH SCORE 1462818.409
AT ITER 4607 NEW BEST:: SOT 12487672 SOS 1860498 HAS SOPS 1860498 HAS SOUS 1460956 HAS SOUPS 1460956 WITH SCORE 1462816.498
AT ITER 4655 NEW BEST:: SOT 12486546 SOS 1863052 HAS SOPS 1863052 HAS SOUS 1460249 HAS SOUPS 1460249 WITH SCORE 1462112.052
AT ITER 4666 NEW BEST:: SOT 12486545 SOS 1863099 HAS SOPS 1863099 HAS SOUS 1459437 HAS SOUPS 1459437 WITH SCORE 1461300.099
AT ITER 4697 NEW BEST:: SOT 12486545 SOS 1863023 HAS SOPS 1863023 HAS SOUS 1459437 HAS SOUPS 1459437 WITH SCORE 1461300.023
AT ITER 4708 NEW BEST:: SOT 12486504 SOS 1861597 HAS SOPS 1861597 HAS SOUS 1459355 HAS SOUPS 1459355 WITH SCORE 1461216.597
AT ITER 4714 NEW BEST:: SOT 12486435 SOS 1861693 HAS SOPS 1861693 HAS SOUS 1459228 HAS SOUPS 1459228 WITH SCORE 1461089.693
AT ITER 4716 NEW BEST:: SOT 12486408 SOS 1861639 HAS SOPS 1861639 HAS SOUS 1459174 HAS SOUPS 1459174 WITH SCORE 1461035.639
AT ITER 4729 NEW BEST:: SOT 12486174 SOS 1862763 HAS SOPS 1862763 HAS SOUS 1458870 HAS SOUPS 1458870 WITH SCORE 1460732.763
AT ITER 4761 NEW BEST:: SOT 12485968 SOS 1862340 HAS SOPS 1862340 HAS SOUS 1458447 HAS SOUPS 1458447 WITH SCORE 1460309.34
AT ITER 4793 NEW BEST:: SOT 12485789 SOS 1862329 HAS SOPS 1862329 HAS SOUS 1458436 HAS SOUPS 1458436 WITH SCORE 1460298.329
AT ITER 4818 NEW BEST:: SOT 12485789 SOS 1862146 HAS SOPS 1862146 HAS SOUS 1458245 HAS SOUPS 1458245 WITH SCORE 1460107.146
AT ITER 4825 NEW BEST:: SOT 12485478 SOS 1861225 HAS SOPS 1861225 HAS SOUS 1457592 HAS SOUPS 1457592 WITH SCORE 1459453.225
AT ITER 4832 NEW BEST:: SOT 12485284 SOS 1860784 HAS SOPS 1860784 HAS SOUS 1457151 HAS SOUPS 1457151 WITH SCORE 1459011.784
AT ITER 4868 NEW BEST:: SOT 12484969 SOS 1860154 HAS SOPS 1860154 HAS SOUS 1456835 HAS SOUPS 1456835 WITH SCORE 1458695.154
AT ITER 4886 NEW BEST:: SOT 12484969 SOS 1860168 HAS SOPS 1860168 HAS SOUS 1456834 HAS SOUPS 1456834 WITH SCORE 1458694.168
AT ITER 4909 NEW BEST:: SOT 12484826 SOS 1859805 HAS SOPS 1859805 HAS SOUS 1456471 HAS SOUPS 1456471 WITH SCORE 1458330.805
AT ITER 4924 NEW BEST:: SOT 12484619 SOS 1859590 HAS SOPS 1859590 HAS SOUS 1455901 HAS SOUPS 1455901 WITH SCORE 1457760.59
AT ITER 4958 NEW BEST:: SOT 12484619 SOS 1859493 HAS SOPS 1859493 HAS SOUS 1455901 HAS SOUPS 1455901 WITH SCORE 1457760.493
AT ITER 4964 NEW BEST:: SOT 12484190 SOS 1860425 HAS SOPS 1860425 HAS SOUS 1455691 HAS SOUPS 1455691 WITH SCORE 1457551.425
AT ITER 4975 NEW BEST:: SOT 12484466 SOS 1856256 HAS SOPS 1856256 HAS SOUS 1455632 HAS SOUPS 1455632 WITH SCORE 1457488.256
AT ITER 4991 NEW BEST:: SOT 12484338 SOS 1855954 HAS SOPS 1855954 HAS SOUS 1454370 HAS SOUPS 1454370 WITH SCORE 1456225.954
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-10b-CTLFireability-00 (EG( (! ( (! (! ((potential((tk(P913)>=1) & (tk(P1374)>=1)))))) & ( ( ((potential((tk(P2484)>=1) & (tk(P2950)>=1)))) & ((potential((tk(P27)>=1) & (tk(P189)>=1)))) ) | ( ((potential((tk(P1185)>=1)))) & ((potential((tk(P510)>=1) & (tk(P967)>=1)))) ) ) ))))
PROPERTY: ASLink-PT-10b-CTLFireability-01 (AG( (AF( ((potential((tk(P3326)>=1) & (tk(P3382)>=1))))))))
PROPERTY: ASLink-PT-10b-CTLFireability-02 ( ( ( ((potential((tk(P2946)>=1)))) & (AU( ((potential((tk(P2094)>=1) & (tk(P2550)>=1)))) , ((potential((tk(P1810)>=1)))) )) ) | (EF( (! (! ((potential((tk(P703)>=1)))))))) ) & (! ( (AG( ( ((potential((tk(P1456)>=1)))) & ((potential((tk(P2485)>=1) & (tk(P2948)>=1)))) ))) | ( (EF( ((potential((tk(P115)>=1) & (tk(P584)>=1)))))) & ( ( ((potential((tk(P1227)>=1) & (tk(P1607)>=1)))) & ((potential((tk(P1548)>=1)))) ) & (! ((potential((tk(P3636)>=1))))) ) ) )) )
PROPERTY: ASLink-PT-10b-CTLFireability-03 ( (EF( ( (! ( ((potential((tk(P2883)>=1) & (tk(P3339)>=1)))) & ((potential((tk(P3678)>=1) & (tk(P4045)>=1)))) )) | ((potential((tk(P3570)>=1) & (tk(P3640)>=1)))) ))) & ( (AX( (AG( ((potential((tk(P1844)>=1)))))))) | (AF( ( ( ((potential((tk(P31)>=1) & (tk(P183)>=1)))) & ((potential((tk(P913)>=1) & (tk(P1371)>=1)))) ) & ( ((potential((tk(P3290)>=1) & (tk(P3731)>=1)))) | ((potential((tk(P208)>=1)))) ) ))) ) )
PROPERTY: ASLink-PT-10b-CTLFireability-04 (EG( ( ((potential((tk(P921)>=1) & (tk(P1371)>=1)))) | (AF( ((potential((tk(P2480)>=1) & (tk(P2956)>=1)))))) )))
PROPERTY: ASLink-PT-10b-CTLFireability-05 (EF( (EU( ((potential((tk(P1878)>=1)))) , ((potential((tk(P1197)>=1)))) ))))
PROPERTY: ASLink-PT-10b-CTLFireability-06 ( ( ( ( (AX( ((potential((tk(P3312)>=1) & (tk(P3601)>=1)))))) | (EF( ((potential((tk(P1510)>=1)))))) ) & ( (AG( ((potential((tk(P2298)>=1)))))) & ( ( ((potential((tk(P1562)>=1)))) & ((potential((tk(P776)>=1)))) ) | (! ((potential((tk(P3110)>=1))))) ) ) ) | (EF( ((potential((tk(P1937)>=1)))))) ) | ( ( ((potential((tk(P3294)>=1) & (tk(P3743)>=1)))) & ( (! (! ((potential((tk(P3160)>=1)))))) & ((potential((tk(P3419)>=1)))) ) ) | (AU( ( ((potential((tk(P1124)>=1)))) | ((potential((tk(P2823)>=1)))) ) , ((potential((tk(P2862)>=1) & (tk(P3017)>=1)))) )) ) )
PROPERTY: ASLink-PT-10b-CTLFireability-07 (AU( (AX( ( ((potential((tk(P112)>=1)))) & ((potential((tk(P893)>=1) & (tk(P1356)>=1)))) ))) , (EF( ( ((potential((tk(P2485)>=1) & (tk(P2939)>=1)))) | ((potential((tk(P1577)>=1)))) ))) ))
PROPERTY: ASLink-PT-10b-CTLFireability-08 ( ( ( (AG( (! ((potential((tk(P3590)>=1) & (tk(P3586)>=1))))))) | ((potential((tk(P2891)>=1) & (tk(P3345)>=1)))) ) | ((potential((tk(P1647)>=1)))) ) | ( ( ( ( ( ((potential((tk(P3859)>=1) & (tk(P4033)>=1)))) | ((potential((tk(P1291)>=1) & (tk(P1753)>=1)))) ) | ((potential((tk(P878)>=1)))) ) & (AF( ((potential((tk(P409)>=1)))))) ) | (! (! ( ((potential((tk(P1710)>=1) & (tk(P2166)>=1)))) | ((potential((tk(P1273)>=1)))) ))) ) & ((potential((tk(P4135)>=1)))) ) )
PROPERTY: ASLink-PT-10b-CTLFireability-09 (AG( (! (EG( ( ((potential((tk(P2548)>=1)))) | ((potential((tk(P4169)>=1)))) ))))))
PROPERTY: ASLink-PT-10b-CTLFireability-10 (EF( ((potential((tk(P2891)>=1) & (tk(P3348)>=1))))))
PROPERTY: ASLink-PT-10b-CTLFireability-11 ( ( (! (EF( ( ((potential((tk(P763)>=1)))) | ((potential((tk(P98)>=1)))) )))) | ((potential((tk(P2778)>=1) & (tk(P2845)>=1)))) ) | (EG( (! ( ( ((potential((tk(P670)>=1)))) | ((potential((tk(P3792)>=1)))) ) | (! ((potential((tk(P335)>=1))))) )))) )
PROPERTY: ASLink-PT-10b-CTLFireability-12 (AF( (EG( ( ( ((potential((tk(P1323)>=1) & (tk(P1513)>=1)))) & ((potential((tk(P1923)>=1)))) ) & (! ((potential((tk(P531)>=1) & (tk(P728)>=1))))) )))))
PROPERTY: ASLink-PT-10b-CTLFireability-13 ( (! ( (AG( (! ((potential((tk(P373)>=1) & (tk(P480)>=1))))))) & ( (EF( ((potential((tk(P513)>=1) & (tk(P978)>=1)))))) | ( ( ((potential((tk(P2985)>=1)))) & ((potential((tk(P117)>=1)))) ) | ((potential((tk(P421)>=1)))) ) ) )) & (! ( (! ( (! ((potential((tk(P114)>=1) & (tk(P580)>=1))))) | (! ((potential((tk(P622)>=1))))) )) & (AG( ((potential((tk(P4273)>=1)))))) )) )
PROPERTY: ASLink-PT-10b-CTLFireability-14 (AG( (! ( ((potential((tk(P3121)>=1)))) & ((potential((tk(P510)>=1) & (tk(P976)>=1)))) ))))
PROPERTY: ASLink-PT-10b-CTLFireability-15 (AF( (EX( (AX( ((potential((tk(P698)>=1) & (tk(P674)>=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="ASLink-PT-10b"
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 ASLink-PT-10b, 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 r003-smll-158897508200164"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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