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

InstanceResultTime
6qbf-5cnf-20var-160cl.8FAIL16.95
6qbf-5cnf-20var-160cl.0FAIL19.53
6qbf-5cnf-20var-160cl.1FAIL37.64
6qbf-5cnf-20var-160cl.3FAIL41.64
6qbf-5cnf-20var-160cl.7FAIL52.22
6qbf-5cnf-20var-160cl.4FAIL91.26
6qbf-5cnf-20var-160cl.2FAIL174.68
6qbf-5cnf-20var-160cl.9FAIL212.38
6qbf-5cnf-20var-160cl.6FAIL422.76
6qbf-5cnf-20var-160cl.5FAIL560.11