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

InstanceResultTime
6qbf-5cnf-20var-640cl.8FAIL0.01
6qbf-5cnf-20var-640cl.7FAIL17.38
6qbf-5cnf-20var-640cl.3FAIL17.6
6qbf-5cnf-20var-640cl.2FAIL18.12
6qbf-5cnf-20var-640cl.6FAIL18.32
6qbf-5cnf-20var-640cl.5FAIL19.07
6qbf-5cnf-20var-640cl.0FAIL20.41
6qbf-5cnf-20var-640cl.9FAIL47.1
6qbf-5cnf-20var-640cl.1FAIL52.6
6qbf-5cnf-20var-640cl.4FAIL59.06