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

InstanceResultTime
2qbf-5cnf-40var-160cl.3SAT0.14
2qbf-5cnf-40var-160cl.2UNSAT0.15
2qbf-5cnf-40var-160cl.7UNSAT0.16
2qbf-5cnf-40var-160cl.9SAT0.17
2qbf-5cnf-40var-160cl.4SAT0.2
2qbf-5cnf-40var-160cl.1UNSAT0.22
2qbf-5cnf-40var-160cl.8SAT0.23
2qbf-5cnf-40var-160cl.0SAT0.23
2qbf-5cnf-40var-160cl.6UNSAT0.25
2qbf-5cnf-40var-160cl.5SAT0.29