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

InstanceResultTime
lights3_021_0_009SAT0.03
lights3_021_0_027UNSAT0.03
lights3_035_0_002UNSAT0.05
lights3_035_0_027UNSAT0.05
lights3_035_0_051UNSAT0.05
s1196_1_5FAIL599.81