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

InstanceResultTime
3qbf-5cnf-20var-320cl.9UNSAT0.21
3qbf-5cnf-20var-320cl.7UNSAT0.45
3qbf-5cnf-20var-320cl.4UNSAT0.52
3qbf-5cnf-20var-320cl.6UNSAT0.55
3qbf-5cnf-20var-320cl.2UNSAT0.77
3qbf-5cnf-20var-320cl.5UNSAT0.87
3qbf-5cnf-20var-320cl.1UNSAT1.01
3qbf-5cnf-20var-320cl.0UNSAT1.1
3qbf-5cnf-20var-320cl.3UNSAT1.78
3qbf-5cnf-20var-320cl.8UNSAT7.86