Unique instances for GhostQ-PG_plain
QBFEVAL'17 - Prenex CNF Track


InstanceTimeResult
C880.blif_0.10_0.20_0_1_inp_exact223.43UNSAT
C6288.blif_0.10_0.20_0_1_inp_exact706.19SAT