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

InstanceResultTime
6qbf-5cnf-40var-640cl.3FAIL13.48
6qbf-5cnf-40var-640cl.7FAIL13.8
6qbf-5cnf-40var-640cl.4FAIL15.41
6qbf-5cnf-40var-640cl.5FAIL15.99
6qbf-5cnf-40var-640cl.6FAIL16.59
6qbf-5cnf-40var-640cl.8FAIL17.31
6qbf-5cnf-40var-640cl.0FAIL18.83
6qbf-5cnf-40var-640cl.2FAIL18.98
6qbf-5cnf-40var-640cl.1FAIL22.06
6qbf-5cnf-40var-640cl.9FAIL24.85