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.r078-smll-158922972300240.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 FamilyReunion-PT-L00100M0010C005P005G002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972300240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 19M
-rw-r--r-- 1 mcc users 3.2K Apr 4 17:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 4 17:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 4 06:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 4 06:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 266K Apr 8 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.1M Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 237K Apr 8 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 654K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Apr 3 20:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 3 20:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 3 13:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 3 13:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 17M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589376620094

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (PT), instance L00100M0010C005P005G002
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 40605 places, 36871 transitions, 112728 arcs.
AT ITER 0 NEW BEST:: SOT 863716282 SOS 83563708 HAS SOPS 83329262 HAS SOUS 78574993 HAS SOUPS 78558019 WITH SCORE 7.8641582708E7
AT ITER 22 NEW BEST:: SOT 863714400 SOS 83563277 HAS SOPS 83328831 HAS SOUS 78574562 HAS SOUPS 78557588 WITH SCORE 7.8641151277E7
AT ITER 54 NEW BEST:: SOT 863713425 SOS 83562680 HAS SOPS 83328234 HAS SOUS 78573726 HAS SOUPS 78556752 WITH SCORE 7.864031468E7
AT ITER 74 NEW BEST:: SOT 863713325 SOS 83560494 HAS SOPS 83326048 HAS SOUS 78573326 HAS SOUPS 78556352 WITH SCORE 7.8639912494E7
AT ITER 78 NEW BEST:: SOT 863712224 SOS 83558292 HAS SOPS 83323846 HAS SOUS 78571117 HAS SOUPS 78554143 WITH SCORE 7.8637701292E7
AT ITER 198 NEW BEST:: SOT 863712224 SOS 83556415 HAS SOPS 83321969 HAS SOUS 78569240 HAS SOUPS 78552266 WITH SCORE 7.8635822415E7
AT ITER 304 NEW BEST:: SOT 863710002 SOS 83554169 HAS SOPS 83319723 HAS SOUS 78566994 HAS SOUPS 78550020 WITH SCORE 7.8633574169E7
AT ITER 305 NEW BEST:: SOT 863710002 SOS 83553328 HAS SOPS 83318882 HAS SOUS 78566153 HAS SOUPS 78549179 WITH SCORE 7.8632732328E7
AT ITER 469 NEW BEST:: SOT 863709161 SOS 83551646 HAS SOPS 83317200 HAS SOUS 78564471 HAS SOUPS 78547497 WITH SCORE 7.8631048646E7
AT ITER 487 NEW BEST:: SOT 863709161 SOS 83551040 HAS SOPS 83316594 HAS SOUS 78563865 HAS SOUPS 78546891 WITH SCORE 7.863044204E7
AT ITER 566 NEW BEST:: SOT 863707679 SOS 83548152 HAS SOPS 83313706 HAS SOUS 78560901 HAS SOUPS 78543927 WITH SCORE 7.8627475152E7
AT ITER 651 NEW BEST:: SOT 863707479 SOS 83547752 HAS SOPS 83313306 HAS SOUS 78560501 HAS SOUPS 78543527 WITH SCORE 7.8627074752E7
AT ITER 671 NEW BEST:: SOT 863705694 SOS 83547515 HAS SOPS 83313069 HAS SOUS 78560264 HAS SOUPS 78543290 WITH SCORE 7.8626837515E7
AT ITER 695 NEW BEST:: SOT 863704300 SOS 83545293 HAS SOPS 83310847 HAS SOUS 78558042 HAS SOUPS 78541068 WITH SCORE 7.8624613293E7
AT ITER 707 NEW BEST:: SOT 863703187 SOS 83541954 HAS SOPS 83307508 HAS SOUS 78554703 HAS SOUPS 78537729 WITH SCORE 7.8621270954E7
AT ITER 710 NEW BEST:: SOT 863701879 SOS 83539732 HAS SOPS 83305286 HAS SOUS 78552481 HAS SOUPS 78535507 WITH SCORE 7.8619046732E7
AT ITER 757 NEW BEST:: SOT 863701758 SOS 83539490 HAS SOPS 83305044 HAS SOUS 78552239 HAS SOUPS 78535265 WITH SCORE 7.861880449E7
AT ITER 758 NEW BEST:: SOT 863700377 SOS 83537268 HAS SOPS 83302822 HAS SOUS 78550017 HAS SOUPS 78533043 WITH SCORE 7.8616580268E7
AT ITER 803 NEW BEST:: SOT 863699161 SOS 83534925 HAS SOPS 83300479 HAS SOUS 78547585 HAS SOUPS 78530611 WITH SCORE 7.8614145925E7
AT ITER 853 NEW BEST:: SOT 863697655 SOS 83532703 HAS SOPS 83298257 HAS SOUS 78545363 HAS SOUPS 78528389 WITH SCORE 7.8611921703E7
AT ITER 905 NEW BEST:: SOT 863696707 SOS 83531469 HAS SOPS 83297023 HAS SOUS 78543022 HAS SOUPS 78526048 WITH SCORE 7.8609579469E7
AT ITER 922 NEW BEST:: SOT 863696707 SOS 83530818 HAS SOPS 83296372 HAS SOUS 78542370 HAS SOUPS 78525396 WITH SCORE 7.8608926818E7
AT ITER 1045 NEW BEST:: SOT 863694555 SOS 83529847 HAS SOPS 83295401 HAS SOUS 78541459 HAS SOUPS 78524485 WITH SCORE 7.8608014847E7
AT ITER 1094 NEW BEST:: SOT 863693256 SOS 83527349 HAS SOPS 83292903 HAS SOUS 78538861 HAS SOUPS 78521887 WITH SCORE 7.8605414349E7
AT ITER 1097 NEW BEST:: SOT 863693256 SOS 83525144 HAS SOPS 83290698 HAS SOUS 78536656 HAS SOUPS 78519682 WITH SCORE 7.8603207144E7
AT ITER 1121 NEW BEST:: SOT 863691071 SOS 83524033 HAS SOPS 83289587 HAS SOUS 78535535 HAS SOUPS 78518561 WITH SCORE 7.8602085033E7
AT ITER 1192 NEW BEST:: SOT 863691071 SOS 83523988 HAS SOPS 83289542 HAS SOUS 78535490 HAS SOUPS 78518516 WITH SCORE 7.8602039988E7
AT ITER 1212 NEW BEST:: SOT 863691071 SOS 83523907 HAS SOPS 83289461 HAS SOUS 78535409 HAS SOUPS 78518435 WITH SCORE 7.8601958907E7
AT ITER 1225 NEW BEST:: SOT 863689818 SOS 83521685 HAS SOPS 83287239 HAS SOUS 78533187 HAS SOUPS 78516213 WITH SCORE 7.8599734685E7
AT ITER 1281 NEW BEST:: SOT 863689212 SOS 83520473 HAS SOPS 83286027 HAS SOUS 78531975 HAS SOUPS 78515001 WITH SCORE 7.8598521473E7
AT ITER 1368 NEW BEST:: SOT 863687281 SOS 83518251 HAS SOPS 83283805 HAS SOUS 78529753 HAS SOUPS 78512779 WITH SCORE 7.8596297251E7
AT ITER 1400 NEW BEST:: SOT 863687281 SOS 83516762 HAS SOPS 83282316 HAS SOUS 78528264 HAS SOUPS 78511290 WITH SCORE 7.8594806762E7
AT ITER 1485 NEW BEST:: SOT 863686788 SOS 83515776 HAS SOPS 83281330 HAS SOUS 78527278 HAS SOUPS 78510304 WITH SCORE 7.8593819776E7
AT ITER 1551 NEW BEST:: SOT 863685113 SOS 83515759 HAS SOPS 83281313 HAS SOUS 78527261 HAS SOUPS 78510287 WITH SCORE 7.8593802759E7
AT ITER 1564 NEW BEST:: SOT 863685113 SOS 83514994 HAS SOPS 83280548 HAS SOUS 78526491 HAS SOUPS 78509517 WITH SCORE 7.8593031994E7
AT ITER 1587 NEW BEST:: SOT 863684744 SOS 83514862 HAS SOPS 83280416 HAS SOUS 78526359 HAS SOUPS 78509385 WITH SCORE 7.8592899862E7
AT ITER 1602 NEW BEST:: SOT 863685750 SOS 83517125 HAS SOPS 83276043 HAS SOUS 78528245 HAS SOUPS 78505967 WITH SCORE 7.8589484125E7
AT ITER 1650 NEW BEST:: SOT 863686656 SOS 83519130 HAS SOPS 83266971 HAS SOUS 78531044 HAS SOUPS 78497810 WITH SCORE 7.858132913E7
AT ITER 1670 NEW BEST:: SOT 863685395 SOS 83515347 HAS SOPS 83263188 HAS SOUS 78527261 HAS SOUPS 78494027 WITH SCORE 7.8577542347E7
AT ITER 1681 NEW BEST:: SOT 863685395 SOS 83514752 HAS SOPS 83262593 HAS SOUS 78526666 HAS SOUPS 78493432 WITH SCORE 7.8576946752E7
AT ITER 1822 NEW BEST:: SOT 863685294 SOS 83515180 HAS SOPS 83244981 HAS SOUS 78515610 HAS SOUPS 78475820 WITH SCORE 7.855933518E7
AT ITER 1879 NEW BEST:: SOT 863684714 SOS 83514020 HAS SOPS 83243821 HAS SOUS 78514450 HAS SOUPS 78474660 WITH SCORE 7.855817402E7
AT ITER 2017 NEW BEST:: SOT 863683369 SOS 83512909 HAS SOPS 83242710 HAS SOUS 78513334 HAS SOUPS 78473544 WITH SCORE 7.8557056909E7
AT ITER 2079 NEW BEST:: SOT 863697280 SOS 83530105 HAS SOPS 83238016 HAS SOUS 78513491 HAS SOUPS 78469697 WITH SCORE 7.8553227105E7
AT ITER 2081 NEW BEST:: SOT 863690382 SOS 83561719 HAS SOPS 83269630 HAS SOUS 78510269 HAS SOUPS 78466475 WITH SCORE 7.8550036719E7
AT ITER 2203 NEW BEST:: SOT 863689099 SOS 83559248 HAS SOPS 83267159 HAS SOUS 78507703 HAS SOUPS 78463909 WITH SCORE 7.8547468248E7
AT ITER 2225 NEW BEST:: SOT 863687072 SOS 83558527 HAS SOPS 83266438 HAS SOUS 78506982 HAS SOUPS 78463188 WITH SCORE 7.8546746527E7
AT ITER 2244 NEW BEST:: SOT 863685201 SOS 83558118 HAS SOPS 83266029 HAS SOUS 78506573 HAS SOUPS 78462779 WITH SCORE 7.8546337118E7
AT ITER 2255 NEW BEST:: SOT 863683414 SOS 83557877 HAS SOPS 83265788 HAS SOUS 78506332 HAS SOUPS 78462538 WITH SCORE 7.8546095877E7
AT ITER 2270 NEW BEST:: SOT 863682733 SOS 83556515 HAS SOPS 83264426 HAS SOUS 78504963 HAS SOUPS 78461169 WITH SCORE 7.8544725515E7
AT ITER 2513 NEW BEST:: SOT 863679914 SOS 83554182 HAS SOPS 83262093 HAS SOUS 78502628 HAS SOUPS 78458834 WITH SCORE 7.8542388182E7
AT ITER 2602 NEW BEST:: SOT 863679312 SOS 83553580 HAS SOPS 83261491 HAS SOUS 78502026 HAS SOUPS 78458232 WITH SCORE 7.854178558E7
AT ITER 2697 NEW BEST:: SOT 863679641 SOS 83554387 HAS SOPS 83257568 HAS SOUS 78498485 HAS SOUPS 78454691 WITH SCORE 7.8538245387E7
AT ITER 2701 NEW BEST:: SOT 863678512 SOS 83552165 HAS SOPS 83255346 HAS SOUS 78496262 HAS SOUPS 78452468 WITH SCORE 7.8536020165E7
AT ITER 2741 NEW BEST:: SOT 863677951 SOS 83550482 HAS SOPS 83253663 HAS SOUS 78494579 HAS SOUPS 78450785 WITH SCORE 7.8534335482E7
AT ITER 2744 NEW BEST:: SOT 863676191 SOS 83548260 HAS SOPS 83251441 HAS SOUS 78492357 HAS SOUPS 78448563 WITH SCORE 7.853211126E7
AT ITER 2769 NEW BEST:: SOT 863638415 SOS 85665765 HAS SOPS 85368946 HAS SOUS 78477096 HAS SOUPS 78433302 WITH SCORE 7.8518967765E7
AT ITER 2859 NEW BEST:: SOT 863638415 SOS 85665248 HAS SOPS 85368429 HAS SOUS 78476579 HAS SOUPS 78432785 WITH SCORE 7.8518450248E7
AT ITER 3022 NEW BEST:: SOT 863638415 SOS 85665020 HAS SOPS 85368201 HAS SOUS 78476350 HAS SOUPS 78432556 WITH SCORE 7.851822102E7
AT ITER 3040 NEW BEST:: SOT 863636602 SOS 85664727 HAS SOPS 85367908 HAS SOUS 78476057 HAS SOUPS 78432263 WITH SCORE 7.8517927727E7
AT ITER 3079 NEW BEST:: SOT 863634641 SOS 85664138 HAS SOPS 85367319 HAS SOUS 78475468 HAS SOUPS 78431674 WITH SCORE 7.8517338138E7
AT ITER 3083 NEW BEST:: SOT 863634641 SOS 85663688 HAS SOPS 85366869 HAS SOUS 78475014 HAS SOUPS 78431220 WITH SCORE 7.8516883688E7
AT ITER 3109 NEW BEST:: SOT 863633425 SOS 85661466 HAS SOPS 85364647 HAS SOUS 78472792 HAS SOUPS 78428998 WITH SCORE 7.8514659466E7
AT ITER 3127 NEW BEST:: SOT 863633425 SOS 85660827 HAS SOPS 85364008 HAS SOUS 78472153 HAS SOUPS 78428359 WITH SCORE 7.8514019827E7
AT ITER 3132 NEW BEST:: SOT 863631993 SOS 85658053 HAS SOPS 85361234 HAS SOUS 78469289 HAS SOUPS 78425495 WITH SCORE 7.8511153053E7
AT ITER 3150 NEW BEST:: SOT 863630485 SOS 85656942 HAS SOPS 85360123 HAS SOUS 78468173 HAS SOUPS 78424379 WITH SCORE 7.8510035942E7
AT ITER 3154 NEW BEST:: SOT 863629215 SOS 85655831 HAS SOPS 85359012 HAS SOUS 78467057 HAS SOUPS 78423263 WITH SCORE 7.8508918831E7
AT ITER 3193 NEW BEST:: SOT 863627970 SOS 85653609 HAS SOPS 85356790 HAS SOUS 78464830 HAS SOUPS 78421036 WITH SCORE 7.8506689609E7
AT ITER 3397 NEW BEST:: SOT 863625831 SOS 85652498 HAS SOPS 85355679 HAS SOUS 78463719 HAS SOUPS 78419925 WITH SCORE 7.8505577498E7
AT ITER 3439 NEW BEST:: SOT 863623323 SOS 85650276 HAS SOPS 85353457 HAS SOUS 78461497 HAS SOUPS 78417703 WITH SCORE 7.8503353276E7
AT ITER 3554 NEW BEST:: SOT 863621803 SOS 85648054 HAS SOPS 85351235 HAS SOUS 78459268 HAS SOUPS 78415474 WITH SCORE 7.8501122054E7
AT ITER 3568 NEW BEST:: SOT 863621422 SOS 85646911 HAS SOPS 85350092 HAS SOUS 78458125 HAS SOUPS 78414331 WITH SCORE 7.8499977911E7
AT ITER 3594 NEW BEST:: SOT 863617930 SOS 85649082 HAS SOPS 85352263 HAS SOUS 78455335 HAS SOUPS 78411541 WITH SCORE 7.8497190082E7
AT ITER 3650 NEW BEST:: SOT 863616393 SOS 85647971 HAS SOPS 85351152 HAS SOUS 78454224 HAS SOUPS 78410430 WITH SCORE 7.8496077971E7
AT ITER 3674 NEW BEST:: SOT 863616393 SOS 85647971 HAS SOPS 85351152 HAS SOUS 78454216 HAS SOUPS 78410422 WITH SCORE 7.8496069971E7
AT ITER 3759 NEW BEST:: SOT 863616344 SOS 85647922 HAS SOPS 85351103 HAS SOUS 78454167 HAS SOUPS 78410373 WITH SCORE 7.8496020922E7
AT ITER 3766 NEW BEST:: SOT 863616344 SOS 85647666 HAS SOPS 85350847 HAS SOUS 78453911 HAS SOUPS 78410117 WITH SCORE 7.8495764666E7
AT ITER 3803 NEW BEST:: SOT 863614418 SOS 85643848 HAS SOPS 85347029 HAS SOUS 78450059 HAS SOUPS 78406265 WITH SCORE 7.8491908848E7
AT ITER 3831 NEW BEST:: SOT 863612315 SOS 85642737 HAS SOPS 85345918 HAS SOUS 78447810 HAS SOUPS 78404016 WITH SCORE 7.8489658737E7
AT ITER 3861 NEW BEST:: SOT 863612315 SOS 85642602 HAS SOPS 85345783 HAS SOUS 78447675 HAS SOUPS 78403881 WITH SCORE 7.8489523602E7
AT ITER 3882 NEW BEST:: SOT 863612315 SOS 85640610 HAS SOPS 85343791 HAS SOUS 78445683 HAS SOUPS 78401889 WITH SCORE 7.848752961E7
AT ITER 3904 NEW BEST:: SOT 863611870 SOS 85639720 HAS SOPS 85342901 HAS SOUS 78444793 HAS SOUPS 78400999 WITH SCORE 7.848663872E7
AT ITER 4011 NEW BEST:: SOT 863610757 SOS 85639114 HAS SOPS 85342295 HAS SOUS 78444187 HAS SOUPS 78400393 WITH SCORE 7.8486032114E7
AT ITER 4060 NEW BEST:: SOT 863609919 SOS 85637438 HAS SOPS 85340619 HAS SOUS 78442511 HAS SOUPS 78398717 WITH SCORE 7.8484354438E7
AT ITER 4085 NEW BEST:: SOT 863609573 SOS 85637352 HAS SOPS 85340533 HAS SOUS 78442425 HAS SOUPS 78398631 WITH SCORE 7.8484268352E7
AT ITER 4121 NEW BEST:: SOT 863608967 SOS 85636746 HAS SOPS 85339927 HAS SOUS 78441819 HAS SOUPS 78398025 WITH SCORE 7.8483661746E7
AT ITER 4213 NEW BEST:: SOT 863606809 SOS 85635635 HAS SOPS 85338816 HAS SOUS 78440698 HAS SOUPS 78396904 WITH SCORE 7.8482539635E7
AT ITER 4236 NEW BEST:: SOT 863606809 SOS 85635240 HAS SOPS 85338421 HAS SOUS 78440303 HAS SOUPS 78396509 WITH SCORE 7.848214424E7
AT ITER 4269 NEW BEST:: SOT 863600199 SOS 85629291 HAS SOPS 85332472 HAS SOUS 78434348 HAS SOUPS 78390554 WITH SCORE 7.8476183291E7
AT ITER 4338 NEW BEST:: SOT 863598602 SOS 85624500 HAS SOPS 85327681 HAS SOUS 78429557 HAS SOUPS 78385763 WITH SCORE 7.84713875E7
AT ITER 4396 NEW BEST:: SOT 863598328 SOS 85623952 HAS SOPS 85327133 HAS SOUS 78429009 HAS SOUPS 78385215 WITH SCORE 7.8470838952E7
AT ITER 4407 NEW BEST:: SOT 863596587 SOS 85618729 HAS SOPS 85321910 HAS SOUS 78423786 HAS SOUPS 78379992 WITH SCORE 7.8465610729E7
AT ITER 4448 NEW BEST:: SOT 863595593 SOS 85615747 HAS SOPS 85318928 HAS SOUS 78420804 HAS SOUPS 78377010 WITH SCORE 7.8462625747E7
AT ITER 4457 NEW BEST:: SOT 863594275 SOS 85613525 HAS SOPS 85316706 HAS SOUS 78418578 HAS SOUPS 78374784 WITH SCORE 7.8460397525E7
AT ITER 4509 NEW BEST:: SOT 863593870 SOS 85613120 HAS SOPS 85316301 HAS SOUS 78418173 HAS SOUPS 78374379 WITH SCORE 7.845999212E7
AT ITER 4581 NEW BEST:: SOT 863592299 SOS 85610898 HAS SOPS 85314079 HAS SOUS 78415951 HAS SOUPS 78372157 WITH SCORE 7.8457767898E7
AT ITER 4598 NEW BEST:: SOT 863591402 SOS 85609710 HAS SOPS 85312891 HAS SOUS 78414763 HAS SOUPS 78370969 WITH SCORE 7.845657871E7
AT ITER 4614 NEW BEST:: SOT 863589986 SOS 85607488 HAS SOPS 85310669 HAS SOUS 78412532 HAS SOUPS 78368738 WITH SCORE 7.8454345488E7
AT ITER 4644 NEW BEST:: SOT 863589147 SOS 85605810 HAS SOPS 85308991 HAS SOUS 78410853 HAS SOUPS 78367059 WITH SCORE 7.845266481E7
AT ITER 4659 NEW BEST:: SOT 863587325 SOS 85613401 HAS SOPS 85316582 HAS SOUS 78410413 HAS SOUPS 78366619 WITH SCORE 7.8452232401E7
AT ITER 4674 NEW BEST:: SOT 863587325 SOS 85613049 HAS SOPS 85316230 HAS SOUS 78410056 HAS SOUPS 78366262 WITH SCORE 7.8451875049E7
AT ITER 4700 NEW BEST:: SOT 863586342 SOS 85611150 HAS SOPS 85314331 HAS SOUS 78408090 HAS SOUPS 78364296 WITH SCORE 7.844990715E7
AT ITER 4707 NEW BEST:: SOT 863584346 SOS 85610039 HAS SOPS 85313220 HAS SOUS 78406979 HAS SOUPS 78363185 WITH SCORE 7.8448795039E7
AT ITER 4734 NEW BEST:: SOT 863583431 SOS 85608209 HAS SOPS 85311390 HAS SOUS 78405144 HAS SOUPS 78361350 WITH SCORE 7.8446958209E7
AT ITER 4739 NEW BEST:: SOT 863581270 SOS 85607220 HAS SOPS 85310401 HAS SOUS 78404215 HAS SOUPS 78360421 WITH SCORE 7.844602822E7
AT ITER 4821 NEW BEST:: SOT 863582148 SOS 85606618 HAS SOPS 85309799 HAS SOUS 78403613 HAS SOUPS 78359819 WITH SCORE 7.8445425618E7
AT ITER 4859 NEW BEST:: SOT 863582048 SOS 85605728 HAS SOPS 85308909 HAS SOUS 78403513 HAS SOUPS 78359719 WITH SCORE 7.8445324728E7
AT ITER 4975 NEW BEST:: SOT 863581467 SOS 85604566 HAS SOPS 85307747 HAS SOUS 78402351 HAS SOUPS 78358557 WITH SCORE 7.8444161566E7
AT ITER 5006 NEW BEST:: SOT 863579256 SOS 85600144 HAS SOPS 85303325 HAS SOUS 78398397 HAS SOUPS 78354603 WITH SCORE 7.8440203144E7
AT ITER 5025 NEW BEST:: SOT 863579256 SOS 85598273 HAS SOPS 85301454 HAS SOUS 78396526 HAS SOUPS 78352732 WITH SCORE 7.8438330273E7
AT ITER 5033 NEW BEST:: SOT 863577272 SOS 85597162 HAS SOPS 85300343 HAS SOUS 78395415 HAS SOUPS 78351621 WITH SCORE 7.8437218162E7
AT ITER 5051 NEW BEST:: SOT 863577272 SOS 85597130 HAS SOPS 85300311 HAS SOUS 78395383 HAS SOUPS 78351589 WITH SCORE 7.843718613E7
AT ITER 5059 NEW BEST:: SOT 863574488 SOS 85594346 HAS SOPS 85297527 HAS SOUS 78395190 HAS SOUPS 78351396 WITH SCORE 7.8436990346E7
AT ITER 5060 NEW BEST:: SOT 863573850 SOS 85593102 HAS SOPS 85296283 HAS SOUS 78393914 HAS SOUPS 78350120 WITH SCORE 7.8435713102E7
AT ITER 5126 NEW BEST:: SOT 863573450 SOS 85592302 HAS SOPS 85295483 HAS SOUS 78393114 HAS SOUPS 78349320 WITH SCORE 7.8434912302E7
AT ITER 5152 NEW BEST:: SOT 863573450 SOS 85591943 HAS SOPS 85295124 HAS SOUS 78392751 HAS SOUPS 78348957 WITH SCORE 7.8434548943E7
AT ITER 5171 NEW BEST:: SOT 863572961 SOS 85590965 HAS SOPS 85294146 HAS SOUS 78391284 HAS SOUPS 78347490 WITH SCORE 7.8433080965E7
AT ITER 5188 NEW BEST:: SOT 863572208 SOS 85589459 HAS SOPS 85292640 HAS SOUS 78389771 HAS SOUPS 78345977 WITH SCORE 7.8431566459E7
AT ITER 5289 NEW BEST:: SOT 863572208 SOS 85588888 HAS SOPS 85292069 HAS SOUS 78389196 HAS SOUPS 78345402 WITH SCORE 7.8430990888E7
AT ITER 5322 NEW BEST:: SOT 863570924 SOS 85586666 HAS SOPS 85289847 HAS SOUS 78386974 HAS SOUPS 78343180 WITH SCORE 7.8428766666E7
AT ITER 5373 NEW BEST:: SOT 863570100 SOS 85586060 HAS SOPS 85289241 HAS SOUS 78386366 HAS SOUPS 78342572 WITH SCORE 7.842815806E7
AT ITER 5387 NEW BEST:: SOT 863569494 SOS 85584848 HAS SOPS 85288029 HAS SOUS 78385154 HAS SOUPS 78341360 WITH SCORE 7.8426944848E7
AT ITER 5473 NEW BEST:: SOT 863569494 SOS 85584379 HAS SOPS 85287560 HAS SOUS 78384685 HAS SOUPS 78340891 WITH SCORE 7.8426475379E7
AT ITER 5578 NEW BEST:: SOT 863568774 SOS 85582939 HAS SOPS 85286120 HAS SOUS 78383245 HAS SOUPS 78339451 WITH SCORE 7.8425033939E7
AT ITER 5619 NEW BEST:: SOT 863511316 SOS 85529515 HAS SOPS 85232696 HAS SOUS 78327282 HAS SOUPS 78283488 WITH SCORE 7.8369017515E7
AT ITER 5633 NEW BEST:: SOT 863511316 SOS 85528082 HAS SOPS 85231263 HAS SOUS 78325849 HAS SOUPS 78282055 WITH SCORE 7.8367583082E7
AT ITER 5637 NEW BEST:: SOT 863510892 SOS 85527234 HAS SOPS 85230415 HAS SOUS 78325001 HAS SOUPS 78281207 WITH SCORE 7.8366734234E7
AT ITER 5678 NEW BEST:: SOT 863509833 SOS 85525116 HAS SOPS 85228297 HAS SOUS 78322882 HAS SOUPS 78279088 WITH SCORE 7.8364613116E7
AT ITER 5688 NEW BEST:: SOT 863509833 SOS 85524689 HAS SOPS 85227870 HAS SOUS 78322455 HAS SOUPS 78278661 WITH SCORE 7.8364185689E7
AT ITER 5693 NEW BEST:: SOT 863507883 SOS 85524122 HAS SOPS 85227303 HAS SOUS 78321888 HAS SOUPS 78278094 WITH SCORE 7.8363618122E7
AT ITER 5809 NEW BEST:: SOT 863507571 SOS 85523498 HAS SOPS 85226679 HAS SOUS 78321264 HAS SOUPS 78277470 WITH SCORE 7.8362993498E7
AT ITER 5865 NEW BEST:: SOT 863507034 SOS 85522424 HAS SOPS 85225605 HAS SOUS 78320189 HAS SOUPS 78276395 WITH SCORE 7.8361917424E7
AT ITER 5876 NEW BEST:: SOT 863505413 SOS 85521313 HAS SOPS 85224494 HAS SOUS 78319078 HAS SOUPS 78275284 WITH SCORE 7.8360805313E7
AT ITER 5895 NEW BEST:: SOT 863504756 SOS 85521140 HAS SOPS 85224321 HAS SOUS 78318905 HAS SOUPS 78275111 WITH SCORE 7.836063214E7
AT ITER 5934 NEW BEST:: SOT 863502734 SOS 85519118 HAS SOPS 85222299 HAS SOUS 78314861 HAS SOUPS 78271067 WITH SCORE 7.8356586118E7
AT ITER 6001 NEW BEST:: SOT 863500976 SOS 85516896 HAS SOPS 85220077 HAS SOUS 78312635 HAS SOUPS 78268841 WITH SCORE 7.8354357896E7
AT ITER 6090 NEW BEST:: SOT 863500723 SOS 85516643 HAS SOPS 85218306 HAS SOUS 78310864 HAS SOUPS 78267070 WITH SCORE 7.8352586643E7
AT ITER 6099 NEW BEST:: SOT 863507503 SOS 85524621 HAS SOPS 85207766 HAS SOUS 78300324 HAS SOUPS 78256530 WITH SCORE 7.8342054621E7
AT ITER 6103 NEW BEST:: SOT 863505374 SOS 85524277 HAS SOPS 85207422 HAS SOUS 78299980 HAS SOUPS 78256186 WITH SCORE 7.8341710277E7
AT ITER 6162 NEW BEST:: SOT 863504768 SOS 85522542 HAS SOPS 85205687 HAS SOUS 78298245 HAS SOUPS 78254451 WITH SCORE 7.8339973542E7
AT ITER 6192 NEW BEST:: SOT 863502744 SOS 85521431 HAS SOPS 85204576 HAS SOUS 78297134 HAS SOUPS 78253340 WITH SCORE 7.8338861431E7
AT ITER 6254 NEW BEST:: SOT 863500688 SOS 85520320 HAS SOPS 85203465 HAS SOUS 78296023 HAS SOUPS 78252229 WITH SCORE 7.833774932E7
AT ITER 6274 NEW BEST:: SOT 863500688 SOS 85519985 HAS SOPS 85203130 HAS SOUS 78295685 HAS SOUPS 78251891 WITH SCORE 7.8337410985E7
AT ITER 6322 NEW BEST:: SOT 863498771 SOS 85519484 HAS SOPS 85202629 HAS SOUS 78295184 HAS SOUPS 78251390 WITH SCORE 7.8336909484E7
AT ITER 6357 NEW BEST:: SOT 863497561 SOS 85520386 HAS SOPS 85203531 HAS SOUS 78294569 HAS SOUPS 78250775 WITH SCORE 7.8336295386E7
AT ITER 6419 NEW BEST:: SOT 863497013 SOS 85519290 HAS SOPS 85202435 HAS SOUS 78293473 HAS SOUPS 78249679 WITH SCORE 7.833519829E7
AT ITER 6455 NEW BEST:: SOT 863497013 SOS 85519036 HAS SOPS 85202181 HAS SOUS 78293219 HAS SOUPS 78249425 WITH SCORE 7.8334944036E7
AT ITER 6474 NEW BEST:: SOT 863495176 SOS 85517925 HAS SOPS 85201070 HAS SOUS 78290271 HAS SOUPS 78246477 WITH SCORE 7.8331994925E7
AT ITER 6583 NEW BEST:: SOT 863493776 SOS 85515703 HAS SOPS 85198848 HAS SOUS 78288039 HAS SOUPS 78244245 WITH SCORE 7.8329760703E7
AT ITER 6608 NEW BEST:: SOT 863492934 SOS 85514019 HAS SOPS 85197164 HAS SOUS 78286355 HAS SOUPS 78242561 WITH SCORE 7.8328075019E7
AT ITER 6629 NEW BEST:: SOT 863491883 SOS 85513413 HAS SOPS 85196558 HAS SOUS 78285749 HAS SOUPS 78241955 WITH SCORE 7.8327468413E7
AT ITER 6643 NEW BEST:: SOT 863491431 SOS 85512509 HAS SOPS 85195654 HAS SOUS 78284845 HAS SOUPS 78241051 WITH SCORE 7.8326563509E7
AT ITER 6763 NEW BEST:: SOT 863490400 SOS 85510447 HAS SOPS 85193592 HAS SOUS 78282780 HAS SOUPS 78238986 WITH SCORE 7.8324496447E7
AT ITER 6812 NEW BEST:: SOT 863488287 SOS 85509554 HAS SOPS 85192699 HAS SOUS 78281996 HAS SOUPS 78238202 WITH SCORE 7.8323711554E7
AT ITER 6856 NEW BEST:: SOT 863486211 SOS 85508443 HAS SOPS 85191588 HAS SOUS 78280885 HAS SOUPS 78237091 WITH SCORE 7.8322599443E7
AT ITER 6857 NEW BEST:: SOT 863485736 SOS 85507968 HAS SOPS 85191113 HAS SOUS 78280410 HAS SOUPS 78236616 WITH SCORE 7.8322123968E7
AT ITER 6948 NEW BEST:: SOT 863485736 SOS 85506324 HAS SOPS 85189469 HAS SOUS 78278766 HAS SOUPS 78234972 WITH SCORE 7.8320478324E7
AT ITER 6955 NEW BEST:: SOT 863483690 SOS 85503379 HAS SOPS 85186524 HAS SOUS 78274674 HAS SOUPS 78230880 WITH SCORE 7.8316383379E7
AT ITER 7063 NEW BEST:: SOT 863483690 SOS 85501620 HAS SOPS 85184765 HAS SOUS 78272915 HAS SOUPS 78229121 WITH SCORE 7.831462262E7
AT ITER 7087 NEW BEST:: SOT 863482273 SOS 85499597 HAS SOPS 85182742 HAS SOUS 78270892 HAS SOUPS 78227098 WITH SCORE 7.8312597597E7
AT ITER 7111 NEW BEST:: SOT 863482273 SOS 85497444 HAS SOPS 85180589 HAS SOUS 78268739 HAS SOUPS 78224945 WITH SCORE 7.8310442444E7
AT ITER 7123 NEW BEST:: SOT 863481735 SOS 85496906 HAS SOPS 85180051 HAS SOUS 78268201 HAS SOUPS 78224407 WITH SCORE 7.8309903906E7
AT ITER 7138 NEW BEST:: SOT 863481735 SOS 85495563 HAS SOPS 85178708 HAS SOUS 78266858 HAS SOUPS 78223064 WITH SCORE 7.8308559563E7
AT ITER 7209 NEW BEST:: SOT 863480214 SOS 85495843 HAS SOPS 85178988 HAS SOUS 78265726 HAS SOUPS 78221932 WITH SCORE 7.8307427843E7
AT ITER 7211 NEW BEST:: SOT 863478312 SOS 85495372 HAS SOPS 85178517 HAS SOUS 78265255 HAS SOUPS 78221461 WITH SCORE 7.8306956372E7
AT ITER 7279 NEW BEST:: SOT 863477672 SOS 85494119 HAS SOPS 85177264 HAS SOUS 78263975 HAS SOUPS 78220181 WITH SCORE 7.8305675119E7
AT ITER 7346 NEW BEST:: SOT 863477672 SOS 85493977 HAS SOPS 85177122 HAS SOUS 78263833 HAS SOUPS 78220039 WITH SCORE 7.8305532977E7
AT ITER 7398 NEW BEST:: SOT 863475966 SOS 85492866 HAS SOPS 85176011 HAS SOUS 78262722 HAS SOUPS 78218928 WITH SCORE 7.8304420866E7
AT ITER 7480 NEW BEST:: SOT 863471443 SOS 85489564 HAS SOPS 85172709 HAS SOUS 78259420 HAS SOUPS 78215626 WITH SCORE 7.8301115564E7
AT ITER 7488 NEW BEST:: SOT 863471443 SOS 85489077 HAS SOPS 85172222 HAS SOUS 78258933 HAS SOUPS 78215139 WITH SCORE 7.8300628077E7
AT ITER 7493 NEW BEST:: SOT 863470101 SOS 85486855 HAS SOPS 85170000 HAS SOUS 78256711 HAS SOUPS 78212917 WITH SCORE 7.8298403855E7
AT ITER 7532 NEW BEST:: SOT 863468244 SOS 85486474 HAS SOPS 85169619 HAS SOUS 78256330 HAS SOUPS 78212536 WITH SCORE 7.8298022474E7
AT ITER 7637 NEW BEST:: SOT 863466799 SOS 85485175 HAS SOPS 85168320 HAS SOUS 78253440 HAS SOUPS 78209646 WITH SCORE 7.8295131175E7
AT ITER 7778 NEW BEST:: SOT 863465243 SOS 85482089 HAS SOPS 85165234 HAS SOUS 78250328 HAS SOUPS 78206534 WITH SCORE 7.8292016089E7
AT ITER 7831 NEW BEST:: SOT 863463805 SOS 85479867 HAS SOPS 85163012 HAS SOUS 78248101 HAS SOUPS 78204307 WITH SCORE 7.8289786867E7
AT ITER 7857 NEW BEST:: SOT 863463805 SOS 85479732 HAS SOPS 85162877 HAS SOUS 78248101 HAS SOUPS 78204307 WITH SCORE 7.8289786732E7
AT ITER 7872 NEW BEST:: SOT 863463805 SOS 85479410 HAS SOPS 85162555 HAS SOUS 78247779 HAS SOUPS 78203985 WITH SCORE 7.828946441E7
AT ITER 7874 NEW BEST:: SOT 863463763 SOS 85479326 HAS SOPS 85162471 HAS SOUS 78247695 HAS SOUPS 78203901 WITH SCORE 7.8289380326E7
AT ITER 7979 NEW BEST:: SOT 863462743 SOS 85477355 HAS SOPS 85160500 HAS SOUS 78245655 HAS SOUPS 78201861 WITH SCORE 7.8287338355E7
AT ITER 7980 NEW BEST:: SOT 863460900 SOS 85475626 HAS SOPS 85158771 HAS SOUS 78243926 HAS SOUPS 78200132 WITH SCORE 7.8285607626E7
AT ITER 8003 NEW BEST:: SOT 863459160 SOS 85474515 HAS SOPS 85157660 HAS SOUS 78242815 HAS SOUPS 78199021 WITH SCORE 7.8284495515E7
AT ITER 8047 NEW BEST:: SOT 863457689 SOS 85473044 HAS SOPS 85156189 HAS SOUS 78239873 HAS SOUPS 78196079 WITH SCORE 7.8281552044E7
AT ITER 8050 NEW BEST:: SOT 863456763 SOS 85472438 HAS SOPS 85155583 HAS SOUS 78239265 HAS SOUPS 78195471 WITH SCORE 7.8280943438E7
AT ITER 8056 NEW BEST:: SOT 863451975 SOS 85468022 HAS SOPS 85151167 HAS SOUS 78234846 HAS SOUPS 78191052 WITH SCORE 7.8276520022E7
AT ITER 8079 NEW BEST:: SOT 863450763 SOS 85465598 HAS SOPS 85148743 HAS SOUS 78232422 HAS SOUPS 78188628 WITH SCORE 7.8274093598E7
AT ITER 8144 NEW BEST:: SOT 863449930 SOS 85463932 HAS SOPS 85147077 HAS SOUS 78230756 HAS SOUPS 78186962 WITH SCORE 7.8272425932E7
AT ITER 8196 NEW BEST:: SOT 863447882 SOS 85463169 HAS SOPS 85146314 HAS SOUS 78229993 HAS SOUPS 78186199 WITH SCORE 7.8271662169E7
AT ITER 8277 NEW BEST:: SOT 863445713 SOS 85462164 HAS SOPS 85145309 HAS SOUS 78229035 HAS SOUPS 78185241 WITH SCORE 7.8270703164E7
AT ITER 8300 NEW BEST:: SOT 863445713 SOS 85461849 HAS SOPS 85144994 HAS SOUS 78228715 HAS SOUPS 78184921 WITH SCORE 7.8270382849E7
AT ITER 8307 NEW BEST:: SOT 863443977 SOS 85461699 HAS SOPS 85144844 HAS SOUS 78228556 HAS SOUPS 78184762 WITH SCORE 7.8270223699E7
AT ITER 8360 NEW BEST:: SOT 863442253 SOS 85458251 HAS SOPS 85141396 HAS SOUS 78223384 HAS SOUPS 78179590 WITH SCORE 7.8265048251E7
AT ITER 8364 NEW BEST:: SOT 863442253 SOS 85458189 HAS SOPS 85141334 HAS SOUS 78223322 HAS SOUPS 78179528 WITH SCORE 7.8264986189E7
AT ITER 8376 NEW BEST:: SOT 863441563 SOS 85456809 HAS SOPS 85139954 HAS SOUS 78221942 HAS SOUPS 78178148 WITH SCORE 7.8263604809E7
AT ITER 8395 NEW BEST:: SOT 863433789 SOS 85480941 HAS SOPS 85164086 HAS SOUS 78217188 HAS SOUPS 78173394 WITH SCORE 7.8258874941E7
AT ITER 8553 NEW BEST:: SOT 863433789 SOS 85481085 HAS SOPS 85164230 HAS SOUS 78217088 HAS SOUPS 78173294 WITH SCORE 7.8258775085E7
AT ITER 8561 NEW BEST:: SOT 863430467 SOS 85477763 HAS SOPS 85160908 HAS SOUS 78216032 HAS SOUPS 78172238 WITH SCORE 7.8257715763E7
AT ITER 8594 NEW BEST:: SOT 863430467 SOS 85477556 HAS SOPS 85160701 HAS SOUS 78215825 HAS SOUPS 78172031 WITH SCORE 7.8257508556E7
AT ITER 8601 NEW BEST:: SOT 863429477 SOS 85476569 HAS SOPS 85159714 HAS SOUS 78214838 HAS SOUPS 78171044 WITH SCORE 7.8256520569E7
AT ITER 8626 NEW BEST:: SOT 863430636 SOS 85479162 HAS SOPS 85154753 HAS SOUS 78211891 HAS SOUPS 78167167 WITH SCORE 7.8252646162E7
AT ITER 8660 NEW BEST:: SOT 863430636 SOS 85478610 HAS SOPS 85154201 HAS SOUS 78211339 HAS SOUPS 78166615 WITH SCORE 7.825209361E7
AT ITER 8706 NEW BEST:: SOT 863429788 SOS 85476930 HAS SOPS 85152521 HAS SOUS 78209643 HAS SOUPS 78164919 WITH SCORE 7.825039593E7
AT ITER 8724 NEW BEST:: SOT 863429578 SOS 85476724 HAS SOPS 85152315 HAS SOUS 78209478 HAS SOUPS 78164754 WITH SCORE 7.8250230724E7
AT ITER 8727 NEW BEST:: SOT 863427640 SOS 85476181 HAS SOPS 85151772 HAS SOUS 78208935 HAS SOUPS 78164211 WITH SCORE 7.8249687181E7
AT ITER 8746 NEW BEST:: SOT 863426664 SOS 85473253 HAS SOPS 85148844 HAS SOUS 78206007 HAS SOUPS 78161283 WITH SCORE 7.8246756253E7
AT ITER 8771 NEW BEST:: SOT 863426935 SOS 85474653 HAS SOPS 85144466 HAS SOUS 78202425 HAS SOUPS 78157701 WITH SCORE 7.8243175653E7
AT ITER 8782 NEW BEST:: SOT 863426935 SOS 85472824 HAS SOPS 85142637 HAS SOUS 78200596 HAS SOUPS 78155872 WITH SCORE 7.8241344824E7
AT ITER 8829 NEW BEST:: SOT 863426459 SOS 85470323 HAS SOPS 85140136 HAS SOUS 78198095 HAS SOUPS 78153371 WITH SCORE 7.8238841323E7
AT ITER 8921 NEW BEST:: SOT 863424933 SOS 85470593 HAS SOPS 85140406 HAS SOUS 78196922 HAS SOUPS 78152198 WITH SCORE 7.8237668593E7
AT ITER 9016 NEW BEST:: SOT 863424650 SOS 85470310 HAS SOPS 85140123 HAS SOUS 78196639 HAS SOUPS 78151915 WITH SCORE 7.823738531E7
AT ITER 9037 NEW BEST:: SOT 863422790 SOS 85469199 HAS SOPS 85139012 HAS SOUS 78195521 HAS SOUPS 78150797 WITH SCORE 7.8236266199E7
AT ITER 9066 NEW BEST:: SOT 863422790 SOS 85469181 HAS SOPS 85138994 HAS SOUS 78195503 HAS SOUPS 78150779 WITH SCORE 7.8236248181E7
AT ITER 9074 NEW BEST:: SOT 863420744 SOS 85468422 HAS SOPS 85138235 HAS SOUS 78194917 HAS SOUPS 78150193 WITH SCORE 7.8235661422E7
AT ITER 9091 NEW BEST:: SOT 863419801 SOS 85467479 HAS SOPS 85137292 HAS SOUS 78193974 HAS SOUPS 78149250 WITH SCORE 7.8234717479E7
AT ITER 9098 NEW BEST:: SOT 863418577 SOS 85465257 HAS SOPS 85135070 HAS SOUS 78191752 HAS SOUPS 78147028 WITH SCORE 7.8232493257E7
AT ITER 9102 NEW BEST:: SOT 863418577 SOS 85465051 HAS SOPS 85134864 HAS SOUS 78191546 HAS SOUPS 78146822 WITH SCORE 7.8232287051E7
AT ITER 9118 NEW BEST:: SOT 863416511 SOS 85463940 HAS SOPS 85133753 HAS SOUS 78190435 HAS SOUPS 78145711 WITH SCORE 7.823117494E7
AT ITER 9160 NEW BEST:: SOT 863416511 SOS 85463366 HAS SOPS 85133179 HAS SOUS 78189861 HAS SOUPS 78145137 WITH SCORE 7.8230600366E7
AT ITER 9165 NEW BEST:: SOT 863415417 SOS 85461178 HAS SOPS 85130991 HAS SOUS 78187673 HAS SOUPS 78142949 WITH SCORE 7.8228410178E7
AT ITER 9173 NEW BEST:: SOT 863415417 SOS 85461178 HAS SOPS 85130991 HAS SOUS 78187552 HAS SOUPS 78142828 WITH SCORE 7.8228289178E7
AT ITER 9192 NEW BEST:: SOT 863413471 SOS 85460619 HAS SOPS 85130432 HAS SOUS 78186993 HAS SOUPS 78142269 WITH SCORE 7.8227729619E7
AT ITER 9260 NEW BEST:: SOT 863413471 SOS 85458714 HAS SOPS 85128527 HAS SOUS 78185088 HAS SOUPS 78140364 WITH SCORE 7.8225822714E7
AT ITER 9301 NEW BEST:: SOT 863413471 SOS 85458425 HAS SOPS 85128238 HAS SOUS 78185088 HAS SOUPS 78140364 WITH SCORE 7.8225822425E7
AT ITER 9381 NEW BEST:: SOT 863411681 SOS 85454860 HAS SOPS 85124673 HAS SOUS 78181508 HAS SOUPS 78136784 WITH SCORE 7.822223886E7
AT ITER 9406 NEW BEST:: SOT 863409640 SOS 85454111 HAS SOPS 85123924 HAS SOUS 78180759 HAS SOUPS 78136035 WITH SCORE 7.8221489111E7
AT ITER 9412 NEW BEST:: SOT 863409640 SOS 85452138 HAS SOPS 85121951 HAS SOUS 78178786 HAS SOUPS 78134062 WITH SCORE 7.8219514138E7
AT ITER 9425 NEW BEST:: SOT 863408520 SOS 85449357 HAS SOPS 85119170 HAS SOUS 78176005 HAS SOUPS 78131281 WITH SCORE 7.8216730357E7
AT ITER 9555 NEW BEST:: SOT 863408382 SOS 85449270 HAS SOPS 85119032 HAS SOUS 78175867 HAS SOUPS 78131143 WITH SCORE 7.821659227E7
AT ITER 9714 NEW BEST:: SOT 863408382 SOS 85449262 HAS SOPS 85119024 HAS SOUS 78175859 HAS SOUPS 78131135 WITH SCORE 7.8216584262E7
AT ITER 9753 NEW BEST:: SOT 863406497 SOS 85448825 HAS SOPS 85118587 HAS SOUS 78175422 HAS SOUPS 78130698 WITH SCORE 7.8216146825E7
AT ITER 9773 NEW BEST:: SOT 863405833 SOS 85447497 HAS SOPS 85117259 HAS SOUS 78174090 HAS SOUPS 78129366 WITH SCORE 7.8214813497E7
AT ITER 9802 NEW BEST:: SOT 863405745 SOS 85445983 HAS SOPS 85115745 HAS SOUS 78173914 HAS SOUPS 78129190 WITH SCORE 7.8214635983E7
AT ITER 9806 NEW BEST:: SOT 863403974 SOS 85445774 HAS SOPS 85115536 HAS SOUS 78173705 HAS SOUPS 78128981 WITH SCORE 7.8214426774E7
AT ITER 9900 NEW BEST:: SOT 863402443 SOS 85441181 HAS SOPS 85110943 HAS SOUS 78169112 HAS SOUPS 78124388 WITH SCORE 7.8209829181E7
AT ITER 9956 NEW BEST:: SOT 863402443 SOS 85440655 HAS SOPS 85110417 HAS SOUS 78168586 HAS SOUPS 78123862 WITH SCORE 7.8209302655E7
AT ITER 9959 NEW BEST:: SOT 863400530 SOS 85440162 HAS SOPS 85109924 HAS SOUS 78168093 HAS SOUPS 78123369 WITH SCORE 7.8208809162E7
AT ITER 9960 NEW BEST:: SOT 863398319 SOS 85435740 HAS SOPS 85105502 HAS SOUS 78164113 HAS SOUPS 78119389 WITH SCORE 7.820482474E7

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="FamilyReunion-PT-L00100M0010C005P005G002"
export BK_EXAMINATION="StateSpace"
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 FamilyReunion-PT-L00100M0010C005P005G002, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972300240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00100M0010C005P005G002.tgz
mv FamilyReunion-PT-L00100M0010C005P005G002 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;