storm.sparse.luexact-topo

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

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

 WARN (EigenEquationSolverSettings.cpp:142): Eigen is not selected as the preferred equation solver, so setting options for eigen might have no effect.
Time for model input parsing: 12.083s.

Time for model construction: 46.080s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	24311
Transitions: 	76623
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-topo.ignored.oscillators.8-10-0.1-1-0.1-1.0.json.
 WARN (JsonAdapter.cpp:56): Inaccurate JSON export: The number 766943287960422598413757835648929258161252744142172863782895274908979101732734463493231523575482237814013046665894395075155993012522487921335820628051249956278707901112102383168844365405568818147656632476375811795167872475789011782206183814324120706266813805880689976157068761437516578254588417523164327446581158417525015978219975338974595455232548534991410199898257312450189417400358273637591878335405857120774546902043915866228905015823605009051983612443628249793708381204780774025354084654581417532130899091706244278902555892730437129934563987829128555386185167175625689648101026132251223607717472794060385314169403232623191150488473527072197942157528639409316217542480194132598957858702361615218454391823878995828676123988418814004192215268028721863633444903301888049041028067460541423171527363853833042214097705826789825573819182656196064237001891759900366200220782286892206308870320804546341321483792759460632287205051740224459570579286301555475028389410791106883178227930172367089527604967561610112114157133010541083164034448134508570708449806420945033617423539729723579403246298652072031945166754568852703961664370535408242154911164246855916984668420816174435595978931085267208497951715920730815063556089607835769587850692752862940587735582023648545295978515420376850184979815561343205595205475163123423409579368493875823614257888959283221011878321599324648666083022171842257436236445046990285216456580925889168156215355408562822789398276490353735933985028419841694294041655824590594986531828006141165515777263033677057551358616458006483476200136794909518805777131901902729704372434942316901529631360178877971638213438142791843819380121385182025302195101236473506591267402479968444228945250865750903565890719266757122622405502033931723907473065244169871394407644287827893006682511189526513364232138749862137379753950646999082093394530404090445827326585133450467211599942808522928406891793283416710335151459020225153490967584653182013836876654675495261505841399238147848564665866180182808336504151406254885293962777736753005605206700950715369341125232308839160707804785654658174684552680234275811109491303229898112970390844310515130050670524727101446013769364903510139052187889261055587284395849658176025871398967412000161369966141134934488300702571779246435817240383991157000587398584686756354909488651016448543634558076753643481929668006085431689629819115255207624266813935397299409435920611653174801878060905970380101853190374408134032348649350441737606382181528896778541776960419524635187874394427979303690386618766382981751492869233496624688236105114335323534311478218249377181885052642863749258885577474927731503713695058620817598501955782103635046420124341585580686922609888026150466378177355005184247646121824118689173539356444795685815842682467660644771076490850520837337334649145924296683017594944411919893953326399488881626761850272892624569607233508604031232727368184572936917278584981104863306354379251499046729111808409531283856050988731082841820549266679990425777450124974154675219958994954144261164703210111487443673897241670484180549577209279310357455364203432160570690454062773762823542658384322743085989077955182723086155697993392897714670171394901893531456260823880723303638399426183047117495595186554198874464634527604167566244586750937528367427286857434790069500706095621717432108323664193645829703636594642735107964459889872449015229104164156184331613555540230513403071485310765709046792008284581586100326596711420229470948140348767945169978836116653802230978299162727447401434959978087723669454492580050534784409272704918286644093156253515854035305103360117813321025933924627630902339391020441687675109051214785053422448899725253903686846405492461529085013902030266622896427989356241612940791096131093999440456957846429734600933200853457171216469974612471549377850584997920525179063994451889649136672306683451735095477760532360564714349579217577497944110940321851891126754822832217951891673713792517543223319144559015651953173366546802769220322469478704443907927789816428404020781979654064885459639034528553062426199869044238275439885482959677071009567119112380881899570659124534781444816878806304825694634798154436831237050326550646116410939264412224526495050086596881143618269918374491317072984829337718031588675839635283864283114136805887005332510480510452506003887212629040180666116519147879510453771900551925075449543221343544859370699695402540059651002175739141244913385311273293189780434830966253491057155236179779095420132977984433592429207665536437659898813341884154915497313035475006238054582006628666100238257362626987210488195217726978895263662989526866449027723466435409908909185506656977903054031561409107376057951279331168993531998162878170043676011446175158456581959684937553577855510044419903782636349521390200818967191800309184837433554920586858943736764535875197897032881463663143999546189485342199561962350978765463356629940151668351796506677758091584552424893403477252558436398553205747555440541591215573928191248499195968986419873674999034170499803250509082096036055954321467220166894940346337548857507796949207433516646499781833008012891765635306610298232330897750881960023435238281086323344556246646765198806175326975132094916956567560692591235561432835509592339922963690758700443251551541512488859709789234645005092969159897392794433553911056409795960594263453125729148030172790361285935390707901673116975049400940542763774408820559029828992550953454644969897975026950361388426944430633454766747271696017132852429841243389674254814376327295524560077452484282056787457257423309020365099613245821973695112714858554024146726155263979468425595298278892978318100560827005885042475820319889928320693212688123913130062558356809658256598885326629371317899460721207280010420955603908771943023990186051492872552902125257271591723575686466582641524330284919442960229346705543053049999107877680974413107666606548057651573528210147532921625043026887144652740184216841352768877364390662513167768810613285827328552861933848885476893924013652299646026107114398872606544902868769976593707706183414206579993947948434017867582888294434338452112389910098963667904540922875576578155610979323951380163186518533504202260030095713554777931378478732045678483045673700510303005039244644876023816428741286432947294389887391907167414531769300470551717431806038320443323329104289673570306991455348920541503409826898420723774005204714909965642530991151011279621626405380525576002260626078857739863594242304648211312125372715036264120270387518975212507225559780059700992167845790125462199219556936387699967850592315662991845020496339595606852553366665559243862607103607699396628844687444930471083471867010034126237605516215936627782042141781244721140799048849178186587853280326019205271810350933628019568867003072012813394428485716054744329199199258454555246431665104580591609757419164723454101238266826341056607382026796723726682769506965202772779172640313574092308378733678320686808729269963428578445342777008486628352217241991504097284294930260698746216929819068778091977503302615912737607388003887773689862004891221126568386625757261152597833275254881760032735681176904365126263204966048910796498942110821339784183762627238043926947239578841153728844115511611413189546499034943609227506781103210768709585662725213938220349635366977089147324123793748844529211196944660059489366233862216621933525913535036072266057934528998322129831757789309822093617943375631239131678353176317546839915039910294581036085563817903240559851606031032810321807259643065731107083947130828270974490601918147417338654253264177127455192810768689249043302856183740184510360350103727836613480943406964814855580584099816579971617020783614716226114738533953147475685210422783771712932646403848093201954720805835937523225461300292094023420254519923448409181182831855876300705694898402771758563253830541574443244882686355200437140607670201782879838507171203746688759225772703647232473585503670056140232899132086189142471785474459734233688565203115656757195360103604588707194987136766343551542304877930046640083920859762726719879511744242145863686757025408180218475753941467631525091070401280131461876816101203268622396747959248858560101882060050481515113169365730237403047084992828752071682987807733122479294094377868361402223086135875656656637574685808711129926266350809356126835733643010910617597429894357810017723172014773661985471060979663897646992736832186634004972308356657243405344518384311641888171352606479771745811377433497064691797254752127055534932430066320450846284451198365896528929903231436668198080985765926436060857064203164680850821968538654759097166483974550992808334734308118939290671544237018344142162931647796666584146441119049345901906625299859552293166866511544256360610046408212427919123405351337382633783977247201750511780562112715103303208094899282919541221785081938739570424113663873833034724140712986127163698302635210489681485186970899119987952802916873506838587821713041599549614837489162480035101226285979455089445884675523537181915582303333186190409471731126957591201449241554991882718735539244227629999904204491058290372449944904659285943582226098070231984101420307655188112672237145355859574799172225342241092134515448003384815573758529918706833898913552320251908239124013786180062059432033781960975737305199012053481160930732454286862338082214463573982673016526582077690319574858802924518004026738943649788684714025548775048256018186915478702995602465445176355115623435692064636561922018883936696513223974849299176060567342214856200146956784140820305010193451922986827003363519111428709542846281135731486673514483061861129158142232669229642927999191689458647644632626795378695672599721519540809916359805530806569627379126624393532993523720133270466680425296727550078734002406929664524183714520017222469351101087083565417452355978822555541124526015751081857968912173212236187198662543472585091024024766325144255016659444121225019875772889823507472247158626498517083082291941328545437763584479835970358108096193436594434725050516789669715197488893939346338645294997769629246663486839407168228991875509316710753876397687275378631484325271815572631021445127682287812582815832250054252960171182220064171813204790505904975594103382394794783968898366849372330235477864207850159852833452042301274717789908126527421601778080350979037439059173462895766363683398816249441856188220057278812542802920243132998442810187330619049113681079324983347165205395799473064573734229777225650087105595312072387027401253696539008598902173672259392179159527044377241651844152064449018823157775096378537270986991408640962595871466795295207764484646084679965114379320472156639448929220081921655874307380333782309250989128657742799157310989089532771216553339854714866608468458906837215801789895295561362355284538348016082467392933263768354248977773523053306661477559983749460479608231784762431587296854599818332134833259310251228671868933193409349622721773618250327078187743755754492674006756204429935934651988866247324226132762355807821292904720571232778435071149331694244608797698486916190653547004945397119359034263106810034965998041074814581801174236243488370536077490724791918879047058645132659147056758309577333756688609220612154900164796639430661871124979578761846831228170576190713130974875781913486942696187037128516694071050914337884028234543106720241427463070969517569093686801821814085254119798167079314926186530282086850405514831748475155821150181413016503662533848733375148588947401028967634411247594048258213143030443801127736587390010900155599044829440170453808117982838991655101237992406782996859059122590495400554639584436808128820549932676698850433026097160291209130646975867670262229883913730124253360398440858054820484536882553461273073999432059708804053520138212873868534424540676862575157078788876941202830987234217319158603443138612137023308356016903633303983043396411880561766550751488518594430444820457657479945211351869972349515145402446348407159189921601353773606559979612281650361585992901916109955022188480259803548825602292112973960197769786277196877654967028408646178690457097220609600849618834771652710326223305698106546043438821759199016514835119792090998002498963617439949264489928264066214219525374449203108898868572093842110712435642665071619522472539183655247736316012242466923663108299722755159210977356165745032704584596618411443775199766117975110311317872603482284764591603628795068167710025934626803053062038642931638554955823627215527302113296090413699804207500508042436244701090011545046673961739750434469775943108011966899990400840353825479121856231342384866112478861717112633668263381683796494833533813816827767548574087469573925318099531812747896938500188370552728484469026202247906142496386538977297047942988244138600941120954738614765566671101139738133721854323270139726502854733253460849173372929505129560651419410359371927378966108927603681010849210571296449263975187099488576257703118083775611759459128793669059313754186896417889250671457362499809459379602468333340572608002524751104396445008824567029952857765210325394904694029882307607308498638260996082853101788983488513262946582009175344218053418354471805058870269661042025752957081153356772448672657149635464860549011062502704110007404327024994265028008980983725627105291753406328345785076960397691905011832337287783981220776655373532783432359777612060224194659942662932038338982367812398220912961743782795818034288529137009544501618737019076686867609230771701617759992628535925224286520529031201023403622877472661219533608071334322780979313498302080879296800013252095911414681213325145074718753294776018279055955683294870840549792577649604804195955897386114414619000420387975196098188216603195931073773336425827361830379833464154380205009487667128917854923188018202044464979519706366485877695736947157456019192444556178485345294776201115767067598146293964506713044609721067407013748214552583192265285640054510749969080952243709416271803108042493665495140308865190489049901784444207893934673519901552439880019255063576236609889075806299303594243664133773316777752868771486918880167625727152579717790459737099633153816500557633162735025966933389444790294148354030270746067827204467956515859838540142800500216163916629377354704688783002729618483196261431617916146832528290836847592298392458995738761260791449249352420451594014700272640780734977326173767089504432029968059398739976902590863174454106865732435512748198837610559160783182442213328378054633320381109399554548369802927918298469011931825749847499490725955756488108071148803944145820731813802247776055634917303532179828690459996874555584171135046007661673919926079164057298743563977264223518393072792072886436844598788708805194902334555361673749859297190544495267537412256258112952196471234953324351035705365592688996053584931537972034284534680131698442688908613969314619351843202099039658712746199685734935695385620410123705292745475812544879104280911972870207706052442526929530494119167083196654299313464389295542431672324300508567072822583073654036522080473354166841435501658906143949785057395561803303675878600610745815103515825174565944837779637662223683510328976337527761562536446555837396508259408600686890450801658899172917987566421288715057374229501448516378913855040231724450389987673403381029307088916362404972547996029405083996341319221232942853/24457262563829769876376282571447478410858893959767793559292061731671861953212222171893994240442707657069409024363796520268780870970394348015381025351497221810863289449907999148202854502685396668195712320790379959509044612105547290309182354745387510882056301456056700648165574925110695025896552342938749424225724337814805328292559668109153039408808302775377870819449456079448230305344868035803533187342710238420459238088311162389259544875194139561973435256905137852688205682765795351733347637132107068272242118982540412756680341619197590545201197097592733291252216301439442235460799661636555888717184557884172881696182688339866035186351642121542964994880441320165304142133709163078682875846931926465328890291648415660878320531909743661881325425730750797526100785928144687063869437999527160239000992458966832822950658794000500819851333948274751091336981310889525810734762177077403129643886822138118064223946595038063069198188278249432799228734965521235658351095242406215817189303207235208179850367552117823261569939959397358414287126245353766003320946534935820592987231554402866378540333192896615709963414496415601958366589233446481301350793016166909796644414838603506343656402144594146254896919911831392756523423913497226195360091181315345849007769534446302524559133544625555793517240828018059685328190555055395660344580841342388041429695633236720967173621739390359532858975835503519057586580998086983280161406675869026263316256298013351931877970276263664198393385055887264535325102835561751205762836321592234189626661885415596668490626573736147168809555534337196089402844788367815767793328929401852365397358566625885330786086182829601764144061968272609390464912425519576904699542125093010794938887980052898965884948909073889597582170349130145430560469882741330989518689166830795998606874952639045280138437848745403876167476454494733413560782198863143599850056294220339508575467964070237176508784444512860137758350380380233815616632066551354234579644514732088291481427894811806910529672374401663830978397063987483981711285955304538696093447009177761910172146541295233057919900114305938587812504561819081034650246221168883055615395627761023644564144606037285861497108378289224565191166462040159372370400407671725717644182819147280115410974857614342193448825514207369505220859771925149062457989684579276929877714109776476614678302718550888569454176333754954878807973393899482465048502988104728744189398089614695907830885505692086552496967749387312844443062999115414079812532902583053816360141117004859633361582693805283719942420622528662234073845372352920200789507205706396153584128661475554559579414959313903130559401291090355645238161982291317601507186771808917034916305004402307748439883556353359257822694806925090401696919960028957382084028180717851042009368678877933792635504015341084409364216856811271382759007022595619358196174323215626950147701549200025882543786515484921813297733260045600547189304434514085748490763249748331129163794714211853370891411430504238018906008041463336831360437952015758402310532121636086671350975744598497077517718758894291154869781019475169182089311720140315175820697411122480385110933086554151323063109928689488875013900504998368248495856142891089962978758291745659610098398516541701205542576925535882876833777857398559863609182834952059301315801544736998537954233559898770895989726522051443132600088339885937952289341409974240507185230743830045639397170251917841306570598123781617825983521361545635373675397986724949240223444637423934990679222696631040455254245035085930334186523556294016682604724639212360230837074631915874680470189270424640675264647100749608213447207301499613708141505273845810990827857500609231082506736590056292303272153350996884919048453045281700995984599778756065517591214302158312620966292857813637258667478921847834417258191784207125653304767087610471760733958811886667652938760743246472719723491650175500928758944763356494534504092604359246095279356571948702190836939285096620573522622668829746908667388510206230813307839224521399502920563595210309107137292624387138809011561709478070491730444009028519343307870421422993558432026212596328184378455868066060125831756133962285012496409246279569606003400191447307837555655277280479082565982274466007437067189830094306344765102133450786962451164347956821993252163075455945098735682990824734604233768662940622786954442709777716194776972163777544062695895031813040769402370744995881164355642189990355726209022153889128075197247908567836194791298956345917781658514358894717165180879733636271662309401764341213945566566144357658373371559746504731418475171736464836313153742479635509060014344848333128133169341440750318223197705667205637771518284950511825382967262097529795587119963564917266016906281688420028313985961797073445023189047469846478341667306921369160347748456091097229674691128121862504936735291697086600211766006776629924178735025359717634279983489898585467716209287267802749327163340091774026680992799649706835630246574642004523557100066885082930378677274957921394747447047269664512324514166885039557888910197249439468194392784731315383170501109309173564436299662481033171454025993836993469973434827824689644406256528525001293984065190233390666394916890341157781494753228146413315887308657227546237399895239331143294841960236604147375068569096172526304085356223821455155810064855223642596106236339143980205812082373375527905103230503877006234032405408868448131182120087255982155756539722180166675754824040067493193434299256908488728073307833967714705666673890511432009595092791732262394036314081223474758777673701754761895032360007077348211146427493540733769753161539145734623324213279105424398289326967313996655728637897263211823344672671408052925692140642189145971818540395145148730269236056267642145419378006073818882414753889676797952047139588747343318052529941442485880032441869583275674022613045752508917515466452785594397546577850660163072623893270281739666444069809812717003873654959871736956100367233266278510407659104996173442081387353503060927166520404858260939144243941448369013716862652963026434826739855280729886708537580616006041319185915439375742857192882999694175043729293050424753267976487292809736368699100823687391173847457265499424199259000865901285190413632972436456582036277242378976052352860292428005792122022531638037853661520367297560883946867482979317661739721442599845434431416542839556970582074290827837771436286988558937191279028446965137256452470699278050941958658202393401165125208558297236251642889383121709256356181056031989768607007256650491743361109458396324187387321114522031783396078368387929926995999929327220388636708275416224109667060150771138820884610356418546155125016615148777582757738518672800608792531947556288093444556702297663490949961370665178261026964581212517663017572663713818635325252700754539988141806858487401734189693993521145456409525963486068278424686580452442048843150285163693752421656047672509680212980091091368471302134733514678943669420153431262801056515710926643914235616146420867248611071712105237222009436744702765736227655205231932039351927427772219321979380618374009515405454519524132879716326653896636294286818880638565790470016571150360472745341179614169818811690665072728836195555044334473584262092338686695911821649581020181679510389255642096189201300858382443661403970500712217962747853860873342060844329011798891230034273273647551308429451637530157347627588045843978513513124687325273030340129141427202318190045483934243461017885824794186266805986214629581828196601139347084099768223289637937773918995102263332679678269547931756740189148591671935885902697253157947450659137557910587750653169824718850991177738288746073802343953335728604454139214712014254624602823681476498619848677584655686782404448588398897852127648648947206367897070470629026036704633062403831940733127756792755644220720763699960389126000997162222908055201385819434695417021797394371558138610120420434293951318646472640802416788219748749366450174627272810278501934520638064839005021962006669988500036072958077890789844419800120944680793904003025713809213036451547817371197801067182507410540765318026661569030074461662659520946951825313830701442203045265906106265607764838203788148195090803708547979553906378862464814738292014830810750394632129290755343211425406562475957118972585802852729104200709300228518334011065875382404385483891247403877442578348449765678775611308026838378232517890128541076798488322829394879142134275300221284770081614752162334079781566228876622908431263905559599851354911713354200353642683909033478657667146859078490405709572404543696388429067645784560740022276475105310126867162713710763627594362025999228039811636460782892839787797617119818245838295072641309270560682664126599359825159113195128970818504608478113255618056849983104530047397235758524969696085460430765879530488325776517068876733922398979568745130454782994765857802764602678724654577563507158830698741494191567252001358818204944866662834971988285272964171255194036286537451941874285101222353276303335080335235590317460940830888780196824944717714351146894402484709874126608682486867734668951203164159616028097916905645291419836784297460846300761467160850957999386475502125361576376925366570409094284722199660504159700413613174006247019170932919590606505542652789284680786179330499316075537427674300998844341587775336641229539225165124260492704093444409106663447650913998433355640149322669436559322061101572705826413992188526114540156083942020625686184537783504538845333400780328214949167444296655528950049747153726518904937521972638396122796798231688802164930397932099536632431352454383029380594666809104380090001277237879308545212134587383347585474432687468596722279205666520884297622405183907754992558338813538913217050875326840330477517581812677459190853271760038255021666981765475248564125443274289157303701478486507175905022636854433919226528802489864230899745508055206528277096001403831514132231594978228454778126399179369854923298923316236414945158714434363642214279195998777557166849445933271457182273317483577989120530092506886809915824350304949853008839418334005966067821772218540446742633892232948539992126319086169150765741778605551832238059549051802208776138415504298030221548855336695475067717294910976011253253727282571865321625876735317830414081886193629742502698006896451377695807350305623297352075911372896749516576233678017401967971431672500244903998163515917692025376051502325392849058764420956174212554714074495171554001125006109398245799472582492303294974588811831976434497824443437862980415425075232856765231940793746998235108464740255180507193919015017590697800987496053236598858384694524074279092910223292811614645876670553823630764274072460266057771336953715403892022510692597572200391472100142120137666769193050592430461998772658488167252879178488904101605966868625325570606232651774220144591716411904620330003998458877981072417766799750700656714518473617475760400979050326684826420535070656239262246654222017481914685757970325545134711715643865864989972043724916748397723250043469585657090847550272921728907686101228505758186886119572089432626305412518770650691862175737863491201533182965680103744867079384127448459176440430794763043774057370804457129584443646016062690653840865620885495403637392666934488514510745101270616945811857369557298936351487339950539698012415926134032181767598450337027389080760616021745072931944590943171933369133545774247022031584844987414632435392291322040717612417344338106682280803410584861524842574410883233784468478485304665201021005877730203083494294067635794378687751326589578152458037526902163319597143172309473769647580585475254372805090579218457781946220098089994343889460451099185394631690191043533522947018993771496895507320020668795575985008983782889814369343009109040836745342509473833877836963437279968910661275284109766451362073387758429660840915515855209063112216746332137672185532642976844404933298596304623080420803033194556201193613426237732873879379822626978172250488119877192075840179681766690081979398149523501211342704467154291050775130906339656886060192632646212637902517861174585826885816716761304025022119168828673332928369344729143833733910786939266203271925518956583676878172162427264515618265142571986681684885876242027668469690795932889149340294637845574183578633896001358293179216701660814215434573377280823577481910901281972990421821212116213096809224616198953968139623953950586087070366438215614311684748448417602896498447591805570870773425918849881851702428022398435364469786431037790542301168774792923331901864643241277192248139998799067231230941738262271489525341491054999127475178686855762461395764275308797303207396506610611780689006220897967415371221792576147041629747770679924126391521108458136017729931131675703816304899527352255795441855534276542464184853685439664344565024723643718821263198601800595982205380685280268418939681946201535334256544782161054737824294863176981158103059999995807352740016389708872021832724011834231613298313883670736103313951929074628238540377274670367265674341488685884527775757424287538359272429778581038733231954363852529398427058141762371110284422509501124461283116541978843335368000673987200063668400533678040653611417386141120041759893565070539774394307019112432198070908741280164329239855902672027734886734245236800285519085131839443613254976101276175216221706927967536213228334292609694561938823332584113281425044372020482024968087517268788737024246994977578346632240207445505197125677280723719028418780334500425004649933603980498195296890072352593263455814150418456530188295759532301112655417423502294945929996116174479938029451000426938114962302789721573310546015863532516170957869637454027749031570215288605975109023005657329285338914404142502755409402496864320494809009552859262284659435372771678898942771985833673760359771672082700566633774131297313119527741726670934081388207539745911970917018446772271387995940342884547032641310813940768188086816838870889227502338429552622326322332117684676885651486511789911251441790417001582879379303889656622503132408833913724957146813768248736443199558144279782747741829524139467672802830498820937532940754869747228256771929812471041821143168056721170030812502158934393030957032611738086398113621958657635322347447003928488615947068760679281953695016460741951640441946055909787996093971293221336676705670865134073347989216975225722765885699459048052091944205088674227226835057980734436262378126208678113201541344440570033693716254635868853415750462416287887811170771532071640432838961696373307154356571908237296896622532219584705740322353823506147974499344710405848832439431091901287740395857117785331912111791375427666433447856151942753963603907730306862411664702109156903482452802451881506663711271000769275633561375405051653497846209747914659679335857058391335316020873169865426775765897781029438391115453863009881983278057076933553728851521729278141665461468684928508844333998110308732683016109693377886408787219477882672062671108498904321873332892046238403080478949203428923412933557140610042712697941030741138339878073916696427594685192107337891579655978546671070395734464004470131465572775254716198089984879354694247917598850305407476482181839518306525064232303456154936102506079543926294137543874749966232174627358910924612461363238917426955865551220484814127817464974562120353604160000000 will be exported as 0.03135850898925487. In total, 18833 of 24311 numbers are inaccurate.
Result (for 'true' states): [1/100000000, inf] (approx. [1e-08, inf]) (range)
Time for model checking: 60.897s.

Performance statistics:
  * peak memory usage: 1525MB
  * CPU time: 123.725s
  * wallclock time: 124.527s