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

InstanceResultTime
6qbf-5cnf-20var-160cl.8SAT69.83
6qbf-5cnf-20var-160cl.7SAT118.81
6qbf-5cnf-20var-160cl.0SAT144.42
6qbf-5cnf-20var-160cl.5SAT150.02
6qbf-5cnf-20var-160cl.2SAT151.36
6qbf-5cnf-20var-160cl.1SAT151.77
6qbf-5cnf-20var-160cl.6SAT152.1
6qbf-5cnf-20var-160cl.4SAT153.54
6qbf-5cnf-20var-160cl.3UNSAT155.73
6qbf-5cnf-20var-160cl.9SAT189.27