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

InstanceResultTime
2qbf-5cnf-160var-2560cl.4FAIL13.66
2qbf-5cnf-160var-2560cl.6FAIL13.86
2qbf-5cnf-160var-2560cl.0FAIL14.04
2qbf-5cnf-160var-2560cl.1FAIL14.04
2qbf-5cnf-160var-2560cl.8FAIL14.18
2qbf-5cnf-160var-2560cl.3FAIL14.18
2qbf-5cnf-160var-2560cl.5FAIL14.6
2qbf-5cnf-160var-2560cl.7FAIL14.63
2qbf-5cnf-160var-2560cl.2FAIL14.84
2qbf-5cnf-160var-2560cl.9FAIL15.12