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

InstanceResultTime
lights3_021_0_009SAT0.4
lights3_021_0_027UNSAT0.43
lights3_035_0_027UNSAT0.55
lights3_035_0_051UNSAT0.62
lights3_035_0_002UNSAT0.74
s1196_1_5SAT93.34