Unique instances for GhostQ___plain_pcnf_2019
QBFEVAL'19 - Prenex CNF Track


InstanceTimeResult
ken.flash^09.C-d4175.22UNSAT
eijk.bs1512.S-f44.72SAT
eijk.S1196.S-f2207.78UNSAT