Instances of family mA-t2-5qbf-5cnf-160var-5120cl solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
5qbf-5cnf-160var-5120cl.8UNSAT9.08
5qbf-5cnf-160var-5120cl.4UNSAT9.24
5qbf-5cnf-160var-5120cl.9UNSAT9.35
5qbf-5cnf-160var-5120cl.5UNSAT9.4
5qbf-5cnf-160var-5120cl.3UNSAT10.01
5qbf-5cnf-160var-5120cl.1UNSAT10.15
5qbf-5cnf-160var-5120cl.2UNSAT11.79
5qbf-5cnf-160var-5120cl.7UNSAT11.88
5qbf-5cnf-160var-5120cl.0UNSAT12.76
5qbf-5cnf-160var-5120cl.6UNSAT30.05