Instances of family mA-t2-4qbf-5cnf-160var-5120cl solved by SQBF
QBFEVAL'06

InstanceResultTime
4qbf-5cnf-160var-5120cl.7UNSAT23.26
4qbf-5cnf-160var-5120cl.0UNSAT24.78
4qbf-5cnf-160var-5120cl.4UNSAT25.28
4qbf-5cnf-160var-5120cl.6UNSAT26.21
4qbf-5cnf-160var-5120cl.5UNSAT26.36
4qbf-5cnf-160var-5120cl.9UNSAT27.75
4qbf-5cnf-160var-5120cl.2UNSAT27.77
4qbf-5cnf-160var-5120cl.1UNSAT28.79
4qbf-5cnf-160var-5120cl.8UNSAT28.89
4qbf-5cnf-160var-5120cl.3UNSAT29.77