probFD

Model:	rabin v.1 (MDP)
Parameter(s)	N = 10
Property:	live (prob-reach)

python2.7 probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py rabin.10.jani -c probfd-qcomp19/jani-to-ppddl/config_rabin.py
python2.7 probfd-qcomp19/builds/release64/bin/translate/translate.py rabin.10-domain.ppddl rabin.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

Walltime:

> 1800s (Timeout)

Parsing...
Parsing: [0.120s CPU, 0.121s wall-clock]
Normalizing task... [0.010s CPU, 0.007s wall-clock]
Instantiating...
Generating Datalog program... [0.020s CPU, 0.015s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [0.260s CPU, 0.263s wall-clock]
Preparing model... [0.140s CPU, 0.135s wall-clock]
Generated 4851 rules.
Computing model... 

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