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

InstanceResultTime
lights3_021_1_022SAT0.02
s1196_1_5FAIL900
s38584_3_238FAIL900