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

InstanceResultTime
2qbf-5cnf-40var-160cl.2UNSAT0.99
2qbf-5cnf-40var-160cl.1UNSAT4.54
2qbf-5cnf-40var-160cl.7UNSAT329.09
2qbf-5cnf-40var-160cl.6UNSAT674.82
2qbf-5cnf-40var-160cl.8FAIL901
2qbf-5cnf-40var-160cl.5FAIL901
2qbf-5cnf-40var-160cl.9FAIL901
2qbf-5cnf-40var-160cl.3FAIL901.01
2qbf-5cnf-40var-160cl.0FAIL901.01
2qbf-5cnf-40var-160cl.4FAIL901.01