Sota solver results for family s1269
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
s1269_d5_sGhostQ-PG_plainSAT3.33