Instances of family mA-t2-3qbf-5cnf-40var-1280cl solved by QbflHR
QBFEVAL'05

InstanceResultTime
3qbf-5cnf-40var-1280cl.2UNSAT0.04
3qbf-5cnf-40var-1280cl.8UNSAT0.07
3qbf-5cnf-40var-1280cl.9UNSAT0.09
3qbf-5cnf-40var-1280cl.4UNSAT0.41
3qbf-5cnf-40var-1280cl.1UNSAT0.45
3qbf-5cnf-40var-1280cl.6UNSAT0.77
3qbf-5cnf-40var-1280cl.3UNSAT0.87
3qbf-5cnf-40var-1280cl.7UNSAT1.92
3qbf-5cnf-40var-1280cl.0UNSAT4.7
3qbf-5cnf-40var-1280cl.5UNSAT102.6