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

InstanceResultTime
4qbf-5cnf-20var-320cl.5UNSAT3.67
4qbf-5cnf-20var-320cl.6UNSAT12.63
4qbf-5cnf-20var-320cl.7UNSAT12.85
4qbf-5cnf-20var-320cl.4UNSAT60.7
4qbf-5cnf-20var-320cl.1UNSAT66.14
4qbf-5cnf-20var-320cl.3UNSAT159.85
4qbf-5cnf-20var-320cl.0UNSAT216.28
4qbf-5cnf-20var-320cl.9UNSAT224.92
4qbf-5cnf-20var-320cl.8UNSAT225.43
4qbf-5cnf-20var-320cl.2FAIL567.24