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

InstanceResultTime
4qbf-5cnf-40var-1280cl.7UNSAT9.61
4qbf-5cnf-40var-1280cl.8UNSAT9.78
4qbf-5cnf-40var-1280cl.6UNSAT10.86
4qbf-5cnf-40var-1280cl.9UNSAT11.19
4qbf-5cnf-40var-1280cl.2UNSAT11.36
4qbf-5cnf-40var-1280cl.5UNSAT13.36
4qbf-5cnf-40var-1280cl.3UNSAT20.25
4qbf-5cnf-40var-1280cl.0UNSAT24.43
4qbf-5cnf-40var-1280cl.1UNSAT25.13
4qbf-5cnf-40var-1280cl.4UNSAT45.06