Instances of family mA-t2-5qbf-5cnf-40var-640cl solved by Quaffle
QBFEVAL'06

InstanceResultTime
5qbf-5cnf-40var-640cl.8UNSAT0.02
5qbf-5cnf-40var-640cl.0FAIL542.46
5qbf-5cnf-40var-640cl.9FAIL543.54
5qbf-5cnf-40var-640cl.2FAIL543.7
5qbf-5cnf-40var-640cl.4FAIL544.47
5qbf-5cnf-40var-640cl.3FAIL544.6
5qbf-5cnf-40var-640cl.1FAIL551.07
5qbf-5cnf-40var-640cl.7FAIL551.52
5qbf-5cnf-40var-640cl.6FAIL551.65
5qbf-5cnf-40var-640cl.5FAIL555.16