Instances of family mA-t2-4qbf-5cnf-160var-2560cl solved by GRL
QBFEVAL'06

InstanceResultTime
4qbf-5cnf-160var-2560cl.1UNSAT0.99
4qbf-5cnf-160var-2560cl.2UNSAT1.7
4qbf-5cnf-160var-2560cl.7UNSAT1.98
4qbf-5cnf-160var-2560cl.3UNSAT2.03
4qbf-5cnf-160var-2560cl.6UNSAT2.36
4qbf-5cnf-160var-2560cl.8UNSAT4.24
4qbf-5cnf-160var-2560cl.9UNSAT5.76
4qbf-5cnf-160var-2560cl.0UNSAT14.68
4qbf-5cnf-160var-2560cl.5UNSAT32.53
4qbf-5cnf-160var-2560cl.4UNSAT52.3