Instances of family mA-t2-4qbf-5cnf-20var-160cl solved by qube4.0
QBFEVAL'06

InstanceResultTime
4qbf-5cnf-20var-160cl.8UNSAT0.03
4qbf-5cnf-20var-160cl.0UNSAT0.05
4qbf-5cnf-20var-160cl.3UNSAT0.13
4qbf-5cnf-20var-160cl.1UNSAT0.3
4qbf-5cnf-20var-160cl.2SAT0.57
4qbf-5cnf-20var-160cl.5UNSAT0.73
4qbf-5cnf-20var-160cl.7UNSAT0.91
4qbf-5cnf-20var-160cl.4UNSAT1.78
4qbf-5cnf-20var-160cl.9SAT2.14
4qbf-5cnf-20var-160cl.6UNSAT4.59