Unique instances for dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex CNF Track


InstanceTimeResult
k_ph_p-13111.66UNSAT
k_ph_p-14149.21UNSAT
k_ph_p-15209.41UNSAT