fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508200163
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-10b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.500 3600000.00 3600000.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508200163.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508200163
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME ASLink-PT-10b-CTLCardinality-01
FORMULA_NAME ASLink-PT-10b-CTLCardinality-02
FORMULA_NAME ASLink-PT-10b-CTLCardinality-03
FORMULA_NAME ASLink-PT-10b-CTLCardinality-04
FORMULA_NAME ASLink-PT-10b-CTLCardinality-05
FORMULA_NAME ASLink-PT-10b-CTLCardinality-06
FORMULA_NAME ASLink-PT-10b-CTLCardinality-07
FORMULA_NAME ASLink-PT-10b-CTLCardinality-08
FORMULA_NAME ASLink-PT-10b-CTLCardinality-09
FORMULA_NAME ASLink-PT-10b-CTLCardinality-10
FORMULA_NAME ASLink-PT-10b-CTLCardinality-11
FORMULA_NAME ASLink-PT-10b-CTLCardinality-12
FORMULA_NAME ASLink-PT-10b-CTLCardinality-13
FORMULA_NAME ASLink-PT-10b-CTLCardinality-14
FORMULA_NAME ASLink-PT-10b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589085075728

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 10b
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: 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 12 NEW BEST:: SOT 12533792 SOS 1885401 HAS SOPS 1885401 HAS SOUS 1529881 HAS SOUPS 1529881 WITH SCORE 1531766.401
AT ITER 31 NEW BEST:: SOT 12533628 SOS 1885007 HAS SOPS 1885007 HAS SOUS 1529487 HAS SOUPS 1529487 WITH SCORE 1531372.007
AT ITER 61 NEW BEST:: SOT 12533502 SOS 1884879 HAS SOPS 1884879 HAS SOUS 1529402 HAS SOUPS 1529402 WITH SCORE 1531286.879
AT ITER 68 NEW BEST:: SOT 12533308 SOS 1884685 HAS SOPS 1884685 HAS SOUS 1529305 HAS SOUPS 1529305 WITH SCORE 1531189.685
AT ITER 119 NEW BEST:: SOT 12531514 SOS 1887867 HAS SOPS 1887867 HAS SOUS 1528479 HAS SOUPS 1528479 WITH SCORE 1530366.867
AT ITER 136 NEW BEST:: SOT 12528516 SOS 1885083 HAS SOPS 1885083 HAS SOUS 1525695 HAS SOUPS 1525695 WITH SCORE 1527580.083
AT ITER 142 NEW BEST:: SOT 12528516 SOS 1884850 HAS SOPS 1884850 HAS SOUS 1525693 HAS SOUPS 1525693 WITH SCORE 1527577.85
AT ITER 199 NEW BEST:: SOT 12528516 SOS 1884693 HAS SOPS 1884693 HAS SOUS 1525690 HAS SOUPS 1525690 WITH SCORE 1527574.693
AT ITER 226 NEW BEST:: SOT 12528012 SOS 1884357 HAS SOPS 1884357 HAS SOUS 1525354 HAS SOUPS 1525354 WITH SCORE 1527238.357
AT ITER 240 NEW BEST:: SOT 12527982 SOS 1884273 HAS SOPS 1884273 HAS SOUS 1525270 HAS SOUPS 1525270 WITH SCORE 1527154.273
AT ITER 267 NEW BEST:: SOT 12527699 SOS 1883826 HAS SOPS 1883826 HAS SOUS 1525102 HAS SOUPS 1525102 WITH SCORE 1526985.826
AT ITER 314 NEW BEST:: SOT 12527668 SOS 1883764 HAS SOPS 1883764 HAS SOUS 1525070 HAS SOUPS 1525070 WITH SCORE 1526953.764
AT ITER 330 NEW BEST:: SOT 12527401 SOS 1883497 HAS SOPS 1883497 HAS SOUS 1524791 HAS SOUPS 1524791 WITH SCORE 1526674.497
AT ITER 351 NEW BEST:: SOT 12526759 SOS 1883069 HAS SOPS 1883069 HAS SOUS 1524363 HAS SOUPS 1524363 WITH SCORE 1526246.069
AT ITER 368 NEW BEST:: SOT 12526100 SOS 1883632 HAS SOPS 1883632 HAS SOUS 1524106 HAS SOUPS 1524106 WITH SCORE 1525989.632
AT ITER 436 NEW BEST:: SOT 12526049 SOS 1883581 HAS SOPS 1883581 HAS SOUS 1524055 HAS SOUPS 1524055 WITH SCORE 1525938.581
AT ITER 470 NEW BEST:: SOT 12526028 SOS 1883560 HAS SOPS 1883560 HAS SOUS 1524040 HAS SOUPS 1524040 WITH SCORE 1525923.56
AT ITER 494 NEW BEST:: SOT 12526028 SOS 1883416 HAS SOPS 1883416 HAS SOUS 1524040 HAS SOUPS 1524040 WITH SCORE 1525923.416
AT ITER 511 NEW BEST:: SOT 12525879 SOS 1884161 HAS SOPS 1884161 HAS SOUS 1523891 HAS SOUPS 1523891 WITH SCORE 1525775.161
AT ITER 519 NEW BEST:: SOT 12525468 SOS 1883484 HAS SOPS 1883484 HAS SOUS 1523476 HAS SOUPS 1523476 WITH SCORE 1525359.484
AT ITER 551 NEW BEST:: SOT 12525438 SOS 1883364 HAS SOPS 1883364 HAS SOUS 1523446 HAS SOUPS 1523446 WITH SCORE 1525329.364
AT ITER 556 NEW BEST:: SOT 12525409 SOS 1883071 HAS SOPS 1883071 HAS SOUS 1523330 HAS SOUPS 1523330 WITH SCORE 1525213.071
AT ITER 563 NEW BEST:: SOT 12525357 SOS 1882977 HAS SOPS 1882977 HAS SOUS 1523194 HAS SOUPS 1523194 WITH SCORE 1525076.977
AT ITER 579 NEW BEST:: SOT 12524749 SOS 1882827 HAS SOPS 1882827 HAS SOUS 1522687 HAS SOUPS 1522687 WITH SCORE 1524569.827
AT ITER 583 NEW BEST:: SOT 12524851 SOS 1882724 HAS SOPS 1882724 HAS SOUS 1522584 HAS SOUPS 1522584 WITH SCORE 1524466.724
AT ITER 600 NEW BEST:: SOT 12522814 SOS 1884543 HAS SOPS 1884543 HAS SOUS 1521358 HAS SOUPS 1521358 WITH SCORE 1523242.543
AT ITER 605 NEW BEST:: SOT 12522673 SOS 1884352 HAS SOPS 1884352 HAS SOUS 1521214 HAS SOUPS 1521214 WITH SCORE 1523098.352
AT ITER 609 NEW BEST:: SOT 12522584 SOS 1884174 HAS SOPS 1884174 HAS SOUS 1521101 HAS SOUPS 1521101 WITH SCORE 1522985.174
AT ITER 623 NEW BEST:: SOT 12522062 SOS 1883444 HAS SOPS 1883444 HAS SOUS 1520771 HAS SOUPS 1520771 WITH SCORE 1522654.444
AT ITER 655 NEW BEST:: SOT 12521964 SOS 1883346 HAS SOPS 1883346 HAS SOUS 1520671 HAS SOUPS 1520671 WITH SCORE 1522554.346
AT ITER 678 NEW BEST:: SOT 12521815 SOS 1882899 HAS SOPS 1882899 HAS SOUS 1520370 HAS SOUPS 1520370 WITH SCORE 1522252.899
AT ITER 690 NEW BEST:: SOT 12521596 SOS 1882242 HAS SOPS 1882242 HAS SOUS 1519925 HAS SOUPS 1519925 WITH SCORE 1521807.242
AT ITER 717 NEW BEST:: SOT 12521513 SOS 1882076 HAS SOPS 1882076 HAS SOUS 1519759 HAS SOUPS 1519759 WITH SCORE 1521641.076
AT ITER 737 NEW BEST:: SOT 12521280 SOS 1881610 HAS SOPS 1881610 HAS SOUS 1519293 HAS SOUPS 1519293 WITH SCORE 1521174.61
AT ITER 739 NEW BEST:: SOT 12521252 SOS 1881553 HAS SOPS 1881553 HAS SOUS 1519236 HAS SOUPS 1519236 WITH SCORE 1521117.553
AT ITER 741 NEW BEST:: SOT 12521252 SOS 1881397 HAS SOPS 1881397 HAS SOUS 1519158 HAS SOUPS 1519158 WITH SCORE 1521039.397
AT ITER 742 NEW BEST:: SOT 12521252 SOS 1881287 HAS SOPS 1881287 HAS SOUS 1519048 HAS SOUPS 1519048 WITH SCORE 1520929.287
AT ITER 783 NEW BEST:: SOT 12521069 SOS 1880738 HAS SOPS 1880738 HAS SOUS 1518499 HAS SOUPS 1518499 WITH SCORE 1520379.738
AT ITER 784 NEW BEST:: SOT 12520993 SOS 1880659 HAS SOPS 1880659 HAS SOUS 1518496 HAS SOUPS 1518496 WITH SCORE 1520376.659
AT ITER 808 NEW BEST:: SOT 12520964 SOS 1880601 HAS SOPS 1880601 HAS SOUS 1518375 HAS SOUPS 1518375 WITH SCORE 1520255.601
AT ITER 818 NEW BEST:: SOT 12520882 SOS 1880437 HAS SOPS 1880437 HAS SOUS 1518292 HAS SOUPS 1518292 WITH SCORE 1520172.437
AT ITER 820 NEW BEST:: SOT 12520882 SOS 1880435 HAS SOPS 1880435 HAS SOUS 1518291 HAS SOUPS 1518291 WITH SCORE 1520171.435
AT ITER 823 NEW BEST:: SOT 12520850 SOS 1880138 HAS SOPS 1880138 HAS SOUS 1518259 HAS SOUPS 1518259 WITH SCORE 1520139.138
AT ITER 834 NEW BEST:: SOT 12520661 SOS 1880156 HAS SOPS 1880156 HAS SOUS 1518065 HAS SOUPS 1518065 WITH SCORE 1519945.156
AT ITER 838 NEW BEST:: SOT 12520565 SOS 1879964 HAS SOPS 1879964 HAS SOUS 1517873 HAS SOUPS 1517873 WITH SCORE 1519752.964
AT ITER 843 NEW BEST:: SOT 12520565 SOS 1879933 HAS SOPS 1879933 HAS SOUS 1517842 HAS SOUPS 1517842 WITH SCORE 1519721.933
AT ITER 891 NEW BEST:: SOT 12520249 SOS 1879927 HAS SOPS 1879927 HAS SOUS 1517520 HAS SOUPS 1517520 WITH SCORE 1519399.927
AT ITER 907 NEW BEST:: SOT 12520249 SOS 1879800 HAS SOPS 1879800 HAS SOUS 1517393 HAS SOUPS 1517393 WITH SCORE 1519272.8
AT ITER 914 NEW BEST:: SOT 12518750 SOS 1879596 HAS SOPS 1879596 HAS SOUS 1516134 HAS SOUPS 1516134 WITH SCORE 1518013.596
AT ITER 924 NEW BEST:: SOT 12518749 SOS 1879594 HAS SOPS 1879594 HAS SOUS 1516132 HAS SOUPS 1516132 WITH SCORE 1518011.594
AT ITER 945 NEW BEST:: SOT 12518718 SOS 1879480 HAS SOPS 1879480 HAS SOUS 1516096 HAS SOUPS 1516096 WITH SCORE 1517975.48
AT ITER 959 NEW BEST:: SOT 12518687 SOS 1879102 HAS SOPS 1879102 HAS SOUS 1515909 HAS SOUPS 1515909 WITH SCORE 1517788.102
AT ITER 978 NEW BEST:: SOT 12518291 SOS 1878553 HAS SOPS 1878553 HAS SOUS 1515360 HAS SOUPS 1515360 WITH SCORE 1517238.553
AT ITER 992 NEW BEST:: SOT 12518291 SOS 1878153 HAS SOPS 1878153 HAS SOUS 1515360 HAS SOUPS 1515360 WITH SCORE 1517238.153
AT ITER 996 NEW BEST:: SOT 12518163 SOS 1877641 HAS SOPS 1877641 HAS SOUS 1515104 HAS SOUPS 1515104 WITH SCORE 1516981.641
AT ITER 997 NEW BEST:: SOT 12518062 SOS 1877464 HAS SOPS 1877464 HAS SOUS 1514966 HAS SOUPS 1514966 WITH SCORE 1516843.464
AT ITER 1041 NEW BEST:: SOT 12517759 SOS 1877070 HAS SOPS 1877070 HAS SOUS 1514851 HAS SOUPS 1514851 WITH SCORE 1516728.07
AT ITER 1065 NEW BEST:: SOT 12517661 SOS 1876972 HAS SOPS 1876972 HAS SOUS 1514753 HAS SOUPS 1514753 WITH SCORE 1516629.972
AT ITER 1070 NEW BEST:: SOT 12517492 SOS 1876815 HAS SOPS 1876815 HAS SOUS 1514596 HAS SOUPS 1514596 WITH SCORE 1516472.815
AT ITER 1080 NEW BEST:: SOT 12517299 SOS 1876429 HAS SOPS 1876429 HAS SOUS 1514125 HAS SOUPS 1514125 WITH SCORE 1516001.429
AT ITER 1103 NEW BEST:: SOT 12517270 SOS 1876085 HAS SOPS 1876085 HAS SOUS 1513944 HAS SOUPS 1513944 WITH SCORE 1515820.085
AT ITER 1127 NEW BEST:: SOT 12515681 SOS 1875532 HAS SOPS 1875532 HAS SOUS 1512862 HAS SOUPS 1512862 WITH SCORE 1514737.532
AT ITER 1128 NEW BEST:: SOT 12515613 SOS 1875396 HAS SOPS 1875396 HAS SOUS 1512792 HAS SOUPS 1512792 WITH SCORE 1514667.396
AT ITER 1168 NEW BEST:: SOT 12515491 SOS 1875256 HAS SOPS 1875256 HAS SOUS 1512669 HAS SOUPS 1512669 WITH SCORE 1514544.256
AT ITER 1190 NEW BEST:: SOT 12515490 SOS 1875250 HAS SOPS 1875250 HAS SOUS 1512663 HAS SOUPS 1512663 WITH SCORE 1514538.25
AT ITER 1268 NEW BEST:: SOT 12512922 SOS 1873400 HAS SOPS 1873400 HAS SOUS 1510225 HAS SOUPS 1510225 WITH SCORE 1512098.4
AT ITER 1290 NEW BEST:: SOT 12512739 SOS 1872927 HAS SOPS 1872927 HAS SOUS 1509840 HAS SOUPS 1509840 WITH SCORE 1511712.927
AT ITER 1311 NEW BEST:: SOT 12512444 SOS 1872632 HAS SOPS 1872632 HAS SOUS 1509650 HAS SOUPS 1509650 WITH SCORE 1511522.632
AT ITER 1323 NEW BEST:: SOT 12512443 SOS 1873988 HAS SOPS 1873988 HAS SOUS 1509620 HAS SOUPS 1509620 WITH SCORE 1511493.988
AT ITER 1324 NEW BEST:: SOT 12512443 SOS 1874347 HAS SOPS 1874347 HAS SOUS 1509609 HAS SOUPS 1509609 WITH SCORE 1511483.347
AT ITER 1361 NEW BEST:: SOT 12512443 SOS 1874145 HAS SOPS 1874145 HAS SOUS 1509406 HAS SOUPS 1509406 WITH SCORE 1511280.145
AT ITER 1364 NEW BEST:: SOT 12511757 SOS 1873735 HAS SOPS 1873735 HAS SOUS 1508996 HAS SOUPS 1508996 WITH SCORE 1510869.735
AT ITER 1413 NEW BEST:: SOT 12511757 SOS 1873734 HAS SOPS 1873734 HAS SOUS 1508995 HAS SOUPS 1508995 WITH SCORE 1510868.734
AT ITER 1417 NEW BEST:: SOT 12511757 SOS 1874031 HAS SOPS 1874031 HAS SOUS 1508963 HAS SOUPS 1508963 WITH SCORE 1510837.031
AT ITER 1445 NEW BEST:: SOT 12511412 SOS 1873339 HAS SOPS 1873339 HAS SOUS 1508271 HAS SOUPS 1508271 WITH SCORE 1510144.339
AT ITER 1452 NEW BEST:: SOT 12511412 SOS 1873328 HAS SOPS 1873328 HAS SOUS 1508260 HAS SOUPS 1508260 WITH SCORE 1510133.328
AT ITER 1497 NEW BEST:: SOT 12511412 SOS 1871821 HAS SOPS 1871821 HAS SOUS 1508260 HAS SOUPS 1508260 WITH SCORE 1510131.821
AT ITER 1502 NEW BEST:: SOT 12511412 SOS 1871303 HAS SOPS 1871303 HAS SOUS 1508260 HAS SOUPS 1508260 WITH SCORE 1510131.303
AT ITER 1508 NEW BEST:: SOT 12511412 SOS 1871098 HAS SOPS 1871098 HAS SOUS 1508259 HAS SOUPS 1508259 WITH SCORE 1510130.098
AT ITER 1509 NEW BEST:: SOT 12511408 SOS 1871094 HAS SOPS 1871094 HAS SOUS 1508255 HAS SOUPS 1508255 WITH SCORE 1510126.094
AT ITER 1524 NEW BEST:: SOT 12511330 SOS 1871016 HAS SOPS 1871016 HAS SOUS 1508255 HAS SOUPS 1508255 WITH SCORE 1510126.016
AT ITER 1539 NEW BEST:: SOT 12511145 SOS 1870554 HAS SOPS 1870554 HAS SOUS 1508068 HAS SOUPS 1508068 WITH SCORE 1509938.554
AT ITER 1559 NEW BEST:: SOT 12511072 SOS 1870408 HAS SOPS 1870408 HAS SOUS 1507922 HAS SOUPS 1507922 WITH SCORE 1509792.408
AT ITER 1564 NEW BEST:: SOT 12511070 SOS 1870398 HAS SOPS 1870398 HAS SOUS 1507911 HAS SOUPS 1507911 WITH SCORE 1509781.398
AT ITER 1598 NEW BEST:: SOT 12510718 SOS 1869694 HAS SOPS 1869694 HAS SOUS 1507207 HAS SOUPS 1507207 WITH SCORE 1509076.694
AT ITER 1612 NEW BEST:: SOT 12510718 SOS 1869692 HAS SOPS 1869692 HAS SOUS 1506895 HAS SOUPS 1506895 WITH SCORE 1508764.692
AT ITER 1635 NEW BEST:: SOT 12510556 SOS 1870428 HAS SOPS 1870428 HAS SOUS 1506513 HAS SOUPS 1506513 WITH SCORE 1508383.428
AT ITER 1639 NEW BEST:: SOT 12509357 SOS 1870670 HAS SOPS 1870670 HAS SOUS 1505754 HAS SOUPS 1505754 WITH SCORE 1507624.67
AT ITER 1661 NEW BEST:: SOT 12509207 SOS 1870220 HAS SOPS 1870220 HAS SOUS 1505304 HAS SOUPS 1505304 WITH SCORE 1507174.22
AT ITER 1674 NEW BEST:: SOT 12506744 SOS 1878030 HAS SOPS 1878030 HAS SOUS 1503314 HAS SOUPS 1503314 WITH SCORE 1505192.03
AT ITER 1690 NEW BEST:: SOT 12506744 SOS 1877866 HAS SOPS 1877866 HAS SOUS 1503150 HAS SOUPS 1503150 WITH SCORE 1505027.866
AT ITER 1772 NEW BEST:: SOT 12506487 SOS 1877788 HAS SOPS 1877788 HAS SOUS 1503071 HAS SOUPS 1503071 WITH SCORE 1504948.788
AT ITER 1880 NEW BEST:: SOT 12505840 SOS 1876835 HAS SOPS 1876835 HAS SOUS 1502102 HAS SOUPS 1502102 WITH SCORE 1503978.835
AT ITER 1933 NEW BEST:: SOT 12505839 SOS 1876866 HAS SOPS 1876866 HAS SOUS 1502100 HAS SOUPS 1502100 WITH SCORE 1503976.866
AT ITER 1960 NEW BEST:: SOT 12505413 SOS 1876425 HAS SOPS 1876425 HAS SOUS 1501659 HAS SOUPS 1501659 WITH SCORE 1503535.425
AT ITER 1985 NEW BEST:: SOT 12505411 SOS 1876407 HAS SOPS 1876407 HAS SOUS 1501655 HAS SOUPS 1501655 WITH SCORE 1503531.407
AT ITER 1998 NEW BEST:: SOT 12505411 SOS 1876650 HAS SOPS 1876650 HAS SOUS 1501654 HAS SOUPS 1501654 WITH SCORE 1503530.65
AT ITER 2012 NEW BEST:: SOT 12505398 SOS 1876624 HAS SOPS 1876624 HAS SOUS 1501627 HAS SOUPS 1501627 WITH SCORE 1503503.624
AT ITER 2034 NEW BEST:: SOT 12505398 SOS 1876621 HAS SOPS 1876621 HAS SOUS 1501624 HAS SOUPS 1501624 WITH SCORE 1503500.621
AT ITER 2066 NEW BEST:: SOT 12505398 SOS 1876621 HAS SOPS 1876621 HAS SOUS 1501393 HAS SOUPS 1501393 WITH SCORE 1503269.621
AT ITER 2098 NEW BEST:: SOT 12505396 SOS 1876617 HAS SOPS 1876617 HAS SOUS 1501389 HAS SOUPS 1501389 WITH SCORE 1503265.617
AT ITER 2122 NEW BEST:: SOT 12505199 SOS 1876222 HAS SOPS 1876222 HAS SOUS 1500765 HAS SOUPS 1500765 WITH SCORE 1502641.222
AT ITER 2151 NEW BEST:: SOT 12504916 SOS 1875922 HAS SOPS 1875922 HAS SOUS 1500492 HAS SOUPS 1500492 WITH SCORE 1502367.922
AT ITER 2158 NEW BEST:: SOT 12504547 SOS 1875184 HAS SOPS 1875184 HAS SOUS 1499754 HAS SOUPS 1499754 WITH SCORE 1501629.184
AT ITER 2197 NEW BEST:: SOT 12504136 SOS 1874773 HAS SOPS 1874773 HAS SOUS 1499343 HAS SOUPS 1499343 WITH SCORE 1501217.773
AT ITER 2216 NEW BEST:: SOT 12504115 SOS 1872491 HAS SOPS 1872491 HAS SOUS 1499281 HAS SOUPS 1499281 WITH SCORE 1501153.491
AT ITER 2232 NEW BEST:: SOT 12503895 SOS 1871884 HAS SOPS 1871884 HAS SOUS 1498837 HAS SOUPS 1498837 WITH SCORE 1500708.884
AT ITER 2241 NEW BEST:: SOT 12503881 SOS 1871870 HAS SOPS 1871870 HAS SOUS 1498823 HAS SOUPS 1498823 WITH SCORE 1500694.87
AT ITER 2250 NEW BEST:: SOT 12503805 SOS 1871642 HAS SOPS 1871642 HAS SOUS 1498671 HAS SOUPS 1498671 WITH SCORE 1500542.642
AT ITER 2275 NEW BEST:: SOT 12503805 SOS 1871434 HAS SOPS 1871434 HAS SOUS 1498668 HAS SOUPS 1498668 WITH SCORE 1500539.434
AT ITER 2294 NEW BEST:: SOT 12503661 SOS 1871142 HAS SOPS 1871142 HAS SOUS 1498376 HAS SOUPS 1498376 WITH SCORE 1500247.142
AT ITER 2302 NEW BEST:: SOT 12503351 SOS 1870520 HAS SOPS 1870520 HAS SOUS 1497754 HAS SOUPS 1497754 WITH SCORE 1499624.52
AT ITER 2348 NEW BEST:: SOT 12503230 SOS 1870278 HAS SOPS 1870278 HAS SOUS 1497512 HAS SOUPS 1497512 WITH SCORE 1499382.278
AT ITER 2350 NEW BEST:: SOT 12503121 SOS 1870169 HAS SOPS 1870169 HAS SOUS 1497403 HAS SOUPS 1497403 WITH SCORE 1499273.169
AT ITER 2386 NEW BEST:: SOT 12501929 SOS 1868828 HAS SOPS 1868828 HAS SOUS 1496062 HAS SOUPS 1496062 WITH SCORE 1497930.828
AT ITER 2387 NEW BEST:: SOT 12499892 SOS 1866676 HAS SOPS 1866676 HAS SOUS 1496057 HAS SOUPS 1496057 WITH SCORE 1497923.676
AT ITER 2388 NEW BEST:: SOT 12498674 SOS 1865458 HAS SOPS 1865458 HAS SOUS 1496057 HAS SOUPS 1496057 WITH SCORE 1497922.458
AT ITER 2392 NEW BEST:: SOT 12498653 SOS 1865437 HAS SOPS 1865437 HAS SOUS 1496056 HAS SOUPS 1496056 WITH SCORE 1497921.437
AT ITER 2433 NEW BEST:: SOT 12498565 SOS 1865101 HAS SOPS 1865101 HAS SOUS 1495880 HAS SOUPS 1495880 WITH SCORE 1497745.101
AT ITER 2461 NEW BEST:: SOT 12498505 SOS 1865021 HAS SOPS 1865021 HAS SOUS 1495819 HAS SOUPS 1495819 WITH SCORE 1497684.021
AT ITER 2467 NEW BEST:: SOT 12498346 SOS 1864782 HAS SOPS 1864782 HAS SOUS 1495660 HAS SOUPS 1495660 WITH SCORE 1497524.782
AT ITER 2484 NEW BEST:: SOT 12498173 SOS 1864217 HAS SOPS 1864217 HAS SOUS 1495159 HAS SOUPS 1495159 WITH SCORE 1497023.217
AT ITER 2487 NEW BEST:: SOT 12496332 SOS 1862113 HAS SOPS 1862113 HAS SOUS 1494896 HAS SOUPS 1494896 WITH SCORE 1496758.113
AT ITER 2490 NEW BEST:: SOT 12496029 SOS 1861809 HAS SOPS 1861809 HAS SOUS 1494592 HAS SOUPS 1494592 WITH SCORE 1496453.809
AT ITER 2509 NEW BEST:: SOT 12495672 SOS 1861647 HAS SOPS 1861647 HAS SOUS 1494430 HAS SOUPS 1494430 WITH SCORE 1496291.647
AT ITER 2516 NEW BEST:: SOT 12495624 SOS 1861551 HAS SOPS 1861551 HAS SOUS 1494334 HAS SOUPS 1494334 WITH SCORE 1496195.551
AT ITER 2540 NEW BEST:: SOT 12495382 SOS 1861309 HAS SOPS 1861309 HAS SOUS 1494092 HAS SOUPS 1494092 WITH SCORE 1495953.309
AT ITER 2544 NEW BEST:: SOT 12495299 SOS 1861460 HAS SOPS 1861460 HAS SOUS 1493893 HAS SOUPS 1493893 WITH SCORE 1495754.46
AT ITER 2554 NEW BEST:: SOT 12495141 SOS 1861458 HAS SOPS 1861458 HAS SOUS 1493891 HAS SOUPS 1493891 WITH SCORE 1495752.458
AT ITER 2562 NEW BEST:: SOT 12495141 SOS 1861731 HAS SOPS 1861731 HAS SOUS 1493890 HAS SOUPS 1493890 WITH SCORE 1495751.731
AT ITER 2583 NEW BEST:: SOT 12494973 SOS 1861563 HAS SOPS 1861563 HAS SOUS 1493722 HAS SOUPS 1493722 WITH SCORE 1495583.563
AT ITER 2589 NEW BEST:: SOT 12494973 SOS 1861407 HAS SOPS 1861407 HAS SOUS 1493722 HAS SOUPS 1493722 WITH SCORE 1495583.407
AT ITER 2643 NEW BEST:: SOT 12494695 SOS 1861115 HAS SOPS 1861115 HAS SOUS 1493423 HAS SOUPS 1493423 WITH SCORE 1495284.115
AT ITER 2666 NEW BEST:: SOT 12494680 SOS 1861076 HAS SOPS 1861076 HAS SOUS 1493408 HAS SOUPS 1493408 WITH SCORE 1495269.076
AT ITER 2669 NEW BEST:: SOT 12494147 SOS 1860691 HAS SOPS 1860691 HAS SOUS 1493022 HAS SOUPS 1493022 WITH SCORE 1494882.691
AT ITER 2673 NEW BEST:: SOT 12493809 SOS 1859962 HAS SOPS 1859962 HAS SOUS 1492777 HAS SOUPS 1492777 WITH SCORE 1494636.962
AT ITER 2699 NEW BEST:: SOT 12493500 SOS 1861181 HAS SOPS 1861181 HAS SOUS 1492148 HAS SOUPS 1492148 WITH SCORE 1494009.181
AT ITER 2772 NEW BEST:: SOT 12493500 SOS 1860770 HAS SOPS 1860770 HAS SOUS 1492148 HAS SOUPS 1492148 WITH SCORE 1494008.77
AT ITER 2795 NEW BEST:: SOT 12493500 SOS 1860449 HAS SOPS 1860449 HAS SOUS 1492146 HAS SOUPS 1492146 WITH SCORE 1494006.449
AT ITER 2829 NEW BEST:: SOT 12493446 SOS 1860719 HAS SOPS 1860719 HAS SOUS 1492092 HAS SOUPS 1492092 WITH SCORE 1493952.719
AT ITER 2877 NEW BEST:: SOT 12493359 SOS 1860545 HAS SOPS 1860545 HAS SOUS 1492004 HAS SOUPS 1492004 WITH SCORE 1493864.545
AT ITER 2892 NEW BEST:: SOT 12492988 SOS 1860020 HAS SOPS 1860020 HAS SOUS 1491466 HAS SOUPS 1491466 WITH SCORE 1493326.02
AT ITER 2902 NEW BEST:: SOT 12493016 SOS 1859674 HAS SOPS 1859674 HAS SOUS 1491389 HAS SOUPS 1491389 WITH SCORE 1493248.674
AT ITER 2910 NEW BEST:: SOT 12492873 SOS 1859530 HAS SOPS 1859530 HAS SOUS 1491245 HAS SOUPS 1491245 WITH SCORE 1493104.53
AT ITER 2958 NEW BEST:: SOT 12492787 SOS 1859358 HAS SOPS 1859358 HAS SOUS 1491073 HAS SOUPS 1491073 WITH SCORE 1492932.358
AT ITER 2970 NEW BEST:: SOT 12492736 SOS 1859439 HAS SOPS 1859439 HAS SOUS 1490970 HAS SOUPS 1490970 WITH SCORE 1492829.439
AT ITER 2977 NEW BEST:: SOT 12492736 SOS 1859114 HAS SOPS 1859114 HAS SOUS 1490522 HAS SOUPS 1490522 WITH SCORE 1492381.114
AT ITER 2988 NEW BEST:: SOT 12492564 SOS 1859378 HAS SOPS 1859378 HAS SOUS 1490178 HAS SOUPS 1490178 WITH SCORE 1492037.378
AT ITER 2998 NEW BEST:: SOT 12491400 SOS 1858304 HAS SOPS 1858304 HAS SOUS 1489058 HAS SOUPS 1489058 WITH SCORE 1490916.304
AT ITER 3003 NEW BEST:: SOT 12491243 SOS 1858232 HAS SOPS 1858232 HAS SOUS 1488677 HAS SOUPS 1488677 WITH SCORE 1490535.232
AT ITER 3078 NEW BEST:: SOT 12491242 SOS 1858230 HAS SOPS 1858230 HAS SOUS 1488675 HAS SOUPS 1488675 WITH SCORE 1490533.23
AT ITER 3092 NEW BEST:: SOT 12491242 SOS 1858058 HAS SOPS 1858058 HAS SOUS 1488503 HAS SOUPS 1488503 WITH SCORE 1490361.058
AT ITER 3133 NEW BEST:: SOT 12491208 SOS 1857990 HAS SOPS 1857990 HAS SOUS 1488435 HAS SOUPS 1488435 WITH SCORE 1490292.99
AT ITER 3152 NEW BEST:: SOT 12491214 SOS 1857989 HAS SOPS 1857989 HAS SOUS 1488434 HAS SOUPS 1488434 WITH SCORE 1490291.989
AT ITER 3173 NEW BEST:: SOT 12491214 SOS 1857942 HAS SOPS 1857942 HAS SOUS 1488434 HAS SOUPS 1488434 WITH SCORE 1490291.942
AT ITER 3174 NEW BEST:: SOT 12490159 SOS 1857062 HAS SOPS 1857062 HAS SOUS 1487306 HAS SOUPS 1487306 WITH SCORE 1489163.062
AT ITER 3184 NEW BEST:: SOT 12489949 SOS 1856434 HAS SOPS 1856434 HAS SOUS 1486886 HAS SOUPS 1486886 WITH SCORE 1488742.434
AT ITER 3211 NEW BEST:: SOT 12489949 SOS 1856432 HAS SOPS 1856432 HAS SOUS 1486884 HAS SOUPS 1486884 WITH SCORE 1488740.432
AT ITER 3214 NEW BEST:: SOT 12489845 SOS 1856323 HAS SOPS 1856323 HAS SOUS 1486775 HAS SOUPS 1486775 WITH SCORE 1488631.323
AT ITER 3217 NEW BEST:: SOT 12489726 SOS 1856085 HAS SOPS 1856085 HAS SOUS 1486387 HAS SOUPS 1486387 WITH SCORE 1488243.085
AT ITER 3229 NEW BEST:: SOT 12489621 SOS 1855959 HAS SOPS 1855959 HAS SOUS 1486234 HAS SOUPS 1486234 WITH SCORE 1488089.959
AT ITER 3233 NEW BEST:: SOT 12489459 SOS 1855430 HAS SOPS 1855430 HAS SOUS 1485909 HAS SOUPS 1485909 WITH SCORE 1487764.43
AT ITER 3272 NEW BEST:: SOT 12489316 SOS 1855145 HAS SOPS 1855145 HAS SOUS 1485764 HAS SOUPS 1485764 WITH SCORE 1487619.145
AT ITER 3371 NEW BEST:: SOT 12489316 SOS 1854899 HAS SOPS 1854899 HAS SOUS 1485764 HAS SOUPS 1485764 WITH SCORE 1487618.899
AT ITER 3373 NEW BEST:: SOT 12489034 SOS 1854188 HAS SOPS 1854188 HAS SOUS 1485199 HAS SOUPS 1485199 WITH SCORE 1487053.188
AT ITER 3402 NEW BEST:: SOT 12488996 SOS 1853858 HAS SOPS 1853858 HAS SOUS 1484521 HAS SOUPS 1484521 WITH SCORE 1486374.858
AT ITER 3435 NEW BEST:: SOT 12488695 SOS 1853528 HAS SOPS 1853528 HAS SOUS 1484191 HAS SOUPS 1484191 WITH SCORE 1486044.528
AT ITER 3453 NEW BEST:: SOT 12488618 SOS 1853374 HAS SOPS 1853374 HAS SOUS 1484037 HAS SOUPS 1484037 WITH SCORE 1485890.374
AT ITER 3467 NEW BEST:: SOT 12488432 SOS 1853118 HAS SOPS 1853118 HAS SOUS 1483851 HAS SOUPS 1483851 WITH SCORE 1485704.118
AT ITER 3476 NEW BEST:: SOT 12488432 SOS 1852906 HAS SOPS 1852906 HAS SOUS 1483851 HAS SOUPS 1483851 WITH SCORE 1485703.906
AT ITER 3493 NEW BEST:: SOT 12488432 SOS 1852686 HAS SOPS 1852686 HAS SOUS 1483631 HAS SOUPS 1483631 WITH SCORE 1485483.686
AT ITER 3495 NEW BEST:: SOT 12488334 SOS 1852436 HAS SOPS 1852436 HAS SOUS 1483471 HAS SOUPS 1483471 WITH SCORE 1485323.436
AT ITER 3531 NEW BEST:: SOT 12488333 SOS 1852254 HAS SOPS 1852254 HAS SOUS 1483469 HAS SOUPS 1483469 WITH SCORE 1485321.254
AT ITER 3617 NEW BEST:: SOT 12488137 SOS 1852058 HAS SOPS 1852058 HAS SOUS 1483273 HAS SOUPS 1483273 WITH SCORE 1485125.058
AT ITER 3629 NEW BEST:: SOT 12487751 SOS 1851427 HAS SOPS 1851427 HAS SOUS 1482886 HAS SOUPS 1482886 WITH SCORE 1484737.427
AT ITER 3634 NEW BEST:: SOT 12487579 SOS 1851550 HAS SOPS 1851550 HAS SOUS 1482748 HAS SOUPS 1482748 WITH SCORE 1484599.55
AT ITER 3654 NEW BEST:: SOT 12487398 SOS 1851143 HAS SOPS 1851143 HAS SOUS 1482341 HAS SOUPS 1482341 WITH SCORE 1484192.143
AT ITER 3670 NEW BEST:: SOT 12487316 SOS 1851023 HAS SOPS 1851023 HAS SOUS 1482217 HAS SOUPS 1482217 WITH SCORE 1484068.023
AT ITER 3685 NEW BEST:: SOT 12487316 SOS 1850915 HAS SOPS 1850915 HAS SOUS 1482161 HAS SOUPS 1482161 WITH SCORE 1484011.915
AT ITER 3689 NEW BEST:: SOT 12487315 SOS 1850806 HAS SOPS 1850806 HAS SOUS 1482158 HAS SOUPS 1482158 WITH SCORE 1484008.806
AT ITER 3695 NEW BEST:: SOT 12487301 SOS 1850778 HAS SOPS 1850778 HAS SOUS 1482143 HAS SOUPS 1482143 WITH SCORE 1483993.778
AT ITER 3717 NEW BEST:: SOT 12487256 SOS 1850691 HAS SOPS 1850691 HAS SOUS 1482100 HAS SOUPS 1482100 WITH SCORE 1483950.691
AT ITER 3723 NEW BEST:: SOT 12487256 SOS 1850691 HAS SOPS 1850691 HAS SOUS 1481683 HAS SOUPS 1481683 WITH SCORE 1483533.691
AT ITER 3779 NEW BEST:: SOT 12486972 SOS 1850424 HAS SOPS 1850424 HAS SOUS 1481409 HAS SOUPS 1481409 WITH SCORE 1483259.424
AT ITER 3840 NEW BEST:: SOT 12486617 SOS 1850069 HAS SOPS 1850069 HAS SOUS 1481054 HAS SOUPS 1481054 WITH SCORE 1482904.069
AT ITER 3946 NEW BEST:: SOT 12486624 SOS 1850311 HAS SOPS 1850311 HAS SOUS 1481014 HAS SOUPS 1481014 WITH SCORE 1482864.311
AT ITER 3962 NEW BEST:: SOT 12486572 SOS 1850207 HAS SOPS 1850207 HAS SOUS 1480910 HAS SOUPS 1480910 WITH SCORE 1482760.207
AT ITER 3966 NEW BEST:: SOT 12486441 SOS 1850085 HAS SOPS 1850085 HAS SOUS 1480772 HAS SOUPS 1480772 WITH SCORE 1482622.085
AT ITER 3970 NEW BEST:: SOT 12486441 SOS 1849976 HAS SOPS 1849976 HAS SOUS 1480771 HAS SOUPS 1480771 WITH SCORE 1482620.976
AT ITER 3980 NEW BEST:: SOT 12486292 SOS 1849386 HAS SOPS 1849386 HAS SOUS 1480466 HAS SOUPS 1480466 WITH SCORE 1482315.386
AT ITER 3988 NEW BEST:: SOT 12486292 SOS 1849384 HAS SOPS 1849384 HAS SOUS 1480465 HAS SOUPS 1480465 WITH SCORE 1482314.384
AT ITER 4007 NEW BEST:: SOT 12486146 SOS 1849238 HAS SOPS 1849238 HAS SOUS 1480319 HAS SOUPS 1480319 WITH SCORE 1482168.238
AT ITER 4022 NEW BEST:: SOT 12486066 SOS 1849158 HAS SOPS 1849158 HAS SOUS 1480239 HAS SOUPS 1480239 WITH SCORE 1482088.158
AT ITER 4026 NEW BEST:: SOT 12486066 SOS 1849051 HAS SOPS 1849051 HAS SOUS 1480132 HAS SOUPS 1480132 WITH SCORE 1481981.051
AT ITER 4074 NEW BEST:: SOT 12486066 SOS 1849045 HAS SOPS 1849045 HAS SOUS 1480126 HAS SOUPS 1480126 WITH SCORE 1481975.045
AT ITER 4087 NEW BEST:: SOT 12485965 SOS 1848843 HAS SOPS 1848843 HAS SOUS 1479924 HAS SOUPS 1479924 WITH SCORE 1481772.843
AT ITER 4132 NEW BEST:: SOT 12485965 SOS 1848837 HAS SOPS 1848837 HAS SOUS 1479918 HAS SOUPS 1479918 WITH SCORE 1481766.837
AT ITER 4138 NEW BEST:: SOT 12485869 SOS 1848741 HAS SOPS 1848741 HAS SOUS 1479822 HAS SOUPS 1479822 WITH SCORE 1481670.741
AT ITER 4155 NEW BEST:: SOT 12485777 SOS 1848557 HAS SOPS 1848557 HAS SOUS 1479638 HAS SOUPS 1479638 WITH SCORE 1481486.557
AT ITER 4156 NEW BEST:: SOT 12485704 SOS 1848338 HAS SOPS 1848338 HAS SOUS 1479489 HAS SOUPS 1479489 WITH SCORE 1481337.338
AT ITER 4228 NEW BEST:: SOT 12485665 SOS 1848256 HAS SOPS 1848256 HAS SOUS 1479407 HAS SOUPS 1479407 WITH SCORE 1481255.256
AT ITER 4251 NEW BEST:: SOT 12485554 SOS 1847929 HAS SOPS 1847929 HAS SOUS 1479061 HAS SOUPS 1479061 WITH SCORE 1480908.929
AT ITER 4257 NEW BEST:: SOT 12485408 SOS 1847637 HAS SOPS 1847637 HAS SOUS 1478769 HAS SOUPS 1478769 WITH SCORE 1480616.637
AT ITER 4280 NEW BEST:: SOT 12485240 SOS 1847469 HAS SOPS 1847469 HAS SOUS 1478601 HAS SOUPS 1478601 WITH SCORE 1480448.469
AT ITER 4315 NEW BEST:: SOT 12485240 SOS 1847442 HAS SOPS 1847442 HAS SOUS 1478592 HAS SOUPS 1478592 WITH SCORE 1480439.442
AT ITER 4351 NEW BEST:: SOT 12484532 SOS 1846968 HAS SOPS 1846968 HAS SOUS 1478118 HAS SOUPS 1478118 WITH SCORE 1479964.968
AT ITER 4359 NEW BEST:: SOT 12484369 SOS 1846804 HAS SOPS 1846804 HAS SOUS 1477954 HAS SOUPS 1477954 WITH SCORE 1479800.804
AT ITER 4368 NEW BEST:: SOT 12484153 SOS 1846576 HAS SOPS 1846576 HAS SOUS 1477726 HAS SOUPS 1477726 WITH SCORE 1479572.576
AT ITER 4390 NEW BEST:: SOT 12484042 SOS 1846382 HAS SOPS 1846382 HAS SOUS 1477445 HAS SOUPS 1477445 WITH SCORE 1479291.382
AT ITER 4413 NEW BEST:: SOT 12482371 SOS 1844604 HAS SOPS 1844604 HAS SOUS 1475667 HAS SOUPS 1475667 WITH SCORE 1477511.604
AT ITER 4424 NEW BEST:: SOT 12482201 SOS 1844434 HAS SOPS 1844434 HAS SOUS 1475497 HAS SOUPS 1475497 WITH SCORE 1477341.434
AT ITER 4458 NEW BEST:: SOT 12481857 SOS 1845122 HAS SOPS 1845122 HAS SOUS 1475153 HAS SOUPS 1475153 WITH SCORE 1476998.122
AT ITER 4466 NEW BEST:: SOT 12481780 SOS 1844968 HAS SOPS 1844968 HAS SOUS 1474999 HAS SOUPS 1474999 WITH SCORE 1476843.968
AT ITER 4496 NEW BEST:: SOT 12481780 SOS 1844967 HAS SOPS 1844967 HAS SOUS 1474998 HAS SOUPS 1474998 WITH SCORE 1476842.967
AT ITER 4503 NEW BEST:: SOT 12481658 SOS 1846297 HAS SOPS 1846297 HAS SOUS 1474900 HAS SOUPS 1474900 WITH SCORE 1476746.297
AT ITER 4546 NEW BEST:: SOT 12481647 SOS 1846286 HAS SOPS 1846286 HAS SOUS 1474889 HAS SOUPS 1474889 WITH SCORE 1476735.286
AT ITER 4583 NEW BEST:: SOT 12481504 SOS 1846000 HAS SOPS 1846000 HAS SOUS 1474603 HAS SOUPS 1474603 WITH SCORE 1476449.0
AT ITER 4585 NEW BEST:: SOT 12481503 SOS 1845811 HAS SOPS 1845811 HAS SOUS 1474601 HAS SOUPS 1474601 WITH SCORE 1476446.811
AT ITER 4615 NEW BEST:: SOT 12480786 SOS 1846488 HAS SOPS 1846488 HAS SOUS 1473989 HAS SOUPS 1473989 WITH SCORE 1475835.488
AT ITER 4621 NEW BEST:: SOT 12480786 SOS 1846485 HAS SOPS 1846485 HAS SOUS 1473986 HAS SOUPS 1473986 WITH SCORE 1475832.485
AT ITER 4641 NEW BEST:: SOT 12480598 SOS 1846240 HAS SOPS 1846240 HAS SOUS 1473928 HAS SOUPS 1473928 WITH SCORE 1475774.24
AT ITER 4675 NEW BEST:: SOT 12480554 SOS 1846193 HAS SOPS 1846193 HAS SOUS 1473881 HAS SOUPS 1473881 WITH SCORE 1475727.193
AT ITER 4684 NEW BEST:: SOT 12480155 SOS 1845794 HAS SOPS 1845794 HAS SOUS 1473881 HAS SOUPS 1473881 WITH SCORE 1475726.794
AT ITER 4686 NEW BEST:: SOT 12480155 SOS 1845775 HAS SOPS 1845775 HAS SOUS 1473862 HAS SOUPS 1473862 WITH SCORE 1475707.775
AT ITER 4693 NEW BEST:: SOT 12480120 SOS 1845792 HAS SOPS 1845792 HAS SOUS 1473827 HAS SOUPS 1473827 WITH SCORE 1475672.792
AT ITER 4696 NEW BEST:: SOT 12480120 SOS 1845661 HAS SOPS 1845661 HAS SOUS 1473812 HAS SOUPS 1473812 WITH SCORE 1475657.661
AT ITER 4699 NEW BEST:: SOT 12480025 SOS 1845610 HAS SOPS 1845610 HAS SOUS 1473761 HAS SOUPS 1473761 WITH SCORE 1475606.61
AT ITER 4732 NEW BEST:: SOT 12479996 SOS 1845438 HAS SOPS 1845438 HAS SOUS 1473732 HAS SOUPS 1473732 WITH SCORE 1475577.438
AT ITER 4773 NEW BEST:: SOT 12478111 SOS 1848174 HAS SOPS 1848174 HAS SOUS 1472449 HAS SOUPS 1472449 WITH SCORE 1474297.174
AT ITER 4802 NEW BEST:: SOT 12477983 SOS 1847919 HAS SOPS 1847919 HAS SOUS 1472355 HAS SOUPS 1472355 WITH SCORE 1474202.919
AT ITER 4836 NEW BEST:: SOT 12477942 SOS 1847837 HAS SOPS 1847837 HAS SOUS 1472313 HAS SOUPS 1472313 WITH SCORE 1474160.837
AT ITER 4871 NEW BEST:: SOT 12477317 SOS 1847869 HAS SOPS 1847869 HAS SOUS 1472176 HAS SOUPS 1472176 WITH SCORE 1474023.869
AT ITER 4872 NEW BEST:: SOT 12476936 SOS 1847615 HAS SOPS 1847615 HAS SOUS 1471922 HAS SOUPS 1471922 WITH SCORE 1473769.615
AT ITER 4915 NEW BEST:: SOT 12476422 SOS 1848398 HAS SOPS 1848398 HAS SOUS 1471745 HAS SOUPS 1471745 WITH SCORE 1473593.398
AT ITER 4951 NEW BEST:: SOT 12476008 SOS 1847984 HAS SOPS 1847984 HAS SOUS 1471331 HAS SOUPS 1471331 WITH SCORE 1473178.984
AT ITER 4962 NEW BEST:: SOT 12476008 SOS 1847730 HAS SOPS 1847730 HAS SOUS 1471330 HAS SOUPS 1471330 WITH SCORE 1473177.73
AT ITER 4981 NEW BEST:: SOT 12476008 SOS 1847741 HAS SOPS 1847741 HAS SOUS 1471312 HAS SOUPS 1471312 WITH SCORE 1473159.741
AT ITER 4987 NEW BEST:: SOT 12475983 SOS 1847716 HAS SOPS 1847716 HAS SOUS 1471287 HAS SOUPS 1471287 WITH SCORE 1473134.716
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-10b-CTLCardinality-00 (EF((EU( potential( ( 3 ) <= (tk(P2063)) ),potential( ( 3 ) <= (tk(P1339)) ) ))))
PROPERTY: ASLink-PT-10b-CTLCardinality-01 (EG( ( ( (! potential( (tk(P614)) <= (tk(P1990)) )) | ( potential( ( 1 ) <= (tk(P257)) ) & potential( ( 3 ) <= (tk(P2961)) ) ) ) | ( potential( (tk(P2620)) <= (tk(P995)) ) | ( potential( ( 2 ) <= (tk(P1960)) ) & potential( (tk(P1701)) <= (tk(P3032)) ) ) ) )))
PROPERTY: ASLink-PT-10b-CTLCardinality-02 ( ( (EX( (! potential( (tk(P1201)) <= (tk(P1422)) )))) | (EX( potential( ( 2 ) <= (tk(P3948)) ))) ) | (AF((AF(potential( ( 3 ) <= (tk(P813)) ))))) )
PROPERTY: ASLink-PT-10b-CTLCardinality-03 (AG( potential( (tk(P3351)) <= (tk(P2268)) )))
PROPERTY: ASLink-PT-10b-CTLCardinality-04 (AG( ( ( ( potential( (tk(P2470)) <= (tk(P54)) ) | potential( ( 2 ) <= (tk(P899)) ) ) | potential( (tk(P718)) <= (tk(P2969)) ) ) & (EF(potential( (tk(P748)) <= (tk(P13)) ))) )))
PROPERTY: ASLink-PT-10b-CTLCardinality-05 (EX( (AF(( potential( (tk(P1278)) <= (tk(P90)) ) & potential( ( 2 ) <= (tk(P3830)) ) )))))
PROPERTY: ASLink-PT-10b-CTLCardinality-06 (! (EG( (! (! potential( (tk(P1507)) <= (tk(P169)) ))))))
PROPERTY: ASLink-PT-10b-CTLCardinality-07 (EU( ( ( potential( (tk(P3009)) <= (tk(P2251)) ) | potential( (tk(P909)) <= (tk(P2870)) ) ) | potential( ( 3 ) <= (tk(P3801)) ) ),(! ( potential( (tk(P3029)) <= (tk(P1947)) ) | potential( ( 1 ) <= (tk(P427)) ) )) ))
PROPERTY: ASLink-PT-10b-CTLCardinality-08 (AX( (AG( (! potential( ( 1 ) <= (tk(P3540)) ))))))
PROPERTY: ASLink-PT-10b-CTLCardinality-09 (AU( ( potential( (tk(P4347)) <= (tk(P1409)) ) | (! potential( ( 2 ) <= (tk(P2305)) )) ),(EG( potential( (tk(P1700)) <= (tk(P4392)) ))) ))
PROPERTY: ASLink-PT-10b-CTLCardinality-10 (! (! (EG( ( potential( (tk(P1878)) <= (tk(P3859)) ) & potential( (tk(P1270)) <= (tk(P3901)) ) )))))
PROPERTY: ASLink-PT-10b-CTLCardinality-11 (EX( (AF(( potential( ( 1 ) <= (tk(P1733)) ) & potential( ( 3 ) <= (tk(P2114)) ) )))))
PROPERTY: ASLink-PT-10b-CTLCardinality-12 ( ( (! ( (! potential( ( 2 ) <= (tk(P4319)) )) | (! potential( (tk(P3419)) <= (tk(P2007)) )) )) & ( potential( ( 2 ) <= (tk(P3582)) ) & (AF(potential( (tk(P3956)) <= (tk(P284)) ))) ) ) | (EU( ( potential( (tk(P907)) <= (tk(P3955)) ) & potential( (tk(P1897)) <= (tk(P623)) ) ),( potential( ( 2 ) <= (tk(P712)) ) & potential( (tk(P1200)) <= (tk(P3137)) ) ) )) )
PROPERTY: ASLink-PT-10b-CTLCardinality-13 (AF(( potential( ( 1 ) <= (tk(P801)) ) | potential( ( 1 ) <= (tk(P1880)) ) )))
PROPERTY: ASLink-PT-10b-CTLCardinality-14 (EG( (EG( ( potential( (tk(P1092)) <= (tk(P3310)) ) | potential( ( 2 ) <= (tk(P2357)) ) )))))
PROPERTY: ASLink-PT-10b-CTLCardinality-15 (! (! (EF(potential( ( 2 ) <= (tk(P3149)) )))))

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="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 ASLink-PT-10b, 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 r003-smll-158897508200163"
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 [ "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 ;