Instances of family mA-t2-5qbf-5cnf-80var-1280cl solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
5qbf-5cnf-80var-1280cl.6UNSAT4.12
5qbf-5cnf-80var-1280cl.7UNSAT4.16
5qbf-5cnf-80var-1280cl.9UNSAT4.19
5qbf-5cnf-80var-1280cl.4UNSAT4.19
5qbf-5cnf-80var-1280cl.3UNSAT4.25
5qbf-5cnf-80var-1280cl.2UNSAT4.26
5qbf-5cnf-80var-1280cl.1UNSAT4.26
5qbf-5cnf-80var-1280cl.5UNSAT6.17
5qbf-5cnf-80var-1280cl.8UNSAT6.22
5qbf-5cnf-80var-1280cl.0UNSAT8.25