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

InstanceResultTime
6qbf-5cnf-160var-5120cl.6UNSAT10.91
6qbf-5cnf-160var-5120cl.0UNSAT11.79
6qbf-5cnf-160var-5120cl.3UNSAT13.29
6qbf-5cnf-160var-5120cl.1UNSAT14.68
6qbf-5cnf-160var-5120cl.5UNSAT15.34
6qbf-5cnf-160var-5120cl.2UNSAT15.88
6qbf-5cnf-160var-5120cl.9UNSAT16.01
6qbf-5cnf-160var-5120cl.8UNSAT17.11
6qbf-5cnf-160var-5120cl.7UNSAT18.64
6qbf-5cnf-160var-5120cl.4UNSAT50.42