storm.sparse.evtfull-gmres-topo

Benchmark
Model: (philosophers-dlfix)
Parameter(s)N = 20
Invocation (sparse.evtfull-gmres-topo)
	$ARTIFACT_DIR/bin/storm --statistics --jani $ARTIFACT_DIR/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.20.jani --prop $ARTIFACT_DIR/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.20.props --steadystate evt --eqsolver topological --topological:eqsolver gmm++ --gmm++:method gmres --engine sparse --timemem --precision 1e-06
Sparse (default) engine
Execution
Walltime (MC-Time):499.5186839103699s (NA)
Return code:-9
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.20.jani --prop /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/philosophers-dlfix/philosophers-dlfix.20.props --steadystate evt --eqsolver topological '--topological:eqsolver' 'gmm++' '--gmm++:method' gmres --engine sparse --timemem --precision 1e-06
Current working directory: /rwthfs/rz/cluster/hpcwork/tq429871/evt-experiments/experiments

 WARN (GmmxxEquationSolverSettings.cpp:135): gmm++ is not selected as the preferred equation solver, so setting options for gmm++ might have no effect.
Time for model input parsing: 0.003s.

Time for model construction: 496.535s.

-------------------------------------------------------------- 
Model type: 	CTMC (sparse)
States: 	38613965
Transitions: 	495238728
Reward Models:  none
State Labels: 	22 labels
   * deadlock -> 0 item(s)
   * init -> 1 item(s)
   * (eat7 = 1) -> 5655148 item(s)
   * (eat6 = 1) -> 5653347 item(s)
   * (eat13 = 1) -> 5654868 item(s)
   * (eat9 = 1) -> 5654892 item(s)
   * (eat10 = 1) -> 5654883 item(s)
   * (eat8 = 1) -> 5654839 item(s)
   * (eat5 = 1) -> 5663844 item(s)
   * (eat4 = 1) -> 5602663 item(s)
   * (eat3 = 1) -> 5959252 item(s)
   * (eat11 = 1) -> 5654884 item(s)
   * (eat14 = 1) -> 5654979 item(s)
   * (eat2 = 1) -> 3880899 item(s)
   * (eat15 = 1) -> 5654332 item(s)
   * (eat16 = 1) -> 5658103 item(s)
   * (eat17 = 1) -> 5636124 item(s)
   * (eat18 = 1) -> 5764227 item(s)
   * (eat19 = 1) -> 5017588 item(s)
   * (eat1 = 1) -> 6625109 item(s)
   * (eat12 = 1) -> 5654887 item(s)
   * (eat20 = 1) -> 9369319 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Computing steady-state probabilities ...