probFD

Benchmark
Model:pnueli-zuck v.1 (MDP)
Parameter(s)N = 10
Property:live (prob-reach)
Invocation (default)
python2.7 probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py pnueli-zuck.10.jani -c probfd-qcomp19/jani-to-ppddl/config_mutual.py
python2.7 probfd-qcomp19/builds/release64/bin/translate/translate.py pnueli-zuck.10-domain.ppddl pnueli-zuck.10-problem.ppddl
probfd-qcomp19/builds/release64/bin/downward --sas output.sas --engine fretpi-hdp --heuristic hmax --enable-caching --epsilon 1e-6
Probabilistic-FD FRET-pi + HDP configuration
Execution
Walltime:> 1800s (Timeout)
Log
----------
Computation aborted after 1800.0190756320953 seconds since the total time limit of 1800 seconds was exceeded.