Unique instances for idq
QBFEVAL'18 - DQBF Solvers Track


InstanceTimeResult
battleship-12-12-unsat.cnf.dqdimacs578.49UNSAT
C432.blif_0.50_1.00_8_2_henkin.dqdimacs7.05UNSAT