Unique instances for GhostQ___plain_qcir_2019
QBFEVAL'19 - Prenex non-CNF Track


InstanceTimeResult
chess_solving_mate_in_3_2000_CZE-CH_04660.32SAT