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

InstanceResultTime
6qbf-5cnf-20var-640cl.6FAIL11.6
6qbf-5cnf-20var-640cl.5FAIL11.67
6qbf-5cnf-20var-640cl.1FAIL11.78
6qbf-5cnf-20var-640cl.0FAIL11.86
6qbf-5cnf-20var-640cl.3FAIL12.02
6qbf-5cnf-20var-640cl.7FAIL12.15
6qbf-5cnf-20var-640cl.2FAIL12.28
6qbf-5cnf-20var-640cl.9FAIL12.3
6qbf-5cnf-20var-640cl.8FAIL12.45
6qbf-5cnf-20var-640cl.4FAIL12.7