storm.sparse.evtfull-luexact-topo

Benchmark
Model: (nand)
Parameter(s)N = 40, K = 4
Invocation (sparse.evtfull-luexact-topo)
	$ARTIFACT_DIR/bin/storm --statistics --prism $ARTIFACT_DIR/benchmarks/dtmc/nand/nand.prism --constants N=40,K=4 --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.nand.40-4.json
Sparse (default) engine
Execution
Walltime (MC-Time):474.4936189651489s (460.311s)
Return code:0
Log
Storm 1.9.1 (dev)

Date: Fri Sep 13 11:53:56 2024
Command line arguments: --statistics --prism /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/nand/nand.prism --constants 'N=40,K=4' --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.nand.40-4.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.001s.

Time for model construction: 13.766s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	3999522
Transitions: 	6288542
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.nand.40-4.json.
 WARN (JsonAdapter.cpp:56): Inaccurate JSON export: The number 519744792674423113346566791888338095569247514774586436535918480655593440807710383424103322103870914743080706967491904089380854698360602809810525969735514090805309079794042193272705439558123643190590750363352533012977469802614094872726801040444979943573866279899529377155104676778342854117871267971800908755166437022499851521561301372243812466184768532550862200576023734493560927999449093130743261073795630365098224900677600436918758855997006710305979956034895629337271072607260650154875897113861454194135728064355832360525502518382776607520697268131538447161338825761554558343798903701409260344764587306103509951380657415357484937021291834058310651/3692867586234850002460721783487744042724050177432875108477006600863074416595720796891977526370715834876274875907730887584775960490736505276590959993282393238860201143656454276436225131063942637468718220142424272126076600873211391281673171654225748560512729042480537707030317981996060086964904714677669880934544806396658492025572711976090493753353744635123827223203032965069177016659268441300637006672963371489186986009052289333900121403734192343142125591052936339074119012329285160230495778041085643122435687829514088546039709008297384729635258357696659364256159960781741857793747385585447773337364196777343750000000000000000000000000000000000000000 will be exported as 0.14074287272356306. In total, 41 of 3999522 numbers are inaccurate.
Result (for 'true' states): [0, 1647192355943223332100342351344537239805492570335812087987879303462524003009625884370997468577393697436340884961028696331502176651650557601123320979692027861768184052375148700969557042381095800976068471502926846994514665996866903896835446399797131295214348989879504034031238660777426461333757202489465151462170463024719346900771657191324736151784210578949637791877198833554286403410431273046301731744479896733441531758253625500972609138804664341783707077026098997675910517599600018549921362746426076404893455906626894425702365644124321101742141727503461563116793653868523945457751893063024313136526384981907228637095611551294346118796269905949793/8027973013554021744479829964103791397226196037897554583645666523615379166512436514982559839936338771470162773712458451271252088023340228862154260854961724432304785094905335383557011154486831820584170043787878852447992610593937807134072112291795105566332019657566386319631126047817521928184575466690586697683793057384040200055592852121935855985551618772008320050441376011019950036215800959349210884071659503237363013063157150725869829138552592050308968676202035519726345678976706870066295169654534006787903669194595844665303715235429097238337518168905781226643826001699438821290755186055321246385574340820312500000000000000000000000000000000000000] (approx. [0, 0.205181601]) (range)
Time for model checking: 460.311s.

Performance statistics:
  * peak memory usage: 3598MB
  * CPU time: 471.165s
  * wallclock time: 474.259s