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

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

=== Now, execution of the tool begins

BK_START 1589117024334

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5b
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: 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 11 NEW BEST:: SOT 301486437 SOS 67499687 HAS SOPS 67499687 HAS SOUS 41609073 HAS SOUPS 41609073 WITH SCORE 4.1676572687E7
AT ITER 20 NEW BEST:: SOT 301486437 SOS 67499687 HAS SOPS 67499687 HAS SOUS 41609072 HAS SOUPS 41609072 WITH SCORE 4.1676571687E7
AT ITER 26 NEW BEST:: SOT 301482309 SOS 67491431 HAS SOPS 67491431 HAS SOUS 41600816 HAS SOUPS 41600816 WITH SCORE 4.1668307431E7
AT ITER 44 NEW BEST:: SOT 301482309 SOS 67492711 HAS SOPS 67492711 HAS SOUS 41600814 HAS SOUPS 41600814 WITH SCORE 4.1668306711E7
AT ITER 55 NEW BEST:: SOT 301480726 SOS 67489545 HAS SOPS 67489545 HAS SOUS 41597648 HAS SOUPS 41597648 WITH SCORE 4.1665137545E7
AT ITER 74 NEW BEST:: SOT 301478244 SOS 67477135 HAS SOPS 67477135 HAS SOUS 41592684 HAS SOUPS 41592684 WITH SCORE 4.1660161135E7
AT ITER 124 NEW BEST:: SOT 301474419 SOS 67435060 HAS SOPS 67435060 HAS SOUS 41585034 HAS SOUPS 41585034 WITH SCORE 4.165246906E7
AT ITER 127 NEW BEST:: SOT 301474419 SOS 67434208 HAS SOPS 67434208 HAS SOUS 41585034 HAS SOUPS 41585034 WITH SCORE 4.1652468208E7
AT ITER 173 NEW BEST:: SOT 301474504 SOS 67441047 HAS SOPS 67441047 HAS SOUS 41583885 HAS SOUPS 41583885 WITH SCORE 4.1651326047E7
AT ITER 287 NEW BEST:: SOT 301423768 SOS 67649931 HAS SOPS 67649931 HAS SOUS 41541558 HAS SOUPS 41541558 WITH SCORE 4.1609207931E7
AT ITER 288 NEW BEST:: SOT 301423768 SOS 67648089 HAS SOPS 67648089 HAS SOUS 41541557 HAS SOUPS 41541557 WITH SCORE 4.1609205089E7
AT ITER 323 NEW BEST:: SOT 301423768 SOS 67644870 HAS SOPS 67644870 HAS SOUS 41540484 HAS SOUPS 41540484 WITH SCORE 4.160812887E7
AT ITER 341 NEW BEST:: SOT 301424018 SOS 67645370 HAS SOPS 67645370 HAS SOUS 41538714 HAS SOUPS 41538714 WITH SCORE 4.160635937E7
AT ITER 349 NEW BEST:: SOT 301424018 SOS 67644524 HAS SOPS 67644524 HAS SOUS 41538291 HAS SOUPS 41538291 WITH SCORE 4.1605935524E7
AT ITER 455 NEW BEST:: SOT 301416951 SOS 67636412 HAS SOPS 67636412 HAS SOUS 41529195 HAS SOUPS 41529195 WITH SCORE 4.1596831412E7
AT ITER 466 NEW BEST:: SOT 301417044 SOS 67636595 HAS SOPS 67636595 HAS SOUS 41529194 HAS SOUPS 41529194 WITH SCORE 4.1596830595E7
AT ITER 470 NEW BEST:: SOT 301415807 SOS 67626783 HAS SOPS 67626783 HAS SOUS 41526720 HAS SOUPS 41526720 WITH SCORE 4.1594346783E7
AT ITER 481 NEW BEST:: SOT 301415074 SOS 67626050 HAS SOPS 67626050 HAS SOUS 41525987 HAS SOUPS 41525987 WITH SCORE 4.159361305E7
AT ITER 487 NEW BEST:: SOT 301416073 SOS 67628048 HAS SOPS 67628048 HAS SOUS 41522866 HAS SOUPS 41522866 WITH SCORE 4.1590494048E7
AT ITER 520 NEW BEST:: SOT 301415738 SOS 67628708 HAS SOPS 67628708 HAS SOUS 41522530 HAS SOUPS 41522530 WITH SCORE 4.1590158708E7
AT ITER 533 NEW BEST:: SOT 301415737 SOS 67628706 HAS SOPS 67628706 HAS SOUS 41522528 HAS SOUPS 41522528 WITH SCORE 4.1590156706E7
AT ITER 541 NEW BEST:: SOT 301366101 SOS 68142702 HAS SOPS 68142702 HAS SOUS 41485382 HAS SOUPS 41485382 WITH SCORE 4.1553524702E7
AT ITER 566 NEW BEST:: SOT 301365431 SOS 68142331 HAS SOPS 68142331 HAS SOUS 41485011 HAS SOUPS 41485011 WITH SCORE 4.1553153331E7
AT ITER 612 NEW BEST:: SOT 301363745 SOS 68133901 HAS SOPS 68133901 HAS SOUS 41481639 HAS SOUPS 41481639 WITH SCORE 4.1549772901E7
AT ITER 666 NEW BEST:: SOT 301364578 SOS 68132234 HAS SOPS 68132234 HAS SOUS 41481638 HAS SOUPS 41481638 WITH SCORE 4.1549770234E7
AT ITER 696 NEW BEST:: SOT 301361646 SOS 68129298 HAS SOPS 68129298 HAS SOUS 41480171 HAS SOUPS 41480171 WITH SCORE 4.1548300298E7
AT ITER 704 NEW BEST:: SOT 301361646 SOS 68134040 HAS SOPS 68134040 HAS SOUS 41478588 HAS SOUPS 41478588 WITH SCORE 4.154672204E7
AT ITER 786 NEW BEST:: SOT 301361645 SOS 68134038 HAS SOPS 68134038 HAS SOUS 41478586 HAS SOUPS 41478586 WITH SCORE 4.1546720038E7
AT ITER 811 NEW BEST:: SOT 301361694 SOS 68131085 HAS SOPS 68131085 HAS SOUS 41477667 HAS SOUPS 41477667 WITH SCORE 4.1545798085E7
AT ITER 827 NEW BEST:: SOT 301358515 SOS 68115190 HAS SOPS 68115190 HAS SOUS 41471309 HAS SOUPS 41471309 WITH SCORE 4.153942419E7
AT ITER 835 NEW BEST:: SOT 301354684 SOS 68107528 HAS SOPS 68107528 HAS SOUS 41463647 HAS SOUPS 41463647 WITH SCORE 4.1531754528E7
AT ITER 855 NEW BEST:: SOT 301354684 SOS 68107528 HAS SOPS 68107528 HAS SOUS 41463646 HAS SOUPS 41463646 WITH SCORE 4.1531753528E7
AT ITER 859 NEW BEST:: SOT 301356582 SOS 68123317 HAS SOPS 68123317 HAS SOUS 41463442 HAS SOUPS 41463442 WITH SCORE 4.1531565317E7
AT ITER 895 NEW BEST:: SOT 301355963 SOS 68122079 HAS SOPS 68122079 HAS SOUS 41462823 HAS SOUPS 41462823 WITH SCORE 4.1530945079E7
AT ITER 897 NEW BEST:: SOT 301355963 SOS 68122079 HAS SOPS 68122079 HAS SOUS 41462822 HAS SOUPS 41462822 WITH SCORE 4.1530944079E7
AT ITER 907 NEW BEST:: SOT 301355703 SOS 68121559 HAS SOPS 68121559 HAS SOUS 41461985 HAS SOUPS 41461985 WITH SCORE 4.1530106559E7
AT ITER 912 NEW BEST:: SOT 301354238 SOS 68118630 HAS SOPS 68118630 HAS SOUS 41459056 HAS SOUPS 41459056 WITH SCORE 4.152717463E7
AT ITER 915 NEW BEST:: SOT 301353511 SOS 68120080 HAS SOPS 68120080 HAS SOUS 41458328 HAS SOUPS 41458328 WITH SCORE 4.152644808E7
AT ITER 958 NEW BEST:: SOT 301349311 SOS 68116780 HAS SOPS 68116780 HAS SOUS 41454577 HAS SOUPS 41454577 WITH SCORE 4.152269378E7
AT ITER 981 NEW BEST:: SOT 301347404 SOS 68116776 HAS SOPS 68116776 HAS SOUS 41453148 HAS SOUPS 41453148 WITH SCORE 4.1521264776E7
AT ITER 989 NEW BEST:: SOT 301347811 SOS 68108368 HAS SOPS 68108368 HAS SOUS 41450684 HAS SOUPS 41450684 WITH SCORE 4.1518792368E7
AT ITER 1011 NEW BEST:: SOT 301347206 SOS 68107158 HAS SOPS 68107158 HAS SOUS 41448048 HAS SOUPS 41448048 WITH SCORE 4.1516155158E7
AT ITER 1031 NEW BEST:: SOT 301346073 SOS 68106025 HAS SOPS 68106025 HAS SOUS 41448048 HAS SOUPS 41448048 WITH SCORE 4.1516154025E7
AT ITER 1035 NEW BEST:: SOT 301343343 SOS 68103295 HAS SOPS 68103295 HAS SOUS 41445318 HAS SOUPS 41445318 WITH SCORE 4.1513421295E7
AT ITER 1045 NEW BEST:: SOT 301343343 SOS 68103295 HAS SOPS 68103295 HAS SOUS 41445317 HAS SOUPS 41445317 WITH SCORE 4.1513420295E7
AT ITER 1049 NEW BEST:: SOT 301342793 SOS 68102195 HAS SOPS 68102195 HAS SOUS 41444217 HAS SOUPS 41444217 WITH SCORE 4.1512319195E7
AT ITER 1053 NEW BEST:: SOT 301339380 SOS 68085130 HAS SOPS 68085130 HAS SOUS 41437391 HAS SOUPS 41437391 WITH SCORE 4.150547613E7
AT ITER 1057 NEW BEST:: SOT 301339372 SOS 68091737 HAS SOPS 68091737 HAS SOUS 41436072 HAS SOUPS 41436072 WITH SCORE 4.1504163737E7
AT ITER 1090 NEW BEST:: SOT 301323947 SOS 68094020 HAS SOPS 68094020 HAS SOUS 41424406 HAS SOUPS 41424406 WITH SCORE 4.149250002E7
AT ITER 1154 NEW BEST:: SOT 301320676 SOS 68090745 HAS SOPS 68090745 HAS SOUS 41421134 HAS SOUPS 41421134 WITH SCORE 4.1489224745E7
AT ITER 1167 NEW BEST:: SOT 301321385 SOS 68089324 HAS SOPS 68089324 HAS SOUS 41421133 HAS SOUPS 41421133 WITH SCORE 4.1489222324E7
AT ITER 1195 NEW BEST:: SOT 301320808 SOS 68089901 HAS SOPS 68089901 HAS SOUS 41420556 HAS SOUPS 41420556 WITH SCORE 4.1488645901E7
AT ITER 1221 NEW BEST:: SOT 301320693 SOS 68089782 HAS SOPS 68089782 HAS SOUS 41420508 HAS SOUPS 41420508 WITH SCORE 4.1488597782E7
AT ITER 1259 NEW BEST:: SOT 301318559 SOS 68087644 HAS SOPS 68087644 HAS SOUS 41418373 HAS SOUPS 41418373 WITH SCORE 4.1486460644E7
AT ITER 1266 NEW BEST:: SOT 301318559 SOS 68085859 HAS SOPS 68085859 HAS SOUS 41418372 HAS SOUPS 41418372 WITH SCORE 4.1486457859E7
AT ITER 1267 NEW BEST:: SOT 301315608 SOS 68071104 HAS SOPS 68071104 HAS SOUS 41412470 HAS SOUPS 41412470 WITH SCORE 4.1480541104E7
AT ITER 1316 NEW BEST:: SOT 301315399 SOS 68071103 HAS SOPS 68071103 HAS SOUS 41412469 HAS SOUPS 41412469 WITH SCORE 4.1480540103E7
AT ITER 1339 NEW BEST:: SOT 301310425 SOS 68073179 HAS SOPS 68073179 HAS SOUS 41411549 HAS SOUPS 41411549 WITH SCORE 4.1479622179E7
AT ITER 1366 NEW BEST:: SOT 301310561 SOS 68073451 HAS SOPS 68073451 HAS SOUS 41406842 HAS SOUPS 41406842 WITH SCORE 4.1474915451E7
AT ITER 1367 NEW BEST:: SOT 301308079 SOS 68070969 HAS SOPS 68070969 HAS SOUS 41404360 HAS SOUPS 41404360 WITH SCORE 4.1472430969E7
AT ITER 1377 NEW BEST:: SOT 301309723 SOS 68082742 HAS SOPS 68082742 HAS SOUS 41403403 HAS SOUPS 41403403 WITH SCORE 4.1471485742E7
AT ITER 1415 NEW BEST:: SOT 301305921 SOS 68079233 HAS SOPS 68079233 HAS SOUS 41399601 HAS SOUPS 41399601 WITH SCORE 4.1467680233E7
AT ITER 1485 NEW BEST:: SOT 301305921 SOS 68080207 HAS SOPS 68080207 HAS SOUS 41399600 HAS SOUPS 41399600 WITH SCORE 4.1467680207E7
AT ITER 1494 NEW BEST:: SOT 301305921 SOS 68088903 HAS SOPS 68088903 HAS SOUS 41398607 HAS SOUPS 41398607 WITH SCORE 4.1466695903E7
AT ITER 1511 NEW BEST:: SOT 301301895 SOS 68086341 HAS SOPS 68086341 HAS SOUS 41397143 HAS SOUPS 41397143 WITH SCORE 4.1465229341E7
AT ITER 1516 NEW BEST:: SOT 301298677 SOS 68086967 HAS SOPS 68086967 HAS SOUS 41396279 HAS SOUPS 41396279 WITH SCORE 4.1464365967E7
AT ITER 1526 NEW BEST:: SOT 301296409 SOS 68084321 HAS SOPS 68084321 HAS SOUS 41395643 HAS SOUPS 41395643 WITH SCORE 4.1463727321E7
AT ITER 1554 NEW BEST:: SOT 301296409 SOS 68084321 HAS SOPS 68084321 HAS SOUS 41395642 HAS SOUPS 41395642 WITH SCORE 4.1463726321E7
AT ITER 1561 NEW BEST:: SOT 301296898 SOS 68083830 HAS SOPS 68083830 HAS SOUS 41395641 HAS SOUPS 41395641 WITH SCORE 4.146372483E7
AT ITER 1579 NEW BEST:: SOT 301296897 SOS 68083828 HAS SOPS 68083828 HAS SOUS 41395639 HAS SOUPS 41395639 WITH SCORE 4.1463722828E7
AT ITER 1603 NEW BEST:: SOT 301294847 SOS 68081774 HAS SOPS 68081774 HAS SOUS 41393588 HAS SOUPS 41393588 WITH SCORE 4.1461669774E7
AT ITER 1652 NEW BEST:: SOT 301294847 SOS 68082982 HAS SOPS 68082982 HAS SOUS 41393586 HAS SOUPS 41393586 WITH SCORE 4.1461668982E7
AT ITER 1658 NEW BEST:: SOT 301292841 SOS 68085450 HAS SOPS 68085450 HAS SOUS 41390241 HAS SOUPS 41390241 WITH SCORE 4.145832645E7
AT ITER 1663 NEW BEST:: SOT 301292841 SOS 68081382 HAS SOPS 68081382 HAS SOUS 41388885 HAS SOUPS 41388885 WITH SCORE 4.1456966382E7
AT ITER 1675 NEW BEST:: SOT 301292841 SOS 68084182 HAS SOPS 68084182 HAS SOUS 41388581 HAS SOUPS 41388581 WITH SCORE 4.1456665182E7
AT ITER 1683 NEW BEST:: SOT 301289320 SOS 68109435 HAS SOPS 68109435 HAS SOUS 41387687 HAS SOUPS 41387687 WITH SCORE 4.1455796435E7
AT ITER 1702 NEW BEST:: SOT 301285180 SOS 68101155 HAS SOPS 68101155 HAS SOUS 41379407 HAS SOUPS 41379407 WITH SCORE 4.1447508155E7
AT ITER 1723 NEW BEST:: SOT 301285179 SOS 68101153 HAS SOPS 68101153 HAS SOUS 41379405 HAS SOUPS 41379405 WITH SCORE 4.1447506153E7
AT ITER 1764 NEW BEST:: SOT 301284461 SOS 68099718 HAS SOPS 68099718 HAS SOUS 41377970 HAS SOUPS 41377970 WITH SCORE 4.1446069718E7
AT ITER 1788 NEW BEST:: SOT 301284461 SOS 68100518 HAS SOPS 68100518 HAS SOUS 41377969 HAS SOUPS 41377969 WITH SCORE 4.1446069518E7
AT ITER 1806 NEW BEST:: SOT 301282830 SOS 68109777 HAS SOPS 68109777 HAS SOUS 41376337 HAS SOUPS 41376337 WITH SCORE 4.1444446777E7
AT ITER 1851 NEW BEST:: SOT 301279413 SOS 68092692 HAS SOPS 68092692 HAS SOUS 41369503 HAS SOUPS 41369503 WITH SCORE 4.1437595692E7
AT ITER 1859 NEW BEST:: SOT 301279196 SOS 68092258 HAS SOPS 68092258 HAS SOUS 41369069 HAS SOUPS 41369069 WITH SCORE 4.1437161258E7
AT ITER 1862 NEW BEST:: SOT 301279195 SOS 68092256 HAS SOPS 68092256 HAS SOUS 41369067 HAS SOUPS 41369067 WITH SCORE 4.1437159256E7
AT ITER 1873 NEW BEST:: SOT 301278741 SOS 68091348 HAS SOPS 68091348 HAS SOUS 41367294 HAS SOUPS 41367294 WITH SCORE 4.1435385348E7
AT ITER 1888 NEW BEST:: SOT 301276933 SOS 68082308 HAS SOPS 68082308 HAS SOUS 41363678 HAS SOUPS 41363678 WITH SCORE 4.1431760308E7
AT ITER 1917 NEW BEST:: SOT 301275419 SOS 68079280 HAS SOPS 68079280 HAS SOUS 41363528 HAS SOUPS 41363528 WITH SCORE 4.143160728E7
AT ITER 1931 NEW BEST:: SOT 301275419 SOS 68083027 HAS SOPS 68083027 HAS SOUS 41361495 HAS SOUPS 41361495 WITH SCORE 4.1429578027E7
AT ITER 1939 NEW BEST:: SOT 301274398 SOS 68084044 HAS SOPS 68084044 HAS SOUS 41359452 HAS SOUPS 41359452 WITH SCORE 4.1427536044E7
AT ITER 1966 NEW BEST:: SOT 301271726 SOS 68080704 HAS SOPS 68080704 HAS SOUS 41356112 HAS SOUPS 41356112 WITH SCORE 4.1424192704E7
AT ITER 2028 NEW BEST:: SOT 301268195 SOS 68077725 HAS SOPS 68077725 HAS SOUS 41352706 HAS SOUPS 41352706 WITH SCORE 4.1420783725E7
AT ITER 2029 NEW BEST:: SOT 301265899 SOS 68066245 HAS SOPS 68066245 HAS SOUS 41348114 HAS SOUPS 41348114 WITH SCORE 4.1416180245E7
AT ITER 2072 NEW BEST:: SOT 301265237 SOS 68064921 HAS SOPS 68064921 HAS SOUS 41346790 HAS SOUPS 41346790 WITH SCORE 4.1414854921E7
AT ITER 2114 NEW BEST:: SOT 301264252 SOS 68063896 HAS SOPS 68063896 HAS SOUS 41345236 HAS SOUPS 41345236 WITH SCORE 4.1413299896E7
AT ITER 2148 NEW BEST:: SOT 301263522 SOS 68063166 HAS SOPS 68063166 HAS SOUS 41344506 HAS SOUPS 41344506 WITH SCORE 4.1412569166E7
AT ITER 2171 NEW BEST:: SOT 301262707 SOS 68061536 HAS SOPS 68061536 HAS SOUS 41342876 HAS SOUPS 41342876 WITH SCORE 4.1410937536E7
AT ITER 2174 NEW BEST:: SOT 301260933 SOS 68057989 HAS SOPS 68057989 HAS SOUS 41339329 HAS SOUPS 41339329 WITH SCORE 4.1407386989E7
AT ITER 2182 NEW BEST:: SOT 301257811 SOS 68054867 HAS SOPS 68054867 HAS SOUS 41336207 HAS SOUPS 41336207 WITH SCORE 4.1404261867E7
AT ITER 2250 NEW BEST:: SOT 301257594 SOS 68054650 HAS SOPS 68054650 HAS SOUS 41335990 HAS SOUPS 41335990 WITH SCORE 4.140404465E7
AT ITER 2284 NEW BEST:: SOT 301257594 SOS 68053120 HAS SOPS 68053120 HAS SOUS 41335990 HAS SOUPS 41335990 WITH SCORE 4.140404312E7
AT ITER 2340 NEW BEST:: SOT 301256925 SOS 68070474 HAS SOPS 68070474 HAS SOUS 41334651 HAS SOUPS 41334651 WITH SCORE 4.1402721474E7
AT ITER 2374 NEW BEST:: SOT 301255762 SOS 68068148 HAS SOPS 68068148 HAS SOUS 41332325 HAS SOUPS 41332325 WITH SCORE 4.1400393148E7
AT ITER 2392 NEW BEST:: SOT 301253520 SOS 68065906 HAS SOPS 68065906 HAS SOUS 41330083 HAS SOUPS 41330083 WITH SCORE 4.1398148906E7
AT ITER 2393 NEW BEST:: SOT 301253520 SOS 68065906 HAS SOPS 68065906 HAS SOUS 41330082 HAS SOUPS 41330082 WITH SCORE 4.1398147906E7
AT ITER 2397 NEW BEST:: SOT 301248418 SOS 68062318 HAS SOPS 68062318 HAS SOUS 41326031 HAS SOUPS 41326031 WITH SCORE 4.1394093318E7
AT ITER 2401 NEW BEST:: SOT 301248418 SOS 68053864 HAS SOPS 68053864 HAS SOUS 41323213 HAS SOUPS 41323213 WITH SCORE 4.1391266864E7
AT ITER 2407 NEW BEST:: SOT 301247271 SOS 68051571 HAS SOPS 68051571 HAS SOUS 41321537 HAS SOUPS 41321537 WITH SCORE 4.1389588571E7
AT ITER 2415 NEW BEST:: SOT 301246441 SOS 68059378 HAS SOPS 68059378 HAS SOUS 41319876 HAS SOUPS 41319876 WITH SCORE 4.1387935378E7
AT ITER 2437 NEW BEST:: SOT 301246370 SOS 68059236 HAS SOPS 68059236 HAS SOUS 41319734 HAS SOUPS 41319734 WITH SCORE 4.1387793236E7
AT ITER 2440 NEW BEST:: SOT 301245130 SOS 68060476 HAS SOPS 68060476 HAS SOUS 41318494 HAS SOUPS 41318494 WITH SCORE 4.1386554476E7
AT ITER 2491 NEW BEST:: SOT 301245907 SOS 68062030 HAS SOPS 68062030 HAS SOUS 41317234 HAS SOUPS 41317234 WITH SCORE 4.138529603E7
AT ITER 2535 NEW BEST:: SOT 301241525 SOS 68057648 HAS SOPS 68057648 HAS SOUS 41312852 HAS SOUPS 41312852 WITH SCORE 4.1380909648E7
AT ITER 2583 NEW BEST:: SOT 301241525 SOS 68052782 HAS SOPS 68052782 HAS SOUS 41311230 HAS SOUPS 41311230 WITH SCORE 4.1379282782E7
AT ITER 2609 NEW BEST:: SOT 301241524 SOS 68052780 HAS SOPS 68052780 HAS SOUS 41311228 HAS SOUPS 41311228 WITH SCORE 4.137928078E7
AT ITER 2633 NEW BEST:: SOT 301241523 SOS 68052778 HAS SOPS 68052778 HAS SOUS 41311226 HAS SOUPS 41311226 WITH SCORE 4.1379278778E7
AT ITER 2640 NEW BEST:: SOT 301241523 SOS 68052778 HAS SOPS 68052778 HAS SOUS 41311225 HAS SOUPS 41311225 WITH SCORE 4.1379277778E7
AT ITER 2674 NEW BEST:: SOT 301241370 SOS 68052472 HAS SOPS 68052472 HAS SOUS 41310919 HAS SOUPS 41310919 WITH SCORE 4.1378971472E7
AT ITER 2693 NEW BEST:: SOT 301241370 SOS 68051356 HAS SOPS 68051356 HAS SOUS 41310918 HAS SOUPS 41310918 WITH SCORE 4.1378969356E7
AT ITER 2704 NEW BEST:: SOT 301241369 SOS 68051354 HAS SOPS 68051354 HAS SOUS 41310916 HAS SOUPS 41310916 WITH SCORE 4.1378967354E7
AT ITER 2710 NEW BEST:: SOT 301241089 SOS 68050794 HAS SOPS 68050794 HAS SOUS 41310356 HAS SOUPS 41310356 WITH SCORE 4.1378406794E7
AT ITER 2760 NEW BEST:: SOT 301239833 SOS 68048282 HAS SOPS 68048282 HAS SOUS 41307307 HAS SOUPS 41307307 WITH SCORE 4.1375355282E7
AT ITER 2764 NEW BEST:: SOT 301239833 SOS 68049840 HAS SOPS 68049840 HAS SOUS 41307305 HAS SOUPS 41307305 WITH SCORE 4.137535484E7
AT ITER 2780 NEW BEST:: SOT 301237810 SOS 68049265 HAS SOPS 68049265 HAS SOUS 41305282 HAS SOUPS 41305282 WITH SCORE 4.1373331265E7
AT ITER 2790 NEW BEST:: SOT 301235050 SOS 68047885 HAS SOPS 68047885 HAS SOUS 41303902 HAS SOUPS 41303902 WITH SCORE 4.1371949885E7
AT ITER 2821 NEW BEST:: SOT 301234347 SOS 68046479 HAS SOPS 68046479 HAS SOUS 41303413 HAS SOUPS 41303413 WITH SCORE 4.1371459479E7
AT ITER 2850 NEW BEST:: SOT 301234128 SOS 68046041 HAS SOPS 68046041 HAS SOUS 41302975 HAS SOUPS 41302975 WITH SCORE 4.1371021041E7
AT ITER 2853 NEW BEST:: SOT 301233761 SOS 68046351 HAS SOPS 68046351 HAS SOUS 41302956 HAS SOUPS 41302956 WITH SCORE 4.1371002351E7
AT ITER 2878 NEW BEST:: SOT 301233761 SOS 68044515 HAS SOPS 68044515 HAS SOUS 41302956 HAS SOUPS 41302956 WITH SCORE 4.1371000515E7
AT ITER 2933 NEW BEST:: SOT 301233217 SOS 68043427 HAS SOPS 68043427 HAS SOUS 41300328 HAS SOUPS 41300328 WITH SCORE 4.1368371427E7
AT ITER 2948 NEW BEST:: SOT 301233090 SOS 68043673 HAS SOPS 68043673 HAS SOUS 41300199 HAS SOUPS 41300199 WITH SCORE 4.1368242673E7
AT ITER 2977 NEW BEST:: SOT 301233090 SOS 68041777 HAS SOPS 68041777 HAS SOUS 41299567 HAS SOUPS 41299567 WITH SCORE 4.1367608777E7
AT ITER 2980 NEW BEST:: SOT 301230533 SOS 68040238 HAS SOPS 68040238 HAS SOUS 41298028 HAS SOUPS 41298028 WITH SCORE 4.1366068238E7
AT ITER 2981 NEW BEST:: SOT 301226696 SOS 68036814 HAS SOPS 68036814 HAS SOUS 41294408 HAS SOUPS 41294408 WITH SCORE 4.1362444814E7
AT ITER 2991 NEW BEST:: SOT 301226194 SOS 68036814 HAS SOPS 68036814 HAS SOUS 41294157 HAS SOUPS 41294157 WITH SCORE 4.1362193814E7
AT ITER 3008 NEW BEST:: SOT 301225660 SOS 68039271 HAS SOPS 68039271 HAS SOUS 41293623 HAS SOUPS 41293623 WITH SCORE 4.1361662271E7
AT ITER 3021 NEW BEST:: SOT 301225282 SOS 68038515 HAS SOPS 68038515 HAS SOUS 41291711 HAS SOUPS 41291711 WITH SCORE 4.1359749515E7
AT ITER 3036 NEW BEST:: SOT 301224875 SOS 68038108 HAS SOPS 68038108 HAS SOUS 41291304 HAS SOUPS 41291304 WITH SCORE 4.1359342108E7
AT ITER 3044 NEW BEST:: SOT 301224874 SOS 68038106 HAS SOPS 68038106 HAS SOUS 41291302 HAS SOUPS 41291302 WITH SCORE 4.1359340106E7
AT ITER 3074 NEW BEST:: SOT 301224754 SOS 68037866 HAS SOPS 68037866 HAS SOUS 41291062 HAS SOUPS 41291062 WITH SCORE 4.1359099866E7
AT ITER 3100 NEW BEST:: SOT 301222180 SOS 68036575 HAS SOPS 68036575 HAS SOUS 41289774 HAS SOUPS 41289774 WITH SCORE 4.1357810575E7
AT ITER 3105 NEW BEST:: SOT 301220668 SOS 68041057 HAS SOPS 68041057 HAS SOUS 41287452 HAS SOUPS 41287452 WITH SCORE 4.1355493057E7
AT ITER 3128 NEW BEST:: SOT 301220668 SOS 68041057 HAS SOPS 68041057 HAS SOUS 41285966 HAS SOUPS 41285966 WITH SCORE 4.1354007057E7
AT ITER 3158 NEW BEST:: SOT 301219413 SOS 68039802 HAS SOPS 68039802 HAS SOUS 41284711 HAS SOUPS 41284711 WITH SCORE 4.1352750802E7
AT ITER 3163 NEW BEST:: SOT 301219508 SOS 68039992 HAS SOPS 68039992 HAS SOUS 41279847 HAS SOUPS 41279847 WITH SCORE 4.1347886992E7
AT ITER 3174 NEW BEST:: SOT 301217365 SOS 68035706 HAS SOPS 68035706 HAS SOUS 41277704 HAS SOUPS 41277704 WITH SCORE 4.1345739706E7
AT ITER 3181 NEW BEST:: SOT 301215197 SOS 68035696 HAS SOPS 68035696 HAS SOUS 41276231 HAS SOUPS 41276231 WITH SCORE 4.1344266696E7
AT ITER 3222 NEW BEST:: SOT 301211874 SOS 68032369 HAS SOPS 68032369 HAS SOUS 41272907 HAS SOUPS 41272907 WITH SCORE 4.1340939369E7
AT ITER 3239 NEW BEST:: SOT 301211874 SOS 68029174 HAS SOPS 68029174 HAS SOUS 41271842 HAS SOUPS 41271842 WITH SCORE 4.1339871174E7
AT ITER 3240 NEW BEST:: SOT 301211874 SOS 68029174 HAS SOPS 68029174 HAS SOUS 41271841 HAS SOUPS 41271841 WITH SCORE 4.1339870174E7
AT ITER 3241 NEW BEST:: SOT 301210886 SOS 68027198 HAS SOPS 68027198 HAS SOUS 41269865 HAS SOUPS 41269865 WITH SCORE 4.1337892198E7
AT ITER 3270 NEW BEST:: SOT 301210566 SOS 68026558 HAS SOPS 68026558 HAS SOUS 41269225 HAS SOUPS 41269225 WITH SCORE 4.1337251558E7
AT ITER 3284 NEW BEST:: SOT 301207801 SOS 68021028 HAS SOPS 68021028 HAS SOUS 41261468 HAS SOUPS 41261468 WITH SCORE 4.1329489028E7
AT ITER 3291 NEW BEST:: SOT 301204534 SOS 68018850 HAS SOPS 68018850 HAS SOUS 41259290 HAS SOUPS 41259290 WITH SCORE 4.132730885E7
AT ITER 3315 NEW BEST:: SOT 301202318 SOS 68017522 HAS SOPS 68017522 HAS SOUS 41257965 HAS SOUPS 41257965 WITH SCORE 4.1325982522E7
AT ITER 3323 NEW BEST:: SOT 301067309 SOS 68094384 HAS SOPS 68094384 HAS SOUS 41123826 HAS SOUPS 41123826 WITH SCORE 4.1191920384E7
AT ITER 3344 NEW BEST:: SOT 301065219 SOS 68093085 HAS SOPS 68093085 HAS SOUS 41122527 HAS SOUPS 41122527 WITH SCORE 4.1190620085E7
AT ITER 3352 NEW BEST:: SOT 301065219 SOS 68091081 HAS SOPS 68091081 HAS SOUS 41122526 HAS SOUPS 41122526 WITH SCORE 4.1190617081E7
AT ITER 3354 NEW BEST:: SOT 301063483 SOS 68088564 HAS SOPS 68088564 HAS SOUS 41120009 HAS SOUPS 41120009 WITH SCORE 4.1188097564E7
AT ITER 3423 NEW BEST:: SOT 301058629 SOS 68078856 HAS SOPS 68078856 HAS SOUS 41110301 HAS SOUPS 41110301 WITH SCORE 4.1178379856E7
AT ITER 3487 NEW BEST:: SOT 301058629 SOS 68077869 HAS SOPS 68077869 HAS SOUS 41110300 HAS SOUPS 41110300 WITH SCORE 4.1178377869E7
AT ITER 3492 NEW BEST:: SOT 301058629 SOS 68075982 HAS SOPS 68075982 HAS SOUS 41110300 HAS SOUPS 41110300 WITH SCORE 4.1178375982E7
AT ITER 3505 NEW BEST:: SOT 301058629 SOS 68067651 HAS SOPS 68067651 HAS SOUS 41107523 HAS SOUPS 41107523 WITH SCORE 4.1175590651E7
AT ITER 3513 NEW BEST:: SOT 301058629 SOS 68067651 HAS SOPS 68067651 HAS SOUS 41107178 HAS SOUPS 41107178 WITH SCORE 4.1175245651E7
AT ITER 3543 NEW BEST:: SOT 301058629 SOS 68064111 HAS SOPS 68064111 HAS SOUS 41105998 HAS SOUPS 41105998 WITH SCORE 4.1174062111E7
AT ITER 3553 NEW BEST:: SOT 301058629 SOS 68064111 HAS SOPS 68064111 HAS SOUS 41105339 HAS SOUPS 41105339 WITH SCORE 4.1173403111E7
AT ITER 3556 NEW BEST:: SOT 301056772 SOS 68062254 HAS SOPS 68062254 HAS SOUS 41103482 HAS SOUPS 41103482 WITH SCORE 4.1171544254E7
AT ITER 3567 NEW BEST:: SOT 301052254 SOS 68053218 HAS SOPS 68053218 HAS SOUS 41094446 HAS SOUPS 41094446 WITH SCORE 4.1162499218E7
AT ITER 3570 NEW BEST:: SOT 301051297 SOS 68051304 HAS SOPS 68051304 HAS SOUS 41090688 HAS SOUPS 41090688 WITH SCORE 4.1158739304E7
AT ITER 3581 NEW BEST:: SOT 301051297 SOS 68051304 HAS SOPS 68051304 HAS SOUS 41090687 HAS SOUPS 41090687 WITH SCORE 4.1158738304E7
AT ITER 3597 NEW BEST:: SOT 301048576 SOS 68070351 HAS SOPS 68070351 HAS SOUS 41087966 HAS SOUPS 41087966 WITH SCORE 4.1156036351E7
AT ITER 3614 NEW BEST:: SOT 301047651 SOS 68068501 HAS SOPS 68068501 HAS SOUS 41084936 HAS SOUPS 41084936 WITH SCORE 4.1153004501E7
AT ITER 3639 NEW BEST:: SOT 301047651 SOS 68067439 HAS SOPS 68067439 HAS SOUS 41084936 HAS SOUPS 41084936 WITH SCORE 4.1153003439E7
AT ITER 3650 NEW BEST:: SOT 301047049 SOS 68066235 HAS SOPS 68066235 HAS SOUS 41084822 HAS SOUPS 41084822 WITH SCORE 4.1152888235E7
AT ITER 3651 NEW BEST:: SOT 301047049 SOS 68065329 HAS SOPS 68065329 HAS SOUS 41084821 HAS SOUPS 41084821 WITH SCORE 4.1152886329E7
AT ITER 3698 NEW BEST:: SOT 301043744 SOS 68064000 HAS SOPS 68064000 HAS SOUS 41082520 HAS SOUPS 41082520 WITH SCORE 4.1150584E7
AT ITER 3733 NEW BEST:: SOT 301040649 SOS 68060901 HAS SOPS 68060901 HAS SOUS 41079424 HAS SOUPS 41079424 WITH SCORE 4.1147484901E7
AT ITER 3735 NEW BEST:: SOT 301036849 SOS 68064701 HAS SOPS 68064701 HAS SOUS 41074376 HAS SOUPS 41074376 WITH SCORE 4.1142440701E7
AT ITER 3741 NEW BEST:: SOT 301036849 SOS 68063190 HAS SOPS 68063190 HAS SOUS 41074376 HAS SOUPS 41074376 WITH SCORE 4.114243919E7
AT ITER 3756 NEW BEST:: SOT 301036849 SOS 68061572 HAS SOPS 68061572 HAS SOUS 41072758 HAS SOUPS 41072758 WITH SCORE 4.1140819572E7
AT ITER 3760 NEW BEST:: SOT 301033607 SOS 68045362 HAS SOPS 68045362 HAS SOUS 41066274 HAS SOUPS 41066274 WITH SCORE 4.1134319362E7
AT ITER 3766 NEW BEST:: SOT 301031985 SOS 68044551 HAS SOPS 68044551 HAS SOUS 41065463 HAS SOUPS 41065463 WITH SCORE 4.1133507551E7
AT ITER 3769 NEW BEST:: SOT 301031985 SOS 68043083 HAS SOPS 68043083 HAS SOUS 41063995 HAS SOUPS 41063995 WITH SCORE 4.1132038083E7
AT ITER 3777 NEW BEST:: SOT 301030751 SOS 68045551 HAS SOPS 68045551 HAS SOUS 41062795 HAS SOUPS 41062795 WITH SCORE 4.1130840551E7
AT ITER 3780 NEW BEST:: SOT 301029365 SOS 68044165 HAS SOPS 68044165 HAS SOUS 41061409 HAS SOUPS 41061409 WITH SCORE 4.1129453165E7
AT ITER 3784 NEW BEST:: SOT 301027205 SOS 68042001 HAS SOPS 68042001 HAS SOUS 41059248 HAS SOUPS 41059248 WITH SCORE 4.1127290001E7
AT ITER 3789 NEW BEST:: SOT 301027205 SOS 68041113 HAS SOPS 68041113 HAS SOUS 41058952 HAS SOUPS 41058952 WITH SCORE 4.1126993113E7
AT ITER 3791 NEW BEST:: SOT 301027204 SOS 68041111 HAS SOPS 68041111 HAS SOUS 41058950 HAS SOUPS 41058950 WITH SCORE 4.1126991111E7
AT ITER 3823 NEW BEST:: SOT 301025512 SOS 68040265 HAS SOPS 68040265 HAS SOUS 41058104 HAS SOUPS 41058104 WITH SCORE 4.1126144265E7
AT ITER 3876 NEW BEST:: SOT 301022584 SOS 68034409 HAS SOPS 68034409 HAS SOUS 41052248 HAS SOUPS 41052248 WITH SCORE 4.1120282409E7
AT ITER 3890 NEW BEST:: SOT 301021796 SOS 68032833 HAS SOPS 68032833 HAS SOUS 41050034 HAS SOUPS 41050034 WITH SCORE 4.1118066833E7
AT ITER 3933 NEW BEST:: SOT 301020548 SOS 68031585 HAS SOPS 68031585 HAS SOUS 41048786 HAS SOUPS 41048786 WITH SCORE 4.1116817585E7
AT ITER 3938 NEW BEST:: SOT 301018336 SOS 68027161 HAS SOPS 68027161 HAS SOUS 41044362 HAS SOUPS 41044362 WITH SCORE 4.1112389161E7
AT ITER 3947 NEW BEST:: SOT 301018028 SOS 68026769 HAS SOPS 68026769 HAS SOUS 41044110 HAS SOUPS 41044110 WITH SCORE 4.1112136769E7
AT ITER 3962 NEW BEST:: SOT 301014243 SOS 68026600 HAS SOPS 68026600 HAS SOUS 41043178 HAS SOUPS 41043178 WITH SCORE 4.11112046E7
AT ITER 3973 NEW BEST:: SOT 301014243 SOS 68026600 HAS SOPS 68026600 HAS SOUS 41038401 HAS SOUPS 41038401 WITH SCORE 4.11064276E7
AT ITER 4038 NEW BEST:: SOT 301012725 SOS 68025082 HAS SOPS 68025082 HAS SOUS 41038401 HAS SOUPS 41038401 WITH SCORE 4.1106426082E7
AT ITER 4082 NEW BEST:: SOT 301011627 SOS 68026176 HAS SOPS 68026176 HAS SOUS 41036204 HAS SOUPS 41036204 WITH SCORE 4.1104230176E7
AT ITER 4098 NEW BEST:: SOT 301009968 SOS 68024517 HAS SOPS 68024517 HAS SOUS 41034545 HAS SOUPS 41034545 WITH SCORE 4.1102569517E7
AT ITER 4101 NEW BEST:: SOT 301009968 SOS 68024517 HAS SOPS 68024517 HAS SOUS 41034544 HAS SOUPS 41034544 WITH SCORE 4.1102568517E7
AT ITER 4104 NEW BEST:: SOT 301009907 SOS 68024395 HAS SOPS 68024395 HAS SOUS 41034422 HAS SOUPS 41034422 WITH SCORE 4.1102446395E7
AT ITER 4108 NEW BEST:: SOT 301009907 SOS 68024115 HAS SOPS 68024115 HAS SOUS 41034282 HAS SOUPS 41034282 WITH SCORE 4.1102306115E7
AT ITER 4134 NEW BEST:: SOT 301009907 SOS 68025773 HAS SOPS 68025773 HAS SOUS 41034280 HAS SOUPS 41034280 WITH SCORE 4.1102305773E7
AT ITER 4141 NEW BEST:: SOT 301009399 SOS 68025725 HAS SOPS 68025725 HAS SOUS 41034232 HAS SOUPS 41034232 WITH SCORE 4.1102257725E7
AT ITER 4157 NEW BEST:: SOT 300979777 SOS 68666265 HAS SOPS 68666265 HAS SOUS 41018964 HAS SOUPS 41018964 WITH SCORE 4.1087630265E7
AT ITER 4162 NEW BEST:: SOT 300979622 SOS 68666264 HAS SOPS 68666264 HAS SOUS 41018963 HAS SOUPS 41018963 WITH SCORE 4.1087629264E7
AT ITER 4173 NEW BEST:: SOT 300978619 SOS 68675611 HAS SOPS 68675611 HAS SOUS 41018255 HAS SOUPS 41018255 WITH SCORE 4.1086930611E7
AT ITER 4193 NEW BEST:: SOT 300977779 SOS 68677287 HAS SOPS 68677287 HAS SOUS 41017414 HAS SOUPS 41017414 WITH SCORE 4.1086091287E7
AT ITER 4215 NEW BEST:: SOT 300977779 SOS 68675693 HAS SOPS 68675693 HAS SOUS 41017414 HAS SOUPS 41017414 WITH SCORE 4.1086089693E7
AT ITER 4248 NEW BEST:: SOT 300976743 SOS 68679364 HAS SOPS 68679364 HAS SOUS 41014544 HAS SOUPS 41014544 WITH SCORE 4.1083223364E7
AT ITER 4265 NEW BEST:: SOT 300976073 SOS 68680092 HAS SOPS 68680092 HAS SOUS 41013882 HAS SOUPS 41013882 WITH SCORE 4.1082562092E7
AT ITER 4314 NEW BEST:: SOT 300972956 SOS 68673858 HAS SOPS 68673858 HAS SOUS 41006579 HAS SOUPS 41006579 WITH SCORE 4.1075252858E7
AT ITER 4330 NEW BEST:: SOT 300972286 SOS 68673324 HAS SOPS 68673324 HAS SOUS 41006045 HAS SOUPS 41006045 WITH SCORE 4.1074718324E7
AT ITER 4368 NEW BEST:: SOT 300970638 SOS 68670028 HAS SOPS 68670028 HAS SOUS 41002749 HAS SOUPS 41002749 WITH SCORE 4.1071419028E7
AT ITER 4374 NEW BEST:: SOT 300970359 SOS 68666597 HAS SOPS 68666597 HAS SOUS 40997831 HAS SOUPS 40997831 WITH SCORE 4.1066497597E7
AT ITER 4403 NEW BEST:: SOT 300970297 SOS 68666157 HAS SOPS 68666157 HAS SOUS 40997391 HAS SOUPS 40997391 WITH SCORE 4.1066057157E7
AT ITER 4404 NEW BEST:: SOT 300967947 SOS 68682607 HAS SOPS 68682607 HAS SOUS 40995041 HAS SOUPS 40995041 WITH SCORE 4.1063723607E7
AT ITER 4407 NEW BEST:: SOT 300967947 SOS 68682267 HAS SOPS 68682267 HAS SOUS 40994871 HAS SOUPS 40994871 WITH SCORE 4.1063553267E7
AT ITER 4431 NEW BEST:: SOT 300966302 SOS 68569257 HAS SOPS 68569257 HAS SOUS 40991538 HAS SOUPS 40991538 WITH SCORE 4.1060107257E7
AT ITER 4475 NEW BEST:: SOT 300961957 SOS 68564912 HAS SOPS 68564912 HAS SOUS 40987193 HAS SOUPS 40987193 WITH SCORE 4.1055757912E7
AT ITER 4487 NEW BEST:: SOT 300960847 SOS 68561582 HAS SOPS 68561582 HAS SOUS 40986083 HAS SOUPS 40986083 WITH SCORE 4.1054644582E7
AT ITER 4493 NEW BEST:: SOT 300960847 SOS 68559638 HAS SOPS 68559638 HAS SOUS 40986083 HAS SOUPS 40986083 WITH SCORE 4.1054642638E7
AT ITER 4497 NEW BEST:: SOT 300960342 SOS 68559635 HAS SOPS 68559635 HAS SOUS 40986082 HAS SOUPS 40986082 WITH SCORE 4.1054641635E7
AT ITER 4499 NEW BEST:: SOT 300959265 SOS 68560712 HAS SOPS 68560712 HAS SOUS 40985005 HAS SOUPS 40985005 WITH SCORE 4.1053565712E7
AT ITER 4529 NEW BEST:: SOT 300959024 SOS 68559748 HAS SOPS 68559748 HAS SOUS 40984764 HAS SOUPS 40984764 WITH SCORE 4.1053323748E7
AT ITER 4546 NEW BEST:: SOT 300958761 SOS 68559485 HAS SOPS 68559485 HAS SOUS 40984501 HAS SOUPS 40984501 WITH SCORE 4.1053060485E7
AT ITER 4559 NEW BEST:: SOT 300956599 SOS 68557323 HAS SOPS 68557323 HAS SOUS 40982339 HAS SOUPS 40982339 WITH SCORE 4.1050896323E7
AT ITER 4573 NEW BEST:: SOT 300956599 SOS 68557323 HAS SOPS 68557323 HAS SOUS 40982338 HAS SOUPS 40982338 WITH SCORE 4.1050895323E7
AT ITER 4581 NEW BEST:: SOT 300956005 SOS 68575160 HAS SOPS 68575160 HAS SOUS 40981149 HAS SOUPS 40981149 WITH SCORE 4.104972416E7
AT ITER 4604 NEW BEST:: SOT 300954053 SOS 68574066 HAS SOPS 68574066 HAS SOUS 40980055 HAS SOUPS 40980055 WITH SCORE 4.1048629066E7
AT ITER 4616 NEW BEST:: SOT 300943849 SOS 68625191 HAS SOPS 68625191 HAS SOUS 40978809 HAS SOUPS 40978809 WITH SCORE 4.1047434191E7
AT ITER 4620 NEW BEST:: SOT 300943730 SOS 68624953 HAS SOPS 68624953 HAS SOUS 40978571 HAS SOUPS 40978571 WITH SCORE 4.1047195953E7
AT ITER 4623 NEW BEST:: SOT 300942533 SOS 68626146 HAS SOPS 68626146 HAS SOUS 40977373 HAS SOUPS 40977373 WITH SCORE 4.1045999146E7
AT ITER 4624 NEW BEST:: SOT 300941346 SOS 68624959 HAS SOPS 68624959 HAS SOUS 40976186 HAS SOUPS 40976186 WITH SCORE 4.1044810959E7
AT ITER 4667 NEW BEST:: SOT 300936600 SOS 68624957 HAS SOPS 68624957 HAS SOUS 40976184 HAS SOUPS 40976184 WITH SCORE 4.1044808957E7
AT ITER 4690 NEW BEST:: SOT 300935959 SOS 68629434 HAS SOPS 68629434 HAS SOUS 40974901 HAS SOUPS 40974901 WITH SCORE 4.1043530434E7
AT ITER 4704 NEW BEST:: SOT 300935959 SOS 68629764 HAS SOPS 68629764 HAS SOUS 40974899 HAS SOUPS 40974899 WITH SCORE 4.1043528764E7
AT ITER 4709 NEW BEST:: SOT 300935919 SOS 68630064 HAS SOPS 68630064 HAS SOUS 40974857 HAS SOUPS 40974857 WITH SCORE 4.1043487064E7
AT ITER 4721 NEW BEST:: SOT 300932727 SOS 68626872 HAS SOPS 68626872 HAS SOUS 40971665 HAS SOUPS 40971665 WITH SCORE 4.1040291872E7
AT ITER 4732 NEW BEST:: SOT 300927216 SOS 68622864 HAS SOPS 68622864 HAS SOUS 40969160 HAS SOUPS 40969160 WITH SCORE 4.1037782864E7
AT ITER 4760 NEW BEST:: SOT 300925563 SOS 68619559 HAS SOPS 68619559 HAS SOUS 40965855 HAS SOUPS 40965855 WITH SCORE 4.1034474559E7
AT ITER 4806 NEW BEST:: SOT 300921165 SOS 68614428 HAS SOPS 68614428 HAS SOUS 40964781 HAS SOUPS 40964781 WITH SCORE 4.1033395428E7
AT ITER 4814 NEW BEST:: SOT 300919916 SOS 68613179 HAS SOPS 68613179 HAS SOUS 40963532 HAS SOUPS 40963532 WITH SCORE 4.1032145179E7
AT ITER 4838 NEW BEST:: SOT 300919915 SOS 68613177 HAS SOPS 68613177 HAS SOUS 40963530 HAS SOUPS 40963530 WITH SCORE 4.1032143177E7
AT ITER 4900 NEW BEST:: SOT 300919915 SOS 68622587 HAS SOPS 68622587 HAS SOUS 40963027 HAS SOUPS 40963027 WITH SCORE 4.1031649587E7
AT ITER 4902 NEW BEST:: SOT 300916479 SOS 68620869 HAS SOPS 68620869 HAS SOUS 40961309 HAS SOUPS 40961309 WITH SCORE 4.1029929869E7
AT ITER 4910 NEW BEST:: SOT 300914855 SOS 68617622 HAS SOPS 68617622 HAS SOUS 40958062 HAS SOUPS 40958062 WITH SCORE 4.1026679622E7
AT ITER 4921 NEW BEST:: SOT 300912123 SOS 68614890 HAS SOPS 68614890 HAS SOUS 40955330 HAS SOUPS 40955330 WITH SCORE 4.102394489E7
AT ITER 4924 NEW BEST:: SOT 300910982 SOS 68612608 HAS SOPS 68612608 HAS SOUS 40952096 HAS SOUPS 40952096 WITH SCORE 4.1020708608E7
AT ITER 4941 NEW BEST:: SOT 300909557 SOS 68612604 HAS SOPS 68612604 HAS SOUS 40950670 HAS SOUPS 40950670 WITH SCORE 4.1019282604E7
AT ITER 4942 NEW BEST:: SOT 300906267 SOS 68609310 HAS SOPS 68609310 HAS SOUS 40947379 HAS SOUPS 40947379 WITH SCORE 4.101598831E7
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-00 (EX( ( potential( (tk(P11299)) <= (tk(P13611)) ) & (EG( potential( (tk(P9213)) <= (tk(P16464)) ))) )))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-01 ( ( (EG( (! potential( ( 3 ) <= (tk(P413)) )))) & (AF(( potential( (tk(P1927)) <= (tk(P10359)) ) & potential( ( 3 ) <= (tk(P15380)) ) ))) ) & (EX( ( ( potential( (tk(P3319)) <= (tk(P15841)) ) & potential( (tk(P6106)) <= (tk(P9699)) ) ) | ( potential( (tk(P15814)) <= (tk(P13377)) ) & potential( (tk(P222)) <= (tk(P2614)) ) ) ))) )
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-02 (AU( (EG( potential( (tk(P7874)) <= (tk(P14079)) ))),( (! potential( (tk(P6179)) <= (tk(P750)) )) & (! potential( (tk(P3652)) <= (tk(P16924)) )) ) ))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-03 (EF((! ( ( potential( (tk(P17294)) <= (tk(P15565)) ) | potential( (tk(P12578)) <= (tk(P13034)) ) ) | (! potential( ( 1 ) <= (tk(P15321)) )) ))))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-04 (! (EX( (EG( potential( (tk(P16782)) <= (tk(P4634)) ))))))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-05 ( (! ( (EF(potential( ( 3 ) <= (tk(P2449)) ))) & potential( (tk(P6002)) <= (tk(P8901)) ) )) | potential( ( 1 ) <= (tk(P15888)) ) )
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-06 ( (AF(( potential( ( 3 ) <= (tk(P2720)) ) | (! potential( (tk(P16383)) <= (tk(P1882)) )) ))) | (! ( (EF(potential( ( 2 ) <= (tk(P46)) ))) & ( potential( (tk(P13068)) <= (tk(P10374)) ) & potential( (tk(P9168)) <= (tk(P5556)) ) ) )) )
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-07 ( (! (EF((! potential( (tk(P16496)) <= (tk(P16343)) ))))) & (EF(( (! potential( (tk(P11731)) <= (tk(P5178)) )) & ( potential( (tk(P2567)) <= (tk(P2041)) ) | potential( ( 2 ) <= (tk(P6943)) ) ) ))) )
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-08 ( (EF((AG( potential( (tk(P4393)) <= (tk(P7271)) ))))) | potential( ( 1 ) <= (tk(P5858)) ) )
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-09 (EG( ( (AX( potential( (tk(P16525)) <= (tk(P16329)) ))) | ( ( potential( (tk(P3823)) <= (tk(P9413)) ) & potential( (tk(P6756)) <= (tk(P11159)) ) ) & ( potential( (tk(P9651)) <= (tk(P16303)) ) & potential( ( 1 ) <= (tk(P6878)) ) ) ) )))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-10 (AF((! ( ( potential( ( 1 ) <= (tk(P16221)) ) & potential( ( 3 ) <= (tk(P4701)) ) ) | ( potential( ( 1 ) <= (tk(P8862)) ) | potential( (tk(P14149)) <= (tk(P13904)) ) ) ))))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-11 (EG( (EF(potential( (tk(P11566)) <= (tk(P10209)) )))))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-12 (EF((EU( potential( (tk(P8902)) <= (tk(P16243)) ),potential( ( 3 ) <= (tk(P704)) ) ))))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-13 ( (AX( ( (! potential( (tk(P8749)) <= (tk(P15890)) )) & (! potential( (tk(P13794)) <= (tk(P9116)) )) ))) | (! (! (AG( potential( (tk(P2872)) <= (tk(P11822)) ))))) )
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-14 (! ( ( ( (! potential( ( 1 ) <= (tk(P305)) )) | ( potential( (tk(P1677)) <= (tk(P10796)) ) | potential( (tk(P6965)) <= (tk(P13863)) ) ) ) & (! potential( ( 1 ) <= (tk(P8016)) )) ) & (EG( potential( (tk(P7413)) <= (tk(P2584)) ))) ))
PROPERTY: DLCflexbar-PT-5b-CTLCardinality-15 (EU( potential( (tk(P8549)) <= (tk(P13117)) ),( ( potential( ( 1 ) <= (tk(P831)) ) | potential( ( 2 ) <= (tk(P10285)) ) ) & potential( ( 2 ) <= (tk(P351)) ) ) ))

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="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-5b, 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-158902542100395"
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 [ "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 ;