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

InstanceResultTime
2qbf-5cnf-80var-640cl.3UNSAT0
2qbf-5cnf-80var-640cl.0UNSAT0.05
2qbf-5cnf-80var-640cl.1UNSAT1.89
2qbf-5cnf-80var-640cl.4UNSAT5.19
2qbf-5cnf-80var-640cl.9UNSAT10.45
2qbf-5cnf-80var-640cl.5UNSAT56.99
2qbf-5cnf-80var-640cl.8UNSAT74.84
2qbf-5cnf-80var-640cl.2FAIL900.99
2qbf-5cnf-80var-640cl.7FAIL901
2qbf-5cnf-80var-640cl.6FAIL901