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-158961502400096.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-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502400096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 20:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 20:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:25 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589708139674

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

Filename model.pnml
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 8 NEW BEST:: SOT 133629762 SOS 82179402 HAS SOPS 66727920 HAS SOUS 26440695 HAS SOUPS 25810487 WITH SCORE 2.5892666402E7
AT ITER 34 NEW BEST:: SOT 133671200 SOS 82368491 HAS SOPS 66908297 HAS SOUS 26434612 HAS SOUPS 25804404 WITH SCORE 2.5886772491E7
AT ITER 39 NEW BEST:: SOT 133654980 SOS 82339282 HAS SOPS 66873571 HAS SOUS 26370049 HAS SOUPS 25739841 WITH SCORE 2.5822180282E7
AT ITER 47 NEW BEST:: SOT 133648937 SOS 82333305 HAS SOPS 66864589 HAS SOUS 26352755 HAS SOUPS 25722463 WITH SCORE 2.5804796305E7
AT ITER 48 NEW BEST:: SOT 133647948 SOS 82331064 HAS SOPS 66863456 HAS SOUS 26348865 HAS SOUPS 25718654 WITH SCORE 2.5800985064E7
AT ITER 54 NEW BEST:: SOT 133643284 SOS 82325777 HAS SOPS 66858860 HAS SOUS 26343765 HAS SOUPS 25713554 WITH SCORE 2.5795879777E7
AT ITER 64 NEW BEST:: SOT 133655411 SOS 82356060 HAS SOPS 66885322 HAS SOUS 26321654 HAS SOUPS 25691443 WITH SCORE 2.577379906E7
AT ITER 67 NEW BEST:: SOT 133634304 SOS 82327615 HAS SOPS 66855515 HAS SOUS 26288964 HAS SOUPS 25658880 WITH SCORE 2.5741207615E7
AT ITER 75 NEW BEST:: SOT 133629020 SOS 82320610 HAS SOPS 66847715 HAS SOUS 26277147 HAS SOUPS 25647063 WITH SCORE 2.572938361E7
AT ITER 83 NEW BEST:: SOT 133618077 SOS 82306252 HAS SOPS 66834217 HAS SOUS 26260852 HAS SOUPS 25630768 WITH SCORE 2.5713074252E7
AT ITER 84 NEW BEST:: SOT 133618840 SOS 82316760 HAS SOPS 66839908 HAS SOUS 26254255 HAS SOUPS 25624171 WITH SCORE 2.570648776E7
AT ITER 87 NEW BEST:: SOT 133608329 SOS 82296107 HAS SOPS 66822305 HAS SOUS 26244297 HAS SOUPS 25614213 WITH SCORE 2.5696509107E7
AT ITER 114 NEW BEST:: SOT 133604587 SOS 82290073 HAS SOPS 66818025 HAS SOUS 26242316 HAS SOUPS 25612232 WITH SCORE 2.5694522073E7
AT ITER 118 NEW BEST:: SOT 133604036 SOS 82293484 HAS SOPS 66817568 HAS SOUS 26233772 HAS SOUPS 25603688 WITH SCORE 2.5685981484E7
AT ITER 130 NEW BEST:: SOT 133590795 SOS 82250986 HAS SOPS 66787032 HAS SOUS 26231404 HAS SOUPS 25601320 WITH SCORE 2.5683570986E7
AT ITER 147 NEW BEST:: SOT 133577528 SOS 82225113 HAS SOPS 66764776 HAS SOUS 26219464 HAS SOUPS 25589380 WITH SCORE 2.5671605113E7
AT ITER 150 NEW BEST:: SOT 133593276 SOS 82286569 HAS SOPS 66819520 HAS SOUS 26195602 HAS SOUPS 25565518 WITH SCORE 2.5647804569E7
AT ITER 151 NEW BEST:: SOT 133601895 SOS 82308091 HAS SOPS 66834611 HAS SOUS 26191243 HAS SOUPS 25561159 WITH SCORE 2.5643467091E7
AT ITER 161 NEW BEST:: SOT 133587508 SOS 82293704 HAS SOPS 66819608 HAS SOUS 26176136 HAS SOUPS 25545796 WITH SCORE 2.5628089704E7
AT ITER 174 NEW BEST:: SOT 133595700 SOS 82337256 HAS SOPS 66859456 HAS SOUS 26169187 HAS SOUPS 25538847 WITH SCORE 2.5621184256E7
AT ITER 176 NEW BEST:: SOT 133609205 SOS 82369014 HAS SOPS 66898453 HAS SOUS 26167611 HAS SOUPS 25537271 WITH SCORE 2.5619640014E7
AT ITER 180 NEW BEST:: SOT 133604251 SOS 82357734 HAS SOPS 66890741 HAS SOUS 26166328 HAS SOUPS 25535988 WITH SCORE 2.5618345734E7
AT ITER 190 NEW BEST:: SOT 133606225 SOS 82365303 HAS SOPS 66898074 HAS SOUS 26165038 HAS SOUPS 25534698 WITH SCORE 2.5617063303E7
AT ITER 196 NEW BEST:: SOT 133603310 SOS 82359860 HAS SOPS 66890741 HAS SOUS 26161725 HAS SOUPS 25531355 WITH SCORE 2.561371486E7
AT ITER 197 NEW BEST:: SOT 133573102 SOS 82329667 HAS SOPS 66860599 HAS SOUS 26095618 HAS SOUPS 25465299 WITH SCORE 2.5547628667E7
AT ITER 198 NEW BEST:: SOT 133533000 SOS 82278991 HAS SOPS 66808425 HAS SOUS 26053959 HAS SOUPS 25423640 WITH SCORE 2.5505918991E7
AT ITER 200 NEW BEST:: SOT 133537091 SOS 82286374 HAS SOPS 66814163 HAS SOUS 26049125 HAS SOUPS 25418806 WITH SCORE 2.5501092374E7
AT ITER 203 NEW BEST:: SOT 133495655 SOS 82188567 HAS SOPS 66756155 HAS SOUS 26028982 HAS SOUPS 25402028 WITH SCORE 2.5484216567E7
AT ITER 238 NEW BEST:: SOT 133480766 SOS 82159682 HAS SOPS 66740744 HAS SOUS 26018742 HAS SOUPS 25391788 WITH SCORE 2.5473947682E7
AT ITER 247 NEW BEST:: SOT 133481098 SOS 82167455 HAS SOPS 66756718 HAS SOUS 25990539 HAS SOUPS 25363818 WITH SCORE 2.5445985455E7
AT ITER 257 NEW BEST:: SOT 133479157 SOS 82163501 HAS SOPS 66752984 HAS SOUS 25984741 HAS SOUPS 25358086 WITH SCORE 2.5440249501E7
AT ITER 284 NEW BEST:: SOT 133449296 SOS 82123046 HAS SOPS 66716214 HAS SOUS 25949847 HAS SOUPS 25323726 WITH SCORE 2.5405849046E7
AT ITER 288 NEW BEST:: SOT 133447898 SOS 82123971 HAS SOPS 66718150 HAS SOUS 25942372 HAS SOUPS 25316251 WITH SCORE 2.5398374971E7
AT ITER 290 NEW BEST:: SOT 133462844 SOS 82171174 HAS SOPS 66755035 HAS SOUS 25939288 HAS SOUPS 25313167 WITH SCORE 2.5395338174E7
AT ITER 296 NEW BEST:: SOT 133463209 SOS 82167752 HAS SOPS 66762860 HAS SOUS 25939284 HAS SOUPS 25313163 WITH SCORE 2.5395330752E7
AT ITER 302 NEW BEST:: SOT 133459483 SOS 82158068 HAS SOPS 66764113 HAS SOUS 25936085 HAS SOUPS 25309964 WITH SCORE 2.5392122068E7
AT ITER 305 NEW BEST:: SOT 133395812 SOS 82039537 HAS SOPS 66688206 HAS SOUS 25896880 HAS SOUPS 25273110 WITH SCORE 2.5355149537E7
AT ITER 307 NEW BEST:: SOT 133388254 SOS 82031270 HAS SOPS 66681603 HAS SOUS 25878877 HAS SOUPS 25255107 WITH SCORE 2.533713827E7
AT ITER 310 NEW BEST:: SOT 133386657 SOS 82026325 HAS SOPS 66677981 HAS SOUS 25876884 HAS SOUPS 25253114 WITH SCORE 2.5335140325E7
AT ITER 328 NEW BEST:: SOT 133387746 SOS 82035498 HAS SOPS 66679726 HAS SOUS 25871826 HAS SOUPS 25247939 WITH SCORE 2.5329974498E7
AT ITER 341 NEW BEST:: SOT 133388599 SOS 82039080 HAS SOPS 66683088 HAS SOUS 25867266 HAS SOUPS 25243379 WITH SCORE 2.532541808E7
AT ITER 359 NEW BEST:: SOT 133385220 SOS 82029291 HAS SOPS 66682068 HAS SOUS 25861296 HAS SOUPS 25237409 WITH SCORE 2.5319438291E7
AT ITER 371 NEW BEST:: SOT 133385724 SOS 82030914 HAS SOPS 66686266 HAS SOUS 25853719 HAS SOUPS 25230027 WITH SCORE 2.5312057914E7
AT ITER 375 NEW BEST:: SOT 133381081 SOS 82026062 HAS SOPS 66682748 HAS SOUS 25848573 HAS SOUPS 25223711 WITH SCORE 2.5305737062E7
AT ITER 394 NEW BEST:: SOT 133379337 SOS 82010529 HAS SOPS 66669475 HAS SOUS 25845644 HAS SOUPS 25220782 WITH SCORE 2.5302792529E7
AT ITER 402 NEW BEST:: SOT 133370472 SOS 81986910 HAS SOPS 66645842 HAS SOUS 25836699 HAS SOUPS 25211837 WITH SCORE 2.529382391E7
AT ITER 415 NEW BEST:: SOT 133364329 SOS 82002851 HAS SOPS 66657184 HAS SOUS 25810549 HAS SOUPS 25185687 WITH SCORE 2.5267689851E7
AT ITER 420 NEW BEST:: SOT 133353884 SOS 81991502 HAS SOPS 66641968 HAS SOUS 25793567 HAS SOUPS 25168623 WITH SCORE 2.5250614502E7
AT ITER 440 NEW BEST:: SOT 133358106 SOS 81995951 HAS SOPS 66641353 HAS SOUS 25783526 HAS SOUPS 25158582 WITH SCORE 2.5240577951E7
AT ITER 448 NEW BEST:: SOT 133364965 SOS 82019744 HAS SOPS 66658357 HAS SOUS 25778979 HAS SOUPS 25154035 WITH SCORE 2.5236054744E7
AT ITER 449 NEW BEST:: SOT 133362843 SOS 82016856 HAS SOPS 66654724 HAS SOUS 25776543 HAS SOUPS 25151599 WITH SCORE 2.5233615856E7
AT ITER 453 NEW BEST:: SOT 133339502 SOS 81982416 HAS SOPS 66622566 HAS SOUS 25748518 HAS SOUPS 25123520 WITH SCORE 2.5205502416E7
AT ITER 457 NEW BEST:: SOT 133356477 SOS 82047547 HAS SOPS 66751966 HAS SOUS 25748069 HAS SOUPS 25123071 WITH SCORE 2.5205118547E7
AT ITER 458 NEW BEST:: SOT 133358022 SOS 82067100 HAS SOPS 66818548 HAS SOUS 25746257 HAS SOUPS 25121259 WITH SCORE 2.52033261E7
AT ITER 474 NEW BEST:: SOT 133354782 SOS 82063494 HAS SOPS 66812958 HAS SOUS 25737369 HAS SOUPS 25112371 WITH SCORE 2.5194434494E7
AT ITER 477 NEW BEST:: SOT 133336426 SOS 82045053 HAS SOPS 66794517 HAS SOUS 25716980 HAS SOUPS 25091982 WITH SCORE 2.5174027053E7
AT ITER 487 NEW BEST:: SOT 133338943 SOS 82065190 HAS SOPS 66816515 HAS SOUS 25715196 HAS SOUPS 25090198 WITH SCORE 2.517226319E7
AT ITER 490 NEW BEST:: SOT 133319835 SOS 82046019 HAS SOPS 66794991 HAS SOUS 25692558 HAS SOUPS 25067506 WITH SCORE 2.5149552019E7
AT ITER 504 NEW BEST:: SOT 133335358 SOS 82099144 HAS SOPS 66863306 HAS SOUS 25690307 HAS SOUPS 25065255 WITH SCORE 2.5147354144E7
AT ITER 510 NEW BEST:: SOT 133335368 SOS 82101160 HAS SOPS 66865327 HAS SOUS 25689913 HAS SOUPS 25064861 WITH SCORE 2.514696216E7
AT ITER 516 NEW BEST:: SOT 133307864 SOS 82059374 HAS SOPS 66833613 HAS SOUS 25649641 HAS SOUPS 25024589 WITH SCORE 2.5106648374E7
AT ITER 532 NEW BEST:: SOT 133307693 SOS 82060222 HAS SOPS 66834265 HAS SOUS 25648155 HAS SOUPS 25023103 WITH SCORE 2.5105163222E7
AT ITER 544 NEW BEST:: SOT 133305541 SOS 82053910 HAS SOPS 66828096 HAS SOUS 25643324 HAS SOUPS 25018272 WITH SCORE 2.510032591E7
AT ITER 545 NEW BEST:: SOT 133313719 SOS 82087878 HAS SOPS 66861126 HAS SOUS 25642064 HAS SOUPS 25017012 WITH SCORE 2.5099099878E7
AT ITER 546 NEW BEST:: SOT 133307289 SOS 82085545 HAS SOPS 66850308 HAS SOUS 25622426 HAS SOUPS 24997316 WITH SCORE 2.5079401545E7
AT ITER 548 NEW BEST:: SOT 133307583 SOS 82087906 HAS SOPS 66852697 HAS SOUS 25622358 HAS SOUPS 24997248 WITH SCORE 2.5079335906E7
AT ITER 556 NEW BEST:: SOT 133296855 SOS 82077780 HAS SOPS 66840101 HAS SOUS 25604463 HAS SOUPS 24979353 WITH SCORE 2.506143078E7
AT ITER 559 NEW BEST:: SOT 133292664 SOS 82066598 HAS SOPS 66832498 HAS SOUS 25602655 HAS SOUPS 24977545 WITH SCORE 2.5059611598E7
AT ITER 568 NEW BEST:: SOT 133287577 SOS 82058981 HAS SOPS 66825765 HAS SOUS 25597263 HAS SOUPS 24972185 WITH SCORE 2.5054243981E7
AT ITER 580 NEW BEST:: SOT 133288372 SOS 82060054 HAS SOPS 66826125 HAS SOUS 25597044 HAS SOUPS 24971966 WITH SCORE 2.5054026054E7
AT ITER 603 NEW BEST:: SOT 133287909 SOS 82060621 HAS SOPS 66826035 HAS SOUS 25594519 HAS SOUPS 24969441 WITH SCORE 2.5051501621E7
AT ITER 640 NEW BEST:: SOT 133286120 SOS 82056058 HAS SOPS 66823585 HAS SOUS 25591456 HAS SOUPS 24966378 WITH SCORE 2.5048434058E7
AT ITER 641 NEW BEST:: SOT 133298150 SOS 82106917 HAS SOPS 66869258 HAS SOUS 25580257 HAS SOUPS 24955179 WITH SCORE 2.5037285917E7
AT ITER 650 NEW BEST:: SOT 133297603 SOS 82108496 HAS SOPS 66873416 HAS SOUS 25576691 HAS SOUPS 24951613 WITH SCORE 2.5033721496E7
AT ITER 658 NEW BEST:: SOT 133307830 SOS 82133519 HAS SOPS 66891077 HAS SOUS 25575574 HAS SOUPS 24950496 WITH SCORE 2.5032629519E7
AT ITER 703 NEW BEST:: SOT 133293884 SOS 82102939 HAS SOPS 66869327 HAS SOUS 25564158 HAS SOUPS 24939080 WITH SCORE 2.5021182939E7
AT ITER 713 NEW BEST:: SOT 133293433 SOS 82101377 HAS SOPS 66868711 HAS SOUS 25563852 HAS SOUPS 24938809 WITH SCORE 2.5020910377E7
AT ITER 719 NEW BEST:: SOT 133298060 SOS 82109986 HAS SOPS 66878996 HAS SOUS 25561621 HAS SOUPS 24936578 WITH SCORE 2.5018687986E7
AT ITER 728 NEW BEST:: SOT 133311944 SOS 82143769 HAS SOPS 66896567 HAS SOUS 25541015 HAS SOUPS 24915972 WITH SCORE 2.4998115769E7
AT ITER 738 NEW BEST:: SOT 133313204 SOS 82147746 HAS SOPS 66898586 HAS SOUS 25540542 HAS SOUPS 24915499 WITH SCORE 2.4997646746E7
AT ITER 740 NEW BEST:: SOT 133321163 SOS 82181679 HAS SOPS 66920901 HAS SOUS 25534560 HAS SOUPS 24909385 WITH SCORE 2.4991566679E7
AT ITER 744 NEW BEST:: SOT 133359091 SOS 82283147 HAS SOPS 67008067 HAS SOUS 25532088 HAS SOUPS 24906913 WITH SCORE 2.4989196147E7
AT ITER 750 NEW BEST:: SOT 133352626 SOS 82269478 HAS SOPS 67003082 HAS SOUS 25526275 HAS SOUPS 24901100 WITH SCORE 2.4983369478E7
AT ITER 751 NEW BEST:: SOT 133354422 SOS 82274912 HAS SOPS 67005836 HAS SOUS 25523053 HAS SOUPS 24897878 WITH SCORE 2.4980152912E7
AT ITER 758 NEW BEST:: SOT 133345942 SOS 82260400 HAS SOPS 67003840 HAS SOUS 25501469 HAS SOUPS 24876294 WITH SCORE 2.49585544E7
AT ITER 771 NEW BEST:: SOT 133356681 SOS 82299989 HAS SOPS 67036049 HAS SOUS 25499717 HAS SOUPS 24874542 WITH SCORE 2.4956841989E7
AT ITER 778 NEW BEST:: SOT 133355330 SOS 82280578 HAS SOPS 67033925 HAS SOUS 25497364 HAS SOUPS 24872189 WITH SCORE 2.4954469578E7
AT ITER 787 NEW BEST:: SOT 133373272 SOS 82343942 HAS SOPS 67090842 HAS SOUS 25488790 HAS SOUPS 24863615 WITH SCORE 2.4945958942E7
AT ITER 793 NEW BEST:: SOT 133371903 SOS 82342871 HAS SOPS 67089192 HAS SOUS 25485922 HAS SOUPS 24860728 WITH SCORE 2.4943070871E7
AT ITER 802 NEW BEST:: SOT 133400587 SOS 82411922 HAS SOPS 67172690 HAS SOUS 25473847 HAS SOUPS 24848653 WITH SCORE 2.4931064922E7
AT ITER 810 NEW BEST:: SOT 133403705 SOS 82425624 HAS SOPS 67185228 HAS SOUS 25473218 HAS SOUPS 24848024 WITH SCORE 2.4930449624E7
AT ITER 817 NEW BEST:: SOT 133400693 SOS 82422712 HAS SOPS 67182462 HAS SOUS 25464577 HAS SOUPS 24839383 WITH SCORE 2.4921805712E7
AT ITER 828 NEW BEST:: SOT 133364563 SOS 82386582 HAS SOPS 67145084 HAS SOUS 25425951 HAS SOUPS 24800757 WITH SCORE 2.4883143582E7
AT ITER 832 NEW BEST:: SOT 133364163 SOS 82385614 HAS SOPS 67144656 HAS SOUS 25424705 HAS SOUPS 24799511 WITH SCORE 2.4881896614E7
AT ITER 835 NEW BEST:: SOT 133363537 SOS 82384771 HAS SOPS 67147830 HAS SOUS 25419910 HAS SOUPS 24794845 WITH SCORE 2.4877229771E7
AT ITER 837 NEW BEST:: SOT 133365232 SOS 82390016 HAS SOPS 67151994 HAS SOUS 25416756 HAS SOUPS 24791691 WITH SCORE 2.4874081016E7
AT ITER 845 NEW BEST:: SOT 133357192 SOS 82381862 HAS SOPS 67140214 HAS SOUS 25395732 HAS SOUPS 24770667 WITH SCORE 2.4853048862E7
AT ITER 866 NEW BEST:: SOT 133324199 SOS 82330329 HAS SOPS 67099236 HAS SOUS 25349562 HAS SOUPS 24724660 WITH SCORE 2.4806990329E7
AT ITER 878 NEW BEST:: SOT 133326188 SOS 82329521 HAS SOPS 67098739 HAS SOUS 25346344 HAS SOUPS 24721442 WITH SCORE 2.4803771521E7
AT ITER 879 NEW BEST:: SOT 133324475 SOS 82327802 HAS SOPS 67096127 HAS SOUS 25342397 HAS SOUPS 24717481 WITH SCORE 2.4799808802E7
AT ITER 904 NEW BEST:: SOT 133318990 SOS 82322684 HAS SOPS 67090788 HAS SOUS 25329960 HAS SOUPS 24705044 WITH SCORE 2.4787366684E7
AT ITER 911 NEW BEST:: SOT 133319724 SOS 82329579 HAS SOPS 67097810 HAS SOUS 25322734 HAS SOUPS 24697818 WITH SCORE 2.4780147579E7
AT ITER 923 NEW BEST:: SOT 133318630 SOS 82329556 HAS SOPS 67096703 HAS SOUS 25317007 HAS SOUPS 24692091 WITH SCORE 2.4774420556E7
AT ITER 928 NEW BEST:: SOT 133317695 SOS 82330102 HAS SOPS 67098386 HAS SOUS 25308364 HAS SOUPS 24683448 WITH SCORE 2.4765778102E7
AT ITER 932 NEW BEST:: SOT 133317481 SOS 82328837 HAS SOPS 67110998 HAS SOUS 25307788 HAS SOUPS 24682872 WITH SCORE 2.4765200837E7
AT ITER 938 NEW BEST:: SOT 133315444 SOS 82324420 HAS SOPS 67107363 HAS SOUS 25306069 HAS SOUPS 24681153 WITH SCORE 2.476347742E7
AT ITER 942 NEW BEST:: SOT 133324717 SOS 82346684 HAS SOPS 67148082 HAS SOUS 25297958 HAS SOUPS 24673042 WITH SCORE 2.4755388684E7
AT ITER 951 NEW BEST:: SOT 133329060 SOS 82354218 HAS SOPS 67155477 HAS SOUS 25296319 HAS SOUPS 24671403 WITH SCORE 2.4753757218E7
AT ITER 959 NEW BEST:: SOT 133323966 SOS 82348137 HAS SOPS 67144257 HAS SOUS 25280576 HAS SOUPS 24655660 WITH SCORE 2.4738008137E7
AT ITER 986 NEW BEST:: SOT 133319603 SOS 82341196 HAS SOPS 67142535 HAS SOUS 25258911 HAS SOUPS 24635607 WITH SCORE 2.4717948196E7
AT ITER 992 NEW BEST:: SOT 133310523 SOS 82330209 HAS SOPS 67133341 HAS SOUS 25233899 HAS SOUPS 24610595 WITH SCORE 2.4692925209E7
AT ITER 1000 NEW BEST:: SOT 133313606 SOS 82331517 HAS SOPS 67164672 HAS SOUS 25206143 HAS SOUPS 24583133 WITH SCORE 2.4665464517E7
AT ITER 1007 NEW BEST:: SOT 133308870 SOS 82337981 HAS SOPS 67170592 HAS SOUS 25200886 HAS SOUPS 24577876 WITH SCORE 2.4660213981E7
AT ITER 1010 NEW BEST:: SOT 133276360 SOS 82304900 HAS SOPS 67134827 HAS SOUS 25154254 HAS SOUPS 24531388 WITH SCORE 2.46136929E7
AT ITER 1019 NEW BEST:: SOT 133207315 SOS 82235222 HAS SOPS 67057398 HAS SOUS 24980133 HAS SOUPS 24357186 WITH SCORE 2.4439421222E7
AT ITER 1031 NEW BEST:: SOT 133207040 SOS 82231461 HAS SOPS 67052569 HAS SOUS 24977690 HAS SOUPS 24354743 WITH SCORE 2.4436974461E7
AT ITER 1039 NEW BEST:: SOT 133206560 SOS 82231207 HAS SOPS 67052242 HAS SOUS 24976488 HAS SOUPS 24353541 WITH SCORE 2.4435772207E7
AT ITER 1043 NEW BEST:: SOT 133206745 SOS 82231758 HAS SOPS 67052793 HAS SOUS 24976324 HAS SOUPS 24353377 WITH SCORE 2.4435608758E7
AT ITER 1044 NEW BEST:: SOT 133206819 SOS 82231789 HAS SOPS 67052212 HAS SOUS 24973963 HAS SOUPS 24351374 WITH SCORE 2.4433605789E7
AT ITER 1052 NEW BEST:: SOT 133203776 SOS 82228928 HAS SOPS 67031459 HAS SOUS 24973812 HAS SOUPS 24351223 WITH SCORE 2.4433451928E7
AT ITER 1055 NEW BEST:: SOT 133215963 SOS 82265503 HAS SOPS 67086546 HAS SOUS 24963324 HAS SOUPS 24340735 WITH SCORE 2.4423000503E7
AT ITER 1074 NEW BEST:: SOT 133215556 SOS 82270635 HAS SOPS 67097167 HAS SOUS 24960468 HAS SOUPS 24337879 WITH SCORE 2.4420149635E7
AT ITER 1094 NEW BEST:: SOT 133229887 SOS 82349381 HAS SOPS 67153936 HAS SOUS 24884868 HAS SOUPS 24262279 WITH SCORE 2.4344628381E7
AT ITER 1103 NEW BEST:: SOT 133220191 SOS 82321953 HAS SOPS 67128541 HAS SOUS 24865895 HAS SOUPS 24243644 WITH SCORE 2.4325965953E7
AT ITER 1106 NEW BEST:: SOT 133190519 SOS 82264424 HAS SOPS 67090934 HAS SOUS 24846030 HAS SOUPS 24224304 WITH SCORE 2.4306568424E7
AT ITER 1109 NEW BEST:: SOT 133191185 SOS 82265031 HAS SOPS 67091584 HAS SOUS 24842988 HAS SOUPS 24221262 WITH SCORE 2.4303527031E7
AT ITER 1118 NEW BEST:: SOT 133183195 SOS 82241896 HAS SOPS 67070223 HAS SOUS 24833312 HAS SOUPS 24211586 WITH SCORE 2.4293827896E7
AT ITER 1134 NEW BEST:: SOT 133187117 SOS 82250870 HAS SOPS 67080748 HAS SOUS 24830586 HAS SOUPS 24208860 WITH SCORE 2.429111087E7
AT ITER 1135 NEW BEST:: SOT 133207830 SOS 82318338 HAS SOPS 67131737 HAS SOUS 24823880 HAS SOUPS 24202154 WITH SCORE 2.4284472338E7
AT ITER 1146 NEW BEST:: SOT 133201815 SOS 82297968 HAS SOPS 67118209 HAS SOUS 24801094 HAS SOUPS 24179368 WITH SCORE 2.4261665968E7
AT ITER 1156 NEW BEST:: SOT 133201502 SOS 82292823 HAS SOPS 67114788 HAS SOUS 24798637 HAS SOUPS 24176911 WITH SCORE 2.4259203823E7
AT ITER 1170 NEW BEST:: SOT 133201319 SOS 82292630 HAS SOPS 67114743 HAS SOUS 24798210 HAS SOUPS 24176494 WITH SCORE 2.425878663E7
AT ITER 1171 NEW BEST:: SOT 133197444 SOS 82286885 HAS SOPS 67109259 HAS SOUS 24793748 HAS SOUPS 24172032 WITH SCORE 2.4254318885E7
AT ITER 1177 NEW BEST:: SOT 133201238 SOS 82294427 HAS SOPS 67122265 HAS SOUS 24793718 HAS SOUPS 24172002 WITH SCORE 2.4254296427E7
AT ITER 1179 NEW BEST:: SOT 133201206 SOS 82294387 HAS SOPS 67122225 HAS SOUS 24793658 HAS SOUPS 24171942 WITH SCORE 2.4254236387E7
AT ITER 1186 NEW BEST:: SOT 133192346 SOS 82282823 HAS SOPS 67109524 HAS SOUS 24778021 HAS SOUPS 24156342 WITH SCORE 2.4238624823E7
AT ITER 1187 NEW BEST:: SOT 133192346 SOS 82282161 HAS SOPS 67109577 HAS SOUS 24777690 HAS SOUPS 24156011 WITH SCORE 2.4238293161E7
AT ITER 1194 NEW BEST:: SOT 133202681 SOS 82309680 HAS SOPS 67126413 HAS SOUS 24777384 HAS SOUPS 24155705 WITH SCORE 2.423801468E7
AT ITER 1200 NEW BEST:: SOT 133213957 SOS 82326556 HAS SOPS 67143959 HAS SOUS 24772764 HAS SOUPS 24151645 WITH SCORE 2.4233971556E7
AT ITER 1203 NEW BEST:: SOT 133197615 SOS 82307381 HAS SOPS 67125455 HAS SOUS 24753052 HAS SOUPS 24132079 WITH SCORE 2.4214386381E7
AT ITER 1216 NEW BEST:: SOT 133211070 SOS 82323031 HAS SOPS 67158972 HAS SOUS 24745433 HAS SOUPS 24124471 WITH SCORE 2.4206794031E7
AT ITER 1221 NEW BEST:: SOT 133209826 SOS 82321765 HAS SOPS 67157376 HAS SOUS 24742513 HAS SOUPS 24121551 WITH SCORE 2.4203872765E7
AT ITER 1228 NEW BEST:: SOT 133206602 SOS 82317856 HAS SOPS 67152504 HAS SOUS 24734726 HAS SOUPS 24113764 WITH SCORE 2.4196081856E7
AT ITER 1235 NEW BEST:: SOT 133199919 SOS 82306502 HAS SOPS 67142578 HAS SOUS 24724815 HAS SOUPS 24103901 WITH SCORE 2.4186207502E7
AT ITER 1252 NEW BEST:: SOT 133200076 SOS 82305745 HAS SOPS 67141996 HAS SOUS 24724307 HAS SOUPS 24103439 WITH SCORE 2.4185744745E7
AT ITER 1253 NEW BEST:: SOT 133198902 SOS 82264039 HAS SOPS 67119509 HAS SOUS 24720400 HAS SOUPS 24099532 WITH SCORE 2.4181796039E7
AT ITER 1254 NEW BEST:: SOT 133139313 SOS 82191466 HAS SOPS 67054192 HAS SOUS 24644097 HAS SOUPS 24023050 WITH SCORE 2.4105241466E7
AT ITER 1256 NEW BEST:: SOT 133074851 SOS 82063611 HAS SOPS 66950639 HAS SOUS 24595434 HAS SOUPS 23974387 WITH SCORE 2.4056450611E7
AT ITER 1264 NEW BEST:: SOT 133064693 SOS 82049506 HAS SOPS 66932399 HAS SOUS 24583509 HAS SOUPS 23962462 WITH SCORE 2.4044511506E7
AT ITER 1267 NEW BEST:: SOT 133061608 SOS 82045750 HAS SOPS 66928882 HAS SOUS 24576185 HAS SOUPS 23955138 WITH SCORE 2.403718375E7
AT ITER 1271 NEW BEST:: SOT 133058262 SOS 82045390 HAS SOPS 66930666 HAS SOUS 24567829 HAS SOUPS 23946782 WITH SCORE 2.402882739E7
AT ITER 1272 NEW BEST:: SOT 133060135 SOS 82056723 HAS SOPS 66949111 HAS SOUS 24556854 HAS SOUPS 23935807 WITH SCORE 2.4017863723E7
AT ITER 1278 NEW BEST:: SOT 133056959 SOS 82050199 HAS SOPS 66945129 HAS SOUS 24555221 HAS SOUPS 23934174 WITH SCORE 2.4016224199E7
AT ITER 1322 NEW BEST:: SOT 133060189 SOS 82061350 HAS SOPS 66950811 HAS SOUS 24553030 HAS SOUPS 23931983 WITH SCORE 2.401404435E7
AT ITER 1323 NEW BEST:: SOT 133084114 SOS 82115266 HAS SOPS 66988126 HAS SOUS 24549116 HAS SOUPS 23928069 WITH SCORE 2.4010184266E7
AT ITER 1350 NEW BEST:: SOT 133077690 SOS 82097633 HAS SOPS 66979203 HAS SOUS 24547127 HAS SOUPS 23926176 WITH SCORE 2.4008273633E7
AT ITER 1355 NEW BEST:: SOT 133071368 SOS 82087105 HAS SOPS 66973346 HAS SOUS 24531935 HAS SOUPS 23910984 WITH SCORE 2.3993071105E7
AT ITER 1377 NEW BEST:: SOT 133056974 SOS 82068533 HAS SOPS 66957315 HAS SOUS 24512119 HAS SOUPS 23891168 WITH SCORE 2.3973236533E7
AT ITER 1379 NEW BEST:: SOT 133048743 SOS 82042996 HAS SOPS 66935149 HAS SOUS 24511133 HAS SOUPS 23890182 WITH SCORE 2.3972224996E7
AT ITER 1406 NEW BEST:: SOT 133049121 SOS 82057395 HAS SOPS 66955218 HAS SOUS 24495680 HAS SOUPS 23874729 WITH SCORE 2.3956786395E7
AT ITER 1414 NEW BEST:: SOT 133037383 SOS 82044393 HAS SOPS 66940611 HAS SOUS 24467348 HAS SOUPS 23846397 WITH SCORE 2.3928441393E7
AT ITER 1418 NEW BEST:: SOT 133020130 SOS 82017017 HAS SOPS 66922944 HAS SOUS 24459029 HAS SOUPS 23838078 WITH SCORE 2.3920095017E7
AT ITER 1420 NEW BEST:: SOT 133020173 SOS 82017156 HAS SOPS 66924187 HAS SOUS 24458716 HAS SOUPS 23837765 WITH SCORE 2.3919782156E7
AT ITER 1422 NEW BEST:: SOT 133032229 SOS 82077088 HAS SOPS 66973888 HAS SOUS 24449744 HAS SOUPS 23828793 WITH SCORE 2.3910870088E7
AT ITER 1426 NEW BEST:: SOT 133040641 SOS 82113372 HAS SOPS 66997614 HAS SOUS 24445897 HAS SOUPS 23824946 WITH SCORE 2.3907059372E7
AT ITER 1428 NEW BEST:: SOT 133040188 SOS 82128152 HAS SOPS 67007990 HAS SOUS 24436770 HAS SOUPS 23815819 WITH SCORE 2.3897947152E7
AT ITER 1430 NEW BEST:: SOT 133017177 SOS 82068500 HAS SOPS 66956713 HAS SOUS 24426444 HAS SOUPS 23805493 WITH SCORE 2.38875615E7
AT ITER 1434 NEW BEST:: SOT 132980273 SOS 82023787 HAS SOPS 66914161 HAS SOUS 24387802 HAS SOUPS 23767046 WITH SCORE 2.3849069787E7
AT ITER 1435 NEW BEST:: SOT 133005767 SOS 82094398 HAS SOPS 66994655 HAS SOUS 24370264 HAS SOUPS 23749508 WITH SCORE 2.3831602398E7
AT ITER 1439 NEW BEST:: SOT 133004797 SOS 82093801 HAS SOPS 66991479 HAS SOUS 24366390 HAS SOUPS 23745634 WITH SCORE 2.3827727801E7
AT ITER 1447 NEW BEST:: SOT 133000000 SOS 82086610 HAS SOPS 66988598 HAS SOUS 24365130 HAS SOUPS 23744405 WITH SCORE 2.382649161E7
AT ITER 1455 NEW BEST:: SOT 133006746 SOS 82102403 HAS SOPS 67004017 HAS SOUS 24334550 HAS SOUPS 23714066 WITH SCORE 2.3796168403E7
AT ITER 1459 NEW BEST:: SOT 132997114 SOS 82081328 HAS SOPS 66990031 HAS SOUS 24333891 HAS SOUPS 23713407 WITH SCORE 2.3795488328E7
AT ITER 1474 NEW BEST:: SOT 132987063 SOS 82069119 HAS SOPS 66963663 HAS SOUS 24290287 HAS SOUPS 23670277 WITH SCORE 2.3752346119E7
AT ITER 1492 NEW BEST:: SOT 132966910 SOS 82042556 HAS SOPS 66941186 HAS SOUS 24265590 HAS SOUPS 23645937 WITH SCORE 2.3727979556E7
AT ITER 1500 NEW BEST:: SOT 132963777 SOS 82042926 HAS SOPS 66943473 HAS SOUS 24255694 HAS SOUPS 23636041 WITH SCORE 2.3718083926E7
AT ITER 1512 NEW BEST:: SOT 132967089 SOS 82053400 HAS SOPS 66950412 HAS SOUS 24251644 HAS SOUPS 23631991 WITH SCORE 2.37140444E7
AT ITER 1515 NEW BEST:: SOT 132961334 SOS 82047037 HAS SOPS 66942001 HAS SOUS 24236711 HAS SOUPS 23617058 WITH SCORE 2.3699105037E7
AT ITER 1526 NEW BEST:: SOT 132960742 SOS 82100332 HAS SOPS 67001953 HAS SOUS 24175812 HAS SOUPS 23556159 WITH SCORE 2.3638259332E7
AT ITER 1551 NEW BEST:: SOT 132947398 SOS 82086988 HAS SOPS 66987713 HAS SOUS 24161060 HAS SOUPS 23541407 WITH SCORE 2.3623493988E7
AT ITER 1556 NEW BEST:: SOT 132948550 SOS 82092963 HAS SOPS 66992336 HAS SOUS 24158731 HAS SOUPS 23539078 WITH SCORE 2.3621170963E7
AT ITER 1561 NEW BEST:: SOT 132939849 SOS 82062779 HAS SOPS 66974410 HAS SOUS 24152525 HAS SOUPS 23532994 WITH SCORE 2.3615056779E7
AT ITER 1574 NEW BEST:: SOT 132942366 SOS 82088374 HAS SOPS 66984665 HAS SOUS 24125912 HAS SOUPS 23506381 WITH SCORE 2.3588469374E7
AT ITER 1591 NEW BEST:: SOT 132944097 SOS 82097366 HAS SOPS 66998457 HAS SOUS 24122086 HAS SOUPS 23502555 WITH SCORE 2.3584652366E7
AT ITER 1610 NEW BEST:: SOT 132941377 SOS 82090084 HAS SOPS 66991526 HAS SOUS 24120199 HAS SOUPS 23500701 WITH SCORE 2.3582791084E7
AT ITER 1635 NEW BEST:: SOT 132935520 SOS 82083895 HAS SOPS 66976933 HAS SOUS 24104020 HAS SOUPS 23484644 WITH SCORE 2.3566727895E7
AT ITER 1640 NEW BEST:: SOT 132932384 SOS 82079945 HAS SOPS 66973964 HAS SOUS 24099765 HAS SOUPS 23480439 WITH SCORE 2.3562518945E7
AT ITER 1641 NEW BEST:: SOT 132921770 SOS 82046439 HAS SOPS 66952504 HAS SOUS 24098520 HAS SOUPS 23479326 WITH SCORE 2.3561372439E7
AT ITER 1643 NEW BEST:: SOT 132927674 SOS 82075825 HAS SOPS 66970421 HAS SOUS 24095037 HAS SOUPS 23475843 WITH SCORE 2.3557918825E7
AT ITER 1644 NEW BEST:: SOT 132841337 SOS 81974618 HAS SOPS 66873383 HAS SOUS 23998980 HAS SOUPS 23380033 WITH SCORE 2.3462007618E7
AT ITER 1660 NEW BEST:: SOT 132830832 SOS 81948839 HAS SOPS 66857321 HAS SOUS 23997077 HAS SOUPS 23378130 WITH SCORE 2.3460078839E7
AT ITER 1673 NEW BEST:: SOT 132832686 SOS 81954403 HAS SOPS 66860694 HAS SOUS 23995367 HAS SOUPS 23376420 WITH SCORE 2.3458374403E7
AT ITER 1676 NEW BEST:: SOT 132845151 SOS 82013512 HAS SOPS 66924152 HAS SOUS 23974521 HAS SOUPS 23355574 WITH SCORE 2.3437587512E7
AT ITER 1689 NEW BEST:: SOT 132835554 SOS 81998586 HAS SOPS 66922374 HAS SOUS 23949596 HAS SOUPS 23330649 WITH SCORE 2.3412647586E7
AT ITER 1713 NEW BEST:: SOT 132857599 SOS 82020146 HAS SOPS 66936829 HAS SOUS 23949823 HAS SOUPS 23329837 WITH SCORE 2.3411857146E7
AT ITER 1714 NEW BEST:: SOT 132857563 SOS 82027657 HAS SOPS 66943193 HAS SOUS 23947638 HAS SOUPS 23327652 WITH SCORE 2.3409679657E7
AT ITER 1716 NEW BEST:: SOT 132854402 SOS 82022196 HAS SOPS 66938262 HAS SOUS 23947233 HAS SOUPS 23326993 WITH SCORE 2.3409015196E7
AT ITER 1717 NEW BEST:: SOT 132882111 SOS 82081824 HAS SOPS 66981745 HAS SOUS 23936511 HAS SOUPS 23316262 WITH SCORE 2.3398343824E7
AT ITER 1720 NEW BEST:: SOT 132881924 SOS 82082493 HAS SOPS 66981398 HAS SOUS 23935324 HAS SOUPS 23315075 WITH SCORE 2.3397157493E7
AT ITER 1721 NEW BEST:: SOT 132850343 SOS 82029407 HAS SOPS 66920556 HAS SOUS 23881885 HAS SOUPS 23261888 WITH SCORE 2.3343917407E7
AT ITER 1723 NEW BEST:: SOT 132850176 SOS 82029124 HAS SOPS 66920251 HAS SOUS 23881674 HAS SOUPS 23261677 WITH SCORE 2.3343706124E7
AT ITER 1724 NEW BEST:: SOT 132845085 SOS 82012184 HAS SOPS 66913070 HAS SOUS 23866000 HAS SOUPS 23246206 WITH SCORE 2.3328218184E7
AT ITER 1734 NEW BEST:: SOT 132805590 SOS 81899498 HAS SOPS 66847156 HAS SOUS 23851285 HAS SOUPS 23233296 WITH SCORE 2.3315195498E7
AT ITER 1755 NEW BEST:: SOT 132819093 SOS 81932113 HAS SOPS 66868799 HAS SOUS 23848249 HAS SOUPS 23230260 WITH SCORE 2.3312192113E7
AT ITER 1756 NEW BEST:: SOT 132818913 SOS 81931921 HAS SOPS 66868703 HAS SOUS 23847725 HAS SOUPS 23229736 WITH SCORE 2.3311667921E7
AT ITER 1757 NEW BEST:: SOT 132818771 SOS 81947101 HAS SOPS 66904041 HAS SOUS 23827296 HAS SOUPS 23209307 WITH SCORE 2.3291254101E7
AT ITER 1767 NEW BEST:: SOT 132852157 SOS 82034459 HAS SOPS 66993051 HAS SOUS 23827091 HAS SOUPS 23209102 WITH SCORE 2.3291136459E7
AT ITER 1789 NEW BEST:: SOT 132841452 SOS 82018604 HAS SOPS 66978130 HAS SOUS 23809200 HAS SOUPS 23191211 WITH SCORE 2.3273229604E7
AT ITER 1820 NEW BEST:: SOT 132831978 SOS 82000876 HAS SOPS 66971608 HAS SOUS 23802447 HAS SOUPS 23184458 WITH SCORE 2.3266458876E7
AT ITER 1824 NEW BEST:: SOT 132829264 SOS 82002742 HAS SOPS 66970819 HAS SOUS 23785403 HAS SOUPS 23167414 WITH SCORE 2.3249416742E7
AT ITER 1860 NEW BEST:: SOT 132829355 SOS 82004499 HAS SOPS 66971631 HAS SOUS 23784288 HAS SOUPS 23166299 WITH SCORE 2.3248303499E7
AT ITER 1861 NEW BEST:: SOT 132828102 SOS 82004092 HAS SOPS 66972085 HAS SOUS 23775711 HAS SOUPS 23157722 WITH SCORE 2.3239726092E7
AT ITER 1870 NEW BEST:: SOT 132827218 SOS 81996319 HAS SOPS 66965165 HAS SOUS 23774379 HAS SOUPS 23156390 WITH SCORE 2.3238386319E7
AT ITER 1888 NEW BEST:: SOT 132817380 SOS 81964677 HAS SOPS 66945223 HAS SOUS 23729995 HAS SOUPS 23112006 WITH SCORE 2.3193970677E7
AT ITER 1900 NEW BEST:: SOT 132815621 SOS 81962856 HAS SOPS 66942898 HAS SOUS 23726414 HAS SOUPS 23108335 WITH SCORE 2.3190297856E7
AT ITER 1901 NEW BEST:: SOT 132837679 SOS 82000171 HAS SOPS 66979714 HAS SOUS 23714175 HAS SOUPS 23096733 WITH SCORE 2.3178733171E7
AT ITER 1917 NEW BEST:: SOT 132836971 SOS 81998058 HAS SOPS 66982887 HAS SOUS 23704421 HAS SOUPS 23087098 WITH SCORE 2.3169096058E7
AT ITER 1919 NEW BEST:: SOT 132837034 SOS 81998219 HAS SOPS 66982789 HAS SOUS 23704181 HAS SOUPS 23086858 WITH SCORE 2.3168856219E7
AT ITER 1922 NEW BEST:: SOT 132833945 SOS 81990304 HAS SOPS 66975660 HAS SOUS 23697995 HAS SOUPS 23080672 WITH SCORE 2.3162662304E7
AT ITER 1930 NEW BEST:: SOT 132826578 SOS 82002879 HAS SOPS 66985372 HAS SOUS 23654364 HAS SOUPS 23037041 WITH SCORE 2.3119043879E7
AT ITER 1933 NEW BEST:: SOT 132828291 SOS 82021670 HAS SOPS 67013216 HAS SOUS 23654183 HAS SOUPS 23036860 WITH SCORE 2.311888167E7
AT ITER 1935 NEW BEST:: SOT 132818146 SOS 81998450 HAS SOPS 66993194 HAS SOUS 23646761 HAS SOUPS 23029438 WITH SCORE 2.311143645E7
AT ITER 1937 NEW BEST:: SOT 132791287 SOS 81956863 HAS SOPS 66965292 HAS SOUS 23634985 HAS SOUPS 23017662 WITH SCORE 2.3099618863E7
AT ITER 1939 NEW BEST:: SOT 132803168 SOS 81967794 HAS SOPS 66989516 HAS SOUS 23631819 HAS SOUPS 23014496 WITH SCORE 2.3096463794E7
AT ITER 1961 NEW BEST:: SOT 132810145 SOS 81981119 HAS SOPS 66993850 HAS SOUS 23630637 HAS SOUPS 23013238 WITH SCORE 2.3095219119E7
AT ITER 1962 NEW BEST:: SOT 132814997 SOS 81984872 HAS SOPS 66993375 HAS SOUS 23627318 HAS SOUPS 23009970 WITH SCORE 2.3091954872E7
AT ITER 1970 NEW BEST:: SOT 132814990 SOS 81984786 HAS SOPS 66993436 HAS SOUS 23627285 HAS SOUPS 23009937 WITH SCORE 2.3091921786E7
AT ITER 1972 NEW BEST:: SOT 132813954 SOS 81995809 HAS SOPS 67007878 HAS SOUS 23622248 HAS SOUPS 23004900 WITH SCORE 2.3086895809E7
AT ITER 1979 NEW BEST:: SOT 132814603 SOS 81993172 HAS SOPS 67007352 HAS SOUS 23621339 HAS SOUPS 23003991 WITH SCORE 2.3085984172E7
AT ITER 1994 NEW BEST:: SOT 132831473 SOS 82010874 HAS SOPS 67017954 HAS SOUS 23608996 HAS SOUPS 22991648 WITH SCORE 2.3073658874E7
AT ITER 2018 NEW BEST:: SOT 132827089 SOS 82000239 HAS SOPS 67012976 HAS SOUS 23604575 HAS SOUPS 22987309 WITH SCORE 2.3069309239E7
AT ITER 2035 NEW BEST:: SOT 132825535 SOS 81998361 HAS SOPS 67010628 HAS SOUS 23602046 HAS SOUPS 22984780 WITH SCORE 2.3066778361E7
AT ITER 2040 NEW BEST:: SOT 132833012 SOS 82015369 HAS SOPS 67028212 HAS SOUS 23590519 HAS SOUPS 22974178 WITH SCORE 2.3056193369E7
AT ITER 2073 NEW BEST:: SOT 132803094 SOS 81983821 HAS SOPS 67001521 HAS SOUS 23540459 HAS SOUPS 22924456 WITH SCORE 2.3006439821E7
AT ITER 2082 NEW BEST:: SOT 132796608 SOS 81977008 HAS SOPS 66992293 HAS SOUS 23529186 HAS SOUPS 22913183 WITH SCORE 2.2995160008E7
AT ITER 2084 NEW BEST:: SOT 132796323 SOS 81980022 HAS SOPS 67003441 HAS SOUS 23523711 HAS SOUPS 22907633 WITH SCORE 2.2989613022E7
AT ITER 2085 NEW BEST:: SOT 132763678 SOS 81909216 HAS SOPS 66951611 HAS SOUS 23510729 HAS SOUPS 22894651 WITH SCORE 2.2976560216E7
AT ITER 2089 NEW BEST:: SOT 132758720 SOS 81899494 HAS SOPS 66935393 HAS SOUS 23496426 HAS SOUPS 22880348 WITH SCORE 2.2962247494E7
AT ITER 2095 NEW BEST:: SOT 132761493 SOS 81906550 HAS SOPS 66941125 HAS SOUS 23490063 HAS SOUPS 22874308 WITH SCORE 2.295621455E7
AT ITER 2121 NEW BEST:: SOT 132744841 SOS 81897525 HAS SOPS 66964113 HAS SOUS 23483716 HAS SOUPS 22867961 WITH SCORE 2.2949858525E7
AT ITER 2127 NEW BEST:: SOT 132758756 SOS 81938992 HAS SOPS 67022880 HAS SOUS 23483076 HAS SOUPS 22867321 WITH SCORE 2.2949259992E7
AT ITER 2140 NEW BEST:: SOT 132727589 SOS 81881283 HAS SOPS 66973954 HAS SOUS 23445274 HAS SOUPS 22829519 WITH SCORE 2.2911400283E7
AT ITER 2142 NEW BEST:: SOT 132727555 SOS 81881473 HAS SOPS 66974229 HAS SOUS 23445095 HAS SOUPS 22829340 WITH SCORE 2.2911221473E7
AT ITER 2159 NEW BEST:: SOT 132727733 SOS 81881657 HAS SOPS 66975373 HAS SOUS 23444929 HAS SOUPS 22829174 WITH SCORE 2.2911055657E7
AT ITER 2185 NEW BEST:: SOT 132727676 SOS 81878082 HAS SOPS 66970461 HAS SOUS 23436238 HAS SOUPS 22820591 WITH SCORE 2.2902469082E7
AT ITER 2192 NEW BEST:: SOT 132712480 SOS 81844759 HAS SOPS 66943031 HAS SOUS 23434716 HAS SOUPS 22819069 WITH SCORE 2.2900913759E7
AT ITER 2203 NEW BEST:: SOT 132712384 SOS 81845145 HAS SOPS 66943509 HAS SOUS 23434444 HAS SOUPS 22818797 WITH SCORE 2.2900642145E7
AT ITER 2207 NEW BEST:: SOT 132707040 SOS 81838813 HAS SOPS 66937159 HAS SOUS 23426836 HAS SOUPS 22811189 WITH SCORE 2.2893027813E7
AT ITER 2209 NEW BEST:: SOT 132730471 SOS 81915279 HAS SOPS 67009002 HAS SOUS 23361755 HAS SOUPS 22746108 WITH SCORE 2.2828023279E7
AT ITER 2217 NEW BEST:: SOT 132728289 SOS 81913751 HAS SOPS 67004002 HAS SOUS 23360168 HAS SOUPS 22744521 WITH SCORE 2.2826434751E7
AT ITER 2230 NEW BEST:: SOT 132730102 SOS 81918309 HAS SOPS 67007582 HAS SOUS 23359965 HAS SOUPS 22744318 WITH SCORE 2.2826236309E7
AT ITER 2235 NEW BEST:: SOT 132732460 SOS 81920667 HAS SOPS 67009940 HAS SOUS 23354811 HAS SOUPS 22739164 WITH SCORE 2.2821084667E7
AT ITER 2239 NEW BEST:: SOT 132733343 SOS 81919821 HAS SOPS 67010971 HAS SOUS 23354298 HAS SOUPS 22738651 WITH SCORE 2.2820570821E7
AT ITER 2245 NEW BEST:: SOT 132733614 SOS 81912581 HAS SOPS 67018690 HAS SOUS 23351639 HAS SOUPS 22735957 WITH SCORE 2.2817869581E7
AT ITER 2264 NEW BEST:: SOT 132773643 SOS 82040707 HAS SOPS 67138309 HAS SOUS 23319634 HAS SOUPS 22703952 WITH SCORE 2.2785992707E7
AT ITER 2269 NEW BEST:: SOT 132773487 SOS 82040989 HAS SOPS 67138387 HAS SOUS 23319520 HAS SOUPS 22703838 WITH SCORE 2.2785878989E7
AT ITER 2272 NEW BEST:: SOT 132782249 SOS 82071780 HAS SOPS 67166422 HAS SOUS 23310960 HAS SOUPS 22695278 WITH SCORE 2.277734978E7
AT ITER 2275 NEW BEST:: SOT 132782860 SOS 82078863 HAS SOPS 67171057 HAS SOUS 23297316 HAS SOUPS 22681643 WITH SCORE 2.2763721863E7
AT ITER 2276 NEW BEST:: SOT 132782419 SOS 82077819 HAS SOPS 67169977 HAS SOUS 23296478 HAS SOUPS 22680805 WITH SCORE 2.2762882819E7
AT ITER 2282 NEW BEST:: SOT 132774740 SOS 82069276 HAS SOPS 67158622 HAS SOUS 23278245 HAS SOUPS 22662578 WITH SCORE 2.2744647276E7
AT ITER 2289 NEW BEST:: SOT 132764212 SOS 82041552 HAS SOPS 67136665 HAS SOUS 23274616 HAS SOUPS 22658949 WITH SCORE 2.2740990552E7
AT ITER 2294 NEW BEST:: SOT 132755144 SOS 82022114 HAS SOPS 67118284 HAS SOUS 23254095 HAS SOUPS 22638428 WITH SCORE 2.2720450114E7
AT ITER 2296 NEW BEST:: SOT 132753014 SOS 82019739 HAS SOPS 67115821 HAS SOUS 23249018 HAS SOUPS 22633412 WITH SCORE 2.2715431739E7
AT ITER 2301 NEW BEST:: SOT 132755593 SOS 82027916 HAS SOPS 67124721 HAS SOUS 23245971 HAS SOUPS 22630365 WITH SCORE 2.2712392916E7

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

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