storm.sparse.classic-luexact-topo

Benchmark
Model: (philosophers-dlfix)
Parameter(s)N = 8
Invocation (sparse.classic-luexact-topo)
	$ARTIFACT_DIR/bin/storm --statistics --jani $ARTIFACT_DIR/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.8.jani --prop $ARTIFACT_DIR/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.8.props --steadystate classic --eqsolver topological --topological:eqsolver eigen --eigen:method sparselu --exact --engine sparse --timemem
Sparse (default) engine
Execution
Walltime (MC-Time):1550.424111366272s (1550.325s)
Return code:0
Log
Storm 1.9.1 (dev)

Date: Fri Sep 13 21:40:46 2024
Command line arguments: --statistics --jani /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.8.jani --prop /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.8.props --steadystate classic --eqsolver topological '--topological:eqsolver' eigen '--eigen:method' sparselu --exact --engine sparse --timemem
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: 0.033s.

-------------------------------------------------------------- 
Model type: 	CTMC (sparse)
States: 	985
Transitions: 	4992
Reward Models:  none
State Labels: 	10 labels
   * init -> 1 item(s)
   * (eat7 = 1) -> 128 item(s)
   * deadlock -> 0 item(s)
   * (eat5 = 1) -> 144 item(s)
   * (eat4 = 1) -> 143 item(s)
   * (eat3 = 1) -> 152 item(s)
   * (eat6 = 1) -> 147 item(s)
   * (eat2 = 1) -> 99 item(s)
   * (eat8 = 1) -> 239 item(s)
   * (eat1 = 1) -> 169 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Computing steady-state probabilities ...
Result (for '(eat1 = 1)' states): 13481783977140425764855524740092722356577488076771737168085980055403688511102130186643722200105646785571266089133879103069164670264971042846035387273758579558351815900928181602049208345153063381734594813029699793153097259787722334004811622045128454271166125395134949983966204942991380985824090736501769967917747047033461412333062765751240660394126459742558524906888895072729794260951099546118115187410736007319184900939790686425666153301375148814066042700310479576593502123472878183172954492460530082049340512904889714736091701523882719413080101163680065626318448877853906775665126641773304030210087174189330361298342132253029837633969484953858893249220341147894520813/1067327106766840134123581838330523447780617888543762978694094511213579832028051956408742694360301578516125286522065376743978284088953444391820553979716971774162042897090993155184876965699882308806373118563586250329431749059774493991491788777666630278296247674046783083163360260966636064769034397515716189012926391708924491957264520078697310428531860592465212122012040029639858040165207892545601886998158231251115813084601113396091829341213001712075357124111103645132852836359258675400114108161163431373059408018798974357406424001781498412948644409477959036915978333230509689791149294835556267975614515531383547553780967018024244920505156709444456215331734109318304098123 (approx. 0.01263135162)
Result (for '(eat2 = 1)' states): 13481783977140425764855524740092722356577488076771737168085980055403688511102130186643722200105646785571266089133879103069164670264971042846035387273758579558351815900928181602049208345153063381734594813029699793153097259787722334004811622045128454271166125395134949983966204942991380985824090736501769967917747047033461412333062765751240660394126459742558524906888895072729794260951099546118115187410736007319184900939790686425666153301375148814066042700310479576593502123472878183172954492460530082049340512904889714736091701523882719413080101163680065626318448877853906775665126641773304030210087174189330361298342132253029837633969484953858893249220341147894520813/1067327106766840134123581838330523447780617888543762978694094511213579832028051956408742694360301578516125286522065376743978284088953444391820553979716971774162042897090993155184876965699882308806373118563586250329431749059774493991491788777666630278296247674046783083163360260966636064769034397515716189012926391708924491957264520078697310428531860592465212122012040029639858040165207892545601886998158231251115813084601113396091829341213001712075357124111103645132852836359258675400114108161163431373059408018798974357406424001781498412948644409477959036915978333230509689791149294835556267975614515531383547553780967018024244920505156709444456215331734109318304098123 (approx. 0.01263135162)
Result (for '(eat3 = 1)' states): 23229926536726599375483340567349458134240763503111448538323384467584295940835108264604387638828996124009183272206742723947740997600872998554812338661292026784756335043927000074299111915600330880133157799385887678756638135782169951027511947278908448136948506516815720016240896735364065151623715778484789315926152638834694931284571263920691489697223944158118380102647958076520697864276427850333014965350074290451379176402710508414950196696683388850484270881505484728037768255544372133084445167728051448959065432629412174991957434331897728832886774240949237053029036486817201015805693646410236055142667157196319467703994377755518168446607505171128177062418037968694958374/1067327106766840134123581838330523447780617888543762978694094511213579832028051956408742694360301578516125286522065376743978284088953444391820553979716971774162042897090993155184876965699882308806373118563586250329431749059774493991491788777666630278296247674046783083163360260966636064769034397515716189012926391708924491957264520078697310428531860592465212122012040029639858040165207892545601886998158231251115813084601113396091829341213001712075357124111103645132852836359258675400114108161163431373059408018798974357406424001781498412948644409477959036915978333230509689791149294835556267975614515531383547553780967018024244920505156709444456215331734109318304098123 (approx. 0.02176458031)
Result (for '(eat4 = 1)' states): 37456269588079629108551634732620454648314441428683637672664171979625269920613606859923329997667392865030827421637939226472007651108022188554857095701901648746447566938726196689266487720879990521295246610710139560098472564275244468726452566270618400505618828803067549621111041825061248201686340441542364861942736382750332350707705160683166185619198694718298572391944684443143790278336096803129456558928489399766598434504261818430367775616737013764352042206421655343409977150619175274885982776598220823620897634927326613665318680878121769533596787870488353258159778366459462846765167134462954447029632331322322074989714583748658996291949509573430447133445086570745907860/1067327106766840134123581838330523447780617888543762978694094511213579832028051956408742694360301578516125286522065376743978284088953444391820553979716971774162042897090993155184876965699882308806373118563586250329431749059774493991491788777666630278296247674046783083163360260966636064769034397515716189012926391708924491957264520078697310428531860592465212122012040029639858040165207892545601886998158231251115813084601113396091829341213001712075357124111103645132852836359258675400114108161163431373059408018798974357406424001781498412948644409477959036915978333230509689791149294835556267975614515531383547553780967018024244920505156709444456215331734109318304098123 (approx. 0.03509352414)
Result (for '(eat5 = 1)' states): 60817919224731385883363554257759885032704075323822839020813526623864828453075421606918838119186712119206814829637076555663491331787285437378802250654898244790010489501824518179200876575136382451658956212551809505558232873474809572170869422965493406450739435607645901502807950434886635778033155515105111246957548327662990935175452801984443205934282438898514688355355284582315468000105207059987307364185573501958154292346118778824589871772819558127441336831540619719838449505909496842472373219108064184291311158510576366083380803852568225544020973973562782975867896747441929389654779264793354454693959866505748662274911514368781605123794769943048975002253100950859307023/1067327106766840134123581838330523447780617888543762978694094511213579832028051956408742694360301578516125286522065376743978284088953444391820553979716971774162042897090993155184876965699882308806373118563586250329431749059774493991491788777666630278296247674046783083163360260966636064769034397515716189012926391708924491957264520078697310428531860592465212122012040029639858040165207892545601886998158231251115813084601113396091829341213001712075357124111103645132852836359258675400114108161163431373059408018798974357406424001781498412948644409477959036915978333230509689791149294835556267975614515531383547553780967018024244920505156709444456215331734109318304098123 (approx. 0.05698151845)
Result (for '(eat6 = 1)' states): 99636762081455705537147851372810053155321461602474638192734923873449905862145203102535167448717306479884214232383939746816855565626866798837162131994905215583211868099884008159094535780957636406930186831134313974681469391333779743147885308540386723797945183150179066702635385648958495915186085414853786569031383181907221179589089684383067675641871526652163810065861312712487256629122430517883047522256624746772869818565903409189616422491784939373934770684768148495133532401770876945459812088798915132022833545742923329475429852148976825884137812368688677897351173774984521102675532079955811742557353489845466268874340169928873254284037779884104356086697435979607092958/1067327106766840134123581838330523447780617888543762978694094511213579832028051956408742694360301578516125286522065376743978284088953444391820553979716971774162042897090993155184876965699882308806373118563586250329431749059774493991491788777666630278296247674046783083163360260966636064769034397515716189012926391708924491957264520078697310428531860592465212122012040029639858040165207892545601886998158231251115813084601113396091829341213001712075357124111103645132852836359258675400114108161163431373059408018798974357406424001781498412948644409477959036915978333230509689791149294835556267975614515531383547553780967018024244920505156709444456215331734109318304098123 (approx. 0.09335166459)
Result (for '(eat7 = 1)' states): 166767092021516266396726044680183431080732613422398407438662233462945247232634504412719386979075948068197703327914738319389275928145742453023082962811240453448436024258219874874813760707059993394559247086976478999874180236160654943046929053064728997135218329853318362723242076662129005705813215485678604596802270510988574072032029090680852490669069899363911677213181761668598452804181838779144120202207380842389430277752763005964581262327469063742433212923362588765328887817656217543374559073335758072584212204680925083178153011191889702013223883444714830848672674048788247319654311367684874649022504427998336480544210295792466893687879268883062411221701176670237469369/1067327106766840134123581838330523447780617888543762978694094511213579832028051956408742694360301578516125286522065376743978284088953444391820553979716971774162042897090993155184876965699882308806373118563586250329431749059774493991491788777666630278296247674046783083163360260966636064769034397515716189012926391708924491957264520078697310428531860592465212122012040029639858040165207892545601886998158231251115813084601113396091829341213001712075357124111103645132852836359258675400114108161163431373059408018798974357406424001781498412948644409477959036915978333230509689791149294835556267975614515531383547553780967018024244920505156709444456215331734109318304098123 (approx. 0.1562474062)
Result (for '(eat8 = 1)' states): 297407472605796606299499034821949024006142453384800618474016316722875268724032622428517107006174408122069441776283928900118389370434878203423622148693879586115223725261503297309070135678357668982399636184852811590673591098494476022328966628858779742813503668309539665608841227097983643193210938800776478901360220836772948066934842257694828174287530580641737129516167110675252561333795137705525288431472580883845947085449253119667076996340969651678946873025648164595429066547540269437006944066736334651502477796903240395421399739663288349369423111710922001435767124917889612399278293847350389629414346737091573888240072142172501076647497225395178785367683693458711753676/1067327106766840134123581838330523447780617888543762978694094511213579832028051956408742694360301578516125286522065376743978284088953444391820553979716971774162042897090993155184876965699882308806373118563586250329431749059774493991491788777666630278296247674046783083163360260966636064769034397515716189012926391708924491957264520078697310428531860592465212122012040029639858040165207892545601886998158231251115813084601113396091829341213001712075357124111103645132852836359258675400114108161163431373059408018798974357406424001781498412948644409477959036915978333230509689791149294835556267975614515531383547553780967018024244920505156709444456215331734109318304098123 (approx. 0.2786469778)
Time for model checking: 1550.325s.

Performance statistics:
  * peak memory usage: 201MB
  * CPU time: 1544.384s
  * wallclock time: 1550.362s