storm.sparse.luexact-topo

Benchmark
Model: (oscillators)
Parameter(s)N = 8, T = 8, 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-8-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-8-0.1-1-0.1-1.0.json
Sparse (default) engine
Execution
Walltime (MC-Time):10.942831754684448s (1.169s)
Return code:0
Log
Storm 1.9.1 (dev)

Date: Sat Sep 14 00:55:50 2024
Command line arguments: --statistics --prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/oscillators/oscillators.8-8-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-8-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: 2.588s.

Time for model construction: 3.753s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	6436
Transitions: 	20525
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-8-0.1-1-0.1-1.0.json.
 WARN (JsonAdapter.cpp:56): Inaccurate JSON export: The number 5865224689306443828693255535792706552706951692850184192729317498864638966851907241370684941558641155478617222172484532353586246469779695644459275555796968671004148346205651446337171106518685196305572469952563274539194037586184520213927365290748657368449343994598987408036494623319181935707498276510400694867135340249439067110029198451662086013139276915699226584912481264958037344964175741913570311562277649337106463712087099911815940218271612639266018580464880120481503481130857011168644520601372839449387582889650503360333706364127172978191867413337428730942257788696683787519145735882600376955853513103337178441774539603343391593249862347674438863685110728289058381054750937245396247863670368037189858404212713902772208915502746770615722329895848674304457194594921472768296965040136004909194852447490722073638316006980345384990515612384780605320243487863223768622754567228688168489800066001536504067206880982045774479583821929219978783830193799899228903715987526440576240696494429298448516468640898377026999683920573339066318547523728274369689754844130218117665212098728236790102411513191109141701258520998791436794401882628076230142667791920708116289769922913246098066000841842186100924240915616979013977434740091115080032567494525750334089785892077972083114597999165526382370577515244946586921042570122155577775880849344850631176682516676235976925010593384567070254054358926900470931547476648958529381127296710082591874604729115412672955337469473470544665541929055031597310500666318460355620328428681843745822115761676265234744249818094214540627312383067864712656141094537189365113126520306111636156549650547447099706892557840313579621615796577849988443958634650130943837040345832336366453928040883747501903481517410424918140909262534671248443190899508425715843524588926883083228481149438983220030273970293794150182310961490322004911959622331328480231131216135586188945986373050440732975852268378523131553383008941334968605692804518723402662515221999911576289717666007403559489597295443762616869702962048350926046051432942999161840468164784211824154974026833773430396007323659554054907445373861047423085652868842816982647750777698168374281920904862069992852018813190098347807223704182682636903702241464274062397578869671355174022915395376628264162672173032266342891602253047812930141472083528520965359800021444391860336112989958691189854586378218508299081843115649245793796304063186619930513923321770898340607009709258960879492754869926883584291049716555591010649367154910431366632589510357409064545644155885540559238294571656178007291799931543960332818770236889236943693415983638968652347852251657292252331824853294917256751563943652006046494655427203223856093747263012456419745967708899216578569931537447108104826369046363708939548155913907838996447692909071613542513112391047923850321207901037112433809156920351913812928083766616984636952746571486605783792718788942517663353632987529987658766699487128557909323974007776095244651594870979403503037331941394987766534843626593240251177183634689025486809234214784544077132353992515873608201439478368783792930414883512581898793523314805277056693994991768304448712193671985821965947924905708047657438039942520762765090275776874629469638030441520055019945998576591174410091837079830801474870962515440913585955097216878326449854993250316910210277181927138147627580624295687784756222971260661275431789792909212655861137764935227703751824971834974565357105752518553196736292823726725686009613286715545876734242583360569931724040969858759302385363685514958615687506482814967411724799410152596504627050684240976796606876450730039459823341245729645338661296217821861442520264227289225938299217534126487692405155437808844095365235218848544685315473845232135411391618840187036617095901641773895657266330824278619635211646262463960151706076982807587371309150637754485029989652242764870692048189652965432577792487935206290244992878683507452659659803967760563505335021024131481472472845465315186406653509436834658536480095248924587754543467929584054730020435267358147699824826787914650917927986518093574618086122050423604632605142901562096115141428674005237026273715587915832321697508764943677916543855633410676724586406715400673679801050640815554863934808913500293574414378035702641787324158941227311851971434807771355604414070665701441635/55035518993709614357615411764439666060505244377369724590311638553096157005766136843286857673145704981873198613414139814650351573742438397466486386604335481259157911395344487414679519758299327832317660614247584901175865334028579298669813241186708388396128127287912980380640540475138555944163936932159792388616678528905153947470555647739172143181950839530647440420247720111820150125366836729185611871847111080792139387821467217749926242143238902531887993628336802446359814919193108381127944052386531444496892242318500359627581764221764808659017504787552033920605377082288999913365753439420547827611582577272353766376402834260704373460445243757249516942876972831841280764998986189719627633338925677381016968535580721617808695300895700471076911881525148882148485629514539745488730466389620700177926273989638573689040124799675481506945757025240524267078415283019315949558918279818607697831203883042351532068058530285999278675241699449662724917462267389590546149493592406448743922119046231152584120049662365962541146590756053339416500871805484135045986523550312789565867192128566344748895574793064758119051662791834973344447532783062378510156495157045547113197114751608434151724125005677788719814478990255852928071583832275247890587848758384714940541047985156885299296133277685203564276722965289443369068864570525818626548921283539016857320479055676412669347233878403518952661926903835871011281572051360141192030638265908918679293368234424909922813799011210209905208373600678120612389510117287150106461994360498107894145842019402704798881611990142456425612731383762508367748707430549017407136444023692499953250128289128788836153227721116171584358971942151273885692419822336531192831469398969301484966916926827782005798703597355983415368612442825535890416576378198554672508904548414382199658310469982579320336424677031383396437002872436358538100657638354833071215646559478129213128506101277853791604300536441686399404290333064217087754639606061255858431761970623828746386642829171903448689270819147304221296890871938638154679479635952846831201743736549690911329931053425393485215863045140436810981956455711254720323087549126516157091453594802048357023428838871171811766189199742487279572867947523492951695162779760486268949323067191727000641034252116894506896699189027370766129989182023668994614664677477195824532174989593071367500911117385890034498077931198785649008085591483700585920683154641047725360285997889976556284644330221097142898609989797740255405880525761909518022336700082047685728805969281178278698853529106175688424310503458886374697988340105044877466691923819704984469753348696702258481655538061651272453674253866639080710180311292023312421079984061186999028486625428902705312154412975622284169311419194844096138021074944911436192917472843993025215281288974795102804461471582266089627622362483126269129653511466838134984063142131371510698507235120755218859736670522541010870100272656752875334190053181464152846325169782016633453295767110903339369546358034811347218782701652002221424989696003161138250015836465619498217048470454393821509554263572800039098782753915017986999376756998424685880598983698935114540212066524300482061593105929499902717063674601518859787128324283697338329590045084829489831578539057869172452059852233548075402370806586000243046275220588069217406790355348076648741301448965250439212134453944913906056621129473265128779218940925598720772124060144373523655980970956888929010539448246109038252885657894428100753587186763154021651361056343706822082016951333569418414549964079410401327213508606308031845209669554342553739111819685135620564162977810430120019405439460872075780273167799060649451287346324437724056944861059486053512169879822665372573604328449428902142021132167652901689510554265053117950476149175211701913963450730578482033066738675600042569247660534849583409300231189512071754942471700161500991760058799914008825158934495279830308937500912577274880868813900924856228179130381597554207002446478448954010806929248960367435840446119384399117431802053004564046086600275701923619732962021754488187462372248628193188629345473821821611134247613724244201240557843934634823118490618150084950787680564088374929291000084637582927111876076159606501219585745061570807576824069566835113269669923139021287455013008442207649262174300477402210566567624704 will be exported as 0.10657162495327463. In total, 5241 of 6436 numbers are inaccurate.
Result (for 'true' states): [1/16777216, inf] (approx. [5.960464478e-08, inf]) (range)
Time for model checking: 1.169s.

Performance statistics:
  * peak memory usage: 389MB
  * CPU time: 8.628s
  * wallclock time: 8.760s