Instances of family qbfeval12 solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
lights3_021_0_009SAT0.67
lights3_021_0_027UNSAT0.71
lights3_035_0_002UNSAT0.74
lights3_035_0_051UNSAT0.82
lights3_035_0_027UNSAT0.83
s1196_1_5FAIL600