Sota solver results for family Logn
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceSolverResultTime
lognBWLARGEA0caqe-minisat-certUNSAT0.01
lognBWLARGEA1depqbf-cert-v1UNSAT1.02
lognBWLARGEB0caqe-minisat-certUNSAT0.02
lognBWLARGEB1depqbf-cert-v2UNSAT3.51