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

About the Execution of smart for DLCflexbar-PT-5b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15766.000 3600000.00 3600070.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 '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542100396.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 DLCflexbar-PT-5b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100396
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.7M
-rw-r--r-- 1 mcc users 3.9K Mar 30 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 19:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 19:46 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.6K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 10:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 10:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.5M 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 DLCflexbar-PT-5b-CTLFireability-00
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-01
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-02
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-03
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-04
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-05
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-06
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-07
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-08
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-09
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-10
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-11
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-12
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-13
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-14
FORMULA_NAME DLCflexbar-PT-5b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589117207437

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5b
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: 17305 places, 26483 transitions, 73264 arcs.
AT ITER 0 NEW BEST:: SOT 301486809 SOS 67500431 HAS SOPS 67500431 HAS SOUS 41609817 HAS SOUPS 41609817 WITH SCORE 4.1677317431E7
AT ITER 38 NEW BEST:: SOT 301486808 SOS 67500429 HAS SOPS 67500429 HAS SOUS 41609815 HAS SOUPS 41609815 WITH SCORE 4.1677315429E7
AT ITER 49 NEW BEST:: SOT 301486808 SOS 67499009 HAS SOPS 67499009 HAS SOUS 41609105 HAS SOUPS 41609105 WITH SCORE 4.1676604009E7
AT ITER 73 NEW BEST:: SOT 301478764 SOS 67490965 HAS SOPS 67490965 HAS SOUS 41597039 HAS SOUPS 41597039 WITH SCORE 4.1664529965E7
AT ITER 75 NEW BEST:: SOT 301478764 SOS 67492675 HAS SOPS 67492675 HAS SOUS 41597037 HAS SOUPS 41597037 WITH SCORE 4.1664529675E7
AT ITER 151 NEW BEST:: SOT 301478467 SOS 67492968 HAS SOPS 67492968 HAS SOUS 41597036 HAS SOUPS 41597036 WITH SCORE 4.1664528968E7
AT ITER 212 NEW BEST:: SOT 301478896 SOS 67493826 HAS SOPS 67493826 HAS SOUS 41595362 HAS SOUPS 41595362 WITH SCORE 4.1662855826E7
AT ITER 250 NEW BEST:: SOT 301478895 SOS 67493824 HAS SOPS 67493824 HAS SOUS 41595360 HAS SOUPS 41595360 WITH SCORE 4.1662853824E7
AT ITER 253 NEW BEST:: SOT 301479634 SOS 67492345 HAS SOPS 67492345 HAS SOUS 41595359 HAS SOUPS 41595359 WITH SCORE 4.1662851345E7
AT ITER 267 NEW BEST:: SOT 301479634 SOS 67489024 HAS SOPS 67489024 HAS SOUS 41594374 HAS SOUPS 41594374 WITH SCORE 4.1661863024E7
AT ITER 291 NEW BEST:: SOT 301479152 SOS 67488061 HAS SOPS 67488061 HAS SOUS 41593411 HAS SOUPS 41593411 WITH SCORE 4.1660899061E7
AT ITER 315 NEW BEST:: SOT 301479152 SOS 67484287 HAS SOPS 67484287 HAS SOUS 41592153 HAS SOUPS 41592153 WITH SCORE 4.1659637287E7
AT ITER 323 NEW BEST:: SOT 301479207 SOS 67484286 HAS SOPS 67484286 HAS SOUS 41592151 HAS SOUPS 41592151 WITH SCORE 4.1659635286E7
AT ITER 334 NEW BEST:: SOT 301478659 SOS 67483190 HAS SOPS 67483190 HAS SOUS 41591055 HAS SOUPS 41591055 WITH SCORE 4.165853819E7
AT ITER 345 NEW BEST:: SOT 301479183 SOS 67484238 HAS SOPS 67484238 HAS SOUS 41589568 HAS SOUPS 41589568 WITH SCORE 4.1657052238E7
AT ITER 375 NEW BEST:: SOT 301465114 SOS 67474006 HAS SOPS 67474006 HAS SOUS 41583173 HAS SOUPS 41583173 WITH SCORE 4.1650647006E7
AT ITER 379 NEW BEST:: SOT 301461481 SOS 67470373 HAS SOPS 67470373 HAS SOUS 41579540 HAS SOUPS 41579540 WITH SCORE 4.1647010373E7
AT ITER 384 NEW BEST:: SOT 301450569 SOS 67462437 HAS SOPS 67462437 HAS SOUS 41574580 HAS SOUPS 41574580 WITH SCORE 4.1642042437E7
AT ITER 392 NEW BEST:: SOT 301449276 SOS 67459851 HAS SOPS 67459851 HAS SOUS 41571260 HAS SOUPS 41571260 WITH SCORE 4.1638719851E7
AT ITER 399 NEW BEST:: SOT 301448222 SOS 67458842 HAS SOPS 67458842 HAS SOUS 41569152 HAS SOUPS 41569152 WITH SCORE 4.1636610842E7
AT ITER 405 NEW BEST:: SOT 301445442 SOS 67456058 HAS SOPS 67456058 HAS SOUS 41566371 HAS SOUPS 41566371 WITH SCORE 4.1633827058E7
AT ITER 408 NEW BEST:: SOT 301444734 SOS 67456054 HAS SOPS 67456054 HAS SOUS 41566370 HAS SOUPS 41566370 WITH SCORE 4.1633826054E7
AT ITER 448 NEW BEST:: SOT 301443927 SOS 67454440 HAS SOPS 67454440 HAS SOUS 41564756 HAS SOUPS 41564756 WITH SCORE 4.163221044E7
AT ITER 508 NEW BEST:: SOT 301443497 SOS 67454639 HAS SOPS 67454639 HAS SOUS 41564679 HAS SOUPS 41564679 WITH SCORE 4.1632133639E7
AT ITER 529 NEW BEST:: SOT 301441609 SOS 67452751 HAS SOPS 67452751 HAS SOUS 41562791 HAS SOUPS 41562791 WITH SCORE 4.1630243751E7
AT ITER 535 NEW BEST:: SOT 301441330 SOS 67452750 HAS SOPS 67452750 HAS SOUS 41562790 HAS SOUPS 41562790 WITH SCORE 4.163024275E7
AT ITER 581 NEW BEST:: SOT 301441280 SOS 67452650 HAS SOPS 67452650 HAS SOUS 41560704 HAS SOUPS 41560704 WITH SCORE 4.162815665E7
AT ITER 588 NEW BEST:: SOT 301440304 SOS 67450698 HAS SOPS 67450698 HAS SOUS 41556807 HAS SOUPS 41556807 WITH SCORE 4.1624257698E7
AT ITER 589 NEW BEST:: SOT 301440304 SOS 67445289 HAS SOPS 67445289 HAS SOUS 41555004 HAS SOUPS 41555004 WITH SCORE 4.1622449289E7
AT ITER 590 NEW BEST:: SOT 301440302 SOS 67445285 HAS SOPS 67445285 HAS SOUS 41555000 HAS SOUPS 41555000 WITH SCORE 4.1622445285E7
AT ITER 604 NEW BEST:: SOT 301439334 SOS 67443349 HAS SOPS 67443349 HAS SOUS 41553064 HAS SOUPS 41553064 WITH SCORE 4.1620507349E7
AT ITER 627 NEW BEST:: SOT 301439333 SOS 67443347 HAS SOPS 67443347 HAS SOUS 41553062 HAS SOUPS 41553062 WITH SCORE 4.1620505347E7
AT ITER 635 NEW BEST:: SOT 301439333 SOS 67444353 HAS SOPS 67444353 HAS SOUS 41553060 HAS SOUPS 41553060 WITH SCORE 4.1620504353E7
AT ITER 667 NEW BEST:: SOT 301435888 SOS 67442080 HAS SOPS 67442080 HAS SOUS 41550203 HAS SOUPS 41550203 WITH SCORE 4.161764508E7
AT ITER 670 NEW BEST:: SOT 301435888 SOS 67434982 HAS SOPS 67434982 HAS SOUS 41547837 HAS SOUPS 41547837 WITH SCORE 4.1615271982E7
AT ITER 684 NEW BEST:: SOT 301432797 SOS 67419527 HAS SOPS 67419527 HAS SOUS 41541655 HAS SOUPS 41541655 WITH SCORE 4.1609074527E7
AT ITER 695 NEW BEST:: SOT 301432797 SOS 67419527 HAS SOPS 67419527 HAS SOUS 41541654 HAS SOUPS 41541654 WITH SCORE 4.1609073527E7
AT ITER 696 NEW BEST:: SOT 301430600 SOS 67666321 HAS SOPS 67666321 HAS SOUS 41540953 HAS SOUPS 41540953 WITH SCORE 4.1608619321E7
AT ITER 705 NEW BEST:: SOT 301429052 SOS 67663226 HAS SOPS 67663226 HAS SOUS 41537858 HAS SOUPS 41537858 WITH SCORE 4.1605521226E7
AT ITER 722 NEW BEST:: SOT 301428444 SOS 67662673 HAS SOPS 67662673 HAS SOUS 41537305 HAS SOUPS 41537305 WITH SCORE 4.1604967673E7
AT ITER 749 NEW BEST:: SOT 301428444 SOS 67661665 HAS SOPS 67661665 HAS SOUS 41536801 HAS SOUPS 41536801 WITH SCORE 4.1604462665E7
AT ITER 793 NEW BEST:: SOT 301428444 SOS 67661665 HAS SOPS 67661665 HAS SOUS 41533027 HAS SOUPS 41533027 WITH SCORE 4.1600688665E7
AT ITER 807 NEW BEST:: SOT 301425185 SOS 67658402 HAS SOPS 67658402 HAS SOUS 41529767 HAS SOUPS 41529767 WITH SCORE 4.1597425402E7
AT ITER 880 NEW BEST:: SOT 301422295 SOS 67655512 HAS SOPS 67655512 HAS SOUS 41526877 HAS SOUPS 41526877 WITH SCORE 4.1594532512E7
AT ITER 907 NEW BEST:: SOT 301422295 SOS 67661652 HAS SOPS 67661652 HAS SOUS 41524828 HAS SOUPS 41524828 WITH SCORE 4.1592489652E7
AT ITER 941 NEW BEST:: SOT 301419495 SOS 67660248 HAS SOPS 67660248 HAS SOUS 41523427 HAS SOUPS 41523427 WITH SCORE 4.1591087248E7
AT ITER 972 NEW BEST:: SOT 301416757 SOS 67630130 HAS SOPS 67630130 HAS SOUS 41517951 HAS SOUPS 41517951 WITH SCORE 4.158558113E7
AT ITER 985 NEW BEST:: SOT 301415867 SOS 67634201 HAS SOPS 67634201 HAS SOUS 41515316 HAS SOUPS 41515316 WITH SCORE 4.1582950201E7
AT ITER 989 NEW BEST:: SOT 301415867 SOS 67633147 HAS SOPS 67633147 HAS SOUS 41515316 HAS SOUPS 41515316 WITH SCORE 4.1582949147E7
AT ITER 992 NEW BEST:: SOT 301415717 SOS 67632847 HAS SOPS 67632847 HAS SOUS 41513143 HAS SOUPS 41513143 WITH SCORE 4.1580775847E7
AT ITER 1000 NEW BEST:: SOT 301412914 SOS 67630040 HAS SOPS 67630040 HAS SOUS 41510339 HAS SOUPS 41510339 WITH SCORE 4.157796904E7
AT ITER 1058 NEW BEST:: SOT 301412912 SOS 67630036 HAS SOPS 67630036 HAS SOUS 41510335 HAS SOUPS 41510335 WITH SCORE 4.1577965036E7
AT ITER 1065 NEW BEST:: SOT 301412649 SOS 67630299 HAS SOPS 67630299 HAS SOUS 41510072 HAS SOUPS 41510072 WITH SCORE 4.1577702299E7
AT ITER 1067 NEW BEST:: SOT 301409853 SOS 67628897 HAS SOPS 67628897 HAS SOUS 41508673 HAS SOUPS 41508673 WITH SCORE 4.1576301897E7
AT ITER 1070 NEW BEST:: SOT 301409853 SOS 67624370 HAS SOPS 67624370 HAS SOUS 41507164 HAS SOUPS 41507164 WITH SCORE 4.157478837E7
AT ITER 1127 NEW BEST:: SOT 301409172 SOS 67629127 HAS SOPS 67629127 HAS SOUS 41505801 HAS SOUPS 41505801 WITH SCORE 4.1573430127E7
AT ITER 1129 NEW BEST:: SOT 301408531 SOS 67627845 HAS SOPS 67627845 HAS SOUS 41503854 HAS SOUPS 41503854 WITH SCORE 4.1571481845E7
AT ITER 1133 NEW BEST:: SOT 301407785 SOS 67627472 HAS SOPS 67627472 HAS SOUS 41503481 HAS SOUPS 41503481 WITH SCORE 4.1571108472E7
AT ITER 1137 NEW BEST:: SOT 301403796 SOS 67623483 HAS SOPS 67623483 HAS SOUS 41499492 HAS SOUPS 41499492 WITH SCORE 4.1567115483E7
AT ITER 1160 NEW BEST:: SOT 301403796 SOS 67623483 HAS SOPS 67623483 HAS SOUS 41499491 HAS SOUPS 41499491 WITH SCORE 4.1567114483E7
AT ITER 1161 NEW BEST:: SOT 301400432 SOS 67620119 HAS SOPS 67620119 HAS SOUS 41496127 HAS SOUPS 41496127 WITH SCORE 4.1563747119E7
AT ITER 1182 NEW BEST:: SOT 301399882 SOS 67619021 HAS SOPS 67619021 HAS SOUS 41496022 HAS SOUPS 41496022 WITH SCORE 4.1563641021E7
AT ITER 1195 NEW BEST:: SOT 301396386 SOS 67615666 HAS SOPS 67615666 HAS SOUS 41492526 HAS SOUPS 41492526 WITH SCORE 4.1560141666E7
AT ITER 1279 NEW BEST:: SOT 301395934 SOS 67616566 HAS SOPS 67616566 HAS SOUS 41492073 HAS SOUPS 41492073 WITH SCORE 4.1559689566E7
AT ITER 1295 NEW BEST:: SOT 301395934 SOS 67614887 HAS SOPS 67614887 HAS SOUS 41492073 HAS SOUPS 41492073 WITH SCORE 4.1559687887E7
AT ITER 1324 NEW BEST:: SOT 301394872 SOS 67613825 HAS SOPS 67613825 HAS SOUS 41491011 HAS SOUPS 41491011 WITH SCORE 4.1558624825E7
AT ITER 1325 NEW BEST:: SOT 301394349 SOS 67612779 HAS SOPS 67612779 HAS SOUS 41490487 HAS SOUPS 41490487 WITH SCORE 4.1558099779E7
AT ITER 1352 NEW BEST:: SOT 301393735 SOS 67612779 HAS SOPS 67612779 HAS SOUS 41489873 HAS SOUPS 41489873 WITH SCORE 4.1557485779E7
AT ITER 1371 NEW BEST:: SOT 301389223 SOS 67612776 HAS SOPS 67612776 HAS SOUS 41480848 HAS SOUPS 41480848 WITH SCORE 4.1548460776E7
AT ITER 1409 NEW BEST:: SOT 301385894 SOS 67596131 HAS SOPS 67596131 HAS SOUS 41474190 HAS SOUPS 41474190 WITH SCORE 4.1541786131E7
AT ITER 1410 NEW BEST:: SOT 301382845 SOS 67593131 HAS SOPS 67593131 HAS SOUS 41471193 HAS SOUPS 41471193 WITH SCORE 4.1538786131E7
AT ITER 1450 NEW BEST:: SOT 301382845 SOS 67589189 HAS SOPS 67589189 HAS SOUS 41469879 HAS SOUPS 41469879 WITH SCORE 4.1537468189E7
AT ITER 1453 NEW BEST:: SOT 301382845 SOS 67589189 HAS SOPS 67589189 HAS SOUS 41469878 HAS SOUPS 41469878 WITH SCORE 4.1537467189E7
AT ITER 1476 NEW BEST:: SOT 301382845 SOS 67584857 HAS SOPS 67584857 HAS SOUS 41468434 HAS SOUPS 41468434 WITH SCORE 4.1536018857E7
AT ITER 1489 NEW BEST:: SOT 301365945 SOS 67574717 HAS SOPS 67574717 HAS SOUS 41463364 HAS SOUPS 41463364 WITH SCORE 4.1530938717E7
AT ITER 1512 NEW BEST:: SOT 301366482 SOS 67575791 HAS SOPS 67575791 HAS SOUS 41461854 HAS SOUPS 41461854 WITH SCORE 4.1529429791E7
AT ITER 1517 NEW BEST:: SOT 301363516 SOS 67572940 HAS SOPS 67572940 HAS SOUS 41458888 HAS SOUPS 41458888 WITH SCORE 4.152646094E7
AT ITER 1521 NEW BEST:: SOT 301362329 SOS 67570566 HAS SOPS 67570566 HAS SOUS 41456514 HAS SOUPS 41456514 WITH SCORE 4.1524084566E7
AT ITER 1526 NEW BEST:: SOT 301355150 SOS 67565652 HAS SOPS 67565652 HAS SOUS 41449335 HAS SOUPS 41449335 WITH SCORE 4.1516900652E7
AT ITER 1541 NEW BEST:: SOT 301352301 SOS 67562799 HAS SOPS 67562799 HAS SOUS 41446485 HAS SOUPS 41446485 WITH SCORE 4.1514047799E7
AT ITER 1546 NEW BEST:: SOT 301352301 SOS 67562799 HAS SOPS 67562799 HAS SOUS 41446484 HAS SOUPS 41446484 WITH SCORE 4.1514046799E7
AT ITER 1565 NEW BEST:: SOT 301351472 SOS 67570095 HAS SOPS 67570095 HAS SOUS 41444825 HAS SOUPS 41444825 WITH SCORE 4.1512395095E7
AT ITER 1566 NEW BEST:: SOT 301348968 SOS 67567591 HAS SOPS 67567591 HAS SOUS 41442321 HAS SOUPS 41442321 WITH SCORE 4.1509888591E7
AT ITER 1572 NEW BEST:: SOT 301348449 SOS 67566553 HAS SOPS 67566553 HAS SOUS 41441802 HAS SOUPS 41441802 WITH SCORE 4.1509368553E7
AT ITER 1644 NEW BEST:: SOT 301348449 SOS 67566553 HAS SOPS 67566553 HAS SOUS 41441801 HAS SOUPS 41441801 WITH SCORE 4.1509367553E7
AT ITER 1730 NEW BEST:: SOT 301347348 SOS 67564351 HAS SOPS 67564351 HAS SOUS 41439599 HAS SOUPS 41439599 WITH SCORE 4.1507163351E7
AT ITER 1737 NEW BEST:: SOT 301347348 SOS 67564351 HAS SOPS 67564351 HAS SOUS 41439598 HAS SOUPS 41439598 WITH SCORE 4.1507162351E7
AT ITER 1754 NEW BEST:: SOT 301345257 SOS 67572417 HAS SOPS 67572417 HAS SOUS 41435415 HAS SOUPS 41435415 WITH SCORE 4.1502987417E7
AT ITER 1760 NEW BEST:: SOT 301343873 SOS 67569649 HAS SOPS 67569649 HAS SOUS 41432647 HAS SOUPS 41432647 WITH SCORE 4.1500216649E7
AT ITER 1785 NEW BEST:: SOT 301343785 SOS 67569561 HAS SOPS 67569561 HAS SOUS 41432559 HAS SOUPS 41432559 WITH SCORE 4.1500128561E7
AT ITER 1788 NEW BEST:: SOT 301344047 SOS 67570085 HAS SOPS 67570085 HAS SOUS 41428078 HAS SOUPS 41428078 WITH SCORE 4.1495648085E7
AT ITER 1790 NEW BEST:: SOT 301343659 SOS 67569309 HAS SOPS 67569309 HAS SOUS 41427302 HAS SOUPS 41427302 WITH SCORE 4.1494871309E7
AT ITER 1799 NEW BEST:: SOT 301343364 SOS 67568719 HAS SOPS 67568719 HAS SOUS 41426712 HAS SOUPS 41426712 WITH SCORE 4.1494280719E7
AT ITER 1806 NEW BEST:: SOT 301340469 SOS 67565824 HAS SOPS 67565824 HAS SOUS 41423817 HAS SOUPS 41423817 WITH SCORE 4.1491382824E7
AT ITER 1814 NEW BEST:: SOT 301339334 SOS 67563554 HAS SOPS 67563554 HAS SOUS 41422682 HAS SOUPS 41422682 WITH SCORE 4.1490245554E7
AT ITER 1818 NEW BEST:: SOT 301338901 SOS 67563551 HAS SOPS 67563551 HAS SOUS 41422681 HAS SOUPS 41422681 WITH SCORE 4.1490244551E7
AT ITER 1836 NEW BEST:: SOT 301339566 SOS 67564881 HAS SOPS 67564881 HAS SOUS 41421265 HAS SOUPS 41421265 WITH SCORE 4.1488829881E7
AT ITER 1839 NEW BEST:: SOT 301338079 SOS 67566368 HAS SOPS 67566368 HAS SOUS 41419096 HAS SOUPS 41419096 WITH SCORE 4.1486662368E7
AT ITER 1876 NEW BEST:: SOT 301338079 SOS 67561979 HAS SOPS 67561979 HAS SOUS 41417633 HAS SOUPS 41417633 WITH SCORE 4.1485194979E7
AT ITER 1916 NEW BEST:: SOT 301336711 SOS 67544119 HAS SOPS 67544119 HAS SOUS 41409263 HAS SOUPS 41409263 WITH SCORE 4.1476807119E7
AT ITER 1923 NEW BEST:: SOT 301336257 SOS 67545023 HAS SOPS 67545023 HAS SOUS 41408808 HAS SOUPS 41408808 WITH SCORE 4.1476353023E7
AT ITER 1977 NEW BEST:: SOT 301335906 SOS 67544322 HAS SOPS 67544322 HAS SOUS 41408107 HAS SOUPS 41408107 WITH SCORE 4.1475651322E7
AT ITER 2026 NEW BEST:: SOT 301337257 SOS 67537949 HAS SOPS 67537949 HAS SOUS 41407108 HAS SOUPS 41407108 WITH SCORE 4.1474645949E7
AT ITER 2057 NEW BEST:: SOT 301335138 SOS 67535830 HAS SOPS 67535830 HAS SOUS 41404989 HAS SOUPS 41404989 WITH SCORE 4.147252483E7
AT ITER 2074 NEW BEST:: SOT 301328892 SOS 67528543 HAS SOPS 67528543 HAS SOUS 41404587 HAS SOUPS 41404587 WITH SCORE 4.1472115543E7
AT ITER 2075 NEW BEST:: SOT 301327634 SOS 67537411 HAS SOPS 67537411 HAS SOUS 41402070 HAS SOUPS 41402070 WITH SCORE 4.1469607411E7
AT ITER 2127 NEW BEST:: SOT 301326932 SOS 67536007 HAS SOPS 67536007 HAS SOUS 41400666 HAS SOUPS 41400666 WITH SCORE 4.1468202007E7
AT ITER 2133 NEW BEST:: SOT 301325412 SOS 67532967 HAS SOPS 67532967 HAS SOUS 41397626 HAS SOUPS 41397626 WITH SCORE 4.1465158967E7
AT ITER 2151 NEW BEST:: SOT 301322382 SOS 67535997 HAS SOPS 67535997 HAS SOUS 41393294 HAS SOUPS 41393294 WITH SCORE 4.1460829997E7
AT ITER 2152 NEW BEST:: SOT 301321123 SOS 67545764 HAS SOPS 67545764 HAS SOUS 41392141 HAS SOUPS 41392141 WITH SCORE 4.1459686764E7
AT ITER 2183 NEW BEST:: SOT 301317340 SOS 67542229 HAS SOPS 67542229 HAS SOUS 41388358 HAS SOUPS 41388358 WITH SCORE 4.1455900229E7
AT ITER 2195 NEW BEST:: SOT 301315246 SOS 67542225 HAS SOPS 67542225 HAS SOUS 41388357 HAS SOUPS 41388357 WITH SCORE 4.1455899225E7
AT ITER 2239 NEW BEST:: SOT 301313527 SOS 67543940 HAS SOPS 67543940 HAS SOUS 41384918 HAS SOUPS 41384918 WITH SCORE 4.145246194E7
AT ITER 2241 NEW BEST:: SOT 301312322 SOS 67541530 HAS SOPS 67541530 HAS SOUS 41382508 HAS SOUPS 41382508 WITH SCORE 4.145004953E7
AT ITER 2245 NEW BEST:: SOT 301311742 SOS 67542686 HAS SOPS 67542686 HAS SOUS 41381927 HAS SOUPS 41381927 WITH SCORE 4.1449469686E7
AT ITER 2257 NEW BEST:: SOT 301311360 SOS 67541854 HAS SOPS 67541854 HAS SOUS 41381095 HAS SOUPS 41381095 WITH SCORE 4.1448636854E7
AT ITER 2262 NEW BEST:: SOT 301310437 SOS 67542777 HAS SOPS 67542777 HAS SOUS 41380172 HAS SOUPS 41380172 WITH SCORE 4.1447714777E7
AT ITER 2301 NEW BEST:: SOT 301309586 SOS 67541075 HAS SOPS 67541075 HAS SOUS 41374116 HAS SOUPS 41374116 WITH SCORE 4.1441657075E7
AT ITER 2321 NEW BEST:: SOT 301309586 SOS 67539074 HAS SOPS 67539074 HAS SOUS 41374116 HAS SOUPS 41374116 WITH SCORE 4.1441655074E7
AT ITER 2370 NEW BEST:: SOT 301308271 SOS 67536444 HAS SOPS 67536444 HAS SOUS 41371486 HAS SOUPS 41371486 WITH SCORE 4.1439022444E7
AT ITER 2386 NEW BEST:: SOT 301306432 SOS 67534605 HAS SOPS 67534605 HAS SOUS 41369647 HAS SOUPS 41369647 WITH SCORE 4.1437181605E7
AT ITER 2387 NEW BEST:: SOT 301306230 SOS 67534604 HAS SOPS 67534604 HAS SOUS 41369646 HAS SOUPS 41369646 WITH SCORE 4.1437180604E7
AT ITER 2395 NEW BEST:: SOT 301308747 SOS 67549851 HAS SOPS 67549851 HAS SOUS 41369571 HAS SOUPS 41369571 WITH SCORE 4.1437120851E7
AT ITER 2437 NEW BEST:: SOT 301305301 SOS 67548128 HAS SOPS 67548128 HAS SOUS 41367848 HAS SOUPS 41367848 WITH SCORE 4.1435396128E7
AT ITER 2492 NEW BEST:: SOT 301303553 SOS 67544633 HAS SOPS 67544633 HAS SOUS 41364353 HAS SOUPS 41364353 WITH SCORE 4.1431897633E7
AT ITER 2493 NEW BEST:: SOT 301301196 SOS 67539919 HAS SOPS 67539919 HAS SOUS 41362685 HAS SOUPS 41362685 WITH SCORE 4.1430224919E7
AT ITER 2531 NEW BEST:: SOT 301297697 SOS 67539341 HAS SOPS 67539341 HAS SOUS 41361326 HAS SOUPS 41361326 WITH SCORE 4.1428865341E7
AT ITER 2536 NEW BEST:: SOT 301293696 SOS 67536587 HAS SOPS 67536587 HAS SOUS 41357777 HAS SOUPS 41357777 WITH SCORE 4.1425313587E7
AT ITER 2553 NEW BEST:: SOT 301293695 SOS 67535818 HAS SOPS 67535818 HAS SOUS 41357008 HAS SOUPS 41357008 WITH SCORE 4.1424543818E7
AT ITER 2613 NEW BEST:: SOT 301293527 SOS 67535817 HAS SOPS 67535817 HAS SOUS 41357007 HAS SOUPS 41357007 WITH SCORE 4.1424542817E7
AT ITER 2615 NEW BEST:: SOT 301293527 SOS 67535817 HAS SOPS 67535817 HAS SOUS 41357006 HAS SOUPS 41357006 WITH SCORE 4.1424541817E7
AT ITER 2625 NEW BEST:: SOT 301290249 SOS 67534178 HAS SOPS 67534178 HAS SOUS 41355367 HAS SOUPS 41355367 WITH SCORE 4.1422901178E7
AT ITER 2645 NEW BEST:: SOT 301288600 SOS 67530881 HAS SOPS 67530881 HAS SOUS 41352070 HAS SOUPS 41352070 WITH SCORE 4.1419600881E7
AT ITER 2650 NEW BEST:: SOT 301288599 SOS 67530879 HAS SOPS 67530879 HAS SOUS 41352068 HAS SOUPS 41352068 WITH SCORE 4.1419598879E7
AT ITER 2651 NEW BEST:: SOT 301287473 SOS 67532002 HAS SOPS 67532002 HAS SOUS 41350941 HAS SOUPS 41350941 WITH SCORE 4.1418473002E7
AT ITER 2695 NEW BEST:: SOT 301284892 SOS 67519097 HAS SOPS 67519097 HAS SOUS 41345779 HAS SOUPS 41345779 WITH SCORE 4.1413298097E7
AT ITER 2698 NEW BEST:: SOT 301284892 SOS 67518776 HAS SOPS 67518776 HAS SOUS 41345458 HAS SOUPS 41345458 WITH SCORE 4.1412976776E7
AT ITER 2700 NEW BEST:: SOT 301282540 SOS 67518766 HAS SOPS 67518766 HAS SOUS 41344237 HAS SOUPS 41344237 WITH SCORE 4.1411755766E7
AT ITER 2705 NEW BEST:: SOT 301279136 SOS 67515358 HAS SOPS 67515358 HAS SOUS 41340832 HAS SOUPS 41340832 WITH SCORE 4.1408347358E7
AT ITER 2727 NEW BEST:: SOT 301279136 SOS 67515358 HAS SOPS 67515358 HAS SOUS 41340831 HAS SOUPS 41340831 WITH SCORE 4.1408346358E7
AT ITER 2735 NEW BEST:: SOT 301275775 SOS 67512585 HAS SOPS 67512585 HAS SOUS 41337470 HAS SOUPS 41337470 WITH SCORE 4.1404982585E7
AT ITER 2759 NEW BEST:: SOT 301274323 SOS 67511855 HAS SOPS 67511855 HAS SOUS 41336743 HAS SOUPS 41336743 WITH SCORE 4.1404254855E7
AT ITER 2802 NEW BEST:: SOT 301274688 SOS 67511488 HAS SOPS 67511488 HAS SOUS 41336742 HAS SOUPS 41336742 WITH SCORE 4.1404253488E7
AT ITER 2819 NEW BEST:: SOT 301275039 SOS 67511479 HAS SOPS 67511479 HAS SOUS 41336381 HAS SOUPS 41336381 WITH SCORE 4.1403892479E7
AT ITER 2832 NEW BEST:: SOT 301275460 SOS 67512321 HAS SOPS 67512321 HAS SOUS 41332136 HAS SOUPS 41332136 WITH SCORE 4.1399648321E7
AT ITER 2847 NEW BEST:: SOT 301272972 SOS 67512311 HAS SOPS 67512311 HAS SOUS 41331427 HAS SOUPS 41331427 WITH SCORE 4.1398939311E7
AT ITER 2855 NEW BEST:: SOT 301271323 SOS 67513557 HAS SOPS 67513557 HAS SOUS 41330995 HAS SOUPS 41330995 WITH SCORE 4.1398508557E7
AT ITER 2867 NEW BEST:: SOT 301269247 SOS 67512539 HAS SOPS 67512539 HAS SOUS 41328919 HAS SOUPS 41328919 WITH SCORE 4.1396431539E7
AT ITER 2883 NEW BEST:: SOT 301265863 SOS 67509861 HAS SOPS 67509861 HAS SOUS 41325734 HAS SOUPS 41325734 WITH SCORE 4.1393243861E7
AT ITER 2899 NEW BEST:: SOT 301265442 SOS 67509019 HAS SOPS 67509019 HAS SOUS 41324892 HAS SOUPS 41324892 WITH SCORE 4.1392401019E7
AT ITER 2909 NEW BEST:: SOT 301248063 SOS 67505485 HAS SOPS 67505485 HAS SOUS 41323353 HAS SOUPS 41323353 WITH SCORE 4.1390858485E7
AT ITER 2931 NEW BEST:: SOT 301248062 SOS 67505483 HAS SOPS 67505483 HAS SOUS 41323351 HAS SOUPS 41323351 WITH SCORE 4.1390856483E7
AT ITER 2973 NEW BEST:: SOT 301247269 SOS 67506269 HAS SOPS 67506269 HAS SOUS 41322556 HAS SOUPS 41322556 WITH SCORE 4.1390062269E7
AT ITER 2993 NEW BEST:: SOT 301246704 SOS 67505704 HAS SOPS 67505704 HAS SOUS 41321991 HAS SOUPS 41321991 WITH SCORE 4.1389496704E7
AT ITER 2995 NEW BEST:: SOT 301244604 SOS 67504357 HAS SOPS 67504357 HAS SOUS 41320644 HAS SOUPS 41320644 WITH SCORE 4.1388148357E7
AT ITER 3011 NEW BEST:: SOT 301243307 SOS 67501763 HAS SOPS 67501763 HAS SOUS 41319347 HAS SOUPS 41319347 WITH SCORE 4.1386848763E7
AT ITER 3049 NEW BEST:: SOT 301243951 SOS 67501329 HAS SOPS 67501329 HAS SOUS 41318269 HAS SOUPS 41318269 WITH SCORE 4.1385770329E7
AT ITER 3074 NEW BEST:: SOT 301242645 SOS 67506865 HAS SOPS 67506865 HAS SOUS 41316213 HAS SOUPS 41316213 WITH SCORE 4.1383719865E7
AT ITER 3093 NEW BEST:: SOT 301242644 SOS 67506863 HAS SOPS 67506863 HAS SOUS 41316211 HAS SOUPS 41316211 WITH SCORE 4.1383717863E7
AT ITER 3138 NEW BEST:: SOT 301243591 SOS 67528901 HAS SOPS 67528901 HAS SOUS 41314480 HAS SOUPS 41314480 WITH SCORE 4.1382008901E7
AT ITER 3148 NEW BEST:: SOT 301243591 SOS 67522076 HAS SOPS 67522076 HAS SOUS 41312205 HAS SOUPS 41312205 WITH SCORE 4.1379727076E7
AT ITER 3151 NEW BEST:: SOT 301236064 SOS 67511996 HAS SOPS 67511996 HAS SOUS 41300977 HAS SOUPS 41300977 WITH SCORE 4.1368488996E7
AT ITER 3183 NEW BEST:: SOT 301235282 SOS 67511214 HAS SOPS 67511214 HAS SOUS 41300195 HAS SOUPS 41300195 WITH SCORE 4.1367706214E7
AT ITER 3193 NEW BEST:: SOT 301231371 SOS 67507303 HAS SOPS 67507303 HAS SOUS 41296284 HAS SOUPS 41296284 WITH SCORE 4.1363791303E7
AT ITER 3218 NEW BEST:: SOT 301229808 SOS 67504177 HAS SOPS 67504177 HAS SOUS 41293158 HAS SOUPS 41293158 WITH SCORE 4.1360662177E7
AT ITER 3228 NEW BEST:: SOT 301229422 SOS 67503891 HAS SOPS 67503891 HAS SOUS 41293136 HAS SOUPS 41293136 WITH SCORE 4.1360639891E7
AT ITER 3244 NEW BEST:: SOT 301227534 SOS 67503033 HAS SOPS 67503033 HAS SOUS 41292281 HAS SOUPS 41292281 WITH SCORE 4.1359784033E7
AT ITER 3249 NEW BEST:: SOT 301226441 SOS 67504126 HAS SOPS 67504126 HAS SOUS 41290488 HAS SOUPS 41290488 WITH SCORE 4.1357992126E7
AT ITER 3252 NEW BEST:: SOT 301225137 SOS 67501518 HAS SOPS 67501518 HAS SOUS 41290209 HAS SOUPS 41290209 WITH SCORE 4.1357710518E7
AT ITER 3263 NEW BEST:: SOT 301222425 SOS 67500162 HAS SOPS 67500162 HAS SOUS 41288853 HAS SOUPS 41288853 WITH SCORE 4.1356353162E7
AT ITER 3272 NEW BEST:: SOT 301222425 SOS 67500162 HAS SOPS 67500162 HAS SOUS 41287888 HAS SOUPS 41287888 WITH SCORE 4.1355388162E7
AT ITER 3291 NEW BEST:: SOT 301221085 SOS 67500158 HAS SOPS 67500158 HAS SOUS 41287217 HAS SOUPS 41287217 WITH SCORE 4.1354717158E7
AT ITER 3302 NEW BEST:: SOT 301222031 SOS 67504414 HAS SOPS 67504414 HAS SOUS 41286922 HAS SOUPS 41286922 WITH SCORE 4.1354426414E7
AT ITER 3315 NEW BEST:: SOT 301219509 SOS 67501892 HAS SOPS 67501892 HAS SOUS 41284400 HAS SOUPS 41284400 WITH SCORE 4.1351901892E7
AT ITER 3328 NEW BEST:: SOT 301218932 SOS 67500738 HAS SOPS 67500738 HAS SOUS 41283246 HAS SOUPS 41283246 WITH SCORE 4.1350746738E7
AT ITER 3330 NEW BEST:: SOT 301216975 SOS 67504250 HAS SOPS 67504250 HAS SOUS 41279332 HAS SOUPS 41279332 WITH SCORE 4.134683625E7
AT ITER 3336 NEW BEST:: SOT 301214882 SOS 67509153 HAS SOPS 67509153 HAS SOUS 41275145 HAS SOUPS 41275145 WITH SCORE 4.1342654153E7
AT ITER 3370 NEW BEST:: SOT 301214212 SOS 67508482 HAS SOPS 67508482 HAS SOUS 41274474 HAS SOUPS 41274474 WITH SCORE 4.1341982482E7
AT ITER 3415 NEW BEST:: SOT 301214178 SOS 67509918 HAS SOPS 67509918 HAS SOUS 41274440 HAS SOUPS 41274440 WITH SCORE 4.1341949918E7
AT ITER 3417 NEW BEST:: SOT 301212757 SOS 67507076 HAS SOPS 67507076 HAS SOUS 41271598 HAS SOUPS 41271598 WITH SCORE 4.1339105076E7
AT ITER 3439 NEW BEST:: SOT 301212757 SOS 67507076 HAS SOPS 67507076 HAS SOUS 41271597 HAS SOUPS 41271597 WITH SCORE 4.1339104076E7
AT ITER 3440 NEW BEST:: SOT 301212757 SOS 67502417 HAS SOPS 67502417 HAS SOUS 41270044 HAS SOUPS 41270044 WITH SCORE 4.1337546417E7
AT ITER 3452 NEW BEST:: SOT 301211900 SOS 67499846 HAS SOPS 67499846 HAS SOUS 41268330 HAS SOUPS 41268330 WITH SCORE 4.1335829846E7
AT ITER 3461 NEW BEST:: SOT 301208961 SOS 67496903 HAS SOPS 67496903 HAS SOUS 41265390 HAS SOUPS 41265390 WITH SCORE 4.1332886903E7
AT ITER 3469 NEW BEST:: SOT 301191653 SOS 67480207 HAS SOPS 67480207 HAS SOUS 41258949 HAS SOUPS 41258949 WITH SCORE 4.1326429207E7
AT ITER 3473 NEW BEST:: SOT 301187524 SOS 67476078 HAS SOPS 67476078 HAS SOUS 41254820 HAS SOUPS 41254820 WITH SCORE 4.1322296078E7
AT ITER 3500 NEW BEST:: SOT 301187488 SOS 67476006 HAS SOPS 67476006 HAS SOUS 41254748 HAS SOUPS 41254748 WITH SCORE 4.1322224006E7
AT ITER 3505 NEW BEST:: SOT 301184850 SOS 67474683 HAS SOPS 67474683 HAS SOUS 41253428 HAS SOUPS 41253428 WITH SCORE 4.1320902683E7
AT ITER 3525 NEW BEST:: SOT 301184850 SOS 67474529 HAS SOPS 67474529 HAS SOUS 41253428 HAS SOUPS 41253428 WITH SCORE 4.1320902529E7
AT ITER 3527 NEW BEST:: SOT 301183291 SOS 67471412 HAS SOPS 67471412 HAS SOUS 41250311 HAS SOUPS 41250311 WITH SCORE 4.1317782412E7
AT ITER 3542 NEW BEST:: SOT 301183290 SOS 67471410 HAS SOPS 67471410 HAS SOUS 41250309 HAS SOUPS 41250309 WITH SCORE 4.131778041E7
AT ITER 3544 NEW BEST:: SOT 301179256 SOS 67463342 HAS SOPS 67463342 HAS SOUS 41242241 HAS SOUPS 41242241 WITH SCORE 4.1309704342E7
AT ITER 3548 NEW BEST:: SOT 301179256 SOS 67463342 HAS SOPS 67463342 HAS SOUS 41242240 HAS SOUPS 41242240 WITH SCORE 4.1309703342E7
AT ITER 3552 NEW BEST:: SOT 301178365 SOS 67462451 HAS SOPS 67462451 HAS SOUS 41241349 HAS SOUPS 41241349 WITH SCORE 4.1308811451E7
AT ITER 3559 NEW BEST:: SOT 301177992 SOS 67462078 HAS SOPS 67462078 HAS SOUS 41240976 HAS SOUPS 41240976 WITH SCORE 4.1308438078E7
AT ITER 3560 NEW BEST:: SOT 301174561 SOS 67456950 HAS SOPS 67456950 HAS SOUS 41235828 HAS SOUPS 41235828 WITH SCORE 4.130328495E7
AT ITER 3612 NEW BEST:: SOT 301174269 SOS 67457530 HAS SOPS 67457530 HAS SOUS 41235827 HAS SOUPS 41235827 WITH SCORE 4.130328453E7
AT ITER 3618 NEW BEST:: SOT 301172288 SOS 67455545 HAS SOPS 67455545 HAS SOUS 41233845 HAS SOUPS 41233845 WITH SCORE 4.1301300545E7
AT ITER 3619 NEW BEST:: SOT 301172311 SOS 67454833 HAS SOPS 67454833 HAS SOUS 41233133 HAS SOUPS 41233133 WITH SCORE 4.1300587833E7
AT ITER 3621 NEW BEST:: SOT 301173000 SOS 67456211 HAS SOPS 67456211 HAS SOUS 41231793 HAS SOUPS 41231793 WITH SCORE 4.1299249211E7
AT ITER 3640 NEW BEST:: SOT 301169407 SOS 67456211 HAS SOPS 67456211 HAS SOUS 41226706 HAS SOUPS 41226706 WITH SCORE 4.1294162211E7
AT ITER 3643 NEW BEST:: SOT 301167736 SOS 67452216 HAS SOPS 67452216 HAS SOUS 41224454 HAS SOUPS 41224454 WITH SCORE 4.1291906216E7
AT ITER 3653 NEW BEST:: SOT 301167556 SOS 67451856 HAS SOPS 67451856 HAS SOUS 41224094 HAS SOUPS 41224094 WITH SCORE 4.1291545856E7
AT ITER 3696 NEW BEST:: SOT 301168509 SOS 67462776 HAS SOPS 67462776 HAS SOUS 41222993 HAS SOUPS 41222993 WITH SCORE 4.1290455776E7
AT ITER 3700 NEW BEST:: SOT 301165691 SOS 67459958 HAS SOPS 67459958 HAS SOUS 41220175 HAS SOUPS 41220175 WITH SCORE 4.1287634958E7
AT ITER 3705 NEW BEST:: SOT 301156377 SOS 67484286 HAS SOPS 67484286 HAS SOUS 41218818 HAS SOUPS 41218818 WITH SCORE 4.1286302286E7
AT ITER 3712 NEW BEST:: SOT 301152799 SOS 67484284 HAS SOPS 67484284 HAS SOUS 41218816 HAS SOUPS 41218816 WITH SCORE 4.1286300284E7
AT ITER 3732 NEW BEST:: SOT 301149854 SOS 67481960 HAS SOPS 67481960 HAS SOUS 41216495 HAS SOUPS 41216495 WITH SCORE 4.128397696E7
AT ITER 3735 NEW BEST:: SOT 301147918 SOS 67480024 HAS SOPS 67480024 HAS SOUS 41214559 HAS SOUPS 41214559 WITH SCORE 4.1282039024E7
AT ITER 3738 NEW BEST:: SOT 301147259 SOS 67479365 HAS SOPS 67479365 HAS SOUS 41213900 HAS SOUPS 41213900 WITH SCORE 4.1281379365E7
AT ITER 3755 NEW BEST:: SOT 301146855 SOS 67478557 HAS SOPS 67478557 HAS SOUS 41212563 HAS SOUPS 41212563 WITH SCORE 4.1280041557E7
AT ITER 3842 NEW BEST:: SOT 301145363 SOS 67477065 HAS SOPS 67477065 HAS SOUS 41211071 HAS SOUPS 41211071 WITH SCORE 4.1278548065E7
AT ITER 3931 NEW BEST:: SOT 301144600 SOS 67475539 HAS SOPS 67475539 HAS SOUS 41209545 HAS SOUPS 41209545 WITH SCORE 4.1277020539E7
AT ITER 3967 NEW BEST:: SOT 301144383 SOS 67475105 HAS SOPS 67475105 HAS SOUS 41209111 HAS SOUPS 41209111 WITH SCORE 4.1276586105E7
AT ITER 3993 NEW BEST:: SOT 301142384 SOS 67477142 HAS SOPS 67477142 HAS SOUS 41205106 HAS SOUPS 41205106 WITH SCORE 4.1272583142E7
AT ITER 4000 NEW BEST:: SOT 301140669 SOS 67473713 HAS SOPS 67473713 HAS SOUS 41201677 HAS SOUPS 41201677 WITH SCORE 4.1269150713E7
AT ITER 4004 NEW BEST:: SOT 301140388 SOS 67473151 HAS SOPS 67473151 HAS SOUS 41201677 HAS SOUPS 41201677 WITH SCORE 4.1269150151E7
AT ITER 4036 NEW BEST:: SOT 301139720 SOS 67472483 HAS SOPS 67472483 HAS SOUS 41201009 HAS SOUPS 41201009 WITH SCORE 4.1268481483E7
AT ITER 4074 NEW BEST:: SOT 301139180 SOS 67471335 HAS SOPS 67471335 HAS SOUS 41199861 HAS SOUPS 41199861 WITH SCORE 4.1267332335E7
AT ITER 4084 NEW BEST:: SOT 301134730 SOS 67467768 HAS SOPS 67467768 HAS SOUS 41196294 HAS SOUPS 41196294 WITH SCORE 4.1263761768E7
AT ITER 4124 NEW BEST:: SOT 301133895 SOS 67488336 HAS SOPS 67488336 HAS SOUS 41194623 HAS SOUPS 41194623 WITH SCORE 4.1262111336E7
AT ITER 4156 NEW BEST:: SOT 301132982 SOS 67490162 HAS SOPS 67490162 HAS SOUS 41193710 HAS SOUPS 41193710 WITH SCORE 4.1261200162E7
AT ITER 4198 NEW BEST:: SOT 301128715 SOS 67488411 HAS SOPS 67488411 HAS SOUS 41191704 HAS SOUPS 41191704 WITH SCORE 4.1259192411E7
AT ITER 4223 NEW BEST:: SOT 301127075 SOS 67487591 HAS SOPS 67487591 HAS SOUS 41190884 HAS SOUPS 41190884 WITH SCORE 4.1258371591E7
AT ITER 4249 NEW BEST:: SOT 301126625 SOS 67486691 HAS SOPS 67486691 HAS SOUS 41189739 HAS SOUPS 41189739 WITH SCORE 4.1257225691E7
AT ITER 4273 NEW BEST:: SOT 301125828 SOS 67488281 HAS SOPS 67488281 HAS SOUS 41188941 HAS SOUPS 41188941 WITH SCORE 4.1256429281E7
AT ITER 4286 NEW BEST:: SOT 301125300 SOS 67487225 HAS SOPS 67487225 HAS SOUS 41187189 HAS SOUPS 41187189 WITH SCORE 4.1254676225E7
AT ITER 4316 NEW BEST:: SOT 301125299 SOS 67487223 HAS SOPS 67487223 HAS SOUS 41187187 HAS SOUPS 41187187 WITH SCORE 4.1254674223E7
AT ITER 4360 NEW BEST:: SOT 301124871 SOS 67486795 HAS SOPS 67486795 HAS SOUS 41186759 HAS SOUPS 41186759 WITH SCORE 4.1254245795E7
AT ITER 4417 NEW BEST:: SOT 301124871 SOS 67486249 HAS SOPS 67486249 HAS SOUS 41186213 HAS SOUPS 41186213 WITH SCORE 4.1253699249E7
AT ITER 4420 NEW BEST:: SOT 301122868 SOS 67486043 HAS SOPS 67486043 HAS SOUS 41185946 HAS SOUPS 41185946 WITH SCORE 4.1253432043E7
AT ITER 4476 NEW BEST:: SOT 301120300 SOS 67483608 HAS SOPS 67483608 HAS SOUS 41183378 HAS SOUPS 41183378 WITH SCORE 4.1250861608E7
AT ITER 4480 NEW BEST:: SOT 301119981 SOS 67489137 HAS SOPS 67489137 HAS SOUS 41182739 HAS SOUPS 41182739 WITH SCORE 4.1250228137E7
AT ITER 4486 NEW BEST:: SOT 301116577 SOS 67485733 HAS SOPS 67485733 HAS SOUS 41179335 HAS SOUPS 41179335 WITH SCORE 4.1246820733E7
AT ITER 4522 NEW BEST:: SOT 301113611 SOS 67482763 HAS SOPS 67482763 HAS SOUS 41176368 HAS SOUPS 41176368 WITH SCORE 4.1243850763E7
AT ITER 4540 NEW BEST:: SOT 301113611 SOS 67477789 HAS SOPS 67477789 HAS SOUS 41174710 HAS SOUPS 41174710 WITH SCORE 4.1242187789E7
AT ITER 4548 NEW BEST:: SOT 301110618 SOS 67471803 HAS SOPS 67471803 HAS SOUS 41168724 HAS SOUPS 41168724 WITH SCORE 4.1236195803E7
AT ITER 4562 NEW BEST:: SOT 301109027 SOS 67468621 HAS SOPS 67468621 HAS SOUS 41168459 HAS SOUPS 41168459 WITH SCORE 4.1235927621E7
AT ITER 4571 NEW BEST:: SOT 301107129 SOS 67489826 HAS SOPS 67489826 HAS SOUS 41164662 HAS SOUPS 41164662 WITH SCORE 4.1232151826E7
AT ITER 4609 NEW BEST:: SOT 301106791 SOS 67489657 HAS SOPS 67489657 HAS SOUS 41164493 HAS SOUPS 41164493 WITH SCORE 4.1231982657E7
AT ITER 4622 NEW BEST:: SOT 301105911 SOS 67487898 HAS SOPS 67487898 HAS SOUS 41162734 HAS SOUPS 41162734 WITH SCORE 4.1230221898E7
AT ITER 4716 NEW BEST:: SOT 301104125 SOS 67487894 HAS SOPS 67487894 HAS SOUS 41161311 HAS SOUPS 41161311 WITH SCORE 4.1228798894E7
AT ITER 4726 NEW BEST:: SOT 301102917 SOS 67485478 HAS SOPS 67485478 HAS SOUS 41158895 HAS SOUPS 41158895 WITH SCORE 4.1226380478E7
AT ITER 4770 NEW BEST:: SOT 301102917 SOS 67483261 HAS SOPS 67483261 HAS SOUS 41158894 HAS SOUPS 41158894 WITH SCORE 4.1226377261E7
AT ITER 4869 NEW BEST:: SOT 301102917 SOS 67482106 HAS SOPS 67482106 HAS SOUS 41158893 HAS SOUPS 41158893 WITH SCORE 4.1226375106E7
AT ITER 4931 NEW BEST:: SOT 301096869 SOS 67475050 HAS SOPS 67475050 HAS SOUS 41157531 HAS SOUPS 41157531 WITH SCORE 4.122500605E7
AT ITER 4938 NEW BEST:: SOT 301093015 SOS 67467342 HAS SOPS 67467342 HAS SOUS 41149823 HAS SOUPS 41149823 WITH SCORE 4.1217290342E7
AT ITER 4941 NEW BEST:: SOT 301091965 SOS 67465242 HAS SOPS 67465242 HAS SOUS 41147723 HAS SOUPS 41147723 WITH SCORE 4.1215188242E7
AT ITER 4952 NEW BEST:: SOT 301091965 SOS 67464242 HAS SOPS 67464242 HAS SOUS 41147723 HAS SOUPS 41147723 WITH SCORE 4.1215187242E7
AT ITER 4955 NEW BEST:: SOT 301091965 SOS 67456724 HAS SOPS 67456724 HAS SOUS 41145217 HAS SOUPS 41145217 WITH SCORE 4.1212673724E7
AT ITER 4967 NEW BEST:: SOT 301088586 SOS 67453345 HAS SOPS 67453345 HAS SOUS 41141838 HAS SOUPS 41141838 WITH SCORE 4.1209291345E7
AT ITER 4973 NEW BEST:: SOT 301086818 SOS 67451577 HAS SOPS 67451577 HAS SOUS 41140070 HAS SOUPS 41140070 WITH SCORE 4.1207521577E7
AT ITER 4980 NEW BEST:: SOT 301086818 SOS 67450861 HAS SOPS 67450861 HAS SOUS 41139712 HAS SOUPS 41139712 WITH SCORE 4.1207162861E7
AT ITER 4984 NEW BEST:: SOT 301086818 SOS 67458699 HAS SOPS 67458699 HAS SOUS 41137097 HAS SOUPS 41137097 WITH SCORE 4.1204555699E7
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-5b-CTLFireability-00 (! (AF( ((potential((tk(P3170)>=1)))))))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-01 (EG( (EF( ( ( ((potential((tk(P6613)>=1) & (tk(P10562)>=1)))) | ((potential((tk(P164)>=1)))) ) | (! ((potential((tk(P963)>=1))))) )))))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-02 ( (AU( ( (! ((potential((tk(P1268)>=1) & (tk(P13392)>=1))))) & ( ((potential((tk(P677)>=1)))) & ((potential((tk(P127)>=1)))) ) ) , (AX( ((potential((tk(P6967)>=1) & (tk(P17142)>=1)))))) )) | (EF( (EU( ((potential((tk(P7269)>=1) & (tk(P16939)>=1)))) , ((potential((tk(P13990)>=1)))) )))) )
PROPERTY: DLCflexbar-PT-5b-CTLFireability-03 ( (AX( ( ((potential((tk(P8428)>=1)))) | ((potential((tk(P7033)>=1)))) ))) | (EX( (EF( ( ((potential((tk(P11391)>=1)))) | ((potential((tk(P7113)>=1) & (tk(P15502)>=1)))) ))))) )
PROPERTY: DLCflexbar-PT-5b-CTLFireability-04 ( (! (AG( ( ((potential((tk(P12000)>=1)))) | (! ((potential((tk(P4608)>=1))))) )))) | ((potential((tk(P12463)>=1)))) )
PROPERTY: DLCflexbar-PT-5b-CTLFireability-05 (! (! (AX( (EF( ((potential((tk(P1357)>=1) & (tk(P10939)>=1))))))))))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-06 (! (AX( (AF( ((potential((tk(P6764)>=1) & (tk(P11842)>=1)))))))))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-07 (EG( (AF( (EG( ((potential((tk(P4202)>=1) & (tk(P13972)>=1))))))))))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-08 (AF( ( ( ((potential((tk(P7029)>=1) & (tk(P13469)>=1)))) & (AX( ((potential((tk(P5419)>=1)))))) ) | (EG( (! ((potential((tk(P5118)>=1))))))) )))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-09 (EG( ( (! ((potential((tk(P16876)>=1))))) | ( (AG( ((potential((tk(P2733)>=1)))))) & (AF( ((potential((tk(P5773)>=1)))))) ) )))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-10 ( ( (EX( ((potential((tk(P6479)>=1) & (tk(P9149)>=1)))))) & (AX( ((potential((tk(P1574)>=1)))))) ) | ( ( (! (EF( ((potential((tk(P11310)>=1))))))) | (AG( ( ((potential((tk(P14020)>=1)))) | ((potential((tk(P6674)>=1) & (tk(P9782)>=1)))) ))) ) & ( (! ( ( ((potential((tk(P5835)>=1)))) & ((potential((tk(P2302)>=1)))) ) | ((potential((tk(P5417)>=1) & (tk(P15439)>=1)))) )) | ((potential((tk(P9377)>=1)))) ) ) )
PROPERTY: DLCflexbar-PT-5b-CTLFireability-11 (AU( ( (! ( ((potential((tk(P7015)>=1) & (tk(P13882)>=1)))) | ((potential((tk(P906)>=1) & (tk(P14572)>=1)))) )) & ( ( ((potential((tk(P15291)>=1)))) | ((potential((tk(P8543)>=1)))) ) | ((potential((tk(P2927)>=1)))) ) ) , (EF( ( ((potential((tk(P9280)>=1)))) | ((potential((tk(P6633)>=1) & (tk(P10202)>=1)))) ))) ))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-12 ( ( (! ((potential((tk(P8018)>=1))))) & ((potential((tk(P6063)>=1)))) ) | (EU( (! ( ((potential((tk(P10423)>=1)))) & ((potential((tk(P6973)>=1) & (tk(P13262)>=1)))) )) , ( ((potential((tk(P2911)>=1)))) & ( ((potential((tk(P7004)>=1) & (tk(P13442)>=1)))) | ((potential((tk(P5923)>=1)))) ) ) )) )
PROPERTY: DLCflexbar-PT-5b-CTLFireability-13 (EG( (EF( (EX( ((potential((tk(P6627)>=1) & (tk(P9562)>=1))))))))))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-14 (! ( (EX( ( ( ((potential((tk(P10645)>=1)))) & ((potential((tk(P16623)>=1)))) ) | ( ((potential((tk(P2333)>=1)))) & ((potential((tk(P16147)>=1)))) ) ))) | (EF( (AF( ((potential((tk(P6794)>=1) & (tk(P11782)>=1)))))))) ))
PROPERTY: DLCflexbar-PT-5b-CTLFireability-15 (EG( ( (! ( ( ((potential((tk(P6747)>=1) & (tk(P17022)>=1)))) | ((potential((tk(P521)>=1)))) ) | ( ((potential((tk(P7010)>=1) & (tk(P13462)>=1)))) & ((potential((tk(P7213)>=1) & (tk(P16102)>=1)))) ) )) & (EG( (! ((potential((tk(P14813)>=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="DLCflexbar-PT-5b"
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 DLCflexbar-PT-5b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542100396"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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