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

InstanceResultTime
6qbf-5cnf-20var-640cl.3FAIL14.91
6qbf-5cnf-20var-640cl.7FAIL15.08
6qbf-5cnf-20var-640cl.1FAIL15.52
6qbf-5cnf-20var-640cl.4FAIL15.91
6qbf-5cnf-20var-640cl.0FAIL15.98
6qbf-5cnf-20var-640cl.8FAIL16.38
6qbf-5cnf-20var-640cl.5FAIL16.68
6qbf-5cnf-20var-640cl.2FAIL16.75
6qbf-5cnf-20var-640cl.9FAIL17.3
6qbf-5cnf-20var-640cl.6FAIL19.88