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

InstanceResultTime
6qbf-5cnf-80var-2560cl.0UNSAT8.77
6qbf-5cnf-80var-2560cl.6UNSAT8.81
6qbf-5cnf-80var-2560cl.3UNSAT9.44
6qbf-5cnf-80var-2560cl.1UNSAT10.88
6qbf-5cnf-80var-2560cl.5UNSAT11.52
6qbf-5cnf-80var-2560cl.9UNSAT11.67
6qbf-5cnf-80var-2560cl.8UNSAT44.11
6qbf-5cnf-80var-2560cl.7UNSAT46.27
6qbf-5cnf-80var-2560cl.4UNSAT49.65
6qbf-5cnf-80var-2560cl.2UNSAT125.41