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

InstanceResultTime
5qbf-5cnf-20var-640cl.1UNSAT0
5qbf-5cnf-20var-640cl.7UNSAT0.03
5qbf-5cnf-20var-640cl.0FAIL13.82
5qbf-5cnf-20var-640cl.8FAIL15.18
5qbf-5cnf-20var-640cl.5FAIL16.25
5qbf-5cnf-20var-640cl.6FAIL17.8
5qbf-5cnf-20var-640cl.3FAIL21.02
5qbf-5cnf-20var-640cl.9FAIL21.61
5qbf-5cnf-20var-640cl.2FAIL45.58
5qbf-5cnf-20var-640cl.4FAIL96.78