Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r317-tall-167873968700022.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool gold2022
Input is Philosophers-COL-050000, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r317-tall-167873968700022
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 5.8K Feb 25 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 13:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 13:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 13:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 13:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 13:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 2.3M Mar 5 18:23 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 1678893136104

STATE_SPACE STATES 1155409630490589891144596029200706813744976900612060269415547129434084601365358590760487539712238921846301126695485809827827399059328803737171387689292226378277416168724913836731874782175781147093055297520796216079198365034453744634309250235022870909945738637216727980897633929985988091964074669709452219575549595325005563055962717588535668138585584156492099731154925703806657277148892981114291551543280170959812332405130576381174606549261326095346877577433753262194341840378704473256248096042180489434200305740339911979807998115396177531989416202996373009005282167061187337247710649555435156936630769993977747881673619556692614079224511593888521132103327785501910187642554398999433281987126769580460668039811667192737179055942664538326866664559505456626656084945391184926825506411562743331233967781348989154811318461829016867468884694291371597175913079539447655350347853611255256599943840696304337335761408966204414887667272235749191126838912987482609935514632065786512865791330618151120928411878629016292869864792445522130081266293163471649862925388534599574350857947906070303975428324543729989065791818308019474274105022934749139581865662944606509176128350330671476762825767436758741696473595049409342844585275640927286035938920930775183027426958524719177909759128182659960893650331934669228149339123095264761584706400582357480575153274061006993187299584281204036212424269239135228529495118413118839743746262371152134870934859889757322522115542945753387927874062167303409565354025282434000870427013673009247428801589226633440822670759590031718178773410310683486937874582008637298970980775048213906247179635688931346077405097679107998821097423985859636678850659723677295507128710095312569998198599048782710633922478789005159976730889499681026950956890621389472565738592171855895658844737415268710021549898363729736923907788346426882960112986570675053480768809818622723533130946784824655368117081532456395255575234211943807885561867949018474836150387521685429473975976680053862180318955402242446246296489795032605023093938676383655672562266835734517241233696910108146716150461467563578167372739397470034309697172580833994388377193489866590212280058091420736571506463687426548830323450214417554788344522075946073442959048010455243810080196144381472482715826585861455784883882287139544510092991270500278530095206882077551897390788213744103008849647621332341807510953616126998291122272846455650688958889308807400819342336327206030816002799449706970848913572847357152784915309172517118634565118947372682362704663535731928952366136065716828744172395529871954142651493298083613765634980402739896809404883180270279302781843300271487927383408720557386526139197416678222781560804543711232867828614591331708195362466288623646189388291922755985756500502928382415448831601842279789547449387185976615338180404357500562141347778588898436789739511540103381026539456697431420610004904424639669251482521711241745086406727675367052873483683726110468216751040675557101990768259547773863277173786385727016094014589651471883622894889304391491394696997976987101298139060799507386518467325672735755288107359327605132244082921518728915226805851344539356534711558092098086957664871606632930645409878667281327177718385561475648177351581635547553508735295671202065556035823900505876132431181268790993060313731945551021176119159584935345780118772328054460223913652695885302307127422647885102053390650483253446138941616292835860594980270316518369425434506291568230475845299343785440272246936133153828457918345291786439571990759401646203757940548606712474961297073892929995667186047244189603673209972081072967003662392356664919755323829911381495823206330936991097092266211777230011858874324901788061919803094419348301349504065443039475300362913141583906421069082424031002093624322593900975386725884857830547595306574971885556322831797579760067888273598416376705775092129436132418032090215344448797085488095263495802505065875099079752349878410426549668490404514042204524768300197834302095043472871633207863159203129331127841997958582157773073197084414914958431002763791004629813516564061807594458067646222919366251354024347121725178028462674579374608999327140565434113853304566443164569752283104819535007365914168773384883308681290158381315572882793731183113814289637428477209151770297486687209621910883321223098761556299626165629525756043273242373993921756358054615196637786918301265329781428650498095084266805577461781313159279131455971988108928363690433620772037876209242522285645599700645827926724860110118442051747011705902409640399574170870600591015622029158895721368994187211000617100224195464631494658101436950468828818687443697478360457734100500413308271456955261629737540651340451717689138158361491720020132832276821826267181142900865526829589418216140033913455848823880899258806136090218295533252203895996607608121712082249615793385040018951571058346667606672785369804217371051241579229503694560784386766673558725910560915451556869848751360327789361726227488971174304043389530392940462079486268289368956922895082143696724258207978950350646017282718049162172123896475010106014606774250054498764327182238558749970378572579997004276784763914932948639993855939025304821883521994248975191546839720928125884771541647579664300359945658659333442079320465156547203271002533814658655294874811850856052658858184068683692461054535542806879063381814678133103900775394073940112884392802624381419954853670851317479664600677944751495089758193171022038970865482831845355405177018826714539020910777397140818403950915546373030346334268757078620313637696547984158703220124175419500370303600163014050483634492534253006123735882026947385900914240618952312280028166356571966932337968806866928520557051508583094654501565120299326777648003904986113758068436931782760887629673175822961544053814474381501507050260138210694344053433193276384694886345419718313361673613207289894564833622230847519944454219377059705527441116849294293466271249247425417697326930559825432563413340725826642635480141194513030081801767863157216292961837118392815887822755858386584902961096635696141690370907440995254315527893801544168442598653211931993934512091093258687063346883319651206364570188364925889917781228160052289549599538793460231464347202783993416526049843254136783346835632039593492275792152625801674501223921599754661238954547191752999084685014749177687167741979327198180737896038375582109444858282254872824129537304167256167857961044271297025817539470820614760976544301301738053680380523150301634369618313635749179021303292061930722670279201173972550385209302880546799986226087542204861386025069055675768307611886435257056339819163131847956012977282505512422171478176982160659671946703312675817086968811971764910079069222347041028096156540068861160599706987106135253134244374930238561917126728369853022103245425052500767792398252584017734400216522628364785465357098819153205853165217960525226602662655676541200947064803983321757712797550460930230327373863207463616240084336517283313322922803153008084013782099639586982870840642995255964102926639985534400756971131247722114537743434359206473765344616659028025299570584039189616814205754104355690373435254215406632389441068370123642899062502855074428860112714528141150640078748694007426471304345569358824484002693760496107245108531920861369257537932394882854255476747495620877881947360660055979632731396519775122494774168366187946340466392714528222629988263506308619390476836613029010872005136912018276702246553730213390318620626051350581938964838251658015023366815930974862785440011270939304908839867345824986921143328044608370529678810720459345090505887594862137749362599006752911838942454655178503872273437083260515099923653917122746551131034017128292816724859999494175888647464582075236884959668368061916800737131457401012385109012342408806375222352042161402753805228083719954997359831332079168670886938345604568852843395667352182002509732951820328440079819732039905958351522033751225578283645397341237679972145238354707850745326842003975286674311517102630028061223979878753314968584611030628849593207129626771841792827974652415541462832298722534023417006106426282647250931698498923473093919905907642888490648146775620896953908225334832444204701558097188794016514581610402995040944228773179832125600137629191375998043062217735342276166680032941317383502576932058187234296522404086280841333184818528402519988119540031872815234633491176539942732096882282924927974197802804480949170041730829479962122454507097070987961696061822413889408882513581464193830273144631193182364110019126444078041453965932316606212285402701927251618848294769418875359277857043339215994578470894049245857937906118477452794996909596674441597176437709575260423006099388089458235051372153638434504357487940214229927198482671441968280530300833560900228194313535200610248014148426417088245312845064149305309708350562974496835817345102352234640100749693329917290527868729597125133017911796276694591309454860814188451230508056787565698752711887597547090811268937134444751452024384965475959936173659044103743458316495416558539739903123979157026856377340928443326011750125649531659129771056970164344559366665803164039475109093953329227613588327127581087835308687701006615680277024582669455009460221986664290879339419244571629054999423162844342917157853144216591691431479296047169221932291358917987642438887122620873885363860237700385629890375740992480859597995878321650983507081664513630209085309048694389336911853875406583532882751570856217088369439469928355970150223551084940771246622975974872635607192351387016849325295765940323591283920266651323901756614648999578491031413814185446093015713825843674937849437972677118569335423285476656960288895521435768865801346844778149754907942737029314882632215598226014522608986132466659105240999344923487164150047654253149136639122722382600210371789182464719679889680628792546387667446749111712973043124407341731622081120155147377201295345247164788823979780717349109780826023790682978531021440256499104341996537072251838790681926035962759672614481151129441688962389420650790788865698860199902141157603859233020513876758512828574103546879958858053245422831690323602920361588721570305267172939849081862990084098266861402815409697757106503798091646435700096042243483952393110752129191810663567616457921217531837676998290366770581744891357320737190810457044989076748119499501706288388912200415380352428264006706583173836006042222727257752065340302612102651701342890312165189415825062003201946820606343971778306780910279952205729902380509200631844506545785492086964719069894222459160676061259482505161196334762550328335704679382978106720175766119591023032769396638189329959187011561138109567809381849973480594527590159414763505091188469197093351499994120659993492855460285202373601801118092114809628928523331323307215802350339879537187850263553828913198424983925946417059670774317581209473029129401535194121265536439066925201092844433356075351470127212532485981340977382757028329137746323248305533024054007939693853363462004924917129716675096487499179993174992074155920606942729098058236054361371989539707037760254683395049407796872270335274225055275594676396097993146793237776942173328869545825867333437458383224289461760968402817100889960867137257515804180703581558396024429808657037618827742296354990667208599277625707424771057200650582146522551371965031502041527474674578682864865477356722613932988439083213625374007438176672031243533422758201981512582373853388368509188858965194547971661929925417869944072050617392324526930866036142651658134967567772695675735271939920048285970315827368037576396466403585484734627230084081959782279201405540509281919471389211479942760942990516753181626466056143393102468930877489803927523346891617419353857854762975013931781905536570817561545250497981945517175895881024329936727913699453780097457775788405487585753862517248706220144963474119044142421144818822772569716237197825882542929478660693984017608581272803527526848588462584681908239238880288410902003215847565216352691611748464415138978303709264007414918230125398917902424732497413656338884112938954834079382821776194111029273967276009646655858513296855559524631391265056182013712275590736534603532016766541161457815499353783997702660001132036607871825393570723727708215886793741909361102624072089236508467247458166461298847613875026658044883609734973165934986540686649940294693999137317759692040130115193359371976918727363280141884822438445587945903364855128212773160239272392787712887698383166441319131217392904659189772213124168787660708272318792226991965006401194531789130877710672114043851134519965154009085728917061237812666368400680908540742313099105318589303059897795126378612337636620300604248101782666102862741145360280679598247039662828175758996139123828153883762816897564258466506171732297770291463107814521681015151445013693174266178712544226762707642060406089357322380536558817018130252113428474666725329353354040656034364925444023607272134351430197714127804624304601406246972397728102530535915625218148490299907616969659820306760222586479557042214021207917659819739879612615511870975183660810093350434414034633537716389348169983546954302258942822592584197116329501513572274404665803518709568567337098085982250060938293226699178929880210797539190461945717822388735170837956616037022223689827359063545336555953843443620453912455799269025062871924034664516469000985283311086933941409495269842456864731463539416911022143464209524422653138007250725605326935557140794853934864979520424804731325979213007387790422234951109444732106473423350029880058545673042490427258322687346423260531193726116699831309735002655122051743312527165389184040957191236844771607909490322750171879101503992104610555351000824761606634988446133913361141974770037079230370515591229914250291029220744894247773288901729165205196352949748625923596835882651760281094363920062286770493866169976319508093428374954979280677159821691862610675499461476812486211728065934904626222120800268023948822603562598851262444870690595604448493254297757116896848593802361188749243122601579867094804964827949438448034429708787156467995940104845726630825050371572267455403379185583286258031635275674186755025167305722258331746864707161925405129336034720856346288561647741493057236556992985284974986362794555045488343315103437631295507756523780931975850857145444861681490653345110560164683236336881218116907646621387376636142932252159096430027890511469966440917497687306877744013626438504426357877145790101548733875763940456071624373076743086961395740550419972915509335127540486576493117860064596222600183740120677705269234566919675691960434995970930696448764427031161971454485353910843867247659066939516013979456917337816502788584537278052755940769480642348603874131650560705376113482608316501912552108765833865231766174243603410603538823548360956112687617733677871681709276552781614488579166382982734725404561700749064724043710472615739110835837121455495441862868161358719314288515148425294112363567591559302811937508864970012148504279151337469351601367145118747250895226878494679893840474850141864302952867285547026607925809060949264304925833600234185780286237933541580592920377427432888235502759858341324927267428905952214284526486833834462884516312442963498696022661459879313763786783028283215219752013167200645994619700561569010962692817912935356846811395532376618529125052267522173517812161543385827914888682836777266774890926533535306348925422482860341236815935874885143754571236482097889569740364510117337321191150139814697794464631433315843897503574073380517371760628845819729307770526547000501063038665374162666003984624875563525681005461845628856614437914431754534895289774517049367869577886848920584352056245550012554259566782629430019747320252074834725413646344704820190810371783072537964483970996727448890944534609276546898021365717433921927114110648571049536723659009609034817323763095119685829580098160448392381595038941683751695003431542925747764817940196388638522069868316065956816164636643655356208336325257827128811828505704483838108367270445551156411844815124332389653855528148298302057058881942696325993564652369853950145876834463136817309757122878239207031854979916299416010741192465588214045099921607704226226228319268218576023719154443234882421054933615396443907033113388634846392235889422376804980264947281574782592854263221823491886625299023557281964192730807217407544163180082563918581370664908991518861091676663015469842725642075817762903357163555567578038762148006610908995990907131955936422545371587325980492727772380756558643470171887562472256321105014093073888530379256357700951975280611117956808333147703811381155976357605356901022762657158017104062068349049831917027245393076491392478334446420929195610052325710105450034522278792675115932323498378508012635426712721233587946868322854580003382059265754127054880993472376399862743306646635534087825510195416704110260885286137514196249984526997996799218304692256828780376868070158394856843979936280656648496499079836770414135382419189779200138478244797025943540765684200889853630579023218334033576438715707778300382170240699157128085045265159877868605037211763837409352691216605713944058929379975424393609537341846694206615742508567102947347302488367049801761573259685788264691501003665207374849925984314441407358791450883406640964375488744275432416155713896949444667200673990641847947455439145670871466144975672216555311372066020182222216227123549398343408424494057793951632682138819067680550916809607584470781783098736672799764246161948929349398577554054097229273890676176173440233746443975175498354644008500864680322937751098258590151587640480819446788284655678533528475477509683610248257649968671631074812867725111409376276953736816933414828195677333216819306191258059151159934336219409125466038630962755563926716363583939482782113993148776283645329727440858708765162153539776685508182649670226867139317924692123898783656141804166727132557269641895123400463602656215774167434320243779098559453182454434401117210938008558471495453781450776288891402914451370044211738274253820301214697183374704973352719454862657929395567575037196623222383803236581662173863126889137964943867131498999942539048666500277652334378326468908876896312682739574535210363553017133574760591139839435579877437850929907496936357025578139819187572778367658371399410932310198029443505136346494076464964426821161347786041270522943656579147401515031915536959937899795796611198626955786273713709748503566173178199476543783111252527790862131991082286262631055687151296846356181908207298485642582940540506249990319302562773518837262984696496496001619186911491688350161708952589714890587483140902015688006736788824307789440652012101681663289197592108630059798862113611873848675130739185315488744881069079972230667676606163760965141953876709952937174038069529446207654315265281045457291151836065155289775214460499462966597546123094787600080331209766400826377789293698168527721669129822319356274889956028815717001900397469895872751119515859246989496204034480152028578411557983520533007273953034775111875102278385073796673315000917237169815570396860085771708419041393434792041123068656620590656599858038436015725752255744415219503413760036447406010900750424607268292884822255264969041716732338871138790496039102409855117649056914521266998183351240701727653358153176932092329906024078722558086530840921890143890942351553153022817183437344890067102404769814795393284801512939725987965108184587091306069077867751504981376091093570445096808566498019334589156481352772364515756375953246784885953924326773739082649194591285225294814270512622589360906091958846263285142110982225451932413909558856311134961161299061951402598035869526559862335710946022883289090085573519479763508759460135537560100649011083893960153350429482839950981093222871959402564689368510852031695178414886378772052900832764366403111762324693183829814636081785368242693835481762752859932816766575072933761218395555240436451803850207085655417444901801040605486179598656418077720926095712492040865051925472495688929188750207937309924941126414654705915543981242571679617273917538829491045583995072366302747291826413977600050803563925765797954468961366373225423486280572418309520743030758063171735428340679223381274913892906251376899562324719864311570461144727191153445961685868861981745483214476949883445024301450584490976010972261558776672435663675768021025490695866165911989702620827771305586677068270101296415616016306011765607381331795070769101523225485249881954454419935944406378506665378468877573035998785244095718203210568159180053692616842003565035103757895172634278771740097063854043489703705950454028472490258777127501350487227450815141617712354312459848369143718073680431134887707610879457070796314345301329262000485777680218149752937947898538987336464593442309912563293837936735025109036006245980620859906959681055931418340744813265507025018017100156065986272443790909387120284228206244311312139689076551104995491325598089514138179740563838380939298470618074761473511759620152207435763772927212850940453427190884979562834303744049251283022987950125985574444525818803524685888257105263649323490848765544660170000544901833493424742935623923371806673852423989799396308583424027790296239701223235078497823553630495203741961788647113139909315565362307764794924190683378844262146556553579343509748100583270092955916982221618079378118390187635316537264783848767590433966812211650263734486041879985433571302268575369615665154950323363069782347128525513007435716192126079495239794289979341911000256148994009259651359642886251358341491055803199132238021251245176869228026828218502958747058292360369542633091889423230864092947733834487569654491622261955971321268857107049376004846999594161574783433331034415265931174478832807519180135288952932977827471346429138138441120299619891589609707984121070810591556890164292058005597311461506800620438896087134614768545439313317023692829140649647027504784856870096351974514605954734035711555601754248988440416947409901830465058761636627512010007624790818505795364127713482019251333163252410851453726555862879201280801984982588703592940573201376873454519545078696648631797286463342234442280752697086009766076339248971151104025649179401824491723157714341270164161932217722118709919123722289203876196391889259466606203498981719549233124066266219755791493044903242049708482188497578062458656531480027016510975771586531820090820162111340537389224403717133846891798639144910168540792667577897604581050347665196177496983726420388953448973468670785027860553041854157644541647583340329249932670676082267014002942658689392467574458089570311118767035685237814603075204798794063655358381245588571901432465537447825025237664281479509502028356211457754812061095732120242525142036824220209843024334164347017271185537599875503372574549112456834723668299932731559755736943722251848625475880855578085904250866472864852795311304033777837308976170835745121196668069152071395096717355077200883506512079731107525514052848719797659078619329687179087599174352927819364059963750858275111579901862104466076937430746987340213711397531594470923142768286234227736134094457356999500608044204511413090111024950461461751423777739463774710299997513451246916696471784797461022315126520344622736096503387546613340372904374503547069389385530091971567468421961951144969362118401979760139746436539567988377362198775047228813426748856856764537382868991469823814936091351672811470999863319529781815843717870183808800862290596758355376774852242995028563689738320322274539215263342833069601863482996609523456296369304751042524271783291155653247935690684160626218071777471140008786708498844713392217239977378695786589503003263042882501487997030474191553868105534706752787167585034089878281354652702954021102698853221055628318387187529494371456705207806610466305240316952863442017656928123121277380841060827285169174110997577924569294156618737278440216548883141253092754138681330624862967597805407233617027365897065327496704351347355276398168085395872555653899763355859260618632083774432761000001 TECHNIQUES COLLATERAL_PROCESSING DECISION_DIAGRAMS IMPLICIT LINEAR_EQUATIONS UNFOLDING_TO_PT STRUCTURAL_REDUCTION TOPOLOGICAL USE_NUPN
STATE_SPACE TRANSITIONS -1 TECHNIQUES COLLATERAL_PROCESSING DECISION_DIAGRAMS IMPLICIT LINEAR_EQUATIONS UNFOLDING_TO_PT STRUCTURAL_REDUCTION TOPOLOGICAL USE_NUPN
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES COLLATERAL_PROCESSING DECISION_DIAGRAMS IMPLICIT LINEAR_EQUATIONS UNFOLDING_TO_PT STRUCTURAL_REDUCTION TOPOLOGICAL USE_NUPN
STATE_SPACE MAX_TOKEN_PER_MARKING 100000 TECHNIQUES COLLATERAL_PROCESSING DECISION_DIAGRAMS IMPLICIT LINEAR_EQUATIONS UNFOLDING_TO_PT STRUCTURAL_REDUCTION TOPOLOGICAL USE_NUPN

BK_STOP 1678896731422

--------------------
content from stderr:

tedd-c version 20220517
StateSpace True
Host mcc2022
Known True
Colored True
calling mcc
mcc success in 7s
Nupn False
portfolio on model-PT.pnml
trying -order-DFS,force-stab,flat@1000 for 300s
trying tina on model-PT.pnml for 290s
trying sift for 290s
WARNING: huge net, setting -order-sliced
Out of memory with max heap size 2,147,483,648.
retrying -order-DFS,force-stab,flat@1000 for 3288s
WARNING: huge net, setting -order-sliced
partial results available
success -order-sliced

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="Philosophers-COL-050000"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="gold2022"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool gold2022"
echo " Input is Philosophers-COL-050000, 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 r317-tall-167873968700022"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-COL-050000.tgz
mv Philosophers-COL-050000 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 ;