Unique instances for GhostQ_PG___plain_qcir_2018
QBFEVAL'18 - Prenex non-CNF Track


InstanceTimeResult
chess_solving_mate_in_3_2009_POLTAVA-OPEN_03697.56SAT