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

InstanceResultTime
4qbf-5cnf-160var-640cl.9SAT37.78
4qbf-5cnf-160var-640cl.6FAIL6000.24
4qbf-5cnf-160var-640cl.0FAIL6000.52
4qbf-5cnf-160var-640cl.1FAIL6000.53
4qbf-5cnf-160var-640cl.3FAIL6000.57
4qbf-5cnf-160var-640cl.8FAIL6000.63
4qbf-5cnf-160var-640cl.4FAIL6000.63
4qbf-5cnf-160var-640cl.2FAIL6000.66
4qbf-5cnf-160var-640cl.7FAIL6000.67
4qbf-5cnf-160var-640cl.5FAIL6000.73