storm.sparse.evtfull-luexact-topo

Benchmark
Model: (crafted-loop)
Parameter(s)size = 10000
Invocation (sparse.evtfull-luexact-topo)
	$ARTIFACT_DIR/bin/storm --statistics --prism $ARTIFACT_DIR/benchmarks/dtmc/crafted-loop/crafted-loop.pm --constants size=10000 --steadystate evt --eqsolver topological --topological:eqsolver eigen --eigen:method sparselu --exact --engine sparse --timemem --exportresult results_stationary/logs/exports/storm.sparse.evtfull-luexact-topo.ignored.crafted-loop.10000.json
Sparse (default) engine
Execution
Walltime (MC-Time):2.527587890625s (2.407s)
Return code:0
Log
Storm 1.9.1 (dev)

Date: Fri Sep 13 11:53:28 2024
Command line arguments: --statistics --prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crafted-loop/crafted-loop.pm --constants size=10000 --steadystate evt --eqsolver topological '--topological:eqsolver' eigen '--eigen:method' sparselu --exact --engine sparse --timemem --exportresult results_stationary/logs/exports/storm.sparse.evtfull-luexact-topo.ignored.crafted-loop.10000.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: 0.000s.

Time for model construction: 0.058s.

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

Computing steady-state probabilities ...
 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_stationary/logs/exports/storm.sparse.evtfull-luexact-topo.ignored.crafted-loop.10000.json.
 WARN (JsonAdapter.cpp:56): Inaccurate JSON export: The number 140336132808365759770995990160850361688189741387103679858308571147409022867937834056873814199446450131381190871124743563218329579063096064196235945626149225816835334004876615934034124963608581240369852839238876804248123645797809685321725153695137908916932230194882544563057012433763853234657150666682146932484980937332451047180583825398779071334353733793149798245615446649190330470481164729970387709279817046581088735348815147683663654139139239559167190792907003140479005490551170623377526472699766452094430731191647252195818134153223402231776763801791686882759659587199236106738588783023624673066393969241224400304473824370470927514290858296312559851855319140773072050089630287907004173999203551064882190889869728913584580969142479823243708034989945918042371754116164871552418274958237088371412160321931891535407981506155438822529028379371928182805131874207659785620152150949961717140971392952958901639729164769980159056810758816659609509497976694265625815659433669914699248319459805231852621760914931367008028332763910745883875777715505540281171085215891044197390364146126547676576124212148777907888852285849382926033420759070498353154993701454619414941913620078915263102038860101113569429143806023017632398526955423696922953091980408156449016461879681086421903341411224803360300026788043998895208565941566463996553401904992276493929591716587296737703868015987217870800824879892049627465005346056271159457555087572562357746111731678136835211371478938783491645879280252888780422203603184810852443616993521986683899547023240654193785922802573715799866811117265376487184248326517032214223945398895671016161185677147394901073731961157421666308961044652323192786085720802276074439774865577200324383562519175345977776457132071144950484989484571068281458615132116132175009558228414629110194766434768382569157636698502211077281340223729345526685424209765098510267948007978115671828383887138320506306115692888204333903724937729440022083875042321816096767410076751242143648566558206522395470045087120464379137747731554046220312590487133497760787795136416580729864448759634323855162951765553468863584774169117926571006753225083507093665121271110082774084914450054799435224185580145999373043938835217460354652630130703312593552220230838710919886163022358974521255973143842577095696844209511085321635635940531881995690455616772613068117095147912268239828135379648194014114472526838722394226932559421527084140824117855696321304990877530556044501498015503922313488361680980280941957996002407957153501827494036828813238013143193005389577111592418230845148405578357352233966563506486509826335949387171546746293221949141432154736599317826519022593117200969944713617483922869817865180647872276363037611759664289209996161985737864225243283462755526612640917010617701219119830230746352681653745488921824725685192732897443026453669112644382162010583896924056727942270842710082292070989115252748306395324856016110858853242468212557987089882715698717066732110033187210229481019931026440225544492162960988005098264288204980439417213918859662845924083343273819646505954202727143507377402872480495701169781062300602279245884858850171575006815772870827539040339329382016974341122617616519194624531310324304135740030828642074547792511743244700326365849309783245551776913343566303606729404125653561215404148944956267096397277277320965757725987933787221075504161916663435260264798081309910899301439307094243304557402970376090289243224066401882555335585115263825145230777852777930837589310884645144657720836322465114654991544180905652318782243723994546050697682759836735107234859809941153904503451543251750948385969609225968548382950502264455954689553929847067860241538366205599117280724920012001791634313467413109302476879870276747540103385754479420231616744201479332718328283673590388282116790043188335982848618883780475126255211007236047400096060459912673006271059215196555272119092442802098159310867073126503620692846577893146598811804360961545926094232885102696153335712028555049997498024958513018642712183000515960374978049308717049005556469771329331917910642202503622320946478186304065644106476740696972058316464700606170250547612565644984563909936742276502064392301646855991706376323200672573518411068767565861327923387558744047544811231471663126386064139590284237963005287054236595635199127769176631636794436658065335827085238315293584495542678650551272669460036562119418397590891531393149580922483861397791200333857434502597477821909989564386139807586861013760182951262103650850225171598430579171096359513788427080571312249164938950193839739612096326040622608583179133558079619615303913506807696531539901023541908873115832887752211882457879136509012018432898478077954007044200118506886971673301154005867196295386360520194200829887048562464516809949946906032528405800660919499986417402476078052355482597173170846715568077497155470208579212901433045067187786468573766451722311391746156864550441278719629577432039544330165410976328722194966739346653535009675261589790348446901057557073713125623339334695194683306701521490250781333376833852160790496413617116788989211456372023606369373821946370634230628794613021303345181616211220268738443683314872691294700357284960512676730054112432085547500230314101612336461130669407038339599451090483159540284813133835784624956100146096132510997528216204244460475706739881775313905089251921075009657463128768857620521484644553846409474787361760681104978076593134106232985704204086117435605547711124522299453355515542346800647601081753508419549146238424286320713251705189647011856432984603930518251883671070843702306496328075251703561590491260030428394703631904634216278267209510204706813641900367815784666752371119930001394732303792886102682865046959522648152739584308671626360997876862021698710513017142018509892286225308091287309563691744683912907757140336583022956311240742201486917727768489707922435218352059450269643129180156136254201444730563930219032863730261292885511417916917338746545284688531096007317778736926461813884042159141942430097805899115386120734644915957739194883100341632054697900000/12368190042845322302933723474467574444465235658858209863366311754161445492331451968663485553896304162325442246051922593944693936073218222051278468165884238641543269067071283267728017985115309889559095586949885466115669467394084905210066973337983896951151230729788873693291186559055475376378036997584792764814101978498433528708915954371376399029779063517838065531643293722084372022054928659837361122966902675484811033851546619681852642832790141348196577527179235552006574620777479078773315279196910731903454720703010439639029824939722441504026887103694719674022688871338935342420562198607145041314722388157989798924920840734337330819077376676899673876435755562881608555029343632900831867114517067178598224654560423418292856328309247744009657507313170733838809525915437509080618701336682011878858492922316273690805527196626721126080155489322077060397475578539222642355981239649262652210361512847286751726111978904520600804299449818456666858373888818471095406290282354132763339048260666600601244208293912821220231823990377013317893782454188702680634685218980416028925313592966045423989578062074472794871624921532492646241083461582422371010531480870230582620200546896957814165438285181098683807775063803614154271824553390328311927849637120947116879940438705748812447807365603538408152336780082025339480623037074457369283647338275841971973042375061355975610275914732599729295197867130579833214231342468604123332963889618048498821983188954334677723993809379730961259706916619111524475245849615920224737423282003635099266100755879396533951928360117043735278640609840307641427420615975486712821185016246548635376623391550394192311583575796954019131379749671859001356541479082669370791020978382766571527111639119656083565515930594330076515562251760018100566662222988327828730396328412322711054024817305075469292339591040272450900410698652164840529003078767364611052832297389875968310868895053430940564855393461646732216305110694208148333420333527596779513069025641564321601136674158700077653941070017010557848507611323900332163539476523398430168080944265532428725790960537129901055648684258568657623843604910362341423308805434888231828782828881520891001501418542123441922853849372316626641754204517735162544199421502708033574358670384706238325092184390376235530763029272453432269450958339878389908570036176623158684866836603650697649544698756711269931318508153303064157329585672112054075740347474075475868911062120992491962571199308075918633798308304304063597199189714247744170458237903251345266369131581826062239315474490357672073324678551660998741479206061284309806709843173792198873470728799314353548996887673861265623667120311619862587034055746478759412957427307937699742285555074168166439027622879754202908616130038272419414987808939528878982097273445632116867729915563518237779452610764768848405275903471319896260579460140088532263314653832110454292293097736293235591443107243827942573857398398280079320766645210331143028505947710164647922611544587300922049675253992299403574166667211051593195719736549450158947428514853023507427761174187643016126849174314260641324493038156696346634686729180885803668457357828964570101613122008331613659459897932587211091851707706464305175708143411362161590377066188692023446442002522585884641365474891476648547928618821343895132747323199926467073833032028089085046078134410557600660296149689073569726793201810172341659791095001478822971748346566439378782062907952248811734077930231145672493501415991029802180080883410980280762027781302457103774357130342979637977894474926451595293134105044361098111863125388090880886598936856101217101500343945026811435658035501916755107880691160854575308298654604760850255969150222730720453940340719546402245674122623902761847231682378855378055641729131940338820580524878045219734532141935141924972615300928698309162000296405161502430869818768425569738939431137019317027994101986630723726907839641949544349541051668604384187696129420562760252085608145283811560189653024495546134589680496241815947664650186625805801979475305273861264871033657804786078331857477318843157897680262635076421808386660357227262125660368293610164157425159949702942773563940711358897030196754252159616031807618872730029796453533375744231899090823197572127788648403388639207721571794092388595913813269887994329520142021122178299501040188357012802898941719886033291241086450399486667914268573301891292398567037178002914640739217521964531285453678428520990907836991643726391911165467664831197466315490538934106533528861742381814157119001629182597772870985963112331546152418988870464397505706523813612333766138302553088191677547122885311762350650041161730734808971143051179328702153649823464449034883538428465416966962180295863195818846870605727260397371574559484213684032096981777506179254609103360735409040829915876656664063876762439990338402693399243004149782997716876922293318270214633517659957562848263779976586264840145146667729332356197526929567945073403012896544113799409622327999166810897644611483619987547102611593660236036127383416232787511198782273438948324854812951862969678622200210446993260690067532495722294487713883885638723513518487067939577415006937611833442995514754543332602778055283048371230293583346673866627033706296513988261523179448053740517967398007027934974897464292189530861749082761165231742362581038489449856349619348144800935629444881732039071633906061742301466967582536100784420727071230140971245195331829653302358767577997898277179497798767033160890127015140960182545028542622502848310829136714770196538012389600350032747939046658648019461653068594468940701504040973158589891307518600757317359721288000439014930118284256459050105925635136633565894739759190444828683359525523949865732471499167138609109262972774174738472099631330155846237424619165903420983256800301635389997394658525034254313736972011462081160984694919960004983168737240238477855767431423097321339965221494537900256468078904144359910935318997170009317224282066909138099066104683504328509690418575286621962323550273159943720086816793026282488462690106979078439682306764551943029762273 will be exported as 0.011346537554987407. In total, 10000 of 10000 numbers are inaccurate.
Result (for 'true' states): [1/197891040685525156846939575591481191111443770541731357813860988066583127877303231498615768862340866597207075936830761503115102977171491552820455490654147818264692305073140532283648287761844958232945529391198167457850711478305358483361071573407742351218419691676621979092658984944887606022048591961356684237025631655974936459342655269942022384476465016285409048506292699553349952352878858557397777967470442807756976541624745914909642285324642261571145240434867768832105193932439665260373044467150571710455275531248167034224477199035559064064430193659115514784363021941422965478728995177714320661035558210527836782798733451749397293105238026830394782022972089006105736880469498126413309873832273074857571594472966774692685701252947963904154520117010731741420952414647000145289899221386912190061735886757060379052888435146027538017282487829153232966359609256627562277695699834388202435365784205556588027617791662472329612868791197095306669733982221095537526500644517666124213424772170665609619907332702605139523709183846032213086300519267019242890154963503686656462805017487456726783833248993191564717945998744519882339857335385318757936168503693923689321923208750351325026647012562897578940924401020857826468349192854245252990845594193935153870079047019291980999164917849656614530437388481312405431689968593191317908538357412413471551568678000981695609764414635721595668723165874089277331427701479497665973327422233888775981151731023269354843583900950075695380155310665905784391603933593854723595798772512058161588257612094070344543230853761872699764458249757444922262838729855607787405138960259944778166025974264806307076985337212751264306102075994749744021704663665322709932656335654124265144433786225914497337048254889509281224248996028160289609066595567813245259686341254597163376864397076881207508677433456644359214406571178434637448464049260277833776845316758238015492973902320854895049037686295386347715460881771107330373334725336441548472209104410265029145618186786539201242463057120272168925576121781182405314616631624374374882689295108248518859612655368594078416890378948137098521981497678565797462772940886958211709260525262104334256024022696673975070765661589957066026268067272283762600707190744043328537189738726155299813201474950246019768492208468359254916311215333438054238537120578825970538957869385658411162392715180107380318901096130452849026517273370753792865211845559585207613902576993935879871401139188929214698140772932868865017555187035427963906727331806452021524261906105309216995829047591845722753173194856826575979863667296980548956907357490780675181975531660789029656783950202781780249978673924985917801392544891943660150607318836927003195876568881186690663024441966076067246537858080612358710639804943032462063713556375130113869883678649016291804471241772236301574484414455541118340169271362241416516213034461313767268676689563780691769463089715901247081181718374372481269132266323365298288456095163362634366761784713396814752794804063876790457186666675376825491131515784791202543158856237648376118844178787002288258029586789028170261191888610507141546154987666894172858695317725263433121625809952133305818551358366921395377469627323303428882811330294581794585446033059019072375143072040361374154261847598263626376766857901141502322123957171198823473181328512449425360737250150568921610564738395025177115628691228962757466556657520023661167547973545063030060513006527235980987745246883698330759896022655856476834881294134575684492192444500839313660389714085487674207646311598823225524690145680709777569789810006209454094185582989697619473624005503120428982970528568030668081726091058573673204932778473676173604095506403563691527263045451512742435930785961982444189555706918061686048890267666111045421129288398048723515752514270962270799561844814859172946592004742482584038893917100294809115823030898192309072447905631786091579630525434271192709592656826697670147003138070729004164033369730324540984963034448391928738153434887939869055162634402986012892831671604884381780237936538524876577253309719637101490526362884202161222748934186565715636194010565892697762626518802559195247084377023051381742352483148068034553856508921901963680476743256534011907710385453171161154044618374454218227323545148705478217534621012318207909272322272337954852792016643013712204846383067518176532659857383206391786686628297172830260678377072594848046634251827480351432500567258854856335854525391866299622270578647482637299159461047848622945704536461787878109026513904026066921564365935775409797304738438703821927430360091304381017797340258212840849411066840753966164988197610400658587691756943538288818869259234458397175431184558136614855446671471394884733811133101549929691636166357945192951747418944513551708440098868073745653771766544653278654026506625022028199039845414443094387888066396527963470030756693092323434136282559321005572220479625380237442322346683669317699160430873087121174448206344705820790553957247986668974362313783737919800753641785498563776578038134659724600179180516375023173197677007229807514857955203367151892171041080519931556711803422142170219576216295793087033238640111001789335087928236072693321644448884528773939684697333546781866032539300744223812184370871168859848287478368112446959598359428675032493787985324178643707877801296615831197701593909570316814970071118107712625146142496987876823471481320577612550731633139682255539923125309274452837740281247966372434871964780272530574242032242255362920720456681960045572973266187436323144608198233605600523967024746538368311386449097511503051224064655570537438260920297612117077755540608007024238881892548103344801694810162186137054315836147047117258933752408383197851719543986674217745748207564386795815553594101282493539798793906654454735732108804826166239958314536400548069019791552183393298575755118719360079730699795843815645692278902769557141439443543912606404103489262466309758574965103954720149075588513070546209585057674936069256155046697204585951397176804370559099521389068688420519815403041711665255034916908232831088476196368, 140336132808365759770995990160850361688189741387103679858308571147409022867937834056873814199446450131381190871124743563218329579063096064196235945626149225816835334004876615934034124963608581240369852839238876804248123645797809685321725153695137908916932230194882544563057012433763853234657150666682146932484980937332451047180583825398779071334353733793149798245615446649190330470481164729970387709279817046581088735348815147683663654139139239559167190792907003140479005490551170623377526472699766452094430731191647252195818134153223402231776763801791686882759659587199236106738588783023624673066393969241224400304473824370470927514290858296312559851855319140773072050089630287907004173999203551064882190889869728913584580969142479823243708034989945918042371754116164871552418274958237088371412160321931891535407981506155438822529028379371928182805131874207659785620152150949961717140971392952958901639729164769980159056810758816659609509497976694265625815659433669914699248319459805231852621760914931367008028332763910745883875777715505540281171085215891044197390364146126547676576124212148777907888852285849382926033420759070498353154993701454619414941913620078915263102038860101113569429143806023017632398526955423696922953091980408156449016461879681086421903341411224803360300026788043998895208565941566463996553401904992276493929591716587296737703868015987217870800824879892049627465005346056271159457555087572562357746111731678136835211371478938783491645879280252888780422203603184810852443616993521986683899547023240654193785922802573715799866811117265376487184248326517032214223945398895671016161185677147394901073731961157421666308961044652323192786085720802276074439774865577200324383562519175345977776457132071144950484989484571068281458615132116132175009558228414629110194766434768382569157636698502211077281340223729345526685424209765098510267948007978115671828383887138320506306115692888204333903724937729440022083875042321816096767410076751242143648566558206522395470045087120464379137747731554046220312590487133497760787795136416580729864448759634323855162951765553468863584774169117926571006753225083507093665121271110082774084914450054799435224185580145999373043938835217460354652630130703312593552220230838710919886163022358974521255973143842577095696844209511085321635635940531881995690455616772613068117095147912268239828135379648194014114472526838722394226932559421527084140824117855696321304990877530556044501498015503922313488361680980280941957996002407957153501827494036828813238013143193005389577111592418230845148405578357352233966563506486509826335949387171546746293221949141432154736599317826519022593117200969944713617483922869817865180647872276363037611759664289209996161985737864225243283462755526612640917010617701219119830230746352681653745488921824725685192732897443026453669112644382162010583896924056727942270842710082292070989115252748306395324856016110858853242468212557987089882715698717066732110033187210229481019931026440225544492162960988005098264288204980439417213918859662845924083343273819646505954202727143507377402872480495701169781062300602279245884858850171575006815772870827539040339329382016974341122617616519194624531310324304135740030828642074547792511743244700326365849309783245551776913343566303606729404125653561215404148944956267096397277277320965757725987933787221075504161916663435260264798081309910899301439307094243304557402970376090289243224066401882555335585115263825145230777852777930837589310884645144657720836322465114654991544180905652318782243723994546050697682759836735107234859809941153904503451543251750948385969609225968548382950502264455954689553929847067860241538366205599117280724920012001791634313467413109302476879870276747540103385754479420231616744201479332718328283673590388282116790043188335982848618883780475126255211007236047400096060459912673006271059215196555272119092442802098159310867073126503620692846577893146598811804360961545926094232885102696153335712028555049997498024958513018642712183000515960374978049308717049005556469771329331917910642202503622320946478186304065644106476740696972058316464700606170250547612565644984563909936742276502064392301646855991706376323200672573518411068767565861327923387558744047544811231471663126386064139590284237963005287054236595635199127769176631636794436658065335827085238315293584495542678650551272669460036562119418397590891531393149580922483861397791200333857434502597477821909989564386139807586861013760182951262103650850225171598430579171096359513788427080571312249164938950193839739612096326040622608583179133558079619615303913506807696531539901023541908873115832887752211882457879136509012018432898478077954007044200118506886971673301154005867196295386360520194200829887048562464516809949946906032528405800660919499986417402476078052355482597173170846715568077497155470208579212901433045067187786468573766451722311391746156864550441278719629577432039544330165410976328722194966739346653535009675261589790348446901057557073713125623339334695194683306701521490250781333376833852160790496413617116788989211456372023606369373821946370634230628794613021303345181616211220268738443683314872691294700357284960512676730054112432085547500230314101612336461130669407038339599451090483159540284813133835784624956100146096132510997528216204244460475706739881775313905089251921075009657463128768857620521484644553846409474787361760681104978076593134106232985704204086117435605547711124522299453355515542346800647601081753508419549146238424286320713251705189647011856432984603930518251883671070843702306496328075251703561590491260030428394703631904634216278267209510204706813641900367815784666752371119930001394732303792886102682865046959522648152739584308671626360997876862021698710513017142018509892286225308091287309563691744683912907757140336583022956311240742201486917727768489707922435218352059450269643129180156136254201444730563930219032863730261292885511417916917338746545284688531096007317778736926461813884042159141942430097805899115386120734644915957739194883100341632054697900000/12368190042845322302933723474467574444465235658858209863366311754161445492331451968663485553896304162325442246051922593944693936073218222051278468165884238641543269067071283267728017985115309889559095586949885466115669467394084905210066973337983896951151230729788873693291186559055475376378036997584792764814101978498433528708915954371376399029779063517838065531643293722084372022054928659837361122966902675484811033851546619681852642832790141348196577527179235552006574620777479078773315279196910731903454720703010439639029824939722441504026887103694719674022688871338935342420562198607145041314722388157989798924920840734337330819077376676899673876435755562881608555029343632900831867114517067178598224654560423418292856328309247744009657507313170733838809525915437509080618701336682011878858492922316273690805527196626721126080155489322077060397475578539222642355981239649262652210361512847286751726111978904520600804299449818456666858373888818471095406290282354132763339048260666600601244208293912821220231823990377013317893782454188702680634685218980416028925313592966045423989578062074472794871624921532492646241083461582422371010531480870230582620200546896957814165438285181098683807775063803614154271824553390328311927849637120947116879940438705748812447807365603538408152336780082025339480623037074457369283647338275841971973042375061355975610275914732599729295197867130579833214231342468604123332963889618048498821983188954334677723993809379730961259706916619111524475245849615920224737423282003635099266100755879396533951928360117043735278640609840307641427420615975486712821185016246548635376623391550394192311583575796954019131379749671859001356541479082669370791020978382766571527111639119656083565515930594330076515562251760018100566662222988327828730396328412322711054024817305075469292339591040272450900410698652164840529003078767364611052832297389875968310868895053430940564855393461646732216305110694208148333420333527596779513069025641564321601136674158700077653941070017010557848507611323900332163539476523398430168080944265532428725790960537129901055648684258568657623843604910362341423308805434888231828782828881520891001501418542123441922853849372316626641754204517735162544199421502708033574358670384706238325092184390376235530763029272453432269450958339878389908570036176623158684866836603650697649544698756711269931318508153303064157329585672112054075740347474075475868911062120992491962571199308075918633798308304304063597199189714247744170458237903251345266369131581826062239315474490357672073324678551660998741479206061284309806709843173792198873470728799314353548996887673861265623667120311619862587034055746478759412957427307937699742285555074168166439027622879754202908616130038272419414987808939528878982097273445632116867729915563518237779452610764768848405275903471319896260579460140088532263314653832110454292293097736293235591443107243827942573857398398280079320766645210331143028505947710164647922611544587300922049675253992299403574166667211051593195719736549450158947428514853023507427761174187643016126849174314260641324493038156696346634686729180885803668457357828964570101613122008331613659459897932587211091851707706464305175708143411362161590377066188692023446442002522585884641365474891476648547928618821343895132747323199926467073833032028089085046078134410557600660296149689073569726793201810172341659791095001478822971748346566439378782062907952248811734077930231145672493501415991029802180080883410980280762027781302457103774357130342979637977894474926451595293134105044361098111863125388090880886598936856101217101500343945026811435658035501916755107880691160854575308298654604760850255969150222730720453940340719546402245674122623902761847231682378855378055641729131940338820580524878045219734532141935141924972615300928698309162000296405161502430869818768425569738939431137019317027994101986630723726907839641949544349541051668604384187696129420562760252085608145283811560189653024495546134589680496241815947664650186625805801979475305273861264871033657804786078331857477318843157897680262635076421808386660357227262125660368293610164157425159949702942773563940711358897030196754252159616031807618872730029796453533375744231899090823197572127788648403388639207721571794092388595913813269887994329520142021122178299501040188357012802898941719886033291241086450399486667914268573301891292398567037178002914640739217521964531285453678428520990907836991643726391911165467664831197466315490538934106533528861742381814157119001629182597772870985963112331546152418988870464397505706523813612333766138302553088191677547122885311762350650041161730734808971143051179328702153649823464449034883538428465416966962180295863195818846870605727260397371574559484213684032096981777506179254609103360735409040829915876656664063876762439990338402693399243004149782997716876922293318270214633517659957562848263779976586264840145146667729332356197526929567945073403012896544113799409622327999166810897644611483619987547102611593660236036127383416232787511198782273438948324854812951862969678622200210446993260690067532495722294487713883885638723513518487067939577415006937611833442995514754543332602778055283048371230293583346673866627033706296513988261523179448053740517967398007027934974897464292189530861749082761165231742362581038489449856349619348144800935629444881732039071633906061742301466967582536100784420727071230140971245195331829653302358767577997898277179497798767033160890127015140960182545028542622502848310829136714770196538012389600350032747939046658648019461653068594468940701504040973158589891307518600757317359721288000439014930118284256459050105925635136633565894739759190444828683359525523949865732471499167138609109262972774174738472099631330155846237424619165903420983256800301635389997394658525034254313736972011462081160984694919960004983168737240238477855767431423097321339965221494537900256468078904144359910935318997170009317224282066909138099066104683504328509690418575286621962323550273159943720086816793026282488462690106979078439682306764551943029762273] (approx. [0, 0.01134653755]) (range)
Time for model checking: 2.407s.

Performance statistics:
  * peak memory usage: 201MB
  * CPU time: 2.422s
  * wallclock time: 2.469s