Instances of family mA-t2-1qbf-5cnf-160var-5120cl solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
1qbf-5cnf-160var-5120cl.3FAIL28.88
1qbf-5cnf-160var-5120cl.9FAIL31.44
1qbf-5cnf-160var-5120cl.6FAIL31.77
1qbf-5cnf-160var-5120cl.1FAIL31.91
1qbf-5cnf-160var-5120cl.7FAIL32.93
1qbf-5cnf-160var-5120cl.8FAIL34.42
1qbf-5cnf-160var-5120cl.0FAIL35.55
1qbf-5cnf-160var-5120cl.4FAIL35.77
1qbf-5cnf-160var-5120cl.5FAIL37.04
1qbf-5cnf-160var-5120cl.2FAIL41.87