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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15771.180 3600000.00 3600080.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-158902542100412.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100412
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1589117802138

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 6b
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: 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 4 NEW BEST:: SOT 653959744 SOS 151557645 HAS SOPS 151557645 HAS SOUS 89849236 HAS SOUPS 89849236 WITH SCORE 9.0000793645E7
AT ITER 23 NEW BEST:: SOT 653959743 SOS 151557643 HAS SOPS 151557643 HAS SOUS 89849234 HAS SOUPS 89849234 WITH SCORE 9.0000791643E7
AT ITER 56 NEW BEST:: SOT 653958548 SOS 151557374 HAS SOPS 151557374 HAS SOUS 89848746 HAS SOUPS 89848746 WITH SCORE 9.0000303374E7
AT ITER 70 NEW BEST:: SOT 653954907 SOS 151557364 HAS SOPS 151557364 HAS SOUS 89846615 HAS SOUPS 89846615 WITH SCORE 8.9998172364E7
AT ITER 96 NEW BEST:: SOT 653954611 SOS 151556773 HAS SOPS 151556773 HAS SOUS 89846577 HAS SOUPS 89846577 WITH SCORE 8.9998133773E7
AT ITER 143 NEW BEST:: SOT 653954611 SOS 151549513 HAS SOPS 151549513 HAS SOUS 89844157 HAS SOUPS 89844157 WITH SCORE 8.9995706513E7
AT ITER 203 NEW BEST:: SOT 653954611 SOS 151536577 HAS SOPS 151536577 HAS SOUS 89844156 HAS SOUPS 89844156 WITH SCORE 8.9995692577E7
AT ITER 208 NEW BEST:: SOT 653954498 SOS 151536351 HAS SOPS 151536351 HAS SOUS 89843930 HAS SOUPS 89843930 WITH SCORE 8.9995466351E7
AT ITER 212 NEW BEST:: SOT 653948413 SOS 151530991 HAS SOPS 151530991 HAS SOUS 89837845 HAS SOUPS 89837845 WITH SCORE 8.9989375991E7
AT ITER 250 NEW BEST:: SOT 653948412 SOS 151530989 HAS SOPS 151530989 HAS SOUS 89837843 HAS SOUPS 89837843 WITH SCORE 8.9989373989E7
AT ITER 278 NEW BEST:: SOT 653947534 SOS 151530489 HAS SOPS 151530489 HAS SOUS 89837343 HAS SOUPS 89837343 WITH SCORE 8.9988873489E7
AT ITER 307 NEW BEST:: SOT 653941963 SOS 151571442 HAS SOPS 151571442 HAS SOUS 89835029 HAS SOUPS 89835029 WITH SCORE 8.9986600442E7
AT ITER 353 NEW BEST:: SOT 653936581 SOS 151566056 HAS SOPS 151566056 HAS SOUS 89829646 HAS SOUPS 89829646 WITH SCORE 8.9981212056E7
AT ITER 359 NEW BEST:: SOT 653939317 SOS 151590310 HAS SOPS 151590310 HAS SOUS 89828855 HAS SOUPS 89828855 WITH SCORE 8.998044531E7
AT ITER 389 NEW BEST:: SOT 653939317 SOS 151590310 HAS SOPS 151590310 HAS SOUS 89828854 HAS SOUPS 89828854 WITH SCORE 8.998044431E7
AT ITER 462 NEW BEST:: SOT 653938439 SOS 151588554 HAS SOPS 151588554 HAS SOUS 89827098 HAS SOUPS 89827098 WITH SCORE 8.9978686554E7
AT ITER 465 NEW BEST:: SOT 653940796 SOS 151588552 HAS SOPS 151588552 HAS SOUS 89827097 HAS SOUPS 89827097 WITH SCORE 8.9978685552E7
AT ITER 511 NEW BEST:: SOT 653940796 SOS 151580608 HAS SOPS 151580608 HAS SOUS 89825206 HAS SOUPS 89825206 WITH SCORE 8.9976786608E7
AT ITER 527 NEW BEST:: SOT 653936686 SOS 151578553 HAS SOPS 151578553 HAS SOUS 89823151 HAS SOUPS 89823151 WITH SCORE 8.9974729553E7
AT ITER 534 NEW BEST:: SOT 653936413 SOS 151578007 HAS SOPS 151578007 HAS SOUS 89822878 HAS SOUPS 89822878 WITH SCORE 8.9974456007E7
AT ITER 562 NEW BEST:: SOT 653934073 SOS 151575667 HAS SOPS 151575667 HAS SOUS 89822878 HAS SOUPS 89822878 WITH SCORE 8.9974453667E7
AT ITER 574 NEW BEST:: SOT 653933363 SOS 151575664 HAS SOPS 151575664 HAS SOUS 89822877 HAS SOUPS 89822877 WITH SCORE 8.9974452664E7
AT ITER 602 NEW BEST:: SOT 653933363 SOS 151572112 HAS SOPS 151572112 HAS SOUS 89821693 HAS SOUPS 89821693 WITH SCORE 8.9973265112E7
AT ITER 609 NEW BEST:: SOT 653932523 SOS 151570432 HAS SOPS 151570432 HAS SOUS 89820852 HAS SOUPS 89820852 WITH SCORE 8.9972422432E7
AT ITER 611 NEW BEST:: SOT 653932523 SOS 151588624 HAS SOPS 151588624 HAS SOUS 89818534 HAS SOUPS 89818534 WITH SCORE 8.9970122624E7
AT ITER 619 NEW BEST:: SOT 653929668 SOS 151595763 HAS SOPS 151595763 HAS SOUS 89814156 HAS SOUPS 89814156 WITH SCORE 8.9965751763E7
AT ITER 626 NEW BEST:: SOT 653922907 SOS 151521392 HAS SOPS 151521392 HAS SOUS 89800634 HAS SOUPS 89800634 WITH SCORE 8.9952155392E7
AT ITER 641 NEW BEST:: SOT 653916939 SOS 151518408 HAS SOPS 151518408 HAS SOUS 89794666 HAS SOUPS 89794666 WITH SCORE 8.9946184408E7
AT ITER 653 NEW BEST:: SOT 653899231 SOS 151511412 HAS SOPS 151511412 HAS SOUS 89791564 HAS SOUPS 89791564 WITH SCORE 8.9943075412E7
AT ITER 676 NEW BEST:: SOT 653897497 SOS 151507944 HAS SOPS 151507944 HAS SOUS 89789830 HAS SOUPS 89789830 WITH SCORE 8.9941337944E7
AT ITER 801 NEW BEST:: SOT 653893537 SOS 151503980 HAS SOPS 151503980 HAS SOUS 89785869 HAS SOUPS 89785869 WITH SCORE 8.993737298E7
AT ITER 839 NEW BEST:: SOT 653888587 SOS 151499729 HAS SOPS 151499729 HAS SOUS 89781621 HAS SOUPS 89781621 WITH SCORE 8.9933120729E7
AT ITER 918 NEW BEST:: SOT 653885647 SOS 151499048 HAS SOPS 151499048 HAS SOUS 89780943 HAS SOUPS 89780943 WITH SCORE 8.9932442048E7
AT ITER 929 NEW BEST:: SOT 653883953 SOS 151495660 HAS SOPS 151495660 HAS SOUS 89777555 HAS SOUPS 89777555 WITH SCORE 8.992905066E7
AT ITER 967 NEW BEST:: SOT 653878930 SOS 151491682 HAS SOPS 151491682 HAS SOUS 89773577 HAS SOUPS 89773577 WITH SCORE 8.9925068682E7
AT ITER 1008 NEW BEST:: SOT 653878029 SOS 151493177 HAS SOPS 151493177 HAS SOUS 89772676 HAS SOUPS 89772676 WITH SCORE 8.9924169177E7
AT ITER 1009 NEW BEST:: SOT 653878028 SOS 151493175 HAS SOPS 151493175 HAS SOUS 89772674 HAS SOUPS 89772674 WITH SCORE 8.9924167175E7
AT ITER 1014 NEW BEST:: SOT 653878028 SOS 151493175 HAS SOPS 151493175 HAS SOUS 89772673 HAS SOUPS 89772673 WITH SCORE 8.9924166175E7
AT ITER 1061 NEW BEST:: SOT 653876922 SOS 151490964 HAS SOPS 151490964 HAS SOUS 89770462 HAS SOUPS 89770462 WITH SCORE 8.9921952964E7
AT ITER 1091 NEW BEST:: SOT 653876501 SOS 151490963 HAS SOPS 151490963 HAS SOUS 89770461 HAS SOUPS 89770461 WITH SCORE 8.9921951963E7
AT ITER 1115 NEW BEST:: SOT 653874796 SOS 151494365 HAS SOPS 151494365 HAS SOUS 89768754 HAS SOUPS 89768754 WITH SCORE 8.9920248365E7
AT ITER 1123 NEW BEST:: SOT 653874023 SOS 151492819 HAS SOPS 151492819 HAS SOUS 89767208 HAS SOUPS 89767208 WITH SCORE 8.9918700819E7
AT ITER 1234 NEW BEST:: SOT 653872658 SOS 151492815 HAS SOPS 151492815 HAS SOUS 89766237 HAS SOUPS 89766237 WITH SCORE 8.9917729815E7
AT ITER 1251 NEW BEST:: SOT 653868062 SOS 151491915 HAS SOPS 151491915 HAS SOUS 89763015 HAS SOUPS 89763015 WITH SCORE 8.9914506915E7
AT ITER 1268 NEW BEST:: SOT 653868062 SOS 151479576 HAS SOPS 151479576 HAS SOUS 89758902 HAS SOUPS 89758902 WITH SCORE 8.9910381576E7
AT ITER 1286 NEW BEST:: SOT 653863395 SOS 151475296 HAS SOPS 151475296 HAS SOUS 89754622 HAS SOUPS 89754622 WITH SCORE 8.9906097296E7
AT ITER 1311 NEW BEST:: SOT 653863395 SOS 151465327 HAS SOPS 151465327 HAS SOUS 89751299 HAS SOUPS 89751299 WITH SCORE 8.9902764327E7
AT ITER 1316 NEW BEST:: SOT 653863395 SOS 151465327 HAS SOPS 151465327 HAS SOUS 89751143 HAS SOUPS 89751143 WITH SCORE 8.9902608327E7
AT ITER 1379 NEW BEST:: SOT 653863395 SOS 151465327 HAS SOPS 151465327 HAS SOUS 89751138 HAS SOUPS 89751138 WITH SCORE 8.9902603327E7
AT ITER 1403 NEW BEST:: SOT 653863394 SOS 151465325 HAS SOPS 151465325 HAS SOUS 89751136 HAS SOUPS 89751136 WITH SCORE 8.9902601325E7
AT ITER 1416 NEW BEST:: SOT 653857072 SOS 151459003 HAS SOPS 151459003 HAS SOUS 89744814 HAS SOUPS 89744814 WITH SCORE 8.9896273003E7
AT ITER 1421 NEW BEST:: SOT 653852960 SOS 151450779 HAS SOPS 151450779 HAS SOUS 89736590 HAS SOUPS 89736590 WITH SCORE 8.9888040779E7
AT ITER 1433 NEW BEST:: SOT 653852534 SOS 151449927 HAS SOPS 151449927 HAS SOUS 89735738 HAS SOUPS 89735738 WITH SCORE 8.9887187927E7
AT ITER 1437 NEW BEST:: SOT 653847174 SOS 151444567 HAS SOPS 151444567 HAS SOUS 89730378 HAS SOUPS 89730378 WITH SCORE 8.9881822567E7
AT ITER 1442 NEW BEST:: SOT 653847174 SOS 151444567 HAS SOPS 151444567 HAS SOUS 89730373 HAS SOUPS 89730373 WITH SCORE 8.9881817567E7
AT ITER 1465 NEW BEST:: SOT 653846208 SOS 151442635 HAS SOPS 151442635 HAS SOUS 89729407 HAS SOUPS 89729407 WITH SCORE 8.9880849635E7
AT ITER 1481 NEW BEST:: SOT 653846208 SOS 151442635 HAS SOPS 151442635 HAS SOUS 89729406 HAS SOUPS 89729406 WITH SCORE 8.9880848635E7
AT ITER 1493 NEW BEST:: SOT 653846207 SOS 151442633 HAS SOPS 151442633 HAS SOUS 89729404 HAS SOUPS 89729404 WITH SCORE 8.9880846633E7
AT ITER 1496 NEW BEST:: SOT 653842477 SOS 151438899 HAS SOPS 151438899 HAS SOUS 89725673 HAS SOUPS 89725673 WITH SCORE 8.9877111899E7
AT ITER 1510 NEW BEST:: SOT 653841759 SOS 151438181 HAS SOPS 151438181 HAS SOUS 89724955 HAS SOUPS 89724955 WITH SCORE 8.9876393181E7
AT ITER 1514 NEW BEST:: SOT 653838615 SOS 151435033 HAS SOPS 151435033 HAS SOUS 89721810 HAS SOUPS 89721810 WITH SCORE 8.9873245033E7
AT ITER 1516 NEW BEST:: SOT 653835757 SOS 151429317 HAS SOPS 151429317 HAS SOUS 89716094 HAS SOUPS 89716094 WITH SCORE 8.9867523317E7
AT ITER 1542 NEW BEST:: SOT 653836161 SOS 151430125 HAS SOPS 151430125 HAS SOUS 89713019 HAS SOUPS 89713019 WITH SCORE 8.9864449125E7
AT ITER 1543 NEW BEST:: SOT 653834830 SOS 151431456 HAS SOPS 151431456 HAS SOUS 89711688 HAS SOUPS 89711688 WITH SCORE 8.9863119456E7
AT ITER 1593 NEW BEST:: SOT 653834830 SOS 151418808 HAS SOPS 151418808 HAS SOUS 89711687 HAS SOUPS 89711687 WITH SCORE 8.9863105808E7
AT ITER 1606 NEW BEST:: SOT 653834010 SOS 151417168 HAS SOPS 151417168 HAS SOUS 89710047 HAS SOUPS 89710047 WITH SCORE 8.9861464168E7
AT ITER 1628 NEW BEST:: SOT 653832701 SOS 151509731 HAS SOPS 151509731 HAS SOUS 89709644 HAS SOUPS 89709644 WITH SCORE 8.9861153731E7
AT ITER 1652 NEW BEST:: SOT 653831316 SOS 151506961 HAS SOPS 151506961 HAS SOUS 89706874 HAS SOUPS 89706874 WITH SCORE 8.9858380961E7
AT ITER 1748 NEW BEST:: SOT 653824202 SOS 151502689 HAS SOPS 151502689 HAS SOUS 89701180 HAS SOUPS 89701180 WITH SCORE 8.9852682689E7
AT ITER 1755 NEW BEST:: SOT 653824202 SOS 151494217 HAS SOPS 151494217 HAS SOUS 89698356 HAS SOUPS 89698356 WITH SCORE 8.9849850217E7
AT ITER 1809 NEW BEST:: SOT 653824202 SOS 151494217 HAS SOPS 151494217 HAS SOUS 89693119 HAS SOUPS 89693119 WITH SCORE 8.9844613217E7
AT ITER 1831 NEW BEST:: SOT 653823159 SOS 151492131 HAS SOPS 151492131 HAS SOUS 89691033 HAS SOUPS 89691033 WITH SCORE 8.9842525131E7
AT ITER 1842 NEW BEST:: SOT 653823159 SOS 151490756 HAS SOPS 151490756 HAS SOUS 89691033 HAS SOUPS 89691033 WITH SCORE 8.9842523756E7
AT ITER 1855 NEW BEST:: SOT 653823159 SOS 151489806 HAS SOPS 151489806 HAS SOUS 89690558 HAS SOUPS 89690558 WITH SCORE 8.9842047806E7
AT ITER 1862 NEW BEST:: SOT 653823133 SOS 151505386 HAS SOPS 151505386 HAS SOUS 89688782 HAS SOUPS 89688782 WITH SCORE 8.9840287386E7
AT ITER 1911 NEW BEST:: SOT 653817314 SOS 151502532 HAS SOPS 151502532 HAS SOUS 89685891 HAS SOUPS 89685891 WITH SCORE 8.9837393532E7
AT ITER 1939 NEW BEST:: SOT 653816380 SOS 151500664 HAS SOPS 151500664 HAS SOUS 89684023 HAS SOUPS 89684023 WITH SCORE 8.9835523664E7
AT ITER 1950 NEW BEST:: SOT 653809286 SOS 151496404 HAS SOPS 151496404 HAS SOUS 89678345 HAS SOUPS 89678345 WITH SCORE 8.9829841404E7
AT ITER 1956 NEW BEST:: SOT 653809101 SOS 151496034 HAS SOPS 151496034 HAS SOUS 89677975 HAS SOUPS 89677975 WITH SCORE 8.9829471034E7
AT ITER 1986 NEW BEST:: SOT 653806674 SOS 151493607 HAS SOPS 151493607 HAS SOUS 89677974 HAS SOUPS 89677974 WITH SCORE 8.9829467607E7
AT ITER 2039 NEW BEST:: SOT 653803148 SOS 151486555 HAS SOPS 151486555 HAS SOUS 89674448 HAS SOUPS 89674448 WITH SCORE 8.9825934555E7
AT ITER 2059 NEW BEST:: SOT 653803148 SOS 151486098 HAS SOPS 151486098 HAS SOUS 89674448 HAS SOUPS 89674448 WITH SCORE 8.9825934098E7
AT ITER 2103 NEW BEST:: SOT 653799583 SOS 151498725 HAS SOPS 151498725 HAS SOUS 89667317 HAS SOUPS 89667317 WITH SCORE 8.9818815725E7
AT ITER 2104 NEW BEST:: SOT 653800212 SOS 151499983 HAS SOPS 151499983 HAS SOUS 89664489 HAS SOUPS 89664489 WITH SCORE 8.9815988983E7
AT ITER 2114 NEW BEST:: SOT 653800211 SOS 151499981 HAS SOPS 151499981 HAS SOUS 89664487 HAS SOUPS 89664487 WITH SCORE 8.9815986981E7
AT ITER 2128 NEW BEST:: SOT 653796969 SOS 151483771 HAS SOPS 151483771 HAS SOUS 89658003 HAS SOUPS 89658003 WITH SCORE 8.9809486771E7
AT ITER 2168 NEW BEST:: SOT 653793029 SOS 151479827 HAS SOPS 151479827 HAS SOUS 89654062 HAS SOUPS 89654062 WITH SCORE 8.9805541827E7
AT ITER 2183 NEW BEST:: SOT 653789564 SOS 151476358 HAS SOPS 151476358 HAS SOUS 89650596 HAS SOUPS 89650596 WITH SCORE 8.9802072358E7
AT ITER 2206 NEW BEST:: SOT 653788686 SOS 151475757 HAS SOPS 151475757 HAS SOUS 89649995 HAS SOUPS 89649995 WITH SCORE 8.9801470757E7
AT ITER 2211 NEW BEST:: SOT 653787241 SOS 151472867 HAS SOPS 151472867 HAS SOUS 89647105 HAS SOUPS 89647105 WITH SCORE 8.9798577867E7
AT ITER 2213 NEW BEST:: SOT 653777953 SOS 151479615 HAS SOPS 151479615 HAS SOUS 89645045 HAS SOUPS 89645045 WITH SCORE 8.9796524615E7
AT ITER 2231 NEW BEST:: SOT 653776787 SOS 151477283 HAS SOPS 151477283 HAS SOUS 89642713 HAS SOUPS 89642713 WITH SCORE 8.9794190283E7
AT ITER 2249 NEW BEST:: SOT 653773985 SOS 151474481 HAS SOPS 151474481 HAS SOUS 89639911 HAS SOUPS 89639911 WITH SCORE 8.9791385481E7
AT ITER 2274 NEW BEST:: SOT 653771266 SOS 151469043 HAS SOPS 151469043 HAS SOUS 89633847 HAS SOUPS 89633847 WITH SCORE 8.9785316043E7
AT ITER 2291 NEW BEST:: SOT 653766888 SOS 151447153 HAS SOPS 151447153 HAS SOUS 89625091 HAS SOUPS 89625091 WITH SCORE 8.9776538153E7
AT ITER 2312 NEW BEST:: SOT 653766888 SOS 151435519 HAS SOPS 151435519 HAS SOUS 89625090 HAS SOUPS 89625090 WITH SCORE 8.9776525519E7
AT ITER 2339 NEW BEST:: SOT 653763755 SOS 151434033 HAS SOPS 151434033 HAS SOUS 89623604 HAS SOUPS 89623604 WITH SCORE 8.9775038033E7
AT ITER 2358 NEW BEST:: SOT 653763260 SOS 151433043 HAS SOPS 151433043 HAS SOUS 89623109 HAS SOUPS 89623109 WITH SCORE 8.9774542043E7
AT ITER 2379 NEW BEST:: SOT 653758921 SOS 151428704 HAS SOPS 151428704 HAS SOUS 89618770 HAS SOUPS 89618770 WITH SCORE 8.9770198704E7
AT ITER 2411 NEW BEST:: SOT 653754228 SOS 151425631 HAS SOPS 151425631 HAS SOUS 89611745 HAS SOUPS 89611745 WITH SCORE 8.9763170631E7
AT ITER 2425 NEW BEST:: SOT 653755556 SOS 151428287 HAS SOPS 151428287 HAS SOUS 89609622 HAS SOUPS 89609622 WITH SCORE 8.9761050287E7
AT ITER 2483 NEW BEST:: SOT 653751240 SOS 151426129 HAS SOPS 151426129 HAS SOUS 89607464 HAS SOUPS 89607464 WITH SCORE 8.9758890129E7
AT ITER 2525 NEW BEST:: SOT 653743514 SOS 151418403 HAS SOPS 151418403 HAS SOUS 89599738 HAS SOUPS 89599738 WITH SCORE 8.9751156403E7
AT ITER 2579 NEW BEST:: SOT 653735405 SOS 151402185 HAS SOPS 151402185 HAS SOUS 89583520 HAS SOUPS 89583520 WITH SCORE 8.9734922185E7
AT ITER 2584 NEW BEST:: SOT 653734711 SOS 151401838 HAS SOPS 151401838 HAS SOUS 89583173 HAS SOUPS 89583173 WITH SCORE 8.9734574838E7
AT ITER 2607 NEW BEST:: SOT 653734711 SOS 151395646 HAS SOPS 151395646 HAS SOUS 89581109 HAS SOUPS 89581109 WITH SCORE 8.9732504646E7
AT ITER 2608 NEW BEST:: SOT 653733693 SOS 151395689 HAS SOPS 151395689 HAS SOUS 89579073 HAS SOUPS 89579073 WITH SCORE 8.9730468689E7
AT ITER 2623 NEW BEST:: SOT 653733693 SOS 151383827 HAS SOPS 151383827 HAS SOUS 89575119 HAS SOUPS 89575119 WITH SCORE 8.9726502827E7
AT ITER 2647 NEW BEST:: SOT 653729087 SOS 151379732 HAS SOPS 151379732 HAS SOUS 89571024 HAS SOUPS 89571024 WITH SCORE 8.9722403732E7
AT ITER 2699 NEW BEST:: SOT 653725515 SOS 151377922 HAS SOPS 151377922 HAS SOUS 89569213 HAS SOUPS 89569213 WITH SCORE 8.9720590922E7
AT ITER 2767 NEW BEST:: SOT 653722489 SOS 151374896 HAS SOPS 151374896 HAS SOUS 89566187 HAS SOUPS 89566187 WITH SCORE 8.9717561896E7
AT ITER 2801 NEW BEST:: SOT 653719545 SOS 151371952 HAS SOPS 151371952 HAS SOUS 89566187 HAS SOUPS 89566187 WITH SCORE 8.9717558952E7
AT ITER 2876 NEW BEST:: SOT 653715211 SOS 151367618 HAS SOPS 151367618 HAS SOUS 89561853 HAS SOUPS 89561853 WITH SCORE 8.9713220618E7
AT ITER 2903 NEW BEST:: SOT 653712556 SOS 151362308 HAS SOPS 151362308 HAS SOUS 89560884 HAS SOUPS 89560884 WITH SCORE 8.9712246308E7
AT ITER 2918 NEW BEST:: SOT 653712556 SOS 151354433 HAS SOPS 151354433 HAS SOUS 89560883 HAS SOUPS 89560883 WITH SCORE 8.9712237433E7
AT ITER 2921 NEW BEST:: SOT 653705600 SOS 151346805 HAS SOPS 151346805 HAS SOUS 89550448 HAS SOUPS 89550448 WITH SCORE 8.9701794805E7
AT ITER 2937 NEW BEST:: SOT 653705600 SOS 151336410 HAS SOPS 151336410 HAS SOUS 89550447 HAS SOUPS 89550447 WITH SCORE 8.970178341E7
AT ITER 3039 NEW BEST:: SOT 653702048 SOS 151332858 HAS SOPS 151332858 HAS SOUS 89546895 HAS SOUPS 89546895 WITH SCORE 8.9698227858E7
AT ITER 3047 NEW BEST:: SOT 653696134 SOS 151329901 HAS SOPS 151329901 HAS SOUS 89543938 HAS SOUPS 89543938 WITH SCORE 8.9695267901E7
AT ITER 3089 NEW BEST:: SOT 653697098 SOS 151327970 HAS SOPS 151327970 HAS SOUS 89543937 HAS SOUPS 89543937 WITH SCORE 8.969526497E7
AT ITER 3128 NEW BEST:: SOT 653696900 SOS 151327574 HAS SOPS 151327574 HAS SOUS 89543739 HAS SOUPS 89543739 WITH SCORE 8.9695066574E7
AT ITER 3155 NEW BEST:: SOT 653695260 SOS 151324294 HAS SOPS 151324294 HAS SOUS 89540459 HAS SOUPS 89540459 WITH SCORE 8.9691783294E7
AT ITER 3164 NEW BEST:: SOT 653667683 SOS 151304238 HAS SOPS 151304238 HAS SOUS 89530431 HAS SOUPS 89530431 WITH SCORE 8.9681735238E7
AT ITER 3227 NEW BEST:: SOT 653660205 SOS 151309319 HAS SOPS 151309319 HAS SOUS 89529632 HAS SOUPS 89529632 WITH SCORE 8.9680941319E7
AT ITER 3231 NEW BEST:: SOT 653660204 SOS 151309317 HAS SOPS 151309317 HAS SOUS 89529630 HAS SOUPS 89529630 WITH SCORE 8.9680939317E7
AT ITER 3270 NEW BEST:: SOT 653660204 SOS 151297644 HAS SOPS 151297644 HAS SOUS 89529630 HAS SOUPS 89529630 WITH SCORE 8.9680927644E7
AT ITER 3299 NEW BEST:: SOT 653659299 SOS 151295835 HAS SOPS 151295835 HAS SOUS 89527821 HAS SOUPS 89527821 WITH SCORE 8.9679116835E7
AT ITER 3323 NEW BEST:: SOT 653662368 SOS 151286844 HAS SOPS 151286844 HAS SOUS 89527381 HAS SOUPS 89527381 WITH SCORE 8.9678667844E7
AT ITER 3328 NEW BEST:: SOT 653661574 SOS 151285256 HAS SOPS 151285256 HAS SOUS 89525793 HAS SOUPS 89525793 WITH SCORE 8.9677078256E7
AT ITER 3335 NEW BEST:: SOT 653661574 SOS 151275980 HAS SOPS 151275980 HAS SOUS 89525793 HAS SOUPS 89525793 WITH SCORE 8.967706898E7
AT ITER 3338 NEW BEST:: SOT 653660810 SOS 151277508 HAS SOPS 151277508 HAS SOUS 89525029 HAS SOUPS 89525029 WITH SCORE 8.9676306508E7
AT ITER 3385 NEW BEST:: SOT 653660810 SOS 151270638 HAS SOPS 151270638 HAS SOUS 89522739 HAS SOUPS 89522739 WITH SCORE 8.9674009638E7
AT ITER 3410 NEW BEST:: SOT 653657062 SOS 151266890 HAS SOPS 151266890 HAS SOUS 89518991 HAS SOUPS 89518991 WITH SCORE 8.967025789E7
AT ITER 3430 NEW BEST:: SOT 653655649 SOS 151265477 HAS SOPS 151265477 HAS SOUS 89517578 HAS SOUPS 89517578 WITH SCORE 8.9668843477E7
AT ITER 3452 NEW BEST:: SOT 653655649 SOS 151254746 HAS SOPS 151254746 HAS SOUS 89514001 HAS SOUPS 89514001 WITH SCORE 8.9665255746E7
AT ITER 3456 NEW BEST:: SOT 653648783 SOS 151241014 HAS SOPS 151241014 HAS SOUS 89500269 HAS SOUPS 89500269 WITH SCORE 8.9651510014E7
AT ITER 3466 NEW BEST:: SOT 653648779 SOS 151241006 HAS SOPS 151241006 HAS SOUS 89500261 HAS SOUPS 89500261 WITH SCORE 8.9651502006E7
AT ITER 3482 NEW BEST:: SOT 653646135 SOS 151235718 HAS SOPS 151235718 HAS SOUS 89493707 HAS SOUPS 89493707 WITH SCORE 8.9644942718E7
AT ITER 3483 NEW BEST:: SOT 653643771 SOS 151228626 HAS SOPS 151228626 HAS SOUS 89490066 HAS SOUPS 89490066 WITH SCORE 8.9641294626E7
AT ITER 3527 NEW BEST:: SOT 653636739 SOS 151221594 HAS SOPS 151221594 HAS SOUS 89483034 HAS SOUPS 89483034 WITH SCORE 8.9634255594E7
AT ITER 3541 NEW BEST:: SOT 653630963 SOS 151223880 HAS SOPS 151223880 HAS SOUS 89477258 HAS SOUPS 89477258 WITH SCORE 8.962848188E7
AT ITER 3548 NEW BEST:: SOT 653630962 SOS 151223878 HAS SOPS 151223878 HAS SOUS 89477256 HAS SOUPS 89477256 WITH SCORE 8.9628479878E7
AT ITER 3569 NEW BEST:: SOT 653628750 SOS 151219454 HAS SOPS 151219454 HAS SOUS 89472832 HAS SOUPS 89472832 WITH SCORE 8.9624051454E7
AT ITER 3579 NEW BEST:: SOT 653622734 SOS 151213434 HAS SOPS 151213434 HAS SOUS 89466815 HAS SOUPS 89466815 WITH SCORE 8.9618028434E7
AT ITER 3604 NEW BEST:: SOT 653620285 SOS 151208537 HAS SOPS 151208537 HAS SOUS 89461918 HAS SOUPS 89461918 WITH SCORE 8.9613126537E7
AT ITER 3636 NEW BEST:: SOT 653614626 SOS 151210752 HAS SOPS 151210752 HAS SOUS 89460770 HAS SOUPS 89460770 WITH SCORE 8.9611980752E7
AT ITER 3645 NEW BEST:: SOT 653610294 SOS 151206537 HAS SOPS 151206537 HAS SOUS 89456555 HAS SOUPS 89456555 WITH SCORE 8.9607761537E7
AT ITER 3670 NEW BEST:: SOT 653607592 SOS 151211452 HAS SOPS 151211452 HAS SOUS 89450411 HAS SOUPS 89450411 WITH SCORE 8.9601622452E7
AT ITER 3671 NEW BEST:: SOT 653607592 SOS 151210626 HAS SOPS 151210626 HAS SOUS 89449585 HAS SOUPS 89449585 WITH SCORE 8.9600795626E7
AT ITER 3672 NEW BEST:: SOT 653607592 SOS 151206552 HAS SOPS 151206552 HAS SOUS 89445511 HAS SOUPS 89445511 WITH SCORE 8.9596717552E7
AT ITER 3677 NEW BEST:: SOT 653602361 SOS 151201317 HAS SOPS 151201317 HAS SOUS 89440279 HAS SOUPS 89440279 WITH SCORE 8.9591480317E7
AT ITER 3685 NEW BEST:: SOT 653599089 SOS 151194772 HAS SOPS 151194772 HAS SOUS 89433734 HAS SOUPS 89433734 WITH SCORE 8.9584928772E7
AT ITER 3700 NEW BEST:: SOT 653595076 SOS 151174707 HAS SOPS 151174707 HAS SOUS 89425708 HAS SOUPS 89425708 WITH SCORE 8.9576882707E7
AT ITER 3701 NEW BEST:: SOT 653585187 SOS 151167515 HAS SOPS 151167515 HAS SOUS 89422112 HAS SOUPS 89422112 WITH SCORE 8.9573279515E7
AT ITER 3704 NEW BEST:: SOT 653585187 SOS 151158668 HAS SOPS 151158668 HAS SOUS 89419163 HAS SOUPS 89419163 WITH SCORE 8.9570321668E7
AT ITER 3705 NEW BEST:: SOT 653585187 SOS 151158668 HAS SOPS 151158668 HAS SOUS 89417387 HAS SOUPS 89417387 WITH SCORE 8.9568545668E7
AT ITER 3721 NEW BEST:: SOT 653560414 SOS 151148686 HAS SOPS 151148686 HAS SOUS 89412933 HAS SOUPS 89412933 WITH SCORE 8.9564081686E7
AT ITER 3756 NEW BEST:: SOT 653561023 SOS 151149904 HAS SOPS 151149904 HAS SOUS 89405759 HAS SOUPS 89405759 WITH SCORE 8.9556908904E7
AT ITER 3796 NEW BEST:: SOT 653558717 SOS 151148633 HAS SOPS 151148633 HAS SOUS 89404490 HAS SOUPS 89404490 WITH SCORE 8.9555638633E7
AT ITER 3803 NEW BEST:: SOT 653556399 SOS 151164859 HAS SOPS 151164859 HAS SOUS 89402172 HAS SOUPS 89402172 WITH SCORE 8.9553336859E7
AT ITER 3810 NEW BEST:: SOT 653553850 SOS 151167401 HAS SOPS 151167401 HAS SOUS 89399621 HAS SOUPS 89399621 WITH SCORE 8.9550788401E7
AT ITER 3876 NEW BEST:: SOT 653553850 SOS 151163258 HAS SOPS 151163258 HAS SOUS 89398240 HAS SOUPS 89398240 WITH SCORE 8.9549403258E7
AT ITER 3899 NEW BEST:: SOT 653553828 SOS 151163214 HAS SOPS 151163214 HAS SOUS 89398196 HAS SOUPS 89398196 WITH SCORE 8.9549359214E7
AT ITER 3916 NEW BEST:: SOT 653551905 SOS 151167052 HAS SOPS 151167052 HAS SOUS 89396271 HAS SOUPS 89396271 WITH SCORE 8.9547438052E7
AT ITER 3943 NEW BEST:: SOT 653554068 SOS 151167050 HAS SOPS 151167050 HAS SOUS 89396270 HAS SOUPS 89396270 WITH SCORE 8.954743705E7
AT ITER 3952 NEW BEST:: SOT 653547746 SOS 151161407 HAS SOPS 151161407 HAS SOUS 89389948 HAS SOUPS 89389948 WITH SCORE 8.9541109407E7
AT ITER 3992 NEW BEST:: SOT 653546080 SOS 151159740 HAS SOPS 151159740 HAS SOUS 89388281 HAS SOUPS 89388281 WITH SCORE 8.953944074E7
AT ITER 3997 NEW BEST:: SOT 653549387 SOS 151182161 HAS SOPS 151182161 HAS SOUS 89386989 HAS SOUPS 89386989 WITH SCORE 8.9538171161E7
AT ITER 4017 NEW BEST:: SOT 653544783 SOS 151177557 HAS SOPS 151177557 HAS SOUS 89382385 HAS SOUPS 89382385 WITH SCORE 8.9533562557E7
AT ITER 4018 NEW BEST:: SOT 653543585 SOS 151175161 HAS SOPS 151175161 HAS SOUS 89379989 HAS SOUPS 89379989 WITH SCORE 8.9531164161E7
AT ITER 4086 NEW BEST:: SOT 653542252 SOS 151206730 HAS SOPS 151206730 HAS SOUS 89377322 HAS SOUPS 89377322 WITH SCORE 8.952852873E7
AT ITER 4090 NEW BEST:: SOT 653542252 SOS 151205056 HAS SOPS 151205056 HAS SOUS 89377322 HAS SOUPS 89377322 WITH SCORE 8.9528527056E7
AT ITER 4100 NEW BEST:: SOT 653543508 SOS 151203841 HAS SOPS 151203841 HAS SOUS 89376107 HAS SOUPS 89376107 WITH SCORE 8.9527310841E7
AT ITER 4125 NEW BEST:: SOT 653543371 SOS 151203567 HAS SOPS 151203567 HAS SOUS 89375833 HAS SOUPS 89375833 WITH SCORE 8.9527036567E7
AT ITER 4129 NEW BEST:: SOT 653543011 SOS 151202847 HAS SOPS 151202847 HAS SOUS 89375113 HAS SOUPS 89375113 WITH SCORE 8.9526315847E7
AT ITER 4130 NEW BEST:: SOT 653539479 SOS 151200872 HAS SOPS 151200872 HAS SOUS 89373138 HAS SOUPS 89373138 WITH SCORE 8.9524338872E7
AT ITER 4145 NEW BEST:: SOT 653534227 SOS 151190368 HAS SOPS 151190368 HAS SOUS 89362634 HAS SOUPS 89362634 WITH SCORE 8.9513824368E7
AT ITER 4179 NEW BEST:: SOT 653531132 SOS 151194147 HAS SOPS 151194147 HAS SOUS 89356054 HAS SOUPS 89356054 WITH SCORE 8.9507248147E7
AT ITER 4244 NEW BEST:: SOT 653528537 SOS 151188958 HAS SOPS 151188958 HAS SOUS 89350865 HAS SOUPS 89350865 WITH SCORE 8.9502053958E7
AT ITER 4334 NEW BEST:: SOT 653528536 SOS 151188956 HAS SOPS 151188956 HAS SOUS 89350863 HAS SOUPS 89350863 WITH SCORE 8.9502051956E7
AT ITER 4340 NEW BEST:: SOT 653528536 SOS 151181105 HAS SOPS 151181105 HAS SOUS 89348702 HAS SOUPS 89348702 WITH SCORE 8.9499883105E7
AT ITER 4344 NEW BEST:: SOT 653524923 SOS 151173879 HAS SOPS 151173879 HAS SOUS 89341476 HAS SOUPS 89341476 WITH SCORE 8.9492649879E7
AT ITER 4373 NEW BEST:: SOT 653524433 SOS 151173879 HAS SOPS 151173879 HAS SOUS 89341231 HAS SOUPS 89341231 WITH SCORE 8.9492404879E7
AT ITER 4383 NEW BEST:: SOT 653524433 SOS 151173879 HAS SOPS 151173879 HAS SOUS 89339538 HAS SOUPS 89339538 WITH SCORE 8.9490711879E7
AT ITER 4384 NEW BEST:: SOT 653520741 SOS 151166495 HAS SOPS 151166495 HAS SOUS 89335845 HAS SOUPS 89335845 WITH SCORE 8.9487011495E7
AT ITER 4392 NEW BEST:: SOT 653519366 SOS 151175163 HAS SOPS 151175163 HAS SOUS 89335805 HAS SOUPS 89335805 WITH SCORE 8.9486980163E7
AT ITER 4398 NEW BEST:: SOT 653519144 SOS 151171234 HAS SOPS 151171234 HAS SOUS 89335583 HAS SOUPS 89335583 WITH SCORE 8.9486754234E7
AT ITER 4406 NEW BEST:: SOT 653504804 SOS 151156894 HAS SOPS 151156894 HAS SOUS 89321243 HAS SOUPS 89321243 WITH SCORE 8.9472399894E7
AT ITER 4424 NEW BEST:: SOT 653508152 SOS 151163590 HAS SOPS 151163590 HAS SOUS 89319500 HAS SOUPS 89319500 WITH SCORE 8.947066359E7
AT ITER 4448 NEW BEST:: SOT 653504640 SOS 151160074 HAS SOPS 151160074 HAS SOUS 89315987 HAS SOUPS 89315987 WITH SCORE 8.9467147074E7
AT ITER 4487 NEW BEST:: SOT 653500327 SOS 151160073 HAS SOPS 151160073 HAS SOUS 89315986 HAS SOUPS 89315986 WITH SCORE 8.9467146073E7
AT ITER 4490 NEW BEST:: SOT 653497454 SOS 151157200 HAS SOPS 151157200 HAS SOUS 89315986 HAS SOUPS 89315986 WITH SCORE 8.94671432E7
AT ITER 4491 NEW BEST:: SOT 653492682 SOS 151152924 HAS SOPS 151152924 HAS SOUS 89311710 HAS SOUPS 89311710 WITH SCORE 8.9462862924E7
AT ITER 4493 NEW BEST:: SOT 653491610 SOS 151150780 HAS SOPS 151150780 HAS SOUS 89310638 HAS SOUPS 89310638 WITH SCORE 8.946178878E7
AT ITER 4503 NEW BEST:: SOT 653491415 SOS 151150779 HAS SOPS 151150779 HAS SOUS 89310637 HAS SOUPS 89310637 WITH SCORE 8.9461787779E7
AT ITER 4550 NEW BEST:: SOT 653490519 SOS 151150775 HAS SOPS 151150775 HAS SOUS 89310636 HAS SOUPS 89310636 WITH SCORE 8.9461786775E7
AT ITER 4576 NEW BEST:: SOT 653486705 SOS 151146961 HAS SOPS 151146961 HAS SOUS 89306822 HAS SOUPS 89306822 WITH SCORE 8.9457968961E7
AT ITER 4617 NEW BEST:: SOT 653484848 SOS 151181010 HAS SOPS 151181010 HAS SOUS 89303107 HAS SOUPS 89303107 WITH SCORE 8.945428801E7
AT ITER 4619 NEW BEST:: SOT 653480540 SOS 151176698 HAS SOPS 151176698 HAS SOUS 89298798 HAS SOUPS 89298798 WITH SCORE 8.9449974698E7
AT ITER 4644 NEW BEST:: SOT 653476979 SOS 151173137 HAS SOPS 151173137 HAS SOUS 89295237 HAS SOUPS 89295237 WITH SCORE 8.9446410137E7
AT ITER 4654 NEW BEST:: SOT 653476188 SOS 151171555 HAS SOPS 151171555 HAS SOUS 89294446 HAS SOUPS 89294446 WITH SCORE 8.9445617555E7
AT ITER 4668 NEW BEST:: SOT 653475382 SOS 151173163 HAS SOPS 151173163 HAS SOUS 89293639 HAS SOUPS 89293639 WITH SCORE 8.9444812163E7
AT ITER 4707 NEW BEST:: SOT 653472255 SOS 151176286 HAS SOPS 151176286 HAS SOUS 89287384 HAS SOUPS 89287384 WITH SCORE 8.9438560286E7
AT ITER 4718 NEW BEST:: SOT 653471934 SOS 151175644 HAS SOPS 151175644 HAS SOUS 89286742 HAS SOUPS 89286742 WITH SCORE 8.9437917644E7
AT ITER 4723 NEW BEST:: SOT 653469500 SOS 151183096 HAS SOPS 151183096 HAS SOUS 89281310 HAS SOUPS 89281310 WITH SCORE 8.9432493096E7
AT ITER 4732 NEW BEST:: SOT 653465952 SOS 151176000 HAS SOPS 151176000 HAS SOUS 89274214 HAS SOUPS 89274214 WITH SCORE 8.942539E7
AT ITER 4770 NEW BEST:: SOT 653459534 SOS 151179696 HAS SOPS 151179696 HAS SOUS 89271751 HAS SOUPS 89271751 WITH SCORE 8.9422930696E7
AT ITER 4774 NEW BEST:: SOT 653458925 SOS 151178478 HAS SOPS 151178478 HAS SOUS 89270745 HAS SOUPS 89270745 WITH SCORE 8.9421923478E7
AT ITER 4788 NEW BEST:: SOT 653458547 SOS 151177722 HAS SOPS 151177722 HAS SOUS 89269989 HAS SOUPS 89269989 WITH SCORE 8.9421166722E7
AT ITER 4823 NEW BEST:: SOT 653455023 SOS 151175578 HAS SOPS 151175578 HAS SOUS 89267844 HAS SOUPS 89267844 WITH SCORE 8.9419019578E7
AT ITER 4844 NEW BEST:: SOT 653454417 SOS 151175107 HAS SOPS 151175107 HAS SOUS 89266497 HAS SOUPS 89266497 WITH SCORE 8.9417672107E7
AT ITER 4856 NEW BEST:: SOT 653450917 SOS 151172791 HAS SOPS 151172791 HAS SOUS 89264180 HAS SOUPS 89264180 WITH SCORE 8.9415352791E7
AT ITER 4858 NEW BEST:: SOT 653450917 SOS 151172791 HAS SOPS 151172791 HAS SOUS 89263554 HAS SOUPS 89263554 WITH SCORE 8.9414726791E7
AT ITER 4862 NEW BEST:: SOT 653449280 SOS 151184250 HAS SOPS 151184250 HAS SOUS 89261917 HAS SOUPS 89261917 WITH SCORE 8.941310125E7
AT ITER 4864 NEW BEST:: SOT 653450298 SOS 151186286 HAS SOPS 151186286 HAS SOUS 89259456 HAS SOUPS 89259456 WITH SCORE 8.9410642286E7
AT ITER 4899 NEW BEST:: SOT 653447802 SOS 151186282 HAS SOPS 151186282 HAS SOUS 89259455 HAS SOUPS 89259455 WITH SCORE 8.9410641282E7
AT ITER 4912 NEW BEST:: SOT 653447802 SOS 151186282 HAS SOPS 151186282 HAS SOUS 89259448 HAS SOUPS 89259448 WITH SCORE 8.9410634282E7
AT ITER 4914 NEW BEST:: SOT 653443334 SOS 151181814 HAS SOPS 151181814 HAS SOUS 89254980 HAS SOUPS 89254980 WITH SCORE 8.9406161814E7
AT ITER 4929 NEW BEST:: SOT 653439769 SOS 151180090 HAS SOPS 151180090 HAS SOUS 89253255 HAS SOUPS 89253255 WITH SCORE 8.940443509E7
AT ITER 4944 NEW BEST:: SOT 653436018 SOS 151176339 HAS SOPS 151176339 HAS SOUS 89249504 HAS SOUPS 89249504 WITH SCORE 8.9400680339E7
AT ITER 4946 NEW BEST:: SOT 653431080 SOS 151146246 HAS SOPS 151146246 HAS SOUS 89232998 HAS SOUPS 89232998 WITH SCORE 8.9384144246E7
AT ITER 4967 NEW BEST:: SOT 653430923 SOS 151143375 HAS SOPS 151143375 HAS SOUS 89231467 HAS SOUPS 89231467 WITH SCORE 8.9382610375E7
AT ITER 4988 NEW BEST:: SOT 653430589 SOS 151142707 HAS SOPS 151142707 HAS SOUS 89230799 HAS SOUPS 89230799 WITH SCORE 8.9381941707E7
AT ITER 4989 NEW BEST:: SOT 653431034 SOS 151143597 HAS SOPS 151143597 HAS SOUS 89230183 HAS SOUPS 89230183 WITH SCORE 8.9381326597E7
AT ITER 4993 NEW BEST:: SOT 653428550 SOS 151141113 HAS SOPS 151141113 HAS SOUS 89227699 HAS SOUPS 89227699 WITH SCORE 8.9378840113E7
Bounds file is: CTLFireability.xml
PROPERTY: DLCflexbar-PT-6b-CTLFireability-00 ( ( (EF( ( ((potential((tk(P16533)>=1)))) & ((potential((tk(P4663)>=1)))) ))) & ( (EF( (! ((potential((tk(P8963)>=1) & (tk(P13481)>=1))))))) | (AU( ((potential((tk(P8786)>=1) & (tk(P12501)>=1)))) , ((potential((tk(P9683)>=1) & (tk(P24261)>=1)))) )) ) ) | ( ((potential((tk(P4705)>=1)))) & ( (! ((potential((tk(P9852)>=1))))) & ((potential((tk(P3343)>=1)))) ) ) )
PROPERTY: DLCflexbar-PT-6b-CTLFireability-01 ( (AF( ((potential((tk(P24765)>=1)))))) & (! ( ( (AX( ((potential((tk(P16957)>=1)))))) | (AG( ((potential((tk(P10895)>=1)))))) ) | ( (EF( ((potential((tk(P9990)>=1)))))) & (AX( ((potential((tk(P15485)>=1)))))) ) )) )
PROPERTY: DLCflexbar-PT-6b-CTLFireability-02 (! (AU( ( (! ((potential((tk(P9642)>=1) & (tk(P23081)>=1))))) | (! ((potential((tk(P4279)>=1))))) ) , ((potential((tk(P8989)>=1) & (tk(P14541)>=1)))) )))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-03 ( ( (AG( ( ( ((potential((tk(P3626)>=1) & (tk(P11798)>=1)))) & ((potential((tk(P8958)>=1) & (tk(P13568)>=1)))) ) | ((potential((tk(P20729)>=1)))) ))) | (AG( (! ((potential((tk(P3071)>=1) & (tk(P18398)>=1))))))) ) | (EU( ( ((potential((tk(P5440)>=1) & (tk(P23898)>=1)))) | ( ((potential((tk(P3592)>=1)))) & ((potential((tk(P8958)>=1) & (tk(P14228)>=1)))) ) ) , ( ( ((potential((tk(P15532)>=1)))) | ((potential((tk(P11014)>=1)))) ) & (! ((potential((tk(P3733)>=1))))) ) )) )
PROPERTY: DLCflexbar-PT-6b-CTLFireability-04 (! ( (! ( ( (! ((potential((tk(P24447)>=1))))) | ((potential((tk(P5299)>=1) & (tk(P23871)>=1)))) ) & (AX( ((potential((tk(P9316)>=1)))))) )) & (AU( (! ((potential((tk(P8813)>=1) & (tk(P12481)>=1))))) , ( ((potential((tk(P22753)>=1)))) | ((potential((tk(P8869)>=1) & (tk(P14181)>=1)))) ) )) ))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-05 (EF( (AU( ( ((potential((tk(P9299)>=1) & (tk(P18521)>=1)))) & ((potential((tk(P9502)>=1) & (tk(P21821)>=1)))) ) , ((potential((tk(P25097)>=1)))) ))))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-06 ( (AF( ( (! ( ((potential((tk(P24422)>=1)))) & ((potential((tk(P9370)>=1) & (tk(P21108)>=1)))) )) & ( ( ((potential((tk(P906)>=1)))) | ((potential((tk(P18075)>=1)))) ) & ( ((potential((tk(P12426)>=1)))) | ((potential((tk(P1012)>=1)))) ) ) ))) | (! (! ((potential((tk(P13296)>=1)))))) )
PROPERTY: DLCflexbar-PT-6b-CTLFireability-07 (EF( ( (! ((potential((tk(P8843)>=1) & (tk(P11881)>=1))))) & (EG( ( ((potential((tk(P14297)>=1)))) & ((potential((tk(P9438)>=1) & (tk(P19708)>=1)))) ))) )))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-08 (AU( (! (AF( ((potential((tk(P17277)>=1))))))) , ((potential((tk(P9683)>=1) & (tk(P23601)>=1)))) ))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-09 (EF( ((potential((tk(P23923)>=1))))))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-10 (EX( (AF( ((potential((tk(P4799)>=1))))))))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-11 (AU( ( ( ( ((potential((tk(P9059)>=1) & (tk(P14701)>=1)))) | ((potential((tk(P7315)>=1) & (tk(P19231)>=1)))) ) | ( ((potential((tk(P966)>=1)))) & ((potential((tk(P17870)>=1)))) ) ) | ( (! ((potential((tk(P15490)>=1))))) & ((potential((tk(P16910)>=1)))) ) ) , (AF( ( ((potential((tk(P19392)>=1)))) | ((potential((tk(P13599)>=1)))) ))) ))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-12 (AF( ((potential((tk(P453)>=1) & (tk(P16218)>=1))))))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-13 (AG( ( (AF( ((potential((tk(P1699)>=1)))))) | ((potential((tk(P14646)>=1)))) )))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-14 (AU( ( ( ( ((potential((tk(P18313)>=1)))) & ((potential((tk(P6304)>=1) & (tk(P24078)>=1)))) ) | (! ((potential((tk(P22575)>=1))))) ) & (! ( ((potential((tk(P8888)>=1) & (tk(P13668)>=1)))) & ((potential((tk(P678)>=1)))) )) ) , (EU( ((potential((tk(P23097)>=1)))) , ((potential((tk(P20233)>=1)))) )) ))
PROPERTY: DLCflexbar-PT-6b-CTLFireability-15 (EF( (AX( ( ( ((potential((tk(P8155)>=1)))) | ((potential((tk(P11074)>=1)))) ) & ( ((potential((tk(P9419)>=1) & (tk(P20581)>=1)))) | ((potential((tk(P9462)>=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-6b"
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-6b, 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-158902542100412"
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 [ "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 ;