Instances of family mA-t2-6qbf-5cnf-160var-2560cl solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
6qbf-5cnf-160var-2560cl.3UNSAT10.79
6qbf-5cnf-160var-2560cl.9UNSAT12.02
6qbf-5cnf-160var-2560cl.6UNSAT12.39
6qbf-5cnf-160var-2560cl.0UNSAT12.83
6qbf-5cnf-160var-2560cl.8UNSAT14.69
6qbf-5cnf-160var-2560cl.5UNSAT15.15
6qbf-5cnf-160var-2560cl.2UNSAT50.46
6qbf-5cnf-160var-2560cl.1UNSAT57.47
6qbf-5cnf-160var-2560cl.7UNSAT68.47
6qbf-5cnf-160var-2560cl.4UNSAT86.76