Sota solver results for family k_d4_p
QBFEVAL'07


InstanceSolverResultTime
k_d4_p-12sKizzo-0.10-qckUNSAT0.11
k_d4_p-16sKizzo-0.10-qckUNSAT0.16
k_d4_p-20sKizzo-0.10-qckUNSAT0.23
k_d4_p-21sKizzo-0.10-qckUNSAT0.27
k_d4_p-8sKizzo-0.10-qckUNSAT0.05