Results for instance p10-5.pddl_planlen=25
Prenex CNF Track



Solver Time Result
Rareqs_20180SAT
depqbf_prefix_opt_qdo0.04SAT
Caqe-bloqqer-qdo1.06SAT
nanoqbf_bloqqer1.12SAT
Caqe-hqspre1.31SAT
caqe-pre1.31SAT
Qute_opt5001.5SAT
Qute_default1.52SAT
Qute_rrs1.52SAT
nanoqbf_hqspre1.78SAT
depqbf_pre_QxQBH1.95SAT
GhostQ___plain_pcnf_20198.15SAT
GhostQ___cegar_pcnf_20199.02SAT
iprover_bloqqer_single28.55SAT
iprover_bloqqer_schedule31.48SAT