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

InstanceResultTime
5qbf-5cnf-160var-2560cl.2FAIL15.22
5qbf-5cnf-160var-2560cl.7FAIL15.39
5qbf-5cnf-160var-2560cl.0FAIL15.5
5qbf-5cnf-160var-2560cl.6FAIL15.57
5qbf-5cnf-160var-2560cl.5FAIL15.74
5qbf-5cnf-160var-2560cl.8FAIL15.77
5qbf-5cnf-160var-2560cl.9FAIL15.91
5qbf-5cnf-160var-2560cl.4FAIL16.59
5qbf-5cnf-160var-2560cl.3FAIL16.77
5qbf-5cnf-160var-2560cl.1FAIL34.12