Instances of family mA-t2-2qbf-5cnf-20var-160cl solved by QUANTOR
QBFEVAL'05

InstanceResultTime
2qbf-5cnf-20var-160cl.6UNSAT1.47
2qbf-5cnf-20var-160cl.2UNSAT2.6
2qbf-5cnf-20var-160cl.4UNSAT3.56
2qbf-5cnf-20var-160cl.3UNSAT5.43
2qbf-5cnf-20var-160cl.1UNSAT5.44
2qbf-5cnf-20var-160cl.8UNSAT7.18
2qbf-5cnf-20var-160cl.5UNSAT12.02
2qbf-5cnf-20var-160cl.7UNSAT14.04
2qbf-5cnf-20var-160cl.0UNSAT14.35
2qbf-5cnf-20var-160cl.9UNSAT25.86