Unique instances for Caqe-hqspre
QBFEVAL'19 - Prenex CNF Track


InstanceTimeResult
c1_Debug_s5_f1_e1_v2832.47SAT
c2_Debug_s3_f2_e1_v3672.28SAT