Instances of family mA-t2-6qbf-5cnf-80var-1280cl solved by Qbfl
QBFEVAL'06

InstanceResultTime
6qbf-5cnf-80var-1280cl.5FAIL599.54
6qbf-5cnf-80var-1280cl.2FAIL5996.12
6qbf-5cnf-80var-1280cl.0FAIL5997.02
6qbf-5cnf-80var-1280cl.4FAIL5997.33
6qbf-5cnf-80var-1280cl.9FAIL5997.73
6qbf-5cnf-80var-1280cl.7FAIL5997.73
6qbf-5cnf-80var-1280cl.8FAIL5998
6qbf-5cnf-80var-1280cl.1FAIL5998.14
6qbf-5cnf-80var-1280cl.3FAIL5998.14
6qbf-5cnf-80var-1280cl.6FAIL5998.58