Instances of family qbfeval12 solved by depqbf-v2
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
lights3_021_0_027UNSAT0.09
lights3_021_0_009SAT0.12
lights3_035_0_002UNSAT0.21
lights3_035_0_027UNSAT0.21
lights3_035_0_051UNSAT0.31
s1196_1_5SAT221.41