Sota solver results for family k_grz_n
QBFEVAL'07


InstanceSolverResultTime
k_grz_n-12sKizzo-0.10-qckSAT0.1
k_grz_n-16preQuel_sKizzo-0.10SAT0.38
k_grz_n-20preQuel_sKizzo-0.10SAT3.19
k_grz_n-21preQuel_sKizzo-0.10SAT4.31