Instances of family k_d4_p solved by QUANTOR
QBFEVAL'06

InstanceResultTime
k_d4_p-16UNSAT0.08
k_d4_p-20UNSAT0.11
k_d4_p-21UNSAT0.13
k_d4_p-8FAIL13.39
k_d4_p-12FAIL19.25