Instances of family mA-t2-4qbf-5cnf-160var-2560cl solved by Qbfl
QBFEVAL'06

InstanceResultTime
4qbf-5cnf-160var-2560cl.0FAIL5998.02
4qbf-5cnf-160var-2560cl.1FAIL5998.34
4qbf-5cnf-160var-2560cl.9FAIL5998.51
4qbf-5cnf-160var-2560cl.6FAIL5998.77
4qbf-5cnf-160var-2560cl.7FAIL5998.83
4qbf-5cnf-160var-2560cl.5FAIL5999.35
4qbf-5cnf-160var-2560cl.8FAIL5999.66
4qbf-5cnf-160var-2560cl.3FAIL5999.97
4qbf-5cnf-160var-2560cl.4FAIL6000.15
4qbf-5cnf-160var-2560cl.2FAIL6000.16