Sota solver results for family k_d4_p
QBFEVAL'06


InstanceSolverResultTime
k_d4_p-12QUANTOR_hcUNSAT0.01
k_d4_p-16QUANTOR_hcUNSAT0.02
k_d4_p-20QUANTOR_hcUNSAT0.01
k_d4_p-21QUANTOR_hcUNSAT0.02
k_d4_p-8QUANTOR_hcUNSAT0