Unique instances for xb-bid-qsts
QBFEVAL'16 - Prenex non-CNF Track.


InstanceTimeResult
adder-10-sat27.02UNSAT
adder-14-sat75.28UNSAT
Adder2-16-s285.7UNSAT
connect_8x7_6_R344.06SAT
k_ph_p-1252.82UNSAT
k14_2_3413.12SAT
k8_2_338.61SAT
p20-1.pddl_planlen=2418.81UNSAT
sortnetsort10.v.stepl.00531.22SAT
sortnetsort9.v.stepl.00731.1SAT
stmt19_64_9949.29SAT