Invocation (sparse.evtreach-luexact-topo)
$ARTIFACT_DIR/bin/storm --statistics --prism $ARTIFACT_DIR/benchmarks/ctmc/toggle-switch/toggle-switch.prism --prismcompat --steadystate eqsys --eqsolver topological --topological:eqsolver eigen --eigen:method sparselu --exact --engine sparse --timemem --exportresult results_stationary/logs/exports/storm.sparse.evtreach-luexact-topo.ignored.toggle-switch..json
Sparse (default) engine Use `--prismcompat` to ensure compatibility with prism benchmark.
Storm 1.9.1 (dev)
Date: Fri Sep 13 11:58:12 2024
Command line arguments: --statistics --prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/toggle-switch/toggle-switch.prism --prismcompat --steadystate eqsys --eqsolver topological '--topological:eqsolver' eigen '--eigen:method' sparselu --exact --engine sparse --timemem --exportresult results_stationary/logs/exports/storm.sparse.evtreach-luexact-topo.ignored.toggle-switch..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.
WARN (Program.cpp:238): The input model is a CTMC, but uses probabilistic commands like they are used in PRISM. Consider rewriting the commands to use Markovian commands instead.
Time for model input parsing: 0.012s.
Time for model construction: 0.014s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 99
Transitions: 356
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.evtreach-luexact-topo.ignored.toggle-switch..json.
WARN (JsonAdapter.cpp:56): Inaccurate JSON export: The number 163121559007007643420776176378714077435632375075513301374571753913924467664191551259435303315970825503972887108127103751587616854055546901353089610551778237523956050593181953023219940492201751172375192449014343641695060401141129952795350273494141466416685238762201259008739344580910978076676202979807221935728799027506798672222879536106942339196128358437449980002729618721655839167680235376890179609000498625265945674231150171300430806952144895670488155483454811582338335942943832999543865445204579817459698150315085542687729590080284332726787233788363335274225837306308703041665247910217518283651572688138645269638699072903213071446293960233235442113772457922277338692650357876982254703896866272221486481252621473584831811144244862623371048110543011247611022644313500787796013702213473843107779501032919791437212745484225369722218814696839456054506640388175399823896544288372205622029898478720173039360668480847338328824445898917749398870101631184231359270795604645732933879634573906596909437527922153148055373176706619711941307498106023877286297297761481293598093940103689240109871918406990932413408681357248089215090075852593630058916798617835896212159921741030459757205514499552583087488767926955954016463012375526209641540994948583657494281700352616453678764229567977853446094590090538005999519123916068556799726563573695075695394465473950466219263937635703384944598709113621162848827310117191901800401236216588312298087300840247098230963870180200448767679053023155772952453918913753227064446369503642380257929643082591778414590280070197350404689395688005285886940917120385949890940106541144093495626076617805725985508014387921246165750973799322164042331454934098920164267199987624706537845768919208000605931516170018066301118574143498211752024596688073425324167721470083901489504655091887348704984437366556812776252627372741699218750000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/18529622207905464311221042571934599309515535113719920071073476667602086266284741103837655827468453590836496224131362039469449208752202617905005687940266935056034054815454582057559307259235896046667428301090465402410162363855569707258101346102021548662960481051510035961598952577935529634955936131869395472285086530678610831563658700964134346320185296785663678244064463404701013904567202956297415972255184939157968314250755018834504122446816880117947399650251679608368659904236853348477966973582810786819786999693354157295300062016139352363058966055824227055697649913087354383191505906819167225706917739991712533045992923301300098764621444386048544832139003779615345572173244565078142366986832538609968029327282980261535414061458397364338892315449938318458959120361108634884111804877258258191064377773435311942030371027823428528804774877610230832396685142490828112808042734821549957426735748434869109109540792110604016691463957491188568420262554148162592578212872343637084620569446029217508495264138842500801451744375206547729051077895354363924183600163342647635402516139007531625090695571921286227326668012245747310061348235272602967961796465776313606248521557168371858122100080281320972238708184735648699643073831174320003955461702455641557754164218076045116584721285331346188151547224632597304410993826833749428794762408891246748036524697868223971048357162526935614295814733835984976208147469462433012860217264031555317313516814778038212359685150255527926700052429670571559753756711992336985516952925453321852887293961375275257971822420879218105686667214739049138209301725222650136020224343972275210508521496385898056456816338115104335630139478736078892688161965253145365108120999479681688149028666604303585811047850873145886319522488440939594140944320232172705627244659324067274546704222029596785107891646395541155908309474840599822968134146433865157132748674410975278924784389402392680164597867855531865093026221477114916555243026196254998366247 will be exported as 0.008803285743052742. In total, 99 of 99 numbers are inaccurate.
Result (for 'true' states): [49246988054172696060833186796514783908258125077954362337539208604156514033915159477585105050723375713084710529321154940044236588558538118150553234709985263468655740750286337239822065013927125327169496498347605856369921269486297271888430076671315706629683424921668637307131064451749950625991743874063344281066524280033695863250763487001522745429739496565694045731975849945254768872197435838111806017607254425881998380544384353887122538583916736558905587329896560892290953933838148398595484250925029751119694216462525511366010896182881520642041559702779955796479079435368245970476635193653358680113550477675080303031438179117204586439150761462021050033419424220412389936203509413769926676928035897275037469270809721408978249343416416197966106939222055678384095766257480251606464539135810024542025000145323800865035003730267469098654668540175041581664008574055455120766502591958441681372411607465325931222787246906480493484932630603127177210519682811545633093890034800589442523702163710681601541656938819674719665013582630956644378542684817040546996718677765611382699358704475260356553681171112188157313054673846993875386265822795887336908780155250037045038903366351376888156202423033281482699761347229955061776459038398972557006453079600921656009872544840741872928881249221005899455479322348875852130988005133267620791734397559255070405902624360965672332633653583788547525512192516521471576207351153135054741001177563358064075354357984484796534729075556562586762879087283346781511896577022536994128614263381928010031910688112372269835874137795630418722230037249017448809981269027337729013390059102937919612379047438763453531647252418072663568107184466167351817815678511863681736342690309720017166024063047939557985136598103593061536744365925738840246487233057588050241186800617111319875370761300265649936769251618081230179756873644439611658568226180041966104695893710063438398847556589166857904924725143679701304557345058325379998366247/18529622207905464311221042571934599309515535113719920071073476667602086266284741103837655827468453590836496224131362039469449208752202617905005687940266935056034054815454582057559307259235896046667428301090465402410162363855569707258101346102021548662960481051510035961598952577935529634955936131869395472285086530678610831563658700964134346320185296785663678244064463404701013904567202956297415972255184939157968314250755018834504122446816880117947399650251679608368659904236853348477966973582810786819786999693354157295300062016139352363058966055824227055697649913087354383191505906819167225706917739991712533045992923301300098764621444386048544832139003779615345572173244565078142366986832538609968029327282980261535414061458397364338892315449938318458959120361108634884111804877258258191064377773435311942030371027823428528804774877610230832396685142490828112808042734821549957426735748434869109109540792110604016691463957491188568420262554148162592578212872343637084620569446029217508495264138842500801451744375206547729051077895354363924183600163342647635402516139007531625090695571921286227326668012245747310061348235272602967961796465776313606248521557168371858122100080281320972238708184735648699643073831174320003955461702455641557754164218076045116584721285331346188151547224632597304410993826833749428794762408891246748036524697868223971048357162526935614295814733835984976208147469462433012860217264031555317313516814778038212359685150255527926700052429670571559753756711992336985516952925453321852887293961375275257971822420879218105686667214739049138209301725222650136020224343972275210508521496385898056456816338115104335630139478736078892688161965253145365108120999479681688149028666604303585811047850873145886319522488440939594140944320232172705627244659324067274546704222029596785107891646395541155908309474840599822968134146433865157132748674410975278924784389402392680164597867855531865093026221477114916555243026196254998366247, 12310761982982719281421532441985084297361165807057408803071647516559109127292127114968564932091265656352837935676738423795588934797409537297227331619601461215988861369580882119266992083702721999873667138098591703198692922594992038295175383423999692357621568045937155888273654609754249237433970151997412063788860663706505826226935134112531519874940409224600205735181414128468652188607159617831184672064656455045142975661901792620850562626286586431063558701940204078218680922260579181808101293058007706340678959799109869633662486597326492618613317833870327620856878815254703364154253130253533955213480059451280014437238076084359202389387949524961837006034726632136467265074481834580299001193778575375468263146711053917651697773349607156154390908795544092778699432491960483562224223589292305789816585186703937221820141828838216947414214532875711650167835220181957108160977947212398534170897436458012377457979574615390633902954913374397144627215722550918404848293575628743130737513836000367221058942798670126260144625224077885713359990076067423518648582844187118202082966699066629984729734737061706802694506460317693564840524346338370815395277951710929349713142495347034751590027808318797188403200108577829607733737314865210538968271463201380774736958436609598569033008941254670658006274741063230736951933689584721407284176064856959215983934694154101732054245749032389404702930209347947437617274533272870446985908902558315884263612818761792967604405824421985445476952812668821224847254781751150143185711458886682728291524949683670350479526120621429594340539045979484194427095988631034667429546785913232724123261303639254073698241125592298837279474156639909183478242039088204481705535740120864636901661484318462746579467495673440025915732453416590852350100346183722860652496027369484499813002731635102804487772588524690742135932022939713959355140104889869689941406250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/18529622207905464311221042571934599309515535113719920071073476667602086266284741103837655827468453590836496224131362039469449208752202617905005687940266935056034054815454582057559307259235896046667428301090465402410162363855569707258101346102021548662960481051510035961598952577935529634955936131869395472285086530678610831563658700964134346320185296785663678244064463404701013904567202956297415972255184939157968314250755018834504122446816880117947399650251679608368659904236853348477966973582810786819786999693354157295300062016139352363058966055824227055697649913087354383191505906819167225706917739991712533045992923301300098764621444386048544832139003779615345572173244565078142366986832538609968029327282980261535414061458397364338892315449938318458959120361108634884111804877258258191064377773435311942030371027823428528804774877610230832396685142490828112808042734821549957426735748434869109109540792110604016691463957491188568420262554148162592578212872343637084620569446029217508495264138842500801451744375206547729051077895354363924183600163342647635402516139007531625090695571921286227326668012245747310061348235272602967961796465776313606248521557168371858122100080281320972238708184735648699643073831174320003955461702455641557754164218076045116584721285331346188151547224632597304410993826833749428794762408891246748036524697868223971048357162526935614295814733835984976208147469462433012860217264031555317313516814778038212359685150255527926700052429670571559753756711992336985516952925453321852887293961375275257971822420879218105686667214739049138209301725222650136020224343972275210508521496385898056456816338115104335630139478736078892688161965253145365108120999479681688149028666604303585811047850873145886319522488440939594140944320232172705627244659324067274546704222029596785107891646395541155908309474840599822968134146433865157132748674410975278924784389402392680164597867855531865093026221477114916555243026196254998366247] (approx. [2.657743774e-15, 0.6643827837]) (range)
Time for model checking: 0.856s.
Performance statistics:
* peak memory usage: 64MB
* CPU time: 0.872s
* wallclock time: 0.884s