Instances of family mA-t2-2qbf-5cnf-40var-320cl solved by ssolve-ut
QBFEVAL'06

InstanceResultTime
2qbf-5cnf-40var-320cl.7UNSAT0.13
2qbf-5cnf-40var-320cl.3UNSAT0.16
2qbf-5cnf-40var-320cl.6UNSAT0.19
2qbf-5cnf-40var-320cl.5UNSAT0.19
2qbf-5cnf-40var-320cl.9UNSAT0.21
2qbf-5cnf-40var-320cl.4UNSAT0.21
2qbf-5cnf-40var-320cl.0UNSAT0.22
2qbf-5cnf-40var-320cl.1UNSAT0.25
2qbf-5cnf-40var-320cl.8UNSAT0.29
2qbf-5cnf-40var-320cl.2UNSAT0.39