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

InstanceResultTime
6qbf-5cnf-80var-2560cl.6FAIL16.31
6qbf-5cnf-80var-2560cl.9FAIL16.56
6qbf-5cnf-80var-2560cl.3FAIL17.51
6qbf-5cnf-80var-2560cl.0FAIL17.83
6qbf-5cnf-80var-2560cl.5FAIL18.41
6qbf-5cnf-80var-2560cl.2FAIL18.56
6qbf-5cnf-80var-2560cl.1FAIL20.09
6qbf-5cnf-80var-2560cl.4FAIL20.24
6qbf-5cnf-80var-2560cl.7FAIL21.36
6qbf-5cnf-80var-2560cl.8FAIL22.16