Storm.exact

Benchmark
Model:vgs v.1 (MA)
Parameter(s)NR_VARIANT = 5, TIME_BOUND = 10000
Property:MaxPrReachFailedTB (prob-reach-time-bounded)
Invocation (exact)
/home/tq429871/storm/build/bin/storm --jani /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/vgs/vgs.5.jani --janiproperty MaxPrReachFailedTB --constants TIME_BOUND=10000 --exact --timemem
Sparse engine with exact model checking
Execution
Walltime:> 1800s (Timeout)
Log
Storm 1.6.2

Date: Sat Sep  5 21:04:49 2020
Command line arguments: --jani /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/ma/vgs/vgs.5.jani --janiproperty MaxPrReachFailedTB --constants TIME_BOUND=10000 --exact --timemem
Current working directory: /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks

Time for model input parsing: 0.367s.

 WARN (cli.cpp:262): The model checking query does not seem to be supported for the selected engine. Storm will try to solve the query, but you will most likely get an error for at least one of the provided properties.


----------
Computation aborted after 1800.1767134666443 seconds since the total time limit of 1800 seconds was exceeded.