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

InstanceResultTime
lights3_021_1_022SAT0.01
s1196_1_5FAIL900
s38584_3_238FAIL900