Instances of family mA-t2-4qbf-5cnf-20var-320cl solved by openQbf
QBFEVAL'05

InstanceResultTime
4qbf-5cnf-20var-320cl.1UNSAT0.2
4qbf-5cnf-20var-320cl.7UNSAT0.3
4qbf-5cnf-20var-320cl.6UNSAT0.32
4qbf-5cnf-20var-320cl.9UNSAT0.34
4qbf-5cnf-20var-320cl.3UNSAT0.34
4qbf-5cnf-20var-320cl.4UNSAT0.45
4qbf-5cnf-20var-320cl.8UNSAT0.66
4qbf-5cnf-20var-320cl.2UNSAT1
4qbf-5cnf-20var-320cl.0UNSAT1.04
4qbf-5cnf-20var-320cl.5UNSAT12.3