Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502400131.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb114-PT-8, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502400131
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.4K Apr 12 07:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 07:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 9 20:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 20:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73M 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 RERS17pb114-PT-8-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-8-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589733735663

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 8
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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 1 NEW BEST:: SOT 133641980 SOS 82189968 HAS SOPS 66742413 HAS SOUS 26430653 HAS SOUPS 25800064 WITH SCORE 2.5882253968E7
AT ITER 8 NEW BEST:: SOT 133627236 SOS 82155745 HAS SOPS 66710853 HAS SOUS 26407868 HAS SOUPS 25777480 WITH SCORE 2.5859635745E7
AT ITER 14 NEW BEST:: SOT 133625742 SOS 82154222 HAS SOPS 66709330 HAS SOUS 26406259 HAS SOUPS 25775871 WITH SCORE 2.5858025222E7
AT ITER 20 NEW BEST:: SOT 133618244 SOS 82146871 HAS SOPS 66701979 HAS SOUS 26401724 HAS SOUPS 25771336 WITH SCORE 2.5853482871E7
AT ITER 31 NEW BEST:: SOT 133610892 SOS 82147730 HAS SOPS 66731514 HAS SOUS 26400263 HAS SOUPS 25770207 WITH SCORE 2.585235473E7
AT ITER 46 NEW BEST:: SOT 133605477 SOS 82124797 HAS SOPS 66714814 HAS SOUS 26397396 HAS SOUPS 25767340 WITH SCORE 2.5849464797E7
AT ITER 47 NEW BEST:: SOT 133583794 SOS 82072473 HAS SOPS 66664481 HAS SOUS 26378282 HAS SOUPS 25748226 WITH SCORE 2.5830298473E7
AT ITER 66 NEW BEST:: SOT 133571229 SOS 82040093 HAS SOPS 66637172 HAS SOUS 26373829 HAS SOUPS 25743773 WITH SCORE 2.5825813093E7
AT ITER 84 NEW BEST:: SOT 133582379 SOS 82102246 HAS SOPS 66698899 HAS SOUS 26348073 HAS SOUPS 25718017 WITH SCORE 2.5800119246E7
AT ITER 89 NEW BEST:: SOT 133581840 SOS 82098882 HAS SOPS 66695533 HAS SOUS 26347748 HAS SOUPS 25717692 WITH SCORE 2.5799790882E7
AT ITER 97 NEW BEST:: SOT 133579630 SOS 82091082 HAS SOPS 66688900 HAS SOUS 26344581 HAS SOUPS 25714580 WITH SCORE 2.5796671082E7
AT ITER 110 NEW BEST:: SOT 133589942 SOS 82175473 HAS SOPS 66797132 HAS SOUS 26313639 HAS SOUPS 25683638 WITH SCORE 2.5765813473E7
AT ITER 116 NEW BEST:: SOT 133594315 SOS 82196511 HAS SOPS 66810004 HAS SOUS 26310330 HAS SOUPS 25680329 WITH SCORE 2.5762525511E7
AT ITER 118 NEW BEST:: SOT 133595574 SOS 82201583 HAS SOPS 66816271 HAS SOUS 26309848 HAS SOUPS 25679847 WITH SCORE 2.5762048583E7
AT ITER 162 NEW BEST:: SOT 133595086 SOS 82199623 HAS SOPS 66814405 HAS SOUS 26309515 HAS SOUPS 25679514 WITH SCORE 2.5761713623E7
AT ITER 163 NEW BEST:: SOT 133609481 SOS 82264483 HAS SOPS 66870884 HAS SOUS 26292491 HAS SOUPS 25662490 WITH SCORE 2.5744754483E7
AT ITER 170 NEW BEST:: SOT 133611789 SOS 82272889 HAS SOPS 66878745 HAS SOUS 26292209 HAS SOUPS 25662208 WITH SCORE 2.5744480889E7
AT ITER 193 NEW BEST:: SOT 133618095 SOS 82294283 HAS SOPS 66891294 HAS SOUS 26283849 HAS SOUPS 25653848 WITH SCORE 2.5736142283E7
AT ITER 207 NEW BEST:: SOT 133620058 SOS 82302025 HAS SOPS 66906040 HAS SOUS 26266128 HAS SOUPS 25636127 WITH SCORE 2.5718429025E7
AT ITER 215 NEW BEST:: SOT 133618719 SOS 82297617 HAS SOPS 66902756 HAS SOUS 26262544 HAS SOUPS 25632543 WITH SCORE 2.5714840617E7
AT ITER 233 NEW BEST:: SOT 133604813 SOS 82271185 HAS SOPS 66920436 HAS SOUS 26248628 HAS SOUPS 25618627 WITH SCORE 2.5700898185E7
AT ITER 241 NEW BEST:: SOT 133601028 SOS 82260869 HAS SOPS 66913675 HAS SOUS 26248135 HAS SOUPS 25618134 WITH SCORE 2.5700394869E7
AT ITER 247 NEW BEST:: SOT 133606413 SOS 82267544 HAS SOPS 66911656 HAS SOUS 26244969 HAS SOUPS 25615092 WITH SCORE 2.5697359544E7
AT ITER 251 NEW BEST:: SOT 133606041 SOS 82265859 HAS SOPS 66908331 HAS SOUS 26241673 HAS SOUPS 25611796 WITH SCORE 2.5694061859E7
AT ITER 263 NEW BEST:: SOT 133628699 SOS 82326518 HAS SOPS 66962423 HAS SOUS 26240858 HAS SOUPS 25610981 WITH SCORE 2.5693307518E7
AT ITER 273 NEW BEST:: SOT 133627915 SOS 82328757 HAS SOPS 66968102 HAS SOUS 26235972 HAS SOUPS 25606089 WITH SCORE 2.5688417757E7
AT ITER 277 NEW BEST:: SOT 133628899 SOS 82332458 HAS SOPS 66970789 HAS SOUS 26235664 HAS SOUPS 25605781 WITH SCORE 2.5688113458E7
AT ITER 288 NEW BEST:: SOT 133628872 SOS 82332410 HAS SOPS 66970728 HAS SOUS 26235612 HAS SOUPS 25605729 WITH SCORE 2.568806141E7
AT ITER 293 NEW BEST:: SOT 133627898 SOS 82328107 HAS SOPS 66966483 HAS SOUS 26233365 HAS SOUPS 25603482 WITH SCORE 2.5685810107E7
AT ITER 301 NEW BEST:: SOT 133621927 SOS 82322177 HAS SOPS 66957419 HAS SOUS 26220863 HAS SOUPS 25590980 WITH SCORE 2.5673302177E7
AT ITER 308 NEW BEST:: SOT 133629735 SOS 82358815 HAS SOPS 66988997 HAS SOUS 26207471 HAS SOUPS 25577588 WITH SCORE 2.5659946815E7
AT ITER 317 NEW BEST:: SOT 133636550 SOS 82390203 HAS SOPS 67027556 HAS SOUS 26201075 HAS SOUPS 25571192 WITH SCORE 2.5653582203E7
AT ITER 321 NEW BEST:: SOT 133597513 SOS 82299511 HAS SOPS 66999507 HAS SOUS 26195640 HAS SOUPS 25566233 WITH SCORE 2.5648532511E7
AT ITER 330 NEW BEST:: SOT 133595441 SOS 82293332 HAS SOPS 66995752 HAS SOUS 26194427 HAS SOUPS 25565118 WITH SCORE 2.5647411332E7
AT ITER 334 NEW BEST:: SOT 133593432 SOS 82288569 HAS SOPS 66992206 HAS SOUS 26193666 HAS SOUPS 25564357 WITH SCORE 2.5646645569E7
AT ITER 340 NEW BEST:: SOT 133593351 SOS 82289416 HAS SOPS 66993557 HAS SOUS 26193449 HAS SOUPS 25564140 WITH SCORE 2.5646429416E7
AT ITER 348 NEW BEST:: SOT 133557914 SOS 82215235 HAS SOPS 66935885 HAS SOUS 26172448 HAS SOUPS 25543139 WITH SCORE 2.5625354235E7
AT ITER 356 NEW BEST:: SOT 133560810 SOS 82238073 HAS SOPS 66960416 HAS SOUS 26155830 HAS SOUPS 25526521 WITH SCORE 2.5608759073E7
AT ITER 390 NEW BEST:: SOT 133565179 SOS 82242425 HAS SOPS 66964048 HAS SOUS 26155767 HAS SOUPS 25526506 WITH SCORE 2.5608748425E7
AT ITER 414 NEW BEST:: SOT 133565190 SOS 82253621 HAS SOPS 66972269 HAS SOUS 26150212 HAS SOUPS 25520951 WITH SCORE 2.5603204621E7
AT ITER 415 NEW BEST:: SOT 133626724 SOS 82417398 HAS SOPS 67150509 HAS SOUS 26132625 HAS SOUPS 25503364 WITH SCORE 2.5585781398E7
AT ITER 424 NEW BEST:: SOT 133622085 SOS 82405101 HAS SOPS 67142326 HAS SOUS 26132252 HAS SOUPS 25502991 WITH SCORE 2.5585396101E7
AT ITER 444 NEW BEST:: SOT 133616912 SOS 82399890 HAS SOPS 67137051 HAS SOUS 26126805 HAS SOUPS 25497544 WITH SCORE 2.557994389E7
AT ITER 446 NEW BEST:: SOT 133601621 SOS 82368872 HAS SOPS 67110741 HAS SOUS 26108389 HAS SOUPS 25479323 WITH SCORE 2.5561691872E7
AT ITER 449 NEW BEST:: SOT 133627887 SOS 82439579 HAS SOPS 67166015 HAS SOUS 26106420 HAS SOUPS 25477354 WITH SCORE 2.5559793579E7
AT ITER 468 NEW BEST:: SOT 133635047 SOS 82438405 HAS SOPS 67172622 HAS SOUS 26102100 HAS SOUPS 25473454 WITH SCORE 2.5555892405E7
AT ITER 481 NEW BEST:: SOT 133638253 SOS 82451201 HAS SOPS 67178964 HAS SOUS 26097317 HAS SOUPS 25468671 WITH SCORE 2.5551122201E7
AT ITER 488 NEW BEST:: SOT 133595825 SOS 82408929 HAS SOPS 67135668 HAS SOUS 26049365 HAS SOUPS 25420719 WITH SCORE 2.5503127929E7
AT ITER 508 NEW BEST:: SOT 133596081 SOS 82421176 HAS SOPS 67168614 HAS SOUS 26049344 HAS SOUPS 25420698 WITH SCORE 2.5503119176E7
AT ITER 514 NEW BEST:: SOT 133595097 SOS 82423106 HAS SOPS 67168863 HAS SOUS 26047836 HAS SOUPS 25418979 WITH SCORE 2.5501402106E7
AT ITER 516 NEW BEST:: SOT 133595040 SOS 82423331 HAS SOPS 67167267 HAS SOUS 26046116 HAS SOUPS 25417259 WITH SCORE 2.5499682331E7
AT ITER 521 NEW BEST:: SOT 133582473 SOS 82392657 HAS SOPS 67136388 HAS SOUS 26025363 HAS SOUPS 25396741 WITH SCORE 2.5479133657E7
AT ITER 522 NEW BEST:: SOT 133604852 SOS 82487743 HAS SOPS 67240122 HAS SOUS 26010201 HAS SOUPS 25381656 WITH SCORE 2.5464143743E7
AT ITER 540 NEW BEST:: SOT 133608113 SOS 82500024 HAS SOPS 67246960 HAS SOUS 25992109 HAS SOUPS 25363467 WITH SCORE 2.5445967024E7
AT ITER 553 NEW BEST:: SOT 133571445 SOS 82409024 HAS SOPS 67222572 HAS SOUS 25949067 HAS SOUPS 25320943 WITH SCORE 2.5403352024E7
AT ITER 561 NEW BEST:: SOT 133588644 SOS 82492516 HAS SOPS 67297644 HAS SOUS 25948874 HAS SOUPS 25320750 WITH SCORE 2.5403242516E7
AT ITER 573 NEW BEST:: SOT 133588606 SOS 82492491 HAS SOPS 67297596 HAS SOUS 25948793 HAS SOUPS 25320668 WITH SCORE 2.5403160491E7
AT ITER 574 NEW BEST:: SOT 133586959 SOS 82486578 HAS SOPS 67292280 HAS SOUS 25948790 HAS SOUPS 25320665 WITH SCORE 2.5403151578E7
AT ITER 577 NEW BEST:: SOT 133585015 SOS 82483843 HAS SOPS 67290040 HAS SOUS 25945859 HAS SOUPS 25317769 WITH SCORE 2.5400252843E7
AT ITER 578 NEW BEST:: SOT 133573746 SOS 82455081 HAS SOPS 67270018 HAS SOUS 25919604 HAS SOUPS 25291514 WITH SCORE 2.5373969081E7
AT ITER 579 NEW BEST:: SOT 133574866 SOS 82456219 HAS SOPS 67271099 HAS SOUS 25919243 HAS SOUPS 25291153 WITH SCORE 2.5373609219E7
AT ITER 586 NEW BEST:: SOT 133575104 SOS 82457742 HAS SOPS 67278422 HAS SOUS 25913939 HAS SOUPS 25285980 WITH SCORE 2.5368437742E7
AT ITER 598 NEW BEST:: SOT 133559449 SOS 82424119 HAS SOPS 67265044 HAS SOUS 25880847 HAS SOUPS 25253985 WITH SCORE 2.5336409119E7
AT ITER 600 NEW BEST:: SOT 133574400 SOS 82453172 HAS SOPS 67290992 HAS SOUS 25867831 HAS SOUPS 25240793 WITH SCORE 2.5323246172E7
AT ITER 614 NEW BEST:: SOT 133613332 SOS 82548876 HAS SOPS 67376393 HAS SOUS 25861249 HAS SOUPS 25234211 WITH SCORE 2.5316759876E7
AT ITER 616 NEW BEST:: SOT 133610885 SOS 82546362 HAS SOPS 67371884 HAS SOUS 25850121 HAS SOUPS 25223083 WITH SCORE 2.5305629362E7
AT ITER 618 NEW BEST:: SOT 133613792 SOS 82549482 HAS SOPS 67383151 HAS SOUS 25842992 HAS SOUPS 25215954 WITH SCORE 2.5298503482E7
AT ITER 634 NEW BEST:: SOT 133616763 SOS 82562890 HAS SOPS 67395267 HAS SOUS 25840069 HAS SOUPS 25213031 WITH SCORE 2.529559389E7
AT ITER 643 NEW BEST:: SOT 133616436 SOS 82562643 HAS SOPS 67395036 HAS SOUS 25839222 HAS SOUPS 25212184 WITH SCORE 2.5294746643E7
AT ITER 650 NEW BEST:: SOT 133595920 SOS 82518822 HAS SOPS 67380131 HAS SOUS 25834569 HAS SOUPS 25207947 WITH SCORE 2.5290465822E7
AT ITER 663 NEW BEST:: SOT 133581708 SOS 82489788 HAS SOPS 67360110 HAS SOUS 25823839 HAS SOUPS 25197843 WITH SCORE 2.5280332788E7
AT ITER 683 NEW BEST:: SOT 133575162 SOS 82489267 HAS SOPS 67355660 HAS SOUS 25797828 HAS SOUPS 25171832 WITH SCORE 2.5254321267E7
AT ITER 686 NEW BEST:: SOT 133574984 SOS 82485259 HAS SOPS 67349358 HAS SOUS 25797475 HAS SOUPS 25171344 WITH SCORE 2.5253829259E7
AT ITER 689 NEW BEST:: SOT 133587780 SOS 82483136 HAS SOPS 67319119 HAS SOUS 25727134 HAS SOUPS 25101436 WITH SCORE 2.5183919136E7
AT ITER 699 NEW BEST:: SOT 133587600 SOS 82483016 HAS SOPS 67319071 HAS SOUS 25726498 HAS SOUPS 25100800 WITH SCORE 2.5183283016E7
AT ITER 701 NEW BEST:: SOT 133564886 SOS 82456891 HAS SOPS 67309253 HAS SOUS 25686465 HAS SOUPS 25060767 WITH SCORE 2.5143223891E7
AT ITER 723 NEW BEST:: SOT 133564832 SOS 82456867 HAS SOPS 67309043 HAS SOUS 25686464 HAS SOUPS 25060766 WITH SCORE 2.5143222867E7
AT ITER 724 NEW BEST:: SOT 133489448 SOS 82367699 HAS SOPS 67227892 HAS SOUS 25606816 HAS SOUPS 24981597 WITH SCORE 2.5063964699E7
AT ITER 745 NEW BEST:: SOT 133474699 SOS 82342746 HAS SOPS 67205796 HAS SOUS 25587228 HAS SOUPS 24962009 WITH SCORE 2.5044351746E7
AT ITER 746 NEW BEST:: SOT 133474465 SOS 82341124 HAS SOPS 67202737 HAS SOUS 25586022 HAS SOUPS 24960803 WITH SCORE 2.5043144124E7
AT ITER 750 NEW BEST:: SOT 133478256 SOS 82366456 HAS SOPS 67235051 HAS SOUS 25584200 HAS SOUPS 24958981 WITH SCORE 2.5041347456E7
AT ITER 759 NEW BEST:: SOT 133483779 SOS 82384532 HAS SOPS 67248900 HAS SOUS 25582627 HAS SOUPS 24957408 WITH SCORE 2.5039792532E7
AT ITER 769 NEW BEST:: SOT 133481684 SOS 82380270 HAS SOPS 67245830 HAS SOUS 25577087 HAS SOUPS 24951868 WITH SCORE 2.503424827E7
AT ITER 796 NEW BEST:: SOT 133477217 SOS 82415593 HAS SOPS 67305755 HAS SOUS 25573329 HAS SOUPS 24948110 WITH SCORE 2.5030525593E7
AT ITER 797 NEW BEST:: SOT 133470264 SOS 82454810 HAS SOPS 67368121 HAS SOUS 25553387 HAS SOUPS 24928168 WITH SCORE 2.501062281E7
AT ITER 798 NEW BEST:: SOT 133469745 SOS 82453837 HAS SOPS 67368923 HAS SOUS 25552441 HAS SOUPS 24927222 WITH SCORE 2.5009675837E7
AT ITER 805 NEW BEST:: SOT 133467711 SOS 82451803 HAS SOPS 67366881 HAS SOUS 25550407 HAS SOUPS 24925180 WITH SCORE 2.5007631803E7
AT ITER 821 NEW BEST:: SOT 133471128 SOS 82457377 HAS SOPS 67370858 HAS SOUS 25548482 HAS SOUPS 24923725 WITH SCORE 2.5006182377E7
AT ITER 825 NEW BEST:: SOT 133470162 SOS 82479222 HAS SOPS 67395770 HAS SOUS 25527152 HAS SOUPS 24902395 WITH SCORE 2.4984874222E7
AT ITER 826 NEW BEST:: SOT 133469212 SOS 82478357 HAS SOPS 67395208 HAS SOUS 25524882 HAS SOUPS 24900125 WITH SCORE 2.4982603357E7
AT ITER 843 NEW BEST:: SOT 133470875 SOS 82484212 HAS SOPS 67398472 HAS SOUS 25523239 HAS SOUPS 24898482 WITH SCORE 2.4980966212E7
AT ITER 851 NEW BEST:: SOT 133471577 SOS 82492909 HAS SOPS 67408956 HAS SOUS 25512885 HAS SOUPS 24888128 WITH SCORE 2.4970620909E7
AT ITER 862 NEW BEST:: SOT 133465585 SOS 82484793 HAS SOPS 67401248 HAS SOUS 25506519 HAS SOUPS 24881795 WITH SCORE 2.4964279793E7
AT ITER 864 NEW BEST:: SOT 133473514 SOS 82488763 HAS SOPS 67415469 HAS SOUS 25503161 HAS SOUPS 24878437 WITH SCORE 2.4960925763E7
AT ITER 869 NEW BEST:: SOT 133512930 SOS 82568739 HAS SOPS 67506441 HAS SOUS 25481052 HAS SOUPS 24858209 WITH SCORE 2.4940777739E7
AT ITER 876 NEW BEST:: SOT 133512680 SOS 82566847 HAS SOPS 67501686 HAS SOUS 25478612 HAS SOUPS 24855769 WITH SCORE 2.4938335847E7
AT ITER 880 NEW BEST:: SOT 133491205 SOS 82545317 HAS SOPS 67480156 HAS SOUS 25445636 HAS SOUPS 24822793 WITH SCORE 2.4905338317E7
AT ITER 906 NEW BEST:: SOT 133489282 SOS 82543370 HAS SOPS 67477433 HAS SOUS 25443489 HAS SOUPS 24820532 WITH SCORE 2.490307537E7
AT ITER 916 NEW BEST:: SOT 133486843 SOS 82540072 HAS SOPS 67474608 HAS SOUS 25432875 HAS SOUPS 24809977 WITH SCORE 2.4892517072E7
AT ITER 919 NEW BEST:: SOT 133470466 SOS 82507164 HAS SOPS 67449119 HAS SOUS 25425426 HAS SOUPS 24802528 WITH SCORE 2.4885035164E7
AT ITER 928 NEW BEST:: SOT 133468144 SOS 82503202 HAS SOPS 67445681 HAS SOUS 25422962 HAS SOUPS 24800076 WITH SCORE 2.4882579202E7
AT ITER 931 NEW BEST:: SOT 133482476 SOS 82531652 HAS SOPS 67500157 HAS SOUS 25417806 HAS SOUPS 24794920 WITH SCORE 2.4877451652E7
AT ITER 946 NEW BEST:: SOT 133511038 SOS 82630399 HAS SOPS 67629850 HAS SOUS 25416354 HAS SOUPS 24793498 WITH SCORE 2.4876128399E7
AT ITER 952 NEW BEST:: SOT 133494340 SOS 82591664 HAS SOPS 67589698 HAS SOUS 25398529 HAS SOUPS 24775673 WITH SCORE 2.4858264664E7
AT ITER 953 NEW BEST:: SOT 133492785 SOS 82588419 HAS SOPS 67587610 HAS SOUS 25391644 HAS SOUPS 24768827 WITH SCORE 2.4851415419E7
AT ITER 959 NEW BEST:: SOT 133490554 SOS 82599508 HAS SOPS 67601595 HAS SOUS 25380330 HAS SOUPS 24757513 WITH SCORE 2.4840112508E7
AT ITER 967 NEW BEST:: SOT 133492492 SOS 82611997 HAS SOPS 67611024 HAS SOUS 25377800 HAS SOUPS 24754983 WITH SCORE 2.4837594997E7
AT ITER 969 NEW BEST:: SOT 133487668 SOS 82590149 HAS SOPS 67594048 HAS SOUS 25374322 HAS SOUPS 24751505 WITH SCORE 2.4834095149E7
AT ITER 991 NEW BEST:: SOT 133488027 SOS 82591644 HAS SOPS 67595735 HAS SOUS 25373427 HAS SOUPS 24750610 WITH SCORE 2.4833201644E7
AT ITER 992 NEW BEST:: SOT 133486632 SOS 82587914 HAS SOPS 67592230 HAS SOUS 25371889 HAS SOUPS 24749072 WITH SCORE 2.4831659914E7
AT ITER 1012 NEW BEST:: SOT 133513412 SOS 82673171 HAS SOPS 67664313 HAS SOUS 25369392 HAS SOUPS 24746575 WITH SCORE 2.4829248171E7
AT ITER 1030 NEW BEST:: SOT 133512757 SOS 82665889 HAS SOPS 67653189 HAS SOUS 25365859 HAS SOUPS 24743042 WITH SCORE 2.4825707889E7
AT ITER 1033 NEW BEST:: SOT 133508618 SOS 82663398 HAS SOPS 67657528 HAS SOUS 25322523 HAS SOUPS 24700115 WITH SCORE 2.4782778398E7
AT ITER 1034 NEW BEST:: SOT 133508090 SOS 82661284 HAS SOPS 67655958 HAS SOUS 25322469 HAS SOUPS 24700061 WITH SCORE 2.4782722284E7
AT ITER 1037 NEW BEST:: SOT 133492824 SOS 82651384 HAS SOPS 67640569 HAS SOUS 25276705 HAS SOUPS 24654297 WITH SCORE 2.4736948384E7
AT ITER 1038 NEW BEST:: SOT 133488411 SOS 82646933 HAS SOPS 67635548 HAS SOUS 25273622 HAS SOUPS 24651100 WITH SCORE 2.4733746933E7
AT ITER 1039 NEW BEST:: SOT 133488266 SOS 82653479 HAS SOPS 67644730 HAS SOUS 25267307 HAS SOUPS 24644785 WITH SCORE 2.4727438479E7
AT ITER 1041 NEW BEST:: SOT 133457717 SOS 82609573 HAS SOPS 67591788 HAS SOUS 25233142 HAS SOUPS 24610265 WITH SCORE 2.4692874573E7
AT ITER 1057 NEW BEST:: SOT 133420126 SOS 82551840 HAS SOPS 67554835 HAS SOUS 25195941 HAS SOUPS 24573820 WITH SCORE 2.465637184E7
AT ITER 1064 NEW BEST:: SOT 133419821 SOS 82553912 HAS SOPS 67554221 HAS SOUS 25191691 HAS SOUPS 24569570 WITH SCORE 2.4652123912E7
AT ITER 1069 NEW BEST:: SOT 133412699 SOS 82562040 HAS SOPS 67556782 HAS SOUS 25159309 HAS SOUPS 24537188 WITH SCORE 2.461975004E7
AT ITER 1071 NEW BEST:: SOT 133405357 SOS 82550022 HAS SOPS 67550369 HAS SOUS 25144911 HAS SOUPS 24522929 WITH SCORE 2.4605479022E7
AT ITER 1072 NEW BEST:: SOT 133404763 SOS 82548888 HAS SOPS 67549577 HAS SOUS 25144699 HAS SOUPS 24522717 WITH SCORE 2.4605265888E7
AT ITER 1083 NEW BEST:: SOT 133403141 SOS 82553730 HAS SOPS 67541854 HAS SOUS 25131146 HAS SOUPS 24509075 WITH SCORE 2.459162873E7
AT ITER 1088 NEW BEST:: SOT 133415625 SOS 82617235 HAS SOPS 67598683 HAS SOUS 25119965 HAS SOUPS 24497894 WITH SCORE 2.4580511235E7
AT ITER 1091 NEW BEST:: SOT 133408010 SOS 82604807 HAS SOPS 67586765 HAS SOUS 25107787 HAS SOUPS 24485796 WITH SCORE 2.4568400807E7
AT ITER 1102 NEW BEST:: SOT 133405979 SOS 82603680 HAS SOPS 67585755 HAS SOUS 25105501 HAS SOUPS 24483510 WITH SCORE 2.456611368E7
AT ITER 1107 NEW BEST:: SOT 133426924 SOS 82630143 HAS SOPS 67614874 HAS SOUS 25103817 HAS SOUPS 24482334 WITH SCORE 2.4564964143E7
AT ITER 1123 NEW BEST:: SOT 133418696 SOS 82620387 HAS SOPS 67607624 HAS SOUS 25078192 HAS SOUPS 24456709 WITH SCORE 2.4539329387E7
AT ITER 1127 NEW BEST:: SOT 133418709 SOS 82620948 HAS SOPS 67607981 HAS SOUS 25078069 HAS SOUPS 24456586 WITH SCORE 2.4539206948E7
AT ITER 1130 NEW BEST:: SOT 133417421 SOS 82615918 HAS SOPS 67600974 HAS SOUS 25076873 HAS SOUPS 24455390 WITH SCORE 2.4538005918E7
AT ITER 1137 NEW BEST:: SOT 133393249 SOS 82582014 HAS SOPS 67573433 HAS SOUS 25011074 HAS SOUPS 24389873 WITH SCORE 2.4472455014E7
AT ITER 1142 NEW BEST:: SOT 133457999 SOS 82757187 HAS SOPS 67721838 HAS SOUS 25009928 HAS SOUPS 24388608 WITH SCORE 2.4471365187E7
AT ITER 1163 NEW BEST:: SOT 133462098 SOS 82773492 HAS SOPS 67723720 HAS SOUS 24984396 HAS SOUPS 24363076 WITH SCORE 2.4445849492E7
AT ITER 1173 NEW BEST:: SOT 133482159 SOS 82798304 HAS SOPS 67744558 HAS SOUS 24964543 HAS SOUPS 24343048 WITH SCORE 2.4425846304E7
AT ITER 1183 NEW BEST:: SOT 133484629 SOS 82815846 HAS SOPS 67755356 HAS SOUS 24960165 HAS SOUPS 24338670 WITH SCORE 2.4421485846E7
AT ITER 1216 NEW BEST:: SOT 133433633 SOS 82703521 HAS SOPS 67660081 HAS SOUS 24941482 HAS SOUPS 24320110 WITH SCORE 2.4402813521E7
AT ITER 1218 NEW BEST:: SOT 133428444 SOS 82700544 HAS SOPS 67647717 HAS SOUS 24917780 HAS SOUPS 24296305 WITH SCORE 2.4379005544E7
AT ITER 1223 NEW BEST:: SOT 133428360 SOS 82700472 HAS SOPS 67647837 HAS SOUS 24917618 HAS SOUPS 24296143 WITH SCORE 2.4378843472E7
AT ITER 1227 NEW BEST:: SOT 133426812 SOS 82703592 HAS SOPS 67650323 HAS SOUS 24910644 HAS SOUPS 24289169 WITH SCORE 2.4371872592E7
AT ITER 1229 NEW BEST:: SOT 133435173 SOS 82731028 HAS SOPS 67673406 HAS SOUS 24904397 HAS SOUPS 24282922 WITH SCORE 2.4365653028E7
AT ITER 1235 NEW BEST:: SOT 133439562 SOS 82742261 HAS SOPS 67682809 HAS SOUS 24904069 HAS SOUPS 24282594 WITH SCORE 2.4365336261E7
AT ITER 1243 NEW BEST:: SOT 133432775 SOS 82717168 HAS SOPS 67663177 HAS SOUS 24901607 HAS SOUPS 24280132 WITH SCORE 2.4362849168E7
AT ITER 1257 NEW BEST:: SOT 133427910 SOS 82710131 HAS SOPS 67655479 HAS SOUS 24892712 HAS SOUPS 24271237 WITH SCORE 2.4353947131E7
AT ITER 1266 NEW BEST:: SOT 133419296 SOS 82698012 HAS SOPS 67645657 HAS SOUS 24882119 HAS SOUPS 24260644 WITH SCORE 2.4343342012E7
AT ITER 1273 NEW BEST:: SOT 133420118 SOS 82698197 HAS SOPS 67645902 HAS SOUS 24881874 HAS SOUPS 24260438 WITH SCORE 2.4343136197E7
AT ITER 1275 NEW BEST:: SOT 133404111 SOS 82658175 HAS SOPS 67614304 HAS SOUS 24867418 HAS SOUPS 24245982 WITH SCORE 2.4328640175E7
AT ITER 1277 NEW BEST:: SOT 133409664 SOS 82695753 HAS SOPS 67647679 HAS SOUS 24857329 HAS SOUPS 24235893 WITH SCORE 2.4318588753E7
AT ITER 1285 NEW BEST:: SOT 133429950 SOS 82731969 HAS SOPS 67692392 HAS SOUS 24848965 HAS SOUPS 24231070 WITH SCORE 2.4313801969E7
AT ITER 1286 NEW BEST:: SOT 133429176 SOS 82730772 HAS SOPS 67690988 HAS SOUS 24847192 HAS SOUPS 24229297 WITH SCORE 2.4312027772E7
AT ITER 1288 NEW BEST:: SOT 133428969 SOS 82727293 HAS SOPS 67687075 HAS SOUS 24845552 HAS SOUPS 24227657 WITH SCORE 2.4310384293E7
AT ITER 1290 NEW BEST:: SOT 133420809 SOS 82714822 HAS SOPS 67663668 HAS SOUS 24817161 HAS SOUPS 24199266 WITH SCORE 2.4281980822E7
AT ITER 1295 NEW BEST:: SOT 133420030 SOS 82713080 HAS SOPS 67661617 HAS SOUS 24816257 HAS SOUPS 24198379 WITH SCORE 2.428109208E7
AT ITER 1304 NEW BEST:: SOT 133421591 SOS 82716347 HAS SOPS 67664009 HAS SOUS 24811093 HAS SOUPS 24193215 WITH SCORE 2.4275931347E7
AT ITER 1312 NEW BEST:: SOT 133410739 SOS 82699777 HAS SOPS 67647482 HAS SOUS 24798626 HAS SOUPS 24180748 WITH SCORE 2.4263447777E7
AT ITER 1332 NEW BEST:: SOT 133407769 SOS 82692373 HAS SOPS 67635618 HAS SOUS 24787510 HAS SOUPS 24169632 WITH SCORE 2.4252324373E7
AT ITER 1344 NEW BEST:: SOT 133406812 SOS 82689478 HAS SOPS 67631061 HAS SOUS 24787459 HAS SOUPS 24169581 WITH SCORE 2.4252270478E7
AT ITER 1345 NEW BEST:: SOT 133405511 SOS 82683819 HAS SOPS 67623621 HAS SOUS 24785564 HAS SOUPS 24167686 WITH SCORE 2.4250369819E7
AT ITER 1354 NEW BEST:: SOT 133362562 SOS 82637229 HAS SOPS 67597529 HAS SOUS 24742762 HAS SOUPS 24125006 WITH SCORE 2.4207643229E7
AT ITER 1360 NEW BEST:: SOT 133361448 SOS 82633100 HAS SOPS 67596299 HAS SOUS 24739261 HAS SOUPS 24121505 WITH SCORE 2.42041381E7
AT ITER 1361 NEW BEST:: SOT 133355568 SOS 82629047 HAS SOPS 67591362 HAS SOUS 24736244 HAS SOUPS 24118488 WITH SCORE 2.4201117047E7
AT ITER 1384 NEW BEST:: SOT 133352375 SOS 82623072 HAS SOPS 67585374 HAS SOUS 24733457 HAS SOUPS 24115701 WITH SCORE 2.4198324072E7
AT ITER 1394 NEW BEST:: SOT 133348664 SOS 82611675 HAS SOPS 67575836 HAS SOUS 24731352 HAS SOUPS 24113596 WITH SCORE 2.4196207675E7
AT ITER 1396 NEW BEST:: SOT 133357964 SOS 82654951 HAS SOPS 67626311 HAS SOUS 24722045 HAS SOUPS 24104289 WITH SCORE 2.4186943951E7
AT ITER 1397 NEW BEST:: SOT 133357901 SOS 82654754 HAS SOPS 67626117 HAS SOUS 24722000 HAS SOUPS 24104244 WITH SCORE 2.4186898754E7
AT ITER 1404 NEW BEST:: SOT 133365470 SOS 82680456 HAS SOPS 67645070 HAS SOUS 24708925 HAS SOUPS 24091169 WITH SCORE 2.4173849456E7
AT ITER 1405 NEW BEST:: SOT 133337399 SOS 82652381 HAS SOPS 67616989 HAS SOUS 24675241 HAS SOUPS 24057485 WITH SCORE 2.4140137381E7
AT ITER 1412 NEW BEST:: SOT 133341025 SOS 82679670 HAS SOPS 67638127 HAS SOUS 24665172 HAS SOUPS 24047416 WITH SCORE 2.413009567E7
AT ITER 1423 NEW BEST:: SOT 133342309 SOS 82686674 HAS SOPS 67638574 HAS SOUS 24654216 HAS SOUPS 24036460 WITH SCORE 2.4119146674E7
AT ITER 1424 NEW BEST:: SOT 133344884 SOS 82702186 HAS SOPS 67653710 HAS SOUS 24647875 HAS SOUPS 24030119 WITH SCORE 2.4112821186E7
AT ITER 1430 NEW BEST:: SOT 133344516 SOS 82701726 HAS SOPS 67653138 HAS SOUS 24647475 HAS SOUPS 24029723 WITH SCORE 2.4112424726E7
AT ITER 1453 NEW BEST:: SOT 133342088 SOS 82694957 HAS SOPS 67648600 HAS SOUS 24647141 HAS SOUPS 24029417 WITH SCORE 2.4112111957E7
AT ITER 1463 NEW BEST:: SOT 133338929 SOS 82694995 HAS SOPS 67642754 HAS SOUS 24636765 HAS SOUPS 24019041 WITH SCORE 2.4101735995E7
AT ITER 1466 NEW BEST:: SOT 133325740 SOS 82663134 HAS SOPS 67614536 HAS SOUS 24627986 HAS SOUPS 24010262 WITH SCORE 2.4092925134E7
AT ITER 1472 NEW BEST:: SOT 133325961 SOS 82663141 HAS SOPS 67619535 HAS SOUS 24619815 HAS SOUPS 24004395 WITH SCORE 2.4087058141E7
AT ITER 1477 NEW BEST:: SOT 133301737 SOS 82618876 HAS SOPS 67580853 HAS SOUS 24599856 HAS SOUPS 23984436 WITH SCORE 2.4067054876E7
AT ITER 1481 NEW BEST:: SOT 133303704 SOS 82630697 HAS SOPS 67603031 HAS SOUS 24581403 HAS SOUPS 23966253 WITH SCORE 2.4048883697E7
AT ITER 1498 NEW BEST:: SOT 133303833 SOS 82630777 HAS SOPS 67603221 HAS SOUS 24581395 HAS SOUPS 23966245 WITH SCORE 2.4048875777E7
AT ITER 1510 NEW BEST:: SOT 133304538 SOS 82639500 HAS SOPS 67622997 HAS SOUS 24566110 HAS SOUPS 23950960 WITH SCORE 2.40335995E7
AT ITER 1514 NEW BEST:: SOT 133305178 SOS 82640868 HAS SOPS 67624666 HAS SOUS 24565830 HAS SOUPS 23950696 WITH SCORE 2.4033336868E7
AT ITER 1518 NEW BEST:: SOT 133302917 SOS 82637926 HAS SOPS 67629520 HAS SOUS 24560298 HAS SOUPS 23945164 WITH SCORE 2.4027801926E7
AT ITER 1519 NEW BEST:: SOT 133295656 SOS 82635688 HAS SOPS 67630340 HAS SOUS 24528383 HAS SOUPS 23913564 WITH SCORE 2.3996199688E7
AT ITER 1533 NEW BEST:: SOT 133292142 SOS 82625640 HAS SOPS 67638228 HAS SOUS 24513504 HAS SOUPS 23899000 WITH SCORE 2.398162564E7
AT ITER 1540 NEW BEST:: SOT 133293707 SOS 82626223 HAS SOPS 67637615 HAS SOUS 24511389 HAS SOUPS 23896885 WITH SCORE 2.3979511223E7
AT ITER 1549 NEW BEST:: SOT 133293759 SOS 82626995 HAS SOPS 67638219 HAS SOUS 24511361 HAS SOUPS 23896857 WITH SCORE 2.3979483995E7
AT ITER 1557 NEW BEST:: SOT 133306855 SOS 82641718 HAS SOPS 67643088 HAS SOUS 24496650 HAS SOUPS 23881870 WITH SCORE 2.3964511718E7
AT ITER 1558 NEW BEST:: SOT 133283330 SOS 82596888 HAS SOPS 67595601 HAS SOUS 24447944 HAS SOUPS 23833975 WITH SCORE 2.3916571888E7
AT ITER 1578 NEW BEST:: SOT 133283237 SOS 82596798 HAS SOPS 67595511 HAS SOUS 24447758 HAS SOUPS 23833789 WITH SCORE 2.3916385798E7
AT ITER 1579 NEW BEST:: SOT 133294025 SOS 82623149 HAS SOPS 67605267 HAS SOUS 24420658 HAS SOUPS 23806689 WITH SCORE 2.3889312149E7
AT ITER 1580 NEW BEST:: SOT 133291721 SOS 82623115 HAS SOPS 67607053 HAS SOUS 24403377 HAS SOUPS 23789564 WITH SCORE 2.3872187115E7
AT ITER 1582 NEW BEST:: SOT 133295075 SOS 82629218 HAS SOPS 67607308 HAS SOUS 24396706 HAS SOUPS 23782893 WITH SCORE 2.3865522218E7
AT ITER 1595 NEW BEST:: SOT 133289914 SOS 82619427 HAS SOPS 67606441 HAS SOUS 24384286 HAS SOUPS 23770473 WITH SCORE 2.3853092427E7
AT ITER 1604 NEW BEST:: SOT 133284202 SOS 82615851 HAS SOPS 67603566 HAS SOUS 24365839 HAS SOUPS 23751830 WITH SCORE 2.3834445851E7
AT ITER 1623 NEW BEST:: SOT 133283303 SOS 82618113 HAS SOPS 67606679 HAS SOUS 24363204 HAS SOUPS 23749195 WITH SCORE 2.3831813113E7
AT ITER 1635 NEW BEST:: SOT 133283560 SOS 82620438 HAS SOPS 67608396 HAS SOUS 24362415 HAS SOUPS 23748406 WITH SCORE 2.3831026438E7
AT ITER 1642 NEW BEST:: SOT 133269290 SOS 82604898 HAS SOPS 67593829 HAS SOUS 24341897 HAS SOUPS 23727888 WITH SCORE 2.3810492898E7
AT ITER 1644 NEW BEST:: SOT 133268603 SOS 82637786 HAS SOPS 67640472 HAS SOUS 24308514 HAS SOUPS 23694505 WITH SCORE 2.3777142786E7
AT ITER 1647 NEW BEST:: SOT 133263677 SOS 82620862 HAS SOPS 67629066 HAS SOUS 24306661 HAS SOUPS 23692705 WITH SCORE 2.3775325862E7
AT ITER 1648 NEW BEST:: SOT 133264621 SOS 82621777 HAS SOPS 67630010 HAS SOUS 24305362 HAS SOUPS 23691406 WITH SCORE 2.3774027777E7
AT ITER 1655 NEW BEST:: SOT 133263817 SOS 82626463 HAS SOPS 67626003 HAS SOUS 24289126 HAS SOUPS 23675170 WITH SCORE 2.3757796463E7
AT ITER 1668 NEW BEST:: SOT 133262680 SOS 82629444 HAS SOPS 67626031 HAS SOUS 24281911 HAS SOUPS 23667955 WITH SCORE 2.3750584444E7
AT ITER 1674 NEW BEST:: SOT 133259792 SOS 82624655 HAS SOPS 67620891 HAS SOUS 24278536 HAS SOUPS 23664580 WITH SCORE 2.3747204655E7
AT ITER 1679 NEW BEST:: SOT 133249095 SOS 82576970 HAS SOPS 67594934 HAS SOUS 24270847 HAS SOUPS 23657197 WITH SCORE 2.373977397E7
AT ITER 1682 NEW BEST:: SOT 133246784 SOS 82573889 HAS SOPS 67591797 HAS SOUS 24266100 HAS SOUPS 23652464 WITH SCORE 2.3735037889E7
AT ITER 1684 NEW BEST:: SOT 133267333 SOS 82597652 HAS SOPS 67640619 HAS SOUS 24261347 HAS SOUPS 23647711 WITH SCORE 2.3730308652E7
AT ITER 1703 NEW BEST:: SOT 133267606 SOS 82599534 HAS SOPS 67642722 HAS SOUS 24258563 HAS SOUPS 23644939 WITH SCORE 2.3727538534E7
AT ITER 1710 NEW BEST:: SOT 133269108 SOS 82603795 HAS SOPS 67643248 HAS SOUS 24257559 HAS SOUPS 23643935 WITH SCORE 2.3726538795E7
AT ITER 1714 NEW BEST:: SOT 133269522 SOS 82605396 HAS SOPS 67643625 HAS SOUS 24257523 HAS SOUPS 23643899 WITH SCORE 2.3726504396E7
AT ITER 1719 NEW BEST:: SOT 133269162 SOS 82604631 HAS SOPS 67642904 HAS SOUS 24255199 HAS SOUPS 23641575 WITH SCORE 2.3724179631E7
AT ITER 1728 NEW BEST:: SOT 133273497 SOS 82611241 HAS SOPS 67645752 HAS SOUS 24250088 HAS SOUPS 23636464 WITH SCORE 2.3719075241E7
AT ITER 1730 NEW BEST:: SOT 133289522 SOS 82674843 HAS SOPS 67702043 HAS SOUS 24236649 HAS SOUPS 23623025 WITH SCORE 2.3705699843E7
AT ITER 1735 NEW BEST:: SOT 133287428 SOS 82666376 HAS SOPS 67709595 HAS SOUS 24197470 HAS SOUPS 23588655 WITH SCORE 2.3671321376E7
AT ITER 1740 NEW BEST:: SOT 133292618 SOS 82692158 HAS SOPS 67739830 HAS SOUS 24179734 HAS SOUPS 23570919 WITH SCORE 2.3653611158E7
AT ITER 1770 NEW BEST:: SOT 133292583 SOS 82702914 HAS SOPS 67746315 HAS SOUS 24163784 HAS SOUPS 23554969 WITH SCORE 2.3637671914E7
AT ITER 1773 NEW BEST:: SOT 133283038 SOS 82687570 HAS SOPS 67733843 HAS SOUS 24145846 HAS SOUPS 23537126 WITH SCORE 2.361981357E7
AT ITER 1792 NEW BEST:: SOT 133293866 SOS 82739661 HAS SOPS 67810643 HAS SOUS 24144291 HAS SOUPS 23535571 WITH SCORE 2.3618310661E7
AT ITER 1794 NEW BEST:: SOT 133317798 SOS 82794773 HAS SOPS 67883242 HAS SOUS 24139352 HAS SOUPS 23530632 WITH SCORE 2.3613426773E7
AT ITER 1796 NEW BEST:: SOT 133311006 SOS 82788998 HAS SOPS 67868946 HAS SOUS 24130560 HAS SOUPS 23521739 WITH SCORE 2.3604527998E7
AT ITER 1798 NEW BEST:: SOT 133311568 SOS 82792060 HAS SOPS 67872959 HAS SOUS 24129991 HAS SOUPS 23521210 WITH SCORE 2.360400206E7
AT ITER 1801 NEW BEST:: SOT 133310619 SOS 82780808 HAS SOPS 67870432 HAS SOUS 24118066 HAS SOUPS 23509285 WITH SCORE 2.3592065808E7
AT ITER 1817 NEW BEST:: SOT 133288578 SOS 82740245 HAS SOPS 67834294 HAS SOUS 24078855 HAS SOUPS 23470074 WITH SCORE 2.3552814245E7
AT ITER 1819 NEW BEST:: SOT 133288599 SOS 82740212 HAS SOPS 67834068 HAS SOUS 24078650 HAS SOUPS 23469869 WITH SCORE 2.3552609212E7
AT ITER 1824 NEW BEST:: SOT 133282886 SOS 82726356 HAS SOPS 67826101 HAS SOUS 24070083 HAS SOUPS 23461302 WITH SCORE 2.3544028356E7
AT ITER 1836 NEW BEST:: SOT 133282655 SOS 82725658 HAS SOPS 67826561 HAS SOUS 24068168 HAS SOUPS 23459387 WITH SCORE 2.3542112658E7
AT ITER 1852 NEW BEST:: SOT 133287920 SOS 82740283 HAS SOPS 67835361 HAS SOUS 24066743 HAS SOUPS 23457962 WITH SCORE 2.3540702283E7
AT ITER 1862 NEW BEST:: SOT 133281573 SOS 82724561 HAS SOPS 67814742 HAS SOUS 24051488 HAS SOUPS 23442707 WITH SCORE 2.3525431561E7
AT ITER 1904 NEW BEST:: SOT 133277179 SOS 82720169 HAS SOPS 67812373 HAS SOUS 24045542 HAS SOUPS 23436761 WITH SCORE 2.3519481169E7
AT ITER 1909 NEW BEST:: SOT 133267757 SOS 82701174 HAS SOPS 67796364 HAS SOUS 24039800 HAS SOUPS 23431019 WITH SCORE 2.3513720174E7
AT ITER 1923 NEW BEST:: SOT 133281361 SOS 82751350 HAS SOPS 67831275 HAS SOUS 24015455 HAS SOUPS 23406674 WITH SCORE 2.348942535E7
AT ITER 1928 NEW BEST:: SOT 133282219 SOS 82757221 HAS SOPS 67835475 HAS SOUS 24004629 HAS SOUPS 23395848 WITH SCORE 2.3478605221E7
AT ITER 1929 NEW BEST:: SOT 133282422 SOS 82758040 HAS SOPS 67835727 HAS SOUS 24003772 HAS SOUPS 23394991 WITH SCORE 2.347774904E7
AT ITER 1930 NEW BEST:: SOT 133290195 SOS 82785600 HAS SOPS 67898221 HAS SOUS 23993924 HAS SOUPS 23385143 WITH SCORE 2.34679286E7
AT ITER 1931 NEW BEST:: SOT 133290445 SOS 82786846 HAS SOPS 67899534 HAS SOUS 23993818 HAS SOUPS 23385037 WITH SCORE 2.3467823846E7
AT ITER 1934 NEW BEST:: SOT 133286471 SOS 82788662 HAS SOPS 67899341 HAS SOUS 23981751 HAS SOUPS 23372970 WITH SCORE 2.3455758662E7
AT ITER 1942 NEW BEST:: SOT 133314008 SOS 82891557 HAS SOPS 68000057 HAS SOUS 23953589 HAS SOUPS 23344808 WITH SCORE 2.3427699557E7
AT ITER 1943 NEW BEST:: SOT 133221719 SOS 82794540 HAS SOPS 67904093 HAS SOUS 23854756 HAS SOUPS 23246290 WITH SCORE 2.332908454E7
AT ITER 1958 NEW BEST:: SOT 133196325 SOS 82737098 HAS SOPS 67857430 HAS SOUS 23839433 HAS SOUPS 23230967 WITH SCORE 2.3313704098E7
AT ITER 1968 NEW BEST:: SOT 133170632 SOS 82656634 HAS SOPS 67783714 HAS SOUS 23824221 HAS SOUPS 23215755 WITH SCORE 2.3298411634E7
AT ITER 1970 NEW BEST:: SOT 133137620 SOS 82602820 HAS SOPS 67741504 HAS SOUS 23791709 HAS SOUPS 23184856 WITH SCORE 2.326745882E7
AT ITER 1981 NEW BEST:: SOT 133125185 SOS 82590574 HAS SOPS 67729414 HAS SOUS 23745208 HAS SOUPS 23138430 WITH SCORE 2.3221020574E7
AT ITER 1986 NEW BEST:: SOT 133124500 SOS 82593975 HAS SOPS 67732082 HAS SOUS 23734262 HAS SOUPS 23130541 WITH SCORE 2.3213134975E7
AT ITER 1988 NEW BEST:: SOT 133120540 SOS 82589482 HAS SOPS 67726464 HAS SOUS 23728820 HAS SOUPS 23125099 WITH SCORE 2.3207688482E7
AT ITER 1997 NEW BEST:: SOT 133131889 SOS 82635134 HAS SOPS 67762062 HAS SOUS 23725482 HAS SOUPS 23121761 WITH SCORE 2.3204396134E7
AT ITER 2015 NEW BEST:: SOT 133121336 SOS 82629838 HAS SOPS 67754931 HAS SOUS 23704148 HAS SOUPS 23100427 WITH SCORE 2.3183056838E7
AT ITER 2017 NEW BEST:: SOT 133128844 SOS 82654811 HAS SOPS 67793503 HAS SOUS 23682561 HAS SOUPS 23078709 WITH SCORE 2.3161363811E7
AT ITER 2021 NEW BEST:: SOT 133121575 SOS 82634195 HAS SOPS 67775731 HAS SOUS 23679674 HAS SOUPS 23075822 WITH SCORE 2.3158456195E7
AT ITER 2028 NEW BEST:: SOT 133119082 SOS 82630818 HAS SOPS 67773320 HAS SOUS 23673925 HAS SOUPS 23070073 WITH SCORE 2.3152703818E7
AT ITER 2040 NEW BEST:: SOT 133119006 SOS 82633492 HAS SOPS 67781207 HAS SOUS 23658159 HAS SOUPS 23054307 WITH SCORE 2.3136940492E7
AT ITER 2041 NEW BEST:: SOT 133111535 SOS 82606796 HAS SOPS 67757018 HAS SOUS 23656212 HAS SOUPS 23052360 WITH SCORE 2.3134966796E7
AT ITER 2052 NEW BEST:: SOT 133110877 SOS 82606221 HAS SOPS 67756743 HAS SOUS 23654631 HAS SOUPS 23050779 WITH SCORE 2.3133385221E7
AT ITER 2059 NEW BEST:: SOT 133097930 SOS 82563311 HAS SOPS 67725072 HAS SOUS 23636329 HAS SOUPS 23032477 WITH SCORE 2.3115040311E7
AT ITER 2060 NEW BEST:: SOT 133140611 SOS 82686826 HAS SOPS 67813239 HAS SOUS 23617542 HAS SOUPS 23013555 WITH SCORE 2.3096241826E7
AT ITER 2061 NEW BEST:: SOT 133162094 SOS 82733570 HAS SOPS 67845729 HAS SOUS 23615456 HAS SOUPS 23011469 WITH SCORE 2.309420257E7
AT ITER 2065 NEW BEST:: SOT 133103741 SOS 82639537 HAS SOPS 67763158 HAS SOUS 23553111 HAS SOUPS 22950062 WITH SCORE 2.3032701537E7
AT ITER 2070 NEW BEST:: SOT 133103803 SOS 82635817 HAS SOPS 67759252 HAS SOUS 23552987 HAS SOUPS 22949938 WITH SCORE 2.3032573817E7
AT ITER 2082 NEW BEST:: SOT 133101680 SOS 82623710 HAS SOPS 67774636 HAS SOUS 23509748 HAS SOUPS 22909065 WITH SCORE 2.299168871E7
AT ITER 2098 NEW BEST:: SOT 133028762 SOS 82553742 HAS SOPS 67674335 HAS SOUS 23373116 HAS SOUPS 22772190 WITH SCORE 2.2854743742E7
AT ITER 2103 NEW BEST:: SOT 133032259 SOS 82572972 HAS SOPS 67698096 HAS SOUS 23368622 HAS SOUPS 22767696 WITH SCORE 2.2850268972E7
AT ITER 2105 NEW BEST:: SOT 133029076 SOS 82563731 HAS SOPS 67693361 HAS SOUS 23366774 HAS SOUPS 22765848 WITH SCORE 2.2848411731E7
AT ITER 2110 NEW BEST:: SOT 133030021 SOS 82573143 HAS SOPS 67706831 HAS SOUS 23322633 HAS SOUPS 22723760 WITH SCORE 2.2806333143E7
AT ITER 2127 NEW BEST:: SOT 132973111 SOS 82447301 HAS SOPS 67654967 HAS SOUS 23303396 HAS SOUPS 22705176 WITH SCORE 2.2787623301E7
AT ITER 2146 NEW BEST:: SOT 132973348 SOS 82447588 HAS SOPS 67654431 HAS SOUS 23300949 HAS SOUPS 22702727 WITH SCORE 2.2785174588E7
AT ITER 2154 NEW BEST:: SOT 132948179 SOS 82422419 HAS SOPS 67629262 HAS SOUS 23272530 HAS SOUPS 22674308 WITH SCORE 2.2756730419E7
AT ITER 2158 NEW BEST:: SOT 132877101 SOS 82332694 HAS SOPS 67547809 HAS SOUS 23190048 HAS SOUPS 22592093 WITH SCORE 2.2674425694E7
AT ITER 2159 NEW BEST:: SOT 132864277 SOS 82319806 HAS SOPS 67532853 HAS SOUS 23166298 HAS SOUPS 22568343 WITH SCORE 2.2650662806E7
AT ITER 2188 NEW BEST:: SOT 132872117 SOS 82336227 HAS SOPS 67556158 HAS SOUS 23155495 HAS SOUPS 22557726 WITH SCORE 2.2640062227E7
AT ITER 2230 NEW BEST:: SOT 132861612 SOS 82327078 HAS SOPS 67551422 HAS SOUS 23134519 HAS SOUPS 22536888 WITH SCORE 2.2619215078E7
AT ITER 2244 NEW BEST:: SOT 132820844 SOS 82272897 HAS SOPS 67513773 HAS SOUS 23051968 HAS SOUPS 22455782 WITH SCORE 2.2538054897E7
AT ITER 2276 NEW BEST:: SOT 132821110 SOS 82273044 HAS SOPS 67521076 HAS SOUS 23051407 HAS SOUPS 22455221 WITH SCORE 2.2537494044E7
AT ITER 2283 NEW BEST:: SOT 132822728 SOS 82268335 HAS SOPS 67517699 HAS SOUS 23045393 HAS SOUPS 22449207 WITH SCORE 2.2531475335E7
AT ITER 2289 NEW BEST:: SOT 132820333 SOS 82262157 HAS SOPS 67512279 HAS SOUS 23043719 HAS SOUPS 22447533 WITH SCORE 2.2529795157E7
AT ITER 2339 NEW BEST:: SOT 132810844 SOS 82234036 HAS SOPS 67492803 HAS SOUS 23024457 HAS SOUPS 22428271 WITH SCORE 2.2510505036E7
AT ITER 2347 NEW BEST:: SOT 132807688 SOS 82230520 HAS SOPS 67497116 HAS SOUS 23011172 HAS SOUPS 22415227 WITH SCORE 2.249745752E7
AT ITER 2360 NEW BEST:: SOT 132795625 SOS 82217184 HAS SOPS 67496880 HAS SOUS 22944275 HAS SOUPS 22348882 WITH SCORE 2.2431099184E7
AT ITER 2361 NEW BEST:: SOT 132778112 SOS 82184585 HAS SOPS 67469751 HAS SOUS 22916130 HAS SOUPS 22320737 WITH SCORE 2.2402921585E7
AT ITER 2363 NEW BEST:: SOT 132774034 SOS 82180506 HAS SOPS 67465641 HAS SOUS 22910940 HAS SOUPS 22315547 WITH SCORE 2.2397727506E7
AT ITER 2370 NEW BEST:: SOT 132788857 SOS 82241982 HAS SOPS 67524343 HAS SOUS 22898851 HAS SOUPS 22303458 WITH SCORE 2.2385699982E7
AT ITER 2378 NEW BEST:: SOT 132815235 SOS 82342088 HAS SOPS 67611761 HAS SOUS 22890720 HAS SOUPS 22295327 WITH SCORE 2.2377669088E7
AT ITER 2381 NEW BEST:: SOT 132815522 SOS 82344368 HAS SOPS 67616400 HAS SOUS 22890339 HAS SOUPS 22294946 WITH SCORE 2.2377290368E7
AT ITER 2393 NEW BEST:: SOT 132803877 SOS 82310497 HAS SOPS 67590142 HAS SOUS 22882550 HAS SOUPS 22287157 WITH SCORE 2.2369467497E7

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="RERS17pb114-PT-8"
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 RERS17pb114-PT-8, 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 r138-smll-158961502400131"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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