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

InstanceResultTime
3qbf-5cnf-80var-320cl.9SAT0
3qbf-5cnf-80var-320cl.7FAIL0
3qbf-5cnf-80var-320cl.1FAIL0.01
3qbf-5cnf-80var-320cl.4FAIL23.18
3qbf-5cnf-80var-320cl.6FAIL79.65
3qbf-5cnf-80var-320cl.0FAIL92.16
3qbf-5cnf-80var-320cl.2FAIL96.36
3qbf-5cnf-80var-320cl.8FAIL147.16
3qbf-5cnf-80var-320cl.3FAIL388.36
3qbf-5cnf-80var-320cl.5FAIL432.17