Instances of family k_d4_p solved by QSAT
QBFEVAL'04

InstanceResultTime
k_d4_p-3UNSAT0
k_d4_p-7UNSAT0
k_d4_p-17UNSAT0.01
k_d4_p-6UNSAT0.01
k_d4_p-19UNSAT0.01
k_d4_p-13UNSAT0.01
k_d4_p-16UNSAT0.02
k_d4_p-14UNSAT0.02