Sota solver results for family Logn
QBFEVAL'06


InstanceSolverResultTime
lognBWLARGEA1yQuaffleUNSAT0.26
lognBWLARGEB1yQuaffleUNSAT0.74