Instances of family mA-t2-2qbf-5cnf-40var-320cl solved by qube5.0
QBFEVAL'06

InstanceResultTime
2qbf-5cnf-40var-320cl.0UNSAT0.69
2qbf-5cnf-40var-320cl.8UNSAT0.9
2qbf-5cnf-40var-320cl.6UNSAT1.08
2qbf-5cnf-40var-320cl.7UNSAT15.46
2qbf-5cnf-40var-320cl.5UNSAT31.85
2qbf-5cnf-40var-320cl.9UNSAT48.89
2qbf-5cnf-40var-320cl.1UNSAT54.66
2qbf-5cnf-40var-320cl.3UNSAT98.86
2qbf-5cnf-40var-320cl.4UNSAT1047.47
2qbf-5cnf-40var-320cl.2UNSAT5365.82