Instances of family qbfeval12 solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
lights3_021_0_009SAT0.01
lights3_021_0_027UNSAT0.02
lights3_035_0_051UNSAT0.03
lights3_035_0_002UNSAT0.03
lights3_035_0_027UNSAT0.03
s1196_1_5FAIL599.78