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

InstanceResultTime
6qbf-5cnf-80var-2560cl.0FAIL0
6qbf-5cnf-80var-2560cl.1UNSAT0.01
6qbf-5cnf-80var-2560cl.4FAIL18.21
6qbf-5cnf-80var-2560cl.2FAIL18.59
6qbf-5cnf-80var-2560cl.5FAIL18.61
6qbf-5cnf-80var-2560cl.9FAIL18.66
6qbf-5cnf-80var-2560cl.7FAIL19.79
6qbf-5cnf-80var-2560cl.3FAIL20.04
6qbf-5cnf-80var-2560cl.8FAIL20.21
6qbf-5cnf-80var-2560cl.6FAIL20.23