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

InstanceResultTime
3qbf-5cnf-80var-640cl.8FAIL8.87
3qbf-5cnf-80var-640cl.6FAIL8.94
3qbf-5cnf-80var-640cl.9FAIL9.01
3qbf-5cnf-80var-640cl.5FAIL9.12
3qbf-5cnf-80var-640cl.7FAIL9.13
3qbf-5cnf-80var-640cl.1FAIL9.21
3qbf-5cnf-80var-640cl.4FAIL9.36
3qbf-5cnf-80var-640cl.3FAIL9.44
3qbf-5cnf-80var-640cl.2FAIL10.55
3qbf-5cnf-80var-640cl.0FAIL10.92