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

InstanceResultTime
3qbf-5cnf-20var-40cl.3SAT0.01
3qbf-5cnf-20var-40cl.4SAT0.02
3qbf-5cnf-20var-40cl.5SAT19.47
3qbf-5cnf-20var-40cl.6SAT56.65
3qbf-5cnf-20var-40cl.7SAT104.48
3qbf-5cnf-20var-40cl.8SAT210.07
3qbf-5cnf-20var-40cl.9SAT358.88
3qbf-5cnf-20var-40cl.0SAT503.09
3qbf-5cnf-20var-40cl.2FAIL900.95
3qbf-5cnf-20var-40cl.1FAIL900.98