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

InstanceResultTime
4qbf-5cnf-160var-640cl.9SAT0.29
4qbf-5cnf-160var-640cl.0SAT1067.69
4qbf-5cnf-160var-640cl.2SAT1710.63
4qbf-5cnf-160var-640cl.6SAT5454.94
4qbf-5cnf-160var-640cl.7FAIL6000.62
4qbf-5cnf-160var-640cl.1FAIL6000.62
4qbf-5cnf-160var-640cl.4FAIL6000.62
4qbf-5cnf-160var-640cl.8FAIL6000.68
4qbf-5cnf-160var-640cl.3FAIL6000.74
4qbf-5cnf-160var-640cl.5FAIL6000.82