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

InstanceResultTime
6qbf-5cnf-80var-1280cl.9FAIL13.15
6qbf-5cnf-80var-1280cl.4FAIL13.63
6qbf-5cnf-80var-1280cl.5FAIL14.47
6qbf-5cnf-80var-1280cl.0FAIL14.86
6qbf-5cnf-80var-1280cl.8FAIL15
6qbf-5cnf-80var-1280cl.3FAIL15.06
6qbf-5cnf-80var-1280cl.7FAIL18.6
6qbf-5cnf-80var-1280cl.1FAIL21.17
6qbf-5cnf-80var-1280cl.6FAIL23.21
6qbf-5cnf-80var-1280cl.2FAIL25.37