Instances of family mA-t2-3qbf-5cnf-160var-2560cl solved by 2clsQ
QBFEVAL'06

InstanceResultTime
3qbf-5cnf-160var-2560cl.9UNSAT19.48
3qbf-5cnf-160var-2560cl.7UNSAT19.63
3qbf-5cnf-160var-2560cl.5UNSAT38.51
3qbf-5cnf-160var-2560cl.0UNSAT43.95
3qbf-5cnf-160var-2560cl.1UNSAT53.89
3qbf-5cnf-160var-2560cl.8UNSAT98.15
3qbf-5cnf-160var-2560cl.4UNSAT110.73
3qbf-5cnf-160var-2560cl.2UNSAT124.71
3qbf-5cnf-160var-2560cl.3UNSAT159.09
3qbf-5cnf-160var-2560cl.6UNSAT250.91