Storm.exact

Benchmark
Model:stream v.1 (MA)
Parameter(s)N = 1000
Property:pr_underrun (prob-reach)
Invocation (exact)
/home/tq429871/storm/build/bin/storm --prism /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/stream/stream.ma --prop /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/stream/stream.csl pr_underrun --constants N=1000 --exact --timemem
Sparse engine with exact model checking
Execution
Walltime:6.511109828948975s
Return code:0
Relative Error:1.0074591376922896e-28
Log
Storm 1.6.2

Date: Sat Sep  5 20:59:13 2020
Command line arguments: --prism /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/stream/stream.ma --prop /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/stream/stream.csl pr_underrun --constants N=1000 --exact --timemem
Current working directory: /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks

Time for model input parsing: 0.002s.

Time for model construction: 3.275s.

-------------------------------------------------------------- 
Model type: 	Markov Automaton (sparse)
States: 	503501
Transitions: 	1004999
Choices: 	504500
Markovian St.: 	502500
Max. Rate.: 	8
Reward Models:  none
State Labels: 	3 labels
   * deadlock -> 0 item(s)
   * underrun -> 999 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Time for model preprocessing: 0.000s.

-------------------------------------------------------------- 
Model type: 	Markov Automaton (sparse)
States: 	503501
Transitions: 	1004999
Choices: 	504500
Markovian St.: 	502500
Max. Rate.: 	8
Reward Models:  none
State Labels: 	3 labels
   * deadlock -> 0 item(s)
   * underrun -> 999 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "pr_underrun": Pmin=? [F "underrun"] ...
Result (for initial states): 1453134824409004805351223476247994826173403171134601822952288797811819600773298281504835531798899607887936778092194349189496029143387597025645672712882561001229035888306189143908637732775543810926508733906053953860764105910306987693853034543330927683563317073176898601947195751691027335003283036232041535379147664596230914424882253206017832741296719895547119483313246470370039943241101189563835929436648819778463135860128582498260130048526141762638569316279199197739470693082887629950760465400192482113835880501493181934538333183185120630296891473150343753135030638667223652511488324542226097755165391163044939651673436546424779059535299056172036950745850446945148587541747048982439982196343517676429603235227344559938088800671453262537337816453300486860901965937008543411618488808075613956246960884536845977151222390174093569905558552834563598919849825343466655801875612835223471230177704715250716300394390803637783874067478403730003560427746028041635049322508694735484655303150362174530806922125476947343755086504556664307450340400831773800758032688598040531304204116837711307589456957815988264013560740097362116301696740298572072058587557687736037099646064115875831180526399234363017004646133549948479986297786641493387988323076280413887510167177231181279523397440872143509978098891001356819476007433930965871305356221303080276896078309593972663025198375159547572880387565717421829344332820651407177857985864770973394343550691321874520875763984504638562141575054197258415001445908641447911595146503537018964193438233966188093822238198705823304326973080853626340296159533261551013165881874502590915150205822672477251554851964719698436131105130401092888806447833510615958833749548943097273676856062658045854416512445555535868793511219575068265453637267795733318005139485584041993450166562287560878066756280716314277028679991941874062536557447433459850094688096428365301707127633299092742282942096255812686146154551756287202363241131228512292497787465192339943174038101073461001479211783845527987518183140798646901680705035176738774481450029224111533045712949333195461544413337817105678511119159730856571410434991606443430551998604908736125322199685491096519932055486820767468287677844584278385962520605241087415064431384477148162244453680160130005059053987415526651790400539981774069405732389610101/5357543035931336604742125245300009052807024058527668037218751941851755255624680612465991894078479290637973364587765734125935726428461570217992288787349287401967283887412115492710537302531185570938977091076523237491790970633699383779582771973038531457285598238843271083830214915826312193418602834034688000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 (approx. 0.2712315729)
Time for model checking: 3.056s.

Performance statistics:
  * peak memory usage: 669MB
  * CPU time: 6.178s
  * wallclock time: 6.447s