Sota solver results for family bomb <br> Prenex CNF Track

Instance	Solver	Result	Time
p10-10.pddl_planlen=19	depqbf_prefix_opt_qdo	SAT	0.65
p10-10.pddl_planlen=20	depqbf_prefix_opt_qdo	SAT	0.63
p10-5.pddl_planlen=24	Rareqs_2018	SAT	0
p10-5.pddl_planlen=25	Rareqs_2018	SAT	0
p20-1.pddl_planlen=48	Rareqs_2018	SAT	0
p20-1.pddl_planlen=49	Rareqs_2018	SAT	0
p20-10.pddl_planlen=39	depqbf_prefix_opt_qdo	SAT	7.11
p20-10.pddl_planlen=40	depqbf_prefix_opt_qdo	SAT	8.12
p20-20.pddl_planlen=29	depqbf_prefix_opt_qdo	SAT	44.12
p20-20.pddl_planlen=30	depqbf_prefix_opt_qdo	SAT	19.08

QBF Solver Evaluation Portal