python2.7 probfd-qcomp19/jani-to-ppddl/Jani_PPDDL_Compiler.py pnueli-zuck.5.jani -c probfd-qcomp19/jani-to-ppddl/config_mutual.py
python2.7 probfd-qcomp19/builds/release64/bin/translate/translate.py pnueli-zuck.5-domain.ppddl pnueli-zuck.5-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
Parsing...
Parsing: [4.050s CPU, 4.049s wall-clock]
Normalizing task... [0.200s CPU, 0.196s wall-clock]
Instantiating...
Generating Datalog program... [0.260s CPU, 0.266s wall-clock]
Normalizing Datalog program...
Normalizing Datalog program: [4.180s CPU, 4.174s wall-clock]
Preparing model... [3.590s CPU, 3.594s wall-clock]
Generated 113313 rules.
Computing model... [62.670s CPU, 62.691s wall-clock]
3794666 relevant atoms
855280 auxiliary atoms
4649946 final queue length
8443856 total queue pushes
Completing instantiation... [278.220s CPU, 278.628s wall-clock]
Instantiating: [351.900s CPU, 356.173s wall-clock]
Computing fact groups...
Finding invariants...
5 initial candidates
Finding invariants: [14.350s CPU, 29.406s wall-clock]
Checking invariant weight... [0.000s CPU, 0.001s wall-clock]
Instantiating groups... [0.000s CPU, 0.001s wall-clock]
Collecting mutex groups... [0.000s CPU, 0.000s wall-clock]
Choosing groups...
81 uncovered facts
Choosing groups: [0.000s CPU, 0.000s wall-clock]
Building translation key... [0.000s CPU, 0.001s wall-clock]
Computing fact groups: [14.360s CPU, 29.418s wall-clock]
Building STRIPS to SAS dictionary... [0.000s CPU, 0.000s wall-clock]
Building dictionary for full mutex groups... [0.000s CPU, 0.000s wall-clock]
Building mutex information...
Building mutex information: [0.000s CPU, 0.000s wall-clock]
Translating task...
Processing axioms...
Simplifying axioms... [0.000s CPU, 0.000s wall-clock]
Processing axioms: [10.050s CPU, 10.056s wall-clock]
Translating task: [304.030s CPU, 661.398s wall-clock]
2375980 effect conditions simplified
0 implied preconditions added
Detecting unreachable propositions...
----------
Computation aborted after 1801.2327363491058 seconds since the total time limit of 1800 seconds was exceeded.