Instances of family qbfeval12 solved by HQSpre_solver
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
lights3_021_1_022SAT0.1
s38584_3_238FAIL900
s1196_1_5FAIL900