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

InstanceResultTime
6qbf-5cnf-160var-2560cl.9UNSAT9.92
6qbf-5cnf-160var-2560cl.0UNSAT10.22
6qbf-5cnf-160var-2560cl.3UNSAT11.57
6qbf-5cnf-160var-2560cl.5UNSAT11.9
6qbf-5cnf-160var-2560cl.8UNSAT12
6qbf-5cnf-160var-2560cl.7UNSAT12.79
6qbf-5cnf-160var-2560cl.1UNSAT14.49
6qbf-5cnf-160var-2560cl.2UNSAT47.04
6qbf-5cnf-160var-2560cl.4UNSAT50.74
6qbf-5cnf-160var-2560cl.6UNSAT76.92