Instances of family mA-t2-5qbf-5cnf-160var-2560cl solved by qube3.0
QBFEVAL'06

InstanceResultTime
5qbf-5cnf-160var-2560cl.9UNSAT0.41
5qbf-5cnf-160var-2560cl.2UNSAT0.57
5qbf-5cnf-160var-2560cl.0UNSAT0.58
5qbf-5cnf-160var-2560cl.6UNSAT0.63
5qbf-5cnf-160var-2560cl.7UNSAT0.9
5qbf-5cnf-160var-2560cl.1UNSAT0.96
5qbf-5cnf-160var-2560cl.5UNSAT1.04
5qbf-5cnf-160var-2560cl.8UNSAT1.23
5qbf-5cnf-160var-2560cl.4UNSAT1.78
5qbf-5cnf-160var-2560cl.3UNSAT114.46