storm.sparse.luexact

Benchmark
Model: (oscillators)
Parameter(s)N = 7, T = 10, epsilon = 0.1, R = 1, mu = 0.1, lambda = 1.0
Invocation (sparse.luexact)
	$ARTIFACT_DIR/bin/storm --statistics --prism $ARTIFACT_DIR/benchmarks/dtmc/oscillators/oscillators.7-10-0.1-1.prism --constants mu=0.1,lambda=1.0 --expvisittimes --eqsolver eigen --eigen:method sparselu --exact --engine sparse --timemem --exportresult results_evts/logs/exports/storm.sparse.luexact.ignored.oscillators.7-10-0.1-1-0.1-1.0.json
Sparse (default) engine
Execution
Walltime (MC-Time):896.3900039196014s (880.263s)
Return code:0
Log
Storm 1.9.1 (dev)

Date: Sat Sep 14 00:55:48 2024
Command line arguments: --statistics --prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/oscillators/oscillators.7-10-0.1-1.prism --constants 'mu=0.1,lambda=1.0' --expvisittimes --eqsolver eigen '--eigen:method' sparselu --exact --engine sparse --timemem --exportresult results_evts/logs/exports/storm.sparse.luexact.ignored.oscillators.7-10-0.1-1-0.1-1.0.json
Current working directory: /rwthfs/rz/cluster/hpcwork/tq429871/evt-experiments/experiments

Time for model input parsing: 4.836s.

Time for model construction: 9.002s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	11441
Transitions: 	33459
Reward Models:  none
State Labels: 	2 labels
   * deadlock -> 0 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Computing expected visiting times ...
 WARN (model-handling.h:1258): No information of state valuations available. The result output will use internal state ids. You might be interested in building the model with state valuations using --buildstateval.
Write to file results_evts/logs/exports/storm.sparse.luexact.ignored.oscillators.7-10-0.1-1-0.1-1.0.json.
 WARN (JsonAdapter.cpp:56): Inaccurate JSON export: The number 289987359805543647317130542212440306806562516386521333717488183054101478079039674063225550585409880356733540552872043608528041232706511199054468566633474483758886591028277618753323674221698867760384990608094470734156164626330528021766626667909497137743180187912051197870020998072564576010650229034140338565773477105091634645384302167086332490392450480385534221035105824424693919764758986760841554257081172810129332802658990475249811366858903609439340651947572361911596479721893468322670684398677268198862112848209979679593603045878953587056665270358621258436127228465907197754550341367301942416760474379004227056813690687618110854241154270249732263411883263033170477323982528360416455737278141383893773180285167241499954885839930745252039658691889010591249685117894774703604262552888773328755671258553299161691017488730940250204239980576023221210593065295630823605745347519702683206526095184465063157751241231775517065442747665136070529670739685298645913424132531298695663091426411105226492039898300260479454399018735712386894080530135967753743777893082555887447690943948674534678940649281476863539436316790914877099828129259172278539382068670308215751376966217860812070749974282717006240422647755771658085434542389832712583205847069782063664723256768039599946987089166574670231817085832096357038294085148557190612912516912571662155019699606714306334862396911791051977692670208395546839416084983697338397536033506669196204030612804452004239061414636328392432101612615895823893799323904627631278830502393682246218040153357859625112592457617250263991367191217734863004318484266553339017593658703325618680624743314882318597045608427080920049527606873091177860596374104670917828756443105272568369333547378607493358912376088260599739795917286117511964652536820410035387422025813492120306919114159242976332604943784367120874227629336086322228327610025745791085866045412917701520343236083615649251665431256444510294774116296828927242869519094864250179189252814413220403932228318436101799169179370759527275081613272653095029806746292325359642459582613654626236264240372827572993264802810858258799021590561303893052621144202885166256214968783197158488071805145015785195241484538632441483186544765946650106304793632439434198367868008623349305228439649805905916752687246889984811051750915020766011266302993048148320055545514662743399128697032828025692205695375502425667447549308698111664737557079813141215528566693858093429245471920499902271182711549938933567191905723700317524995477377269119627997961585611812972724097887521625610101735532361431575355852298391806317482272813302857379503364973670497279367705534262795776384897970980712155417335418536144301090614346595174944214015638646644147898429143023805362208005892690363278973987919839908451481302385511575072882108544120001582544125892873555469303552603536299901722803829728917338451971878875073922325255535988738778044046876169167190827261689834867186664310408148794124793499075225672876105082269693405353137483232138075250285870661237720674379192032896248045101154436597287863709504500079718577945173577836740384195080839587527078759234110896801508785233926747848293992974464545614750120364796456213140737332324921331715969681397029589545815791790963709907025737319539035833101697281441723411110084293288894025262427714312163249388987085417886837467270281244922403877465934528508969190325973954187246005944734725569479261852204182784020569334582243245607894857786230561312685511929930951177394630035201888493672390491451238376384675798892280889297412552824460379008415216059889222078229347002252044883513654196658499634097111268235660439603495355889231785131063203907472509485026722420261227324974757856980306856928477056273487538805896578306278757185705804185399572490700886133706277027467417199172627802808509477416703872952910339822235311679901231765571167139525644170046598605191998508732375349727010387243370514893960743515422499213743327008690834650560785051301714817470154778078962810019454229649377931018776632256542916506359965706215617482597793460765521590985351003519993512342716459008336974241317596665424101840557283396022210362217359381068199073715304673506545172781635665669707441514566116476366253093517156958704557963017107015927951039466721072194619098348016978452996748971639274042249388847083954273603118687928608609060842711443379723934924642848780571269908223172085151479111302951235487824733270593847023188868652891186269806310349209460494871822788544347272013443622115581569589602496267930694039240316170421429665083665844252336035121212587918558693762958762672433136057647798938395443804771918732050202347437377807948568628630857391857949735748825230957204848260355300773876581272923787603594332810906803935451049148479641510525964703046708532406464823201356314025896376520754046369375146463789468639502423213820195731906194340778009423383522417743073516062400845513590488242977001001896915834714994855691326368519533194692195424563176525938107291030341088376205345228793176427222239390795007728151725240902425365481630846974556789109108433720709983956507588761818796704869862982562973787875288511422574345984962687590366527422297341511014169774808437395886316017752531669277212768075881943038691116132308315555756619883798895216585872158132402199071140265670594778089104060542520781689421297776721355020457644613720931739456727015231207438340191075855443861470516914829153458323606011295021028633498270096275402124519332559953255248674670468503231891972799671589903176098408187525813847206271802607819375829242698630091371311509869741672535724893352217241946980057569379634260524011454304242983172469114283944252398988234551812064131559460745047540021129853946459855092536689351151953108392026488484871003231463990056012458216807320760299570581001057696650356701188017586190425515025371186555605314000790815184863246769173366236393300690501471038916442800858854819326258595870713967131728797164258622136385956260902707498644148123820399682406680478020716515672318364786887357479551163797732583345935484873422030088739664978354786476509/3565711557683327671803491139571002430258351807714214138374484019491121446444497174138034928838826447008960940852325688177580711642238077958208736863090943883917199841241545872848069293618395892577910809803176151869575274083244414087346642744135436827655089618103018623705280803499475244087694343019565667878930742429680400952070920351503072277533456122164195733263015079896659939105649470311780275864162193099112304379648533279461401689553677579373595835599980845911122922971909967446794573891026281177936712694827972612016274346235072402997491859202763346557793820684990833686325871836632596255977246600588663836595358907169122807999599154296977591554064671086767492420360917167698236891989593407705895774301001545493779717576932830178766260432700988344981591023311803152544323519438465284262521519517238351266157070929201996992182138990457947979250023132918404476609350904339059999581461410360613852787260587802320848437607529821848214734851751860977504915073345760147377311563672288271901766924665769134230356564791458782551933926763078373258828162589426563292274508473683284989179154767617396366068120780942784417826631265064721720999832704093957176326952693720875587987256613292252228777674802769220758158841124284563226755510286919601096168449077045214684161061825635220855824192348228776827043002135324882260402738585283690791556351280822412172896222989577449328126884185971665111263687716401519512862263457273888321629023251566497048384688430973114613293149033427859809906909253810084894002567420821033283020510092778726937360897184360969800401832487915721276372949568292133532001477150432253656395271125635750392345070400276153999558566806644205086477664817212425141847758576640021603872076839729405856285393306448919733737002462611009320489349970603623961095804222738623367117375350341055127206727978738472678229608995957808579223447442429027673068075094464838429707904946097584761795369006308721549200732784466630751581906100743716969954241573645624390753641074798359226466356153214694236616215322718902590304936469349831566768873928462274132576444584650631498858461496892651384707733199881423181068711721549658040503112974562244200090055355546254028267905240369116683481987012543213142689533678714938948956828803889052406526715510861013863549614967739618899689767806151788749903856799774076427324071417116262572808625688400749283703115316936693665306429244662240623268943861920192770754378071644468582239162234695871778269326664225266213593462432004287483271233290107420016759770550272219862048207410600533300860477570454770109740300726031808748352726447329171331764216011312993377503987585641642444016261310400321033097103510788996222602054318833234648696604272709223741631944134331573492439257221801386302068304300634852854879023006101886682595706223958153371048016732346150495633257504149915273320645175708489245885933097190116629908464346762335500350151434295367229568787186769090822248148068474227485751647138347965208216341592598369346627002651903237083613502130291457565794924560144613258405803124645355553625058387849940206067063617026969916163416636571694604349447976452330033119638043227174354741255515393788858140627447750613606919846577698872953686757138486120290536277890395483058473368288718204337929584617609023797770917153058641505727525793275153713297783848521781013304621043681684359423092109174157033914753685657700270512712154264951593451751302459907630630436779269794335006909408044986640986398936813520162533331666835884891577988264375176431806852984426402162020397437101010356377057008305242132294587632443407305652987327535995793579883221164921993486804847773702214452345442107777643947669727804054635755099485726601927956888628321328784325421642561769270798967513220140581661268425650675609507722943792130976143360913519133414098359429805144912174380554654545400679769993556994657786474149244958807876901425638983448958418919127597183929430315567916960164156329470227893202747952539701054037518123403543686728532886756795263498444766192441072271101389438386774760632440914569133884538748028408665923211557415925575479397498173961730139901535996123116895729660085614127162009645040094927361003703285132954125258670384080782375311182308115801266498564488993450018243345010743463363834429387424573162359169669753443527587590265137702117121130368104586381349949064244793156802118395203004712847705870130391768938082415432034350905013241705745696893527008036389756608029909133552612777741826773368073995049109120554293569585446057120514811874176188106103857770314778393335802301815504426249342449638463352977035484453964377201098843897113925089411832743103156135890809690239009671568273389591555251785835338156759031165921360415244152267551321567787760635601179717046669038714295368938069371509404064849180644794240801105268859913238121804105462306836226930394745113900461284747396931198611614847101875153340240252340599514106098953320985508433932974383086576618792347185312164447216002189054106728556504595146146201709913422226840407344436101720178849063483398911178328743511417629418399966935590752370645394560335618000215813600609809009884937465863764283057443956936101000968116589521666235304836992741654871970970237492126904680777241028835469380593885274197235414996705137284523012486566978111058698542466307849193616784033596601642193815251866174505397682027523310573773066888291326506136901836808128476360801941168862019447623393286639245882590584830170257786506226951110394194425623040409248615799434350228473523904742784202420329591848836629974551620496823260832281999914397005503314240945701764555425344147406954713922094954337465291029600263109927917926486223904298039836986351143370683121132785601787361866896276708678699411530484091355315523220914327452092781513803143003317619224953606351907851722566412024994832372606029972356341012858654253773497343318253898242937381326964087191928805260051745751362476892843219088691993293906224369377795657873812087997007386548196824172334676929551473595167201152664235627278523291247671051813617512664740861310713539442400000 will be exported as 0.08132664549960143. In total, 8006 of 11441 numbers are inaccurate.
Result (for 'true' states): [1/10000000, inf] (approx. [1e-07, inf]) (range)
Time for model checking: 880.263s.

Performance statistics:
  * peak memory usage: 660MB
  * CPU time: 890.749s
  * wallclock time: 896.303s