Instances of family mA-t2-6qbf-5cnf-40var-640cl solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-40var-640cl.9UNSAT10.32
6qbf-5cnf-40var-640cl.4UNSAT12.12
6qbf-5cnf-40var-640cl.6UNSAT12.96
6qbf-5cnf-40var-640cl.5UNSAT13.55
6qbf-5cnf-40var-640cl.2UNSAT16.5
6qbf-5cnf-40var-640cl.8UNSAT19.37
6qbf-5cnf-40var-640cl.3UNSAT30.8
6qbf-5cnf-40var-640cl.7UNSAT32.07
6qbf-5cnf-40var-640cl.0UNSAT43.62
6qbf-5cnf-40var-640cl.1UNSAT74.38