Results for instance p10-10.pddl_planlen=19
Prenex CNF Track



Solver Time Result
depqbf_prefix_opt_qdo0.65SAT
Rareqs_20181.03SAT
Caqe-hqspre2.32SAT
caqe-pre2.35SAT
Qute_opt5002.78SAT
Qute_default2.78SAT
Qute_rrs2.8SAT
nanoqbf_hqspre3.3SAT
depqbf_pre_QxQBH3.81SAT
nanoqbf_bloqqer5.29SAT
Caqe-bloqqer-qdo5.79SAT
GhostQ___plain_pcnf_201922.75SAT
GhostQ___cegar_pcnf_201924.06SAT
iprover_bloqqer_single79.6SAT
iprover_bloqqer_schedule79.7SAT