Instances of family mA-t2-2qbf-5cnf-80var-1280cl solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
2qbf-5cnf-80var-1280cl.7UNSAT9.5
2qbf-5cnf-80var-1280cl.4UNSAT10.07
2qbf-5cnf-80var-1280cl.5UNSAT11.96
2qbf-5cnf-80var-1280cl.0UNSAT15.02
2qbf-5cnf-80var-1280cl.3UNSAT15.74
2qbf-5cnf-80var-1280cl.9UNSAT15.91
2qbf-5cnf-80var-1280cl.2UNSAT18.3
2qbf-5cnf-80var-1280cl.8UNSAT24.5
2qbf-5cnf-80var-1280cl.1UNSAT30.28
2qbf-5cnf-80var-1280cl.6UNSAT69.14