Instances of family mA-t2-3qbf-5cnf-160var-2560cl solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
3qbf-5cnf-160var-2560cl.7UNSAT2.51
3qbf-5cnf-160var-2560cl.1UNSAT3.85
3qbf-5cnf-160var-2560cl.6UNSAT7.48
3qbf-5cnf-160var-2560cl.8UNSAT8.44
3qbf-5cnf-160var-2560cl.2UNSAT8.65
3qbf-5cnf-160var-2560cl.9UNSAT9.07
3qbf-5cnf-160var-2560cl.3UNSAT9.82
3qbf-5cnf-160var-2560cl.4UNSAT10.47
3qbf-5cnf-160var-2560cl.0UNSAT11.57
3qbf-5cnf-160var-2560cl.5UNSAT12.69