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

InstanceResultTime
4qbf-5cnf-20var-640cl.5FAIL0
4qbf-5cnf-20var-640cl.4FAIL17.64
4qbf-5cnf-20var-640cl.1FAIL18.39
4qbf-5cnf-20var-640cl.3FAIL19.58
4qbf-5cnf-20var-640cl.0FAIL19.97
4qbf-5cnf-20var-640cl.8FAIL20.14
4qbf-5cnf-20var-640cl.7FAIL20.16
4qbf-5cnf-20var-640cl.9FAIL21.24
4qbf-5cnf-20var-640cl.6FAIL21.32
4qbf-5cnf-20var-640cl.2FAIL87.41