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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.8M
-rw-r--r-- 1 mcc users 2.9K Mar 30 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 21:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 21:19 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 27K 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.3K Mar 27 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 12:09 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 9.6M 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-6b-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-6b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589117800424

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 6b
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: 25104 places, 39112 transitions, 109395 arcs.
AT ITER 0 NEW BEST:: SOT 653968249 SOS 151567365 HAS SOPS 151567365 HAS SOUS 89849950 HAS SOUPS 89849950 WITH SCORE 9.0001517365E7
AT ITER 9 NEW BEST:: SOT 653966700 SOS 151564267 HAS SOPS 151564267 HAS SOUS 89846126 HAS SOUPS 89846126 WITH SCORE 8.9997690267E7
AT ITER 30 NEW BEST:: SOT 653965556 SOS 151561979 HAS SOPS 151561979 HAS SOUS 89844982 HAS SOUPS 89844982 WITH SCORE 8.9996543979E7
AT ITER 67 NEW BEST:: SOT 653964685 SOS 151560237 HAS SOPS 151560237 HAS SOUS 89843240 HAS SOUPS 89843240 WITH SCORE 8.9994800237E7
AT ITER 68 NEW BEST:: SOT 653964684 SOS 151547629 HAS SOPS 151547629 HAS SOUS 89843239 HAS SOUPS 89843239 WITH SCORE 8.9994786629E7
AT ITER 102 NEW BEST:: SOT 653963092 SOS 151560444 HAS SOPS 151560444 HAS SOUS 89841647 HAS SOUPS 89841647 WITH SCORE 8.9993207444E7
AT ITER 104 NEW BEST:: SOT 653960775 SOS 151555811 HAS SOPS 151555811 HAS SOUS 89837014 HAS SOUPS 89837014 WITH SCORE 8.9988569811E7
AT ITER 106 NEW BEST:: SOT 653960775 SOS 151549022 HAS SOPS 151549022 HAS SOUS 89834751 HAS SOUPS 89834751 WITH SCORE 8.9986300022E7
AT ITER 122 NEW BEST:: SOT 653957323 SOS 151548545 HAS SOPS 151548545 HAS SOUS 89831299 HAS SOUPS 89831299 WITH SCORE 8.9982847545E7
AT ITER 154 NEW BEST:: SOT 653955715 SOS 151573651 HAS SOPS 151573651 HAS SOUS 89828082 HAS SOUPS 89828082 WITH SCORE 8.9979655651E7
AT ITER 222 NEW BEST:: SOT 653951367 SOS 151571477 HAS SOPS 151571477 HAS SOUS 89825908 HAS SOUPS 89825908 WITH SCORE 8.9977479477E7
AT ITER 260 NEW BEST:: SOT 653950608 SOS 151571476 HAS SOPS 151571476 HAS SOUS 89825907 HAS SOUPS 89825907 WITH SCORE 8.9977478476E7
AT ITER 269 NEW BEST:: SOT 653946397 SOS 151563054 HAS SOPS 151563054 HAS SOUS 89817485 HAS SOUPS 89817485 WITH SCORE 8.9969048054E7
AT ITER 330 NEW BEST:: SOT 653944559 SOS 151566726 HAS SOPS 151566726 HAS SOUS 89815646 HAS SOUPS 89815646 WITH SCORE 8.9967212726E7
AT ITER 352 NEW BEST:: SOT 653943940 SOS 151566723 HAS SOPS 151566723 HAS SOUS 89815645 HAS SOUPS 89815645 WITH SCORE 8.9967211723E7
AT ITER 385 NEW BEST:: SOT 653943940 SOS 151555659 HAS SOPS 151555659 HAS SOUS 89815644 HAS SOUPS 89815644 WITH SCORE 8.9967199659E7
AT ITER 404 NEW BEST:: SOT 653943498 SOS 151556098 HAS SOPS 151556098 HAS SOUS 89815201 HAS SOUPS 89815201 WITH SCORE 8.9966757098E7
AT ITER 431 NEW BEST:: SOT 653942575 SOS 151554252 HAS SOPS 151554252 HAS SOUS 89814277 HAS SOUPS 89814277 WITH SCORE 8.9965831252E7
AT ITER 466 NEW BEST:: SOT 653937542 SOS 151549988 HAS SOPS 151549988 HAS SOUS 89810013 HAS SOUPS 89810013 WITH SCORE 8.9961562988E7
AT ITER 507 NEW BEST:: SOT 653932752 SOS 151545198 HAS SOPS 151545198 HAS SOUS 89805223 HAS SOUPS 89805223 WITH SCORE 8.9956768198E7
AT ITER 555 NEW BEST:: SOT 653928232 SOS 151552121 HAS SOPS 151552121 HAS SOUS 89796182 HAS SOUPS 89796182 WITH SCORE 8.9947734121E7
AT ITER 574 NEW BEST:: SOT 653927542 SOS 151550742 HAS SOPS 151550742 HAS SOUS 89794803 HAS SOUPS 89794803 WITH SCORE 8.9946353742E7
AT ITER 590 NEW BEST:: SOT 653923942 SOS 151532742 HAS SOPS 151532742 HAS SOUS 89787603 HAS SOUPS 89787603 WITH SCORE 8.9939135742E7
AT ITER 595 NEW BEST:: SOT 653923942 SOS 151530231 HAS SOPS 151530231 HAS SOUS 89786766 HAS SOUPS 89786766 WITH SCORE 8.9938296231E7
AT ITER 626 NEW BEST:: SOT 653923942 SOS 151523307 HAS SOPS 151523307 HAS SOUS 89786766 HAS SOUPS 89786766 WITH SCORE 8.9938289307E7
AT ITER 659 NEW BEST:: SOT 653917233 SOS 151506762 HAS SOPS 151506762 HAS SOUS 89769763 HAS SOUPS 89769763 WITH SCORE 8.9921269762E7
AT ITER 673 NEW BEST:: SOT 653913123 SOS 151502648 HAS SOPS 151502648 HAS SOUS 89765652 HAS SOUPS 89765652 WITH SCORE 8.9917154648E7
AT ITER 685 NEW BEST:: SOT 653913123 SOS 151492994 HAS SOPS 151492994 HAS SOUS 89762434 HAS SOUPS 89762434 WITH SCORE 8.9913926994E7
AT ITER 701 NEW BEST:: SOT 653913123 SOS 151492101 HAS SOPS 151492101 HAS SOUS 89761541 HAS SOUPS 89761541 WITH SCORE 8.9913033101E7
AT ITER 712 NEW BEST:: SOT 653913123 SOS 151492101 HAS SOPS 151492101 HAS SOUS 89761540 HAS SOUPS 89761540 WITH SCORE 8.9913032101E7
AT ITER 724 NEW BEST:: SOT 653908000 SOS 151492101 HAS SOPS 151492101 HAS SOUS 89756417 HAS SOUPS 89756417 WITH SCORE 8.9907909101E7
AT ITER 737 NEW BEST:: SOT 653908000 SOS 151492101 HAS SOPS 151492101 HAS SOUS 89748721 HAS SOUPS 89748721 WITH SCORE 8.9900213101E7
AT ITER 743 NEW BEST:: SOT 653905586 SOS 151490029 HAS SOPS 151490029 HAS SOUS 89746307 HAS SOUPS 89746307 WITH SCORE 8.9897797029E7
AT ITER 748 NEW BEST:: SOT 653902693 SOS 151492918 HAS SOPS 151492918 HAS SOUS 89745249 HAS SOUPS 89745249 WITH SCORE 8.9896741918E7
AT ITER 763 NEW BEST:: SOT 653901382 SOS 151490296 HAS SOPS 151490296 HAS SOUS 89743937 HAS SOUPS 89743937 WITH SCORE 8.9895427296E7
AT ITER 767 NEW BEST:: SOT 653899898 SOS 151487328 HAS SOPS 151487328 HAS SOUS 89740278 HAS SOUPS 89740278 WITH SCORE 8.9891765328E7
AT ITER 768 NEW BEST:: SOT 653899643 SOS 151487834 HAS SOPS 151487834 HAS SOUS 89740022 HAS SOUPS 89740022 WITH SCORE 8.9891509834E7
AT ITER 796 NEW BEST:: SOT 653897664 SOS 151487566 HAS SOPS 151487566 HAS SOUS 89739757 HAS SOUPS 89739757 WITH SCORE 8.9891244566E7
AT ITER 819 NEW BEST:: SOT 653897664 SOS 151487566 HAS SOPS 151487566 HAS SOUS 89739607 HAS SOUPS 89739607 WITH SCORE 8.9891094566E7
AT ITER 842 NEW BEST:: SOT 653896564 SOS 151486466 HAS SOPS 151486466 HAS SOUS 89738507 HAS SOUPS 89738507 WITH SCORE 8.9889993466E7
AT ITER 852 NEW BEST:: SOT 653893086 SOS 151489944 HAS SOPS 151489944 HAS SOUS 89733381 HAS SOUPS 89733381 WITH SCORE 8.9884870944E7
AT ITER 859 NEW BEST:: SOT 653893086 SOS 151505484 HAS SOPS 151505484 HAS SOUS 89732148 HAS SOUPS 89732148 WITH SCORE 8.9883653484E7
AT ITER 925 NEW BEST:: SOT 653891498 SOS 151513348 HAS SOPS 151513348 HAS SOUS 89731609 HAS SOUPS 89731609 WITH SCORE 8.9883122348E7
AT ITER 956 NEW BEST:: SOT 653887612 SOS 151513338 HAS SOPS 151513338 HAS SOUS 89729809 HAS SOUPS 89729809 WITH SCORE 8.9881322338E7
AT ITER 986 NEW BEST:: SOT 653886837 SOS 151511788 HAS SOPS 151511788 HAS SOUS 89728259 HAS SOUPS 89728259 WITH SCORE 8.9879770788E7
AT ITER 1003 NEW BEST:: SOT 653886164 SOS 151510442 HAS SOPS 151510442 HAS SOUS 89726913 HAS SOUPS 89726913 WITH SCORE 8.9878423442E7
AT ITER 1007 NEW BEST:: SOT 653881919 SOS 151489217 HAS SOPS 151489217 HAS SOUS 89718423 HAS SOUPS 89718423 WITH SCORE 8.9869912217E7
AT ITER 1014 NEW BEST:: SOT 653881681 SOS 151489207 HAS SOPS 151489207 HAS SOUS 89718422 HAS SOUPS 89718422 WITH SCORE 8.9869911207E7
AT ITER 1024 NEW BEST:: SOT 653881681 SOS 151489207 HAS SOPS 151489207 HAS SOUS 89718269 HAS SOUPS 89718269 WITH SCORE 8.9869758207E7
AT ITER 1031 NEW BEST:: SOT 653881680 SOS 151489205 HAS SOPS 151489205 HAS SOUS 89718267 HAS SOUPS 89718267 WITH SCORE 8.9869756205E7
AT ITER 1051 NEW BEST:: SOT 653881680 SOS 151479767 HAS SOPS 151479767 HAS SOUS 89715121 HAS SOUPS 89715121 WITH SCORE 8.9866600767E7
AT ITER 1054 NEW BEST:: SOT 653881680 SOS 151479535 HAS SOPS 151479535 HAS SOUS 89715005 HAS SOUPS 89715005 WITH SCORE 8.9866484535E7
AT ITER 1066 NEW BEST:: SOT 653882037 SOS 151478820 HAS SOPS 151478820 HAS SOUS 89715004 HAS SOUPS 89715004 WITH SCORE 8.986648282E7
AT ITER 1070 NEW BEST:: SOT 653883748 SOS 151467602 HAS SOPS 151467602 HAS SOUS 89712690 HAS SOUPS 89712690 WITH SCORE 8.9864157602E7
AT ITER 1082 NEW BEST:: SOT 653881057 SOS 151473955 HAS SOPS 151473955 HAS SOUS 89706880 HAS SOUPS 89706880 WITH SCORE 8.9858353955E7
AT ITER 1083 NEW BEST:: SOT 653877494 SOS 151484120 HAS SOPS 151484120 HAS SOUS 89699753 HAS SOUPS 89699753 WITH SCORE 8.985123712E7
AT ITER 1087 NEW BEST:: SOT 653876935 SOS 151483561 HAS SOPS 151483561 HAS SOUS 89699194 HAS SOUPS 89699194 WITH SCORE 8.9850677561E7
AT ITER 1103 NEW BEST:: SOT 653875760 SOS 151482386 HAS SOPS 151482386 HAS SOUS 89698019 HAS SOUPS 89698019 WITH SCORE 8.9849501386E7
AT ITER 1119 NEW BEST:: SOT 653875760 SOS 151474064 HAS SOPS 151474064 HAS SOUS 89695245 HAS SOUPS 89695245 WITH SCORE 8.9846719064E7
AT ITER 1158 NEW BEST:: SOT 653874816 SOS 151472176 HAS SOPS 151472176 HAS SOUS 89693357 HAS SOUPS 89693357 WITH SCORE 8.9844829176E7
AT ITER 1173 NEW BEST:: SOT 653874816 SOS 151463299 HAS SOPS 151463299 HAS SOUS 89690398 HAS SOUPS 89690398 WITH SCORE 8.9841861299E7
AT ITER 1188 NEW BEST:: SOT 653874815 SOS 151463297 HAS SOPS 151463297 HAS SOUS 89690396 HAS SOUPS 89690396 WITH SCORE 8.9841859297E7
AT ITER 1206 NEW BEST:: SOT 653873902 SOS 151466628 HAS SOPS 151466628 HAS SOUS 89689483 HAS SOUPS 89689483 WITH SCORE 8.9840949628E7
AT ITER 1228 NEW BEST:: SOT 653872403 SOS 151465129 HAS SOPS 151465129 HAS SOUS 89687984 HAS SOUPS 89687984 WITH SCORE 8.9839449129E7
AT ITER 1269 NEW BEST:: SOT 653872403 SOS 151453909 HAS SOPS 151453909 HAS SOUS 89687983 HAS SOUPS 89687983 WITH SCORE 8.9839436909E7
AT ITER 1307 NEW BEST:: SOT 653872402 SOS 151453907 HAS SOPS 151453907 HAS SOUS 89687981 HAS SOUPS 89687981 WITH SCORE 8.9839434907E7
AT ITER 1364 NEW BEST:: SOT 653866085 SOS 151447590 HAS SOPS 151447590 HAS SOUS 89681664 HAS SOUPS 89681664 WITH SCORE 8.983311159E7
AT ITER 1393 NEW BEST:: SOT 653863658 SOS 151442736 HAS SOPS 151442736 HAS SOUS 89676810 HAS SOUPS 89676810 WITH SCORE 8.9828252736E7
AT ITER 1401 NEW BEST:: SOT 653854461 SOS 151451274 HAS SOPS 151451274 HAS SOUS 89675478 HAS SOUPS 89675478 WITH SCORE 8.9826929274E7
AT ITER 1407 NEW BEST:: SOT 653853938 SOS 151451273 HAS SOPS 151451273 HAS SOUS 89675477 HAS SOUPS 89675477 WITH SCORE 8.9826928273E7
AT ITER 1411 NEW BEST:: SOT 653850207 SOS 151443811 HAS SOPS 151443811 HAS SOUS 89668015 HAS SOUPS 89668015 WITH SCORE 8.9819458811E7
AT ITER 1429 NEW BEST:: SOT 653849738 SOS 151443342 HAS SOPS 151443342 HAS SOUS 89667546 HAS SOUPS 89667546 WITH SCORE 8.9818989342E7
AT ITER 1457 NEW BEST:: SOT 653844551 SOS 151438151 HAS SOPS 151438151 HAS SOUS 89662358 HAS SOUPS 89662358 WITH SCORE 8.9813796151E7
AT ITER 1471 NEW BEST:: SOT 653844551 SOS 151438151 HAS SOPS 151438151 HAS SOUS 89662357 HAS SOUPS 89662357 WITH SCORE 8.9813795151E7
AT ITER 1482 NEW BEST:: SOT 653841358 SOS 151431765 HAS SOPS 151431765 HAS SOUS 89655971 HAS SOUPS 89655971 WITH SCORE 8.9807402765E7
AT ITER 1503 NEW BEST:: SOT 653841357 SOS 151429268 HAS SOPS 151429268 HAS SOUS 89653474 HAS SOUPS 89653474 WITH SCORE 8.9804903268E7
AT ITER 1504 NEW BEST:: SOT 653841357 SOS 151430938 HAS SOPS 151430938 HAS SOUS 89653472 HAS SOUPS 89653472 WITH SCORE 8.9804902938E7
AT ITER 1528 NEW BEST:: SOT 653837876 SOS 151427979 HAS SOPS 151427979 HAS SOUS 89650512 HAS SOUPS 89650512 WITH SCORE 8.9801939979E7
AT ITER 1560 NEW BEST:: SOT 653832060 SOS 151422473 HAS SOPS 151422473 HAS SOUS 89645006 HAS SOUPS 89645006 WITH SCORE 8.9796428473E7
AT ITER 1574 NEW BEST:: SOT 653829579 SOS 151424954 HAS SOPS 151424954 HAS SOUS 89644156 HAS SOUPS 89644156 WITH SCORE 8.9795580954E7
AT ITER 1586 NEW BEST:: SOT 653829578 SOS 151424952 HAS SOPS 151424952 HAS SOUS 89644154 HAS SOUPS 89644154 WITH SCORE 8.9795578952E7
AT ITER 1593 NEW BEST:: SOT 653822491 SOS 151424263 HAS SOPS 151424263 HAS SOUS 89637067 HAS SOUPS 89637067 WITH SCORE 8.9788491263E7
AT ITER 1610 NEW BEST:: SOT 653822491 SOS 151422443 HAS SOPS 151422443 HAS SOUS 89637067 HAS SOUPS 89637067 WITH SCORE 8.9788489443E7
AT ITER 1616 NEW BEST:: SOT 653822374 SOS 151422210 HAS SOPS 151422210 HAS SOUS 89636834 HAS SOUPS 89636834 WITH SCORE 8.978825621E7
AT ITER 1641 NEW BEST:: SOT 653822871 SOS 151421215 HAS SOPS 151421215 HAS SOUS 89636833 HAS SOUPS 89636833 WITH SCORE 8.9788254215E7
AT ITER 1673 NEW BEST:: SOT 653821748 SOS 151418969 HAS SOPS 151418969 HAS SOUS 89634587 HAS SOUPS 89634587 WITH SCORE 8.9786005969E7
AT ITER 1684 NEW BEST:: SOT 653821747 SOS 151418967 HAS SOPS 151418967 HAS SOUS 89634585 HAS SOUPS 89634585 WITH SCORE 8.9786003967E7
AT ITER 1700 NEW BEST:: SOT 653822164 SOS 151418121 HAS SOPS 151418121 HAS SOUS 89634370 HAS SOUPS 89634370 WITH SCORE 8.9785788121E7
AT ITER 1716 NEW BEST:: SOT 653821199 SOS 151416191 HAS SOPS 151416191 HAS SOUS 89632440 HAS SOUPS 89632440 WITH SCORE 8.9783856191E7
AT ITER 1722 NEW BEST:: SOT 653815113 SOS 151410105 HAS SOPS 151410105 HAS SOUS 89626354 HAS SOUPS 89626354 WITH SCORE 8.9777764105E7
AT ITER 1723 NEW BEST:: SOT 653815113 SOS 151407842 HAS SOPS 151407842 HAS SOUS 89626354 HAS SOUPS 89626354 WITH SCORE 8.9777761842E7
AT ITER 1733 NEW BEST:: SOT 653815113 SOS 151399856 HAS SOPS 151399856 HAS SOUS 89623692 HAS SOUPS 89623692 WITH SCORE 8.9775091856E7
AT ITER 1741 NEW BEST:: SOT 653815272 SOS 151400174 HAS SOPS 151400174 HAS SOUS 89615658 HAS SOUPS 89615658 WITH SCORE 8.9767058174E7
AT ITER 1760 NEW BEST:: SOT 653815272 SOS 151400174 HAS SOPS 151400174 HAS SOUS 89614078 HAS SOUPS 89614078 WITH SCORE 8.9765478174E7
AT ITER 1768 NEW BEST:: SOT 653814252 SOS 151402622 HAS SOPS 151402622 HAS SOUS 89613058 HAS SOUPS 89613058 WITH SCORE 8.9764460622E7
AT ITER 1810 NEW BEST:: SOT 653809467 SOS 151399142 HAS SOPS 151399142 HAS SOUS 89611318 HAS SOUPS 89611318 WITH SCORE 8.9762717142E7
AT ITER 1811 NEW BEST:: SOT 653808575 SOS 151402926 HAS SOPS 151402926 HAS SOUS 89610426 HAS SOUPS 89610426 WITH SCORE 8.9761828926E7
AT ITER 1828 NEW BEST:: SOT 653808458 SOS 151402692 HAS SOPS 151402692 HAS SOUS 89610309 HAS SOUPS 89610309 WITH SCORE 8.9761711692E7
AT ITER 1834 NEW BEST:: SOT 653804976 SOS 151400325 HAS SOPS 151400325 HAS SOUS 89607942 HAS SOUPS 89607942 WITH SCORE 8.9759342325E7
AT ITER 1838 NEW BEST:: SOT 653798014 SOS 151397195 HAS SOPS 151397195 HAS SOUS 89602895 HAS SOUPS 89602895 WITH SCORE 8.9754292195E7
AT ITER 1839 NEW BEST:: SOT 653797842 SOS 151396851 HAS SOPS 151396851 HAS SOUS 89602551 HAS SOUPS 89602551 WITH SCORE 8.9753947851E7
AT ITER 1863 NEW BEST:: SOT 653795201 SOS 151391570 HAS SOPS 151391570 HAS SOUS 89597270 HAS SOUPS 89597270 WITH SCORE 8.974866157E7
AT ITER 1865 NEW BEST:: SOT 653791717 SOS 151389239 HAS SOPS 151389239 HAS SOUS 89594939 HAS SOUPS 89594939 WITH SCORE 8.9746328239E7
AT ITER 1875 NEW BEST:: SOT 653791716 SOS 151389237 HAS SOPS 151389237 HAS SOUS 89594937 HAS SOUPS 89594937 WITH SCORE 8.9746326237E7
AT ITER 1878 NEW BEST:: SOT 653789348 SOS 151398769 HAS SOPS 151398769 HAS SOUS 89591326 HAS SOUPS 89591326 WITH SCORE 8.9742724769E7
AT ITER 1882 NEW BEST:: SOT 653784998 SOS 151350919 HAS SOPS 151350919 HAS SOUS 89582626 HAS SOUPS 89582626 WITH SCORE 8.9733976919E7
AT ITER 1886 NEW BEST:: SOT 653784998 SOS 151344448 HAS SOPS 151344448 HAS SOUS 89580469 HAS SOUPS 89580469 WITH SCORE 8.9731813448E7
AT ITER 1901 NEW BEST:: SOT 653778016 SOS 151336617 HAS SOPS 151336617 HAS SOUS 89569995 HAS SOUPS 89569995 WITH SCORE 8.9721331617E7
AT ITER 1904 NEW BEST:: SOT 653775281 SOS 151331147 HAS SOPS 151331147 HAS SOUS 89567259 HAS SOUPS 89567259 WITH SCORE 8.9718590147E7
AT ITER 1916 NEW BEST:: SOT 653772064 SOS 151327930 HAS SOPS 151327930 HAS SOUS 89564042 HAS SOUPS 89564042 WITH SCORE 8.971536993E7
AT ITER 1948 NEW BEST:: SOT 653772064 SOS 151327930 HAS SOPS 151327930 HAS SOUS 89564041 HAS SOUPS 89564041 WITH SCORE 8.971536893E7
AT ITER 1960 NEW BEST:: SOT 653765120 SOS 151320353 HAS SOPS 151320353 HAS SOUS 89553624 HAS SOUPS 89553624 WITH SCORE 8.9704944353E7
AT ITER 1968 NEW BEST:: SOT 653764925 SOS 151320223 HAS SOPS 151320223 HAS SOUS 89553494 HAS SOUPS 89553494 WITH SCORE 8.9704814223E7
AT ITER 1979 NEW BEST:: SOT 653766655 SOS 151356766 HAS SOPS 151356766 HAS SOUS 89553276 HAS SOUPS 89553276 WITH SCORE 8.9704632766E7
AT ITER 2008 NEW BEST:: SOT 653766655 SOS 151352239 HAS SOPS 151352239 HAS SOUS 89552032 HAS SOUPS 89552032 WITH SCORE 8.9703384239E7
AT ITER 2038 NEW BEST:: SOT 653765977 SOS 151349527 HAS SOPS 151349527 HAS SOUS 89551354 HAS SOUPS 89551354 WITH SCORE 8.9702703527E7
AT ITER 2042 NEW BEST:: SOT 653765109 SOS 151354373 HAS SOPS 151354373 HAS SOUS 89550486 HAS SOUPS 89550486 WITH SCORE 8.9701840373E7
AT ITER 2049 NEW BEST:: SOT 653765109 SOS 151353572 HAS SOPS 151353572 HAS SOUS 89550486 HAS SOUPS 89550486 WITH SCORE 8.9701839572E7
AT ITER 2057 NEW BEST:: SOT 653762416 SOS 151350879 HAS SOPS 151350879 HAS SOUS 89550485 HAS SOUPS 89550485 WITH SCORE 8.9701835879E7
AT ITER 2067 NEW BEST:: SOT 653758029 SOS 151350878 HAS SOPS 151350878 HAS SOUS 89550484 HAS SOUPS 89550484 WITH SCORE 8.9701834878E7
AT ITER 2070 NEW BEST:: SOT 653754575 SOS 151343970 HAS SOPS 151343970 HAS SOUS 89543576 HAS SOUPS 89543576 WITH SCORE 8.969491997E7
AT ITER 2095 NEW BEST:: SOT 653753751 SOS 151342322 HAS SOPS 151342322 HAS SOUS 89541928 HAS SOUPS 89541928 WITH SCORE 8.9693270322E7
AT ITER 2103 NEW BEST:: SOT 653753751 SOS 151333781 HAS SOPS 151333781 HAS SOUS 89539081 HAS SOUPS 89539081 WITH SCORE 8.9690414781E7
AT ITER 2111 NEW BEST:: SOT 653753518 SOS 151334010 HAS SOPS 151334010 HAS SOUS 89539080 HAS SOUPS 89539080 WITH SCORE 8.969041401E7
AT ITER 2208 NEW BEST:: SOT 653753518 SOS 151330538 HAS SOPS 151330538 HAS SOUS 89536853 HAS SOUPS 89536853 WITH SCORE 8.9688183538E7
AT ITER 2214 NEW BEST:: SOT 653746984 SOS 151324004 HAS SOPS 151324004 HAS SOUS 89523785 HAS SOUPS 89523785 WITH SCORE 8.9675109004E7
AT ITER 2217 NEW BEST:: SOT 653742528 SOS 151321776 HAS SOPS 151321776 HAS SOUS 89521557 HAS SOUPS 89521557 WITH SCORE 8.9672878776E7
AT ITER 2268 NEW BEST:: SOT 653741711 SOS 151320959 HAS SOPS 151320959 HAS SOUS 89520740 HAS SOUPS 89520740 WITH SCORE 8.9672060959E7
AT ITER 2275 NEW BEST:: SOT 653733289 SOS 151304115 HAS SOPS 151304115 HAS SOUS 89503896 HAS SOUPS 89503896 WITH SCORE 8.9655200115E7
AT ITER 2289 NEW BEST:: SOT 653733288 SOS 151304113 HAS SOPS 151304113 HAS SOUS 89503894 HAS SOUPS 89503894 WITH SCORE 8.9655198113E7
AT ITER 2334 NEW BEST:: SOT 653733125 SOS 151303787 HAS SOPS 151303787 HAS SOUS 89503568 HAS SOUPS 89503568 WITH SCORE 8.9654871787E7
AT ITER 2352 NEW BEST:: SOT 653731892 SOS 151301321 HAS SOPS 151301321 HAS SOUS 89501102 HAS SOUPS 89501102 WITH SCORE 8.9652403321E7
AT ITER 2354 NEW BEST:: SOT 653731648 SOS 151312358 HAS SOPS 151312358 HAS SOUS 89498307 HAS SOUPS 89498307 WITH SCORE 8.9649619358E7
AT ITER 2360 NEW BEST:: SOT 653731648 SOS 151306370 HAS SOPS 151306370 HAS SOUS 89496311 HAS SOUPS 89496311 WITH SCORE 8.964761737E7
AT ITER 2393 NEW BEST:: SOT 653731343 SOS 151305760 HAS SOPS 151305760 HAS SOUS 89495701 HAS SOUPS 89495701 WITH SCORE 8.964700676E7
AT ITER 2410 NEW BEST:: SOT 653731343 SOS 151306446 HAS SOPS 151306446 HAS SOUS 89495700 HAS SOUPS 89495700 WITH SCORE 8.9647006446E7
AT ITER 2411 NEW BEST:: SOT 653727263 SOS 151302366 HAS SOPS 151302366 HAS SOUS 89491620 HAS SOUPS 89491620 WITH SCORE 8.9642922366E7
AT ITER 2415 NEW BEST:: SOT 653726225 SOS 151300290 HAS SOPS 151300290 HAS SOUS 89486997 HAS SOUPS 89486997 WITH SCORE 8.963829729E7
AT ITER 2419 NEW BEST:: SOT 653726225 SOS 151300290 HAS SOPS 151300290 HAS SOUS 89486996 HAS SOUPS 89486996 WITH SCORE 8.963829629E7
AT ITER 2431 NEW BEST:: SOT 653726225 SOS 151316078 HAS SOPS 151316078 HAS SOUS 89486122 HAS SOUPS 89486122 WITH SCORE 8.9637438078E7
AT ITER 2438 NEW BEST:: SOT 653721141 SOS 151290139 HAS SOPS 151290139 HAS SOUS 89475954 HAS SOUPS 89475954 WITH SCORE 8.9627244139E7
AT ITER 2486 NEW BEST:: SOT 653721141 SOS 151290139 HAS SOPS 151290139 HAS SOUS 89468425 HAS SOUPS 89468425 WITH SCORE 8.9619715139E7
AT ITER 2488 NEW BEST:: SOT 653718565 SOS 151284987 HAS SOPS 151284987 HAS SOUS 89465848 HAS SOUPS 89465848 WITH SCORE 8.9617132987E7
AT ITER 2498 NEW BEST:: SOT 653713431 SOS 151279853 HAS SOPS 151279853 HAS SOUS 89460714 HAS SOUPS 89460714 WITH SCORE 8.9611993853E7
AT ITER 2515 NEW BEST:: SOT 653708389 SOS 151272290 HAS SOPS 151272290 HAS SOUS 89455672 HAS SOUPS 89455672 WITH SCORE 8.960694429E7
AT ITER 2535 NEW BEST:: SOT 653701247 SOS 151273549 HAS SOPS 151273549 HAS SOUS 89448530 HAS SOUPS 89448530 WITH SCORE 8.9599803549E7
AT ITER 2556 NEW BEST:: SOT 653699081 SOS 151271383 HAS SOPS 151271383 HAS SOUS 89446364 HAS SOUPS 89446364 WITH SCORE 8.9597635383E7
AT ITER 2595 NEW BEST:: SOT 653699081 SOS 151267174 HAS SOPS 151267174 HAS SOUS 89444961 HAS SOUPS 89444961 WITH SCORE 8.9596228174E7
AT ITER 2604 NEW BEST:: SOT 653696483 SOS 151261979 HAS SOPS 151261979 HAS SOUS 89439766 HAS SOUPS 89439766 WITH SCORE 8.9591027979E7
AT ITER 2628 NEW BEST:: SOT 653696482 SOS 151261977 HAS SOPS 151261977 HAS SOUS 89439764 HAS SOUPS 89439764 WITH SCORE 8.9591025977E7
AT ITER 2690 NEW BEST:: SOT 653695417 SOS 151259846 HAS SOPS 151259846 HAS SOUS 89437633 HAS SOUPS 89437633 WITH SCORE 8.9588892846E7
AT ITER 2701 NEW BEST:: SOT 653690233 SOS 151255294 HAS SOPS 151255294 HAS SOUS 89433081 HAS SOUPS 89433081 WITH SCORE 8.9584336294E7
AT ITER 2706 NEW BEST:: SOT 653690233 SOS 151254405 HAS SOPS 151254405 HAS SOUS 89432192 HAS SOUPS 89432192 WITH SCORE 8.9583446405E7
AT ITER 2769 NEW BEST:: SOT 653684294 SOS 151303942 HAS SOPS 151303942 HAS SOUS 89430375 HAS SOUPS 89430375 WITH SCORE 8.9581678942E7
AT ITER 2777 NEW BEST:: SOT 653680977 SOS 151287357 HAS SOPS 151287357 HAS SOUS 89423741 HAS SOUPS 89423741 WITH SCORE 8.9575028357E7
AT ITER 2782 NEW BEST:: SOT 653678774 SOS 151285154 HAS SOPS 151285154 HAS SOUS 89421538 HAS SOUPS 89421538 WITH SCORE 8.9572823154E7
AT ITER 2789 NEW BEST:: SOT 653678773 SOS 151285152 HAS SOPS 151285152 HAS SOUS 89421536 HAS SOUPS 89421536 WITH SCORE 8.9572821152E7
AT ITER 2791 NEW BEST:: SOT 653675590 SOS 151278786 HAS SOPS 151278786 HAS SOUS 89415170 HAS SOUPS 89415170 WITH SCORE 8.9566448786E7
AT ITER 2812 NEW BEST:: SOT 653673521 SOS 151280848 HAS SOPS 151280848 HAS SOUS 89413099 HAS SOUPS 89413099 WITH SCORE 8.9564379848E7
AT ITER 2814 NEW BEST:: SOT 653673521 SOS 151278542 HAS SOPS 151278542 HAS SOUS 89410793 HAS SOUPS 89410793 WITH SCORE 8.9562071542E7
AT ITER 2826 NEW BEST:: SOT 653673520 SOS 151278541 HAS SOPS 151278541 HAS SOUS 89410792 HAS SOUPS 89410792 WITH SCORE 8.9562070541E7
AT ITER 2828 NEW BEST:: SOT 653665533 SOS 151262567 HAS SOPS 151262567 HAS SOUS 89394818 HAS SOUPS 89394818 WITH SCORE 8.9546080567E7
AT ITER 2835 NEW BEST:: SOT 653665533 SOS 151255430 HAS SOPS 151255430 HAS SOUS 89392439 HAS SOUPS 89392439 WITH SCORE 8.954369443E7
AT ITER 2863 NEW BEST:: SOT 653667140 SOS 151280378 HAS SOPS 151280378 HAS SOUS 89390563 HAS SOUPS 89390563 WITH SCORE 8.9541843378E7
AT ITER 2864 NEW BEST:: SOT 653667139 SOS 151280376 HAS SOPS 151280376 HAS SOUS 89390561 HAS SOUPS 89390561 WITH SCORE 8.9541841376E7
AT ITER 2868 NEW BEST:: SOT 653663901 SOS 151283610 HAS SOPS 151283610 HAS SOUS 89384084 HAS SOUPS 89384084 WITH SCORE 8.953536761E7
AT ITER 2909 NEW BEST:: SOT 653663274 SOS 151282356 HAS SOPS 151282356 HAS SOUS 89382830 HAS SOUPS 89382830 WITH SCORE 8.9534112356E7
AT ITER 2944 NEW BEST:: SOT 653661968 SOS 151281874 HAS SOPS 151281874 HAS SOUS 89381904 HAS SOUPS 89381904 WITH SCORE 8.9533185874E7
AT ITER 2962 NEW BEST:: SOT 653661850 SOS 151281638 HAS SOPS 151281638 HAS SOUS 89381668 HAS SOUPS 89381668 WITH SCORE 8.9532949638E7
AT ITER 2970 NEW BEST:: SOT 653661850 SOS 151280625 HAS SOPS 151280625 HAS SOUS 89381668 HAS SOUPS 89381668 WITH SCORE 8.9532948625E7
AT ITER 3003 NEW BEST:: SOT 653663772 SOS 151275928 HAS SOPS 151275928 HAS SOUS 89380743 HAS SOUPS 89380743 WITH SCORE 8.9532018928E7
AT ITER 3005 NEW BEST:: SOT 653663772 SOS 151295569 HAS SOPS 151295569 HAS SOUS 89378619 HAS SOUPS 89378619 WITH SCORE 8.9529914569E7
AT ITER 3009 NEW BEST:: SOT 653661063 SOS 151292856 HAS SOPS 151292856 HAS SOUS 89375909 HAS SOUPS 89375909 WITH SCORE 8.9527201856E7
AT ITER 3024 NEW BEST:: SOT 653656916 SOS 151288705 HAS SOPS 151288705 HAS SOUS 89371761 HAS SOUPS 89371761 WITH SCORE 8.9523049705E7
AT ITER 3070 NEW BEST:: SOT 653656914 SOS 151288701 HAS SOPS 151288701 HAS SOUS 89371757 HAS SOUPS 89371757 WITH SCORE 8.9523045701E7
AT ITER 3085 NEW BEST:: SOT 653656424 SOS 151288211 HAS SOPS 151288211 HAS SOUS 89371267 HAS SOUPS 89371267 WITH SCORE 8.9522555211E7
AT ITER 3109 NEW BEST:: SOT 653648997 SOS 151279723 HAS SOPS 151279723 HAS SOUS 89370868 HAS SOUPS 89370868 WITH SCORE 8.9522147723E7
AT ITER 3114 NEW BEST:: SOT 653648997 SOS 151273075 HAS SOPS 151273075 HAS SOUS 89368652 HAS SOUPS 89368652 WITH SCORE 8.9519925075E7
AT ITER 3125 NEW BEST:: SOT 653648997 SOS 151271964 HAS SOPS 151271964 HAS SOUS 89364675 HAS SOUPS 89364675 WITH SCORE 8.9515946964E7
AT ITER 3130 NEW BEST:: SOT 653648997 SOS 151270297 HAS SOPS 151270297 HAS SOUS 89363008 HAS SOUPS 89363008 WITH SCORE 8.9514278297E7
AT ITER 3180 NEW BEST:: SOT 653648996 SOS 151267985 HAS SOPS 151267985 HAS SOUS 89360696 HAS SOUPS 89360696 WITH SCORE 8.9511963985E7
AT ITER 3191 NEW BEST:: SOT 653648996 SOS 151266192 HAS SOPS 151266192 HAS SOUS 89360696 HAS SOUPS 89360696 WITH SCORE 8.9511962192E7
AT ITER 3244 NEW BEST:: SOT 653648996 SOS 151266192 HAS SOPS 151266192 HAS SOUS 89359241 HAS SOUPS 89359241 WITH SCORE 8.9510507192E7
AT ITER 3277 NEW BEST:: SOT 653644958 SOS 151246002 HAS SOPS 151246002 HAS SOUS 89351165 HAS SOUPS 89351165 WITH SCORE 8.9502411002E7
AT ITER 3288 NEW BEST:: SOT 653640271 SOS 151241305 HAS SOPS 151241305 HAS SOUS 89346477 HAS SOUPS 89346477 WITH SCORE 8.9497718305E7
AT ITER 3298 NEW BEST:: SOT 653638980 SOS 151238723 HAS SOPS 151238723 HAS SOUS 89345186 HAS SOUPS 89345186 WITH SCORE 8.9496424723E7
AT ITER 3314 NEW BEST:: SOT 653633670 SOS 151233409 HAS SOPS 151233409 HAS SOUS 89339875 HAS SOUPS 89339875 WITH SCORE 8.9491108409E7
AT ITER 3316 NEW BEST:: SOT 653632422 SOS 151230913 HAS SOPS 151230913 HAS SOUS 89337379 HAS SOUPS 89337379 WITH SCORE 8.9488609913E7
AT ITER 3410 NEW BEST:: SOT 653631198 SOS 151228465 HAS SOPS 151228465 HAS SOUS 89334931 HAS SOUPS 89334931 WITH SCORE 8.9486159465E7
AT ITER 3451 NEW BEST:: SOT 653626082 SOS 151223345 HAS SOPS 151223345 HAS SOUS 89329814 HAS SOUPS 89329814 WITH SCORE 8.9481037345E7
AT ITER 3468 NEW BEST:: SOT 653623557 SOS 151218296 HAS SOPS 151218296 HAS SOUS 89324765 HAS SOUPS 89324765 WITH SCORE 8.9475983296E7
AT ITER 3476 NEW BEST:: SOT 653621082 SOS 151215821 HAS SOPS 151215821 HAS SOUS 89322290 HAS SOUPS 89322290 WITH SCORE 8.9473505821E7
AT ITER 3491 NEW BEST:: SOT 653616997 SOS 151219927 HAS SOPS 151219927 HAS SOUS 89318205 HAS SOUPS 89318205 WITH SCORE 8.9469424927E7
AT ITER 3502 NEW BEST:: SOT 653616997 SOS 151208560 HAS SOPS 151208560 HAS SOUS 89318204 HAS SOUPS 89318204 WITH SCORE 8.946941256E7
AT ITER 3582 NEW BEST:: SOT 653616997 SOS 151207992 HAS SOPS 151207992 HAS SOUS 89317920 HAS SOUPS 89317920 WITH SCORE 8.9469127992E7
AT ITER 3600 NEW BEST:: SOT 653615053 SOS 151204104 HAS SOPS 151204104 HAS SOUS 89314032 HAS SOUPS 89314032 WITH SCORE 8.9465236104E7
AT ITER 3677 NEW BEST:: SOT 653614943 SOS 151203884 HAS SOPS 151203884 HAS SOUS 89313812 HAS SOUPS 89313812 WITH SCORE 8.9465015884E7
AT ITER 3682 NEW BEST:: SOT 653614638 SOS 151203274 HAS SOPS 151203274 HAS SOUS 89313507 HAS SOUPS 89313507 WITH SCORE 8.9464710274E7
AT ITER 3702 NEW BEST:: SOT 653606686 SOS 151187370 HAS SOPS 151187370 HAS SOUS 89297603 HAS SOUPS 89297603 WITH SCORE 8.944879037E7
AT ITER 3723 NEW BEST:: SOT 653606686 SOS 151187370 HAS SOPS 151187370 HAS SOUS 89296605 HAS SOUPS 89296605 WITH SCORE 8.944779237E7
AT ITER 3728 NEW BEST:: SOT 653606709 SOS 151187416 HAS SOPS 151187416 HAS SOUS 89295136 HAS SOUPS 89295136 WITH SCORE 8.9446323416E7
AT ITER 3740 NEW BEST:: SOT 653603779 SOS 151187957 HAS SOPS 151187957 HAS SOUS 89292489 HAS SOUPS 89292489 WITH SCORE 8.9443676957E7
AT ITER 3775 NEW BEST:: SOT 653601315 SOS 151186165 HAS SOPS 151186165 HAS SOUS 89291593 HAS SOUPS 89291593 WITH SCORE 8.9442779165E7
AT ITER 3778 NEW BEST:: SOT 653601315 SOS 151184226 HAS SOPS 151184226 HAS SOUS 89291593 HAS SOUPS 89291593 WITH SCORE 8.9442777226E7
AT ITER 3785 NEW BEST:: SOT 653583285 SOS 151237885 HAS SOPS 151237885 HAS SOUS 89281145 HAS SOUPS 89281145 WITH SCORE 8.9432382885E7
AT ITER 3796 NEW BEST:: SOT 653583285 SOS 151227583 HAS SOPS 151227583 HAS SOUS 89281144 HAS SOUPS 89281144 WITH SCORE 8.9432371583E7
AT ITER 3801 NEW BEST:: SOT 653583285 SOS 151227583 HAS SOPS 151227583 HAS SOUS 89281141 HAS SOUPS 89281141 WITH SCORE 8.9432368583E7
AT ITER 3803 NEW BEST:: SOT 653568941 SOS 151213239 HAS SOPS 151213239 HAS SOUS 89259625 HAS SOUPS 89259625 WITH SCORE 8.9410838239E7
AT ITER 3844 NEW BEST:: SOT 653567023 SOS 151213235 HAS SOPS 151213235 HAS SOUS 89258665 HAS SOUPS 89258665 WITH SCORE 8.9409878235E7
AT ITER 3853 NEW BEST:: SOT 653567023 SOS 151212130 HAS SOPS 151212130 HAS SOUS 89258665 HAS SOUPS 89258665 WITH SCORE 8.940987713E7
AT ITER 3854 NEW BEST:: SOT 653562699 SOS 151212129 HAS SOPS 151212129 HAS SOUS 89258664 HAS SOUPS 89258664 WITH SCORE 8.9409876129E7
AT ITER 3921 NEW BEST:: SOT 653557278 SOS 151210074 HAS SOPS 151210074 HAS SOUS 89256493 HAS SOUPS 89256493 WITH SCORE 8.9407703074E7
AT ITER 3928 NEW BEST:: SOT 653553717 SOS 151208622 HAS SOPS 151208622 HAS SOUS 89255041 HAS SOUPS 89255041 WITH SCORE 8.9406249622E7
AT ITER 3951 NEW BEST:: SOT 653553371 SOS 151207930 HAS SOPS 151207930 HAS SOUS 89254349 HAS SOUPS 89254349 WITH SCORE 8.940555693E7
AT ITER 3957 NEW BEST:: SOT 653545626 SOS 151201952 HAS SOPS 151201952 HAS SOUS 89248371 HAS SOUPS 89248371 WITH SCORE 8.9399572952E7
AT ITER 3991 NEW BEST:: SOT 653540782 SOS 151197108 HAS SOPS 151197108 HAS SOUS 89243527 HAS SOUPS 89243527 WITH SCORE 8.9394724108E7
AT ITER 3992 NEW BEST:: SOT 653540782 SOS 151191195 HAS SOPS 151191195 HAS SOUS 89241556 HAS SOUPS 89241556 WITH SCORE 8.9392747195E7
AT ITER 4000 NEW BEST:: SOT 653541119 SOS 151183323 HAS SOPS 151183323 HAS SOUS 89236352 HAS SOUPS 89236352 WITH SCORE 8.9387535323E7
AT ITER 4003 NEW BEST:: SOT 653540956 SOS 151183322 HAS SOPS 151183322 HAS SOUS 89236351 HAS SOUPS 89236351 WITH SCORE 8.9387534322E7
AT ITER 4009 NEW BEST:: SOT 653540956 SOS 151183218 HAS SOPS 151183218 HAS SOUS 89236247 HAS SOUPS 89236247 WITH SCORE 8.9387430218E7
AT ITER 4036 NEW BEST:: SOT 653537351 SOS 151183208 HAS SOPS 151183208 HAS SOUS 89234038 HAS SOUPS 89234038 WITH SCORE 8.9385221208E7
AT ITER 4050 NEW BEST:: SOT 653539128 SOS 151186762 HAS SOPS 151186762 HAS SOUS 89232410 HAS SOUPS 89232410 WITH SCORE 8.9383596762E7
AT ITER 4096 NEW BEST:: SOT 653538319 SOS 151185953 HAS SOPS 151185953 HAS SOUS 89231601 HAS SOUPS 89231601 WITH SCORE 8.9382786953E7
AT ITER 4103 NEW BEST:: SOT 653535114 SOS 151169928 HAS SOPS 151169928 HAS SOUS 89225191 HAS SOUPS 89225191 WITH SCORE 8.9376360928E7
AT ITER 4109 NEW BEST:: SOT 653530170 SOS 151212569 HAS SOPS 151212569 HAS SOUS 89224095 HAS SOUPS 89224095 WITH SCORE 8.9375307569E7
AT ITER 4111 NEW BEST:: SOT 653524991 SOS 151207552 HAS SOPS 151207552 HAS SOUS 89219081 HAS SOUPS 89219081 WITH SCORE 8.9370288552E7
AT ITER 4127 NEW BEST:: SOT 653524991 SOS 151198939 HAS SOPS 151198939 HAS SOUS 89219081 HAS SOUPS 89219081 WITH SCORE 8.9370279939E7
AT ITER 4150 NEW BEST:: SOT 653524991 SOS 151186726 HAS SOPS 151186726 HAS SOUS 89219080 HAS SOUPS 89219080 WITH SCORE 8.9370266726E7
AT ITER 4154 NEW BEST:: SOT 653521157 SOS 151165765 HAS SOPS 151165765 HAS SOUS 89211412 HAS SOUPS 89211412 WITH SCORE 8.9362577765E7
AT ITER 4168 NEW BEST:: SOT 653516498 SOS 151161603 HAS SOPS 151161603 HAS SOUS 89207250 HAS SOUPS 89207250 WITH SCORE 8.9358411603E7
AT ITER 4204 NEW BEST:: SOT 653514296 SOS 151148118 HAS SOPS 151148118 HAS SOUS 89205873 HAS SOUPS 89205873 WITH SCORE 8.9357021118E7
AT ITER 4277 NEW BEST:: SOT 653513292 SOS 151147114 HAS SOPS 151147114 HAS SOUS 89204869 HAS SOUPS 89204869 WITH SCORE 8.9356016114E7
AT ITER 4282 NEW BEST:: SOT 653505891 SOS 151154515 HAS SOPS 151154515 HAS SOUS 89195034 HAS SOUPS 89195034 WITH SCORE 8.9346188515E7
AT ITER 4284 NEW BEST:: SOT 653505891 SOS 151145074 HAS SOPS 151145074 HAS SOUS 89191887 HAS SOUPS 89191887 WITH SCORE 8.9343032074E7
AT ITER 4286 NEW BEST:: SOT 653501343 SOS 151142796 HAS SOPS 151142796 HAS SOUS 89189612 HAS SOUPS 89189612 WITH SCORE 8.9340754796E7
AT ITER 4297 NEW BEST:: SOT 653497760 SOS 151135630 HAS SOPS 151135630 HAS SOUS 89182446 HAS SOUPS 89182446 WITH SCORE 8.933358163E7
AT ITER 4305 NEW BEST:: SOT 653496882 SOS 151135122 HAS SOPS 151135122 HAS SOUS 89181938 HAS SOUPS 89181938 WITH SCORE 8.9333073122E7
AT ITER 4307 NEW BEST:: SOT 653497532 SOS 151136421 HAS SOPS 151136421 HAS SOUS 89181567 HAS SOUPS 89181567 WITH SCORE 8.9332703421E7
AT ITER 4311 NEW BEST:: SOT 653496948 SOS 151136129 HAS SOPS 151136129 HAS SOUS 89181275 HAS SOUPS 89181275 WITH SCORE 8.9332411129E7
AT ITER 4337 NEW BEST:: SOT 653489937 SOS 151130019 HAS SOPS 151130019 HAS SOUS 89166819 HAS SOUPS 89166819 WITH SCORE 8.9317949019E7
AT ITER 4343 NEW BEST:: SOT 653489757 SOS 151129659 HAS SOPS 151129659 HAS SOUS 89166459 HAS SOUPS 89166459 WITH SCORE 8.9317588659E7
AT ITER 4359 NEW BEST:: SOT 653485197 SOS 151118259 HAS SOPS 151118259 HAS SOUS 89161899 HAS SOUPS 89161899 WITH SCORE 8.9313017259E7
AT ITER 4369 NEW BEST:: SOT 653484901 SOS 151144918 HAS SOPS 151144918 HAS SOUS 89161306 HAS SOUPS 89161306 WITH SCORE 8.9312450918E7
AT ITER 4380 NEW BEST:: SOT 653484900 SOS 151144916 HAS SOPS 151144916 HAS SOUS 89161304 HAS SOUPS 89161304 WITH SCORE 8.9312448916E7
AT ITER 4401 NEW BEST:: SOT 653484691 SOS 151144498 HAS SOPS 151144498 HAS SOUS 89160886 HAS SOUPS 89160886 WITH SCORE 8.9312030498E7
AT ITER 4406 NEW BEST:: SOT 653484470 SOS 151144497 HAS SOPS 151144497 HAS SOUS 89160885 HAS SOUPS 89160885 WITH SCORE 8.9312029497E7
AT ITER 4414 NEW BEST:: SOT 653484470 SOS 151143809 HAS SOPS 151143809 HAS SOUS 89160541 HAS SOUPS 89160541 WITH SCORE 8.9311684809E7
AT ITER 4488 NEW BEST:: SOT 653477718 SOS 151137053 HAS SOPS 151137053 HAS SOUS 89153788 HAS SOUPS 89153788 WITH SCORE 8.9304925053E7
AT ITER 4494 NEW BEST:: SOT 653477444 SOS 151137052 HAS SOPS 151137052 HAS SOUS 89153787 HAS SOUPS 89153787 WITH SCORE 8.9304924052E7
AT ITER 4496 NEW BEST:: SOT 653478037 SOS 151135865 HAS SOPS 151135865 HAS SOUS 89153786 HAS SOUPS 89153786 WITH SCORE 8.9304921865E7
AT ITER 4542 NEW BEST:: SOT 653368978 SOS 151045845 HAS SOPS 151045845 HAS SOUS 89044985 HAS SOUPS 89044985 WITH SCORE 8.9196030845E7
AT ITER 4548 NEW BEST:: SOT 653368279 SOS 151044447 HAS SOPS 151044447 HAS SOUS 89041986 HAS SOUPS 89041986 WITH SCORE 8.9193030447E7
AT ITER 4615 NEW BEST:: SOT 653367234 SOS 151044496 HAS SOPS 151044496 HAS SOUS 89041912 HAS SOUPS 89041912 WITH SCORE 8.9192956496E7
AT ITER 4666 NEW BEST:: SOT 653363670 SOS 151042745 HAS SOPS 151042745 HAS SOUS 89040160 HAS SOUPS 89040160 WITH SCORE 8.9191202745E7
AT ITER 4677 NEW BEST:: SOT 653361051 SOS 151042741 HAS SOPS 151042741 HAS SOUS 89037540 HAS SOUPS 89037540 WITH SCORE 8.9188582741E7
AT ITER 4689 NEW BEST:: SOT 653358406 SOS 151037452 HAS SOPS 151037452 HAS SOUS 89032251 HAS SOUPS 89032251 WITH SCORE 8.9183288452E7
AT ITER 4717 NEW BEST:: SOT 653357538 SOS 151039184 HAS SOPS 151039184 HAS SOUS 89031382 HAS SOUPS 89031382 WITH SCORE 8.9182421184E7
AT ITER 4729 NEW BEST:: SOT 653357250 SOS 151038608 HAS SOPS 151038608 HAS SOUS 89030806 HAS SOUPS 89030806 WITH SCORE 8.9181844608E7
AT ITER 4743 NEW BEST:: SOT 653354565 SOS 151035923 HAS SOPS 151035923 HAS SOUS 89028121 HAS SOUPS 89028121 WITH SCORE 8.9179156923E7
AT ITER 4745 NEW BEST:: SOT 653349897 SOS 151033589 HAS SOPS 151033589 HAS SOUS 89025787 HAS SOUPS 89025787 WITH SCORE 8.9176820589E7
AT ITER 4746 NEW BEST:: SOT 653344724 SOS 151029048 HAS SOPS 151029048 HAS SOUS 89021246 HAS SOUPS 89021246 WITH SCORE 8.9172275048E7
AT ITER 4786 NEW BEST:: SOT 653343254 SOS 151027578 HAS SOPS 151027578 HAS SOUS 89019776 HAS SOUPS 89019776 WITH SCORE 8.9170803578E7
AT ITER 4840 NEW BEST:: SOT 653343315 SOS 151027700 HAS SOPS 151027700 HAS SOUS 89016294 HAS SOUPS 89016294 WITH SCORE 8.91673217E7
AT ITER 4907 NEW BEST:: SOT 653342361 SOS 151025792 HAS SOPS 151025792 HAS SOUS 89014386 HAS SOUPS 89014386 WITH SCORE 8.9165411792E7
AT ITER 4924 NEW BEST:: SOT 653335294 SOS 151011658 HAS SOPS 151011658 HAS SOUS 89000252 HAS SOUPS 89000252 WITH SCORE 8.9151263658E7
AT ITER 4933 NEW BEST:: SOT 653334963 SOS 151010996 HAS SOPS 151010996 HAS SOUS 88999590 HAS SOUPS 88999590 WITH SCORE 8.9150600996E7
AT ITER 4952 NEW BEST:: SOT 653336414 SOS 151000680 HAS SOPS 151000680 HAS SOUS 88997360 HAS SOUPS 88997360 WITH SCORE 8.914836068E7
AT ITER 4956 NEW BEST:: SOT 653334934 SOS 151003636 HAS SOPS 151003636 HAS SOUS 88995879 HAS SOUPS 88995879 WITH SCORE 8.9146882636E7
AT ITER 4997 NEW BEST:: SOT 653333483 SOS 151000734 HAS SOPS 151000734 HAS SOUS 88992977 HAS SOUPS 88992977 WITH SCORE 8.9143977734E7
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-00 ( (AG( (AX( potential( (tk(P16956)) <= (tk(P2617)) ))))) & potential( (tk(P23003)) <= (tk(P4541)) ) )
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-01 (EF(potential( ( 3 ) <= (tk(P23275)) )))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-02 (! (AF((! ( potential( (tk(P91)) <= (tk(P10551)) ) | potential( ( 3 ) <= (tk(P9267)) ) )))))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-03 (! (EF((! potential( (tk(P1428)) <= (tk(P9864)) )))))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-04 (AF(( (! potential( (tk(P16500)) <= (tk(P2464)) )) | (AF(potential( ( 3 ) <= (tk(P9417)) ))) )))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-05 ( ( (! potential( (tk(P17427)) <= (tk(P7875)) )) | potential( ( 2 ) <= (tk(P1698)) ) ) | (AU( potential( (tk(P3725)) <= (tk(P12559)) ),potential( ( 2 ) <= (tk(P2180)) ) )) )
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-06 (AF((EF((! potential( (tk(P8992)) <= (tk(P10105)) ))))))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-07 (EF((AG( ( potential( ( 3 ) <= (tk(P18974)) ) & potential( (tk(P7592)) <= (tk(P22804)) ) )))))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-08 (AU( (AF(potential( ( 2 ) <= (tk(P25085)) ))),(AX( potential( ( 1 ) <= (tk(P15145)) ))) ))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-09 ( potential( ( 1 ) <= (tk(P649)) ) | (EF((AG( potential( (tk(P265)) <= (tk(P7396)) ))))) )
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-10 (AF((EG( ( potential( (tk(P11698)) <= (tk(P16503)) ) & potential( ( 1 ) <= (tk(P16705)) ) )))))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-11 (! ( (EU( potential( ( 3 ) <= (tk(P13684)) ),potential( (tk(P6976)) <= (tk(P18502)) ) )) & (EU( potential( (tk(P5870)) <= (tk(P8689)) ),potential( ( 3 ) <= (tk(P6457)) ) )) ))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-12 (! (! (EF((! potential( (tk(P16332)) <= (tk(P4769)) ))))))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-13 (EX( (AG( ( potential( (tk(P14119)) <= (tk(P15425)) ) | potential( ( 3 ) <= (tk(P22985)) ) )))))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-14 (EF((AF((! potential( (tk(P13566)) <= (tk(P20548)) ))))))
PROPERTY: DLCflexbar-PT-6b-CTLCardinality-15 ( (! ( (AG( potential( ( 1 ) <= (tk(P17869)) ))) | (! ( potential( (tk(P2347)) <= (tk(P14749)) ) & potential( ( 1 ) <= (tk(P23989)) ) )) )) | (EF(potential( ( 2 ) <= (tk(P4944)) ))) )

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-6b"
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 DLCflexbar-PT-6b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542100411"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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