Sota solver results for family Logn
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
lognBWLARGEA0caqe-portfolioUNSAT0.12
lognBWLARGEA1aqme-10UNSAT1.66
lognBWLARGEB0caqe-portfolioUNSAT0.12
lognBWLARGEB1aqme-10UNSAT2.84