storm.sparse.luexact

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

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

Time for model input parsing: 2.048s.

Time for model construction: 1.960s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	5006
Transitions: 	13598
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.ignored.oscillators.6-10-0.1-1-0.1-1.0.json.
 WARN (JsonAdapter.cpp:56): Inaccurate JSON export: The number 40709778200261183040778303233938708020701917461777435535780877833607879430359827180182196274739133911293181074158626111977636588015994591701759569835562740877923313308269539827068692493072434198483348761289457558326744236521222491417970889591159187181338230579171421982020292283028173891310173992813581506681088736525811770326993241995931793942866115122855233734473472267460806109929938760939971345474451647909260690840044260729452230137004577437873872607918492416645116399461590156461676671809179397647519793009813319819154188682253769178964300522653975121873770327881825394574036742129698747108425530934912895109864679452385574625093267741741136781983267401795766781030781740848346863582760413877331115871635040096266864391579162876819995548001815835895292288404760379227278546951690983325452732050249101414189176485815979047349991116773094908468302296484320288123544537748211860323822693452338533894450395917694249513586632917825661341109496259901092906854229851280298863370434055501086062675229497640401843789893521978601058483162833777960736508067662404797539165259239915365857104395167536902922838339004148779075751864042930075803899098806184106097258049957535930632873637196513781507996381568039054473619002428021313820007294907161755365089830948599802809724590823195512230034315211564489560269209183955579252854145853401233949507391489447188876784219041316830262169818518397378380500625580889759804808278812609778117335955984330442100738825452084966028740637181371508280305481335664541188972997703187404340521609323486088041669510537982020798887532897578386185726270559307593402319438491306715168379579486520064840262858346068418867987457351271653189532320336305998422899212561310969577663101810889101105587341382458968545120940866348120115813774646608484941523846571374221453490122762347563728192840432605699719865256038742949888897814283560872350208213162314921297720183055534373153001691993974377451666562524996748473659062449539996243329675567909089957303197556906819613508606299450995271993460028722590881361980471190427954959/208248456492961658283980526921821750317792255654923940316681694368954393084752383989406013623622779129105973395181530819450436355311482554072515645562196284402717379778079706281085612433687062856121504891165924461759961901627863580927185579868266868827867781305993301040316967974918168892880867384061144972441194462810767419216083515377909757202749971374708298232894341078015790379935111395453241006181324934112336117625786316985917576515356012655642309373127663874015631088425232848948970826172738238664919382941018909613606087770544977787643564894386065484210474438241160285107677085741460926034009405867102052571798315803226389807464737740618718077055374194166066193827798593469177531944002037879248315702198576688958859742367608707383858356297024265805261686351587269522642380086261635101504192029696350593380517453049531091191673157102816150477650992063301524024784595861384960190763032442120183653052935347030055171028367111614403831817906342557192423138826917846572160830471955867585260593469805215167636395964426547924242193899266651479517346440934076771650512676815229150665913206159844005517960684556180066506430515019217207863214880120373926459986265245251351545395975153419416853874266107202420867491714470933035377465274049760812809191176091531925442360477748299830868158406398255317234005509978913246729184720198449950754096150871529171934235411144291917988128473489756844675610675037626170820598897218068628534693244443159295035834535862603990536258070817064193081352633441344988601123409671851813189080231425477941914194420681769501992885087690595931600669533674130276121573347294739865982740120808531330338936647870081278101549901843959383216920659638980555578444312383571737337661693324963612081528715242025254660959801900088262454757785726264322853390560650704168001668609515432868788129878853801799712940880809657415121191399698977442847669808992037715081186787811135165387432513020885708243055947051381530700584516609622636561911069899965902813256944760189774409893705156061737965491949381337745504369280878317929090000 will be exported as 0.1954865783201475. In total, 4995 of 5006 numbers are inaccurate.
Result (for 'true' states): [1/1000000, inf] (approx. [1e-06, inf]) (range)
Time for model checking: 29.926s.

Performance statistics:
  * peak memory usage: 281MB
  * CPU time: 34.618s
  * wallclock time: 34.832s