Instances of family k_dum_p solved by ssolve-A
QBFEVAL'08

InstanceResultTime
k_dum_p-1UNSAT0.02
k_dum_p-3UNSAT0.04
k_dum_p-2UNSAT0.04
k_dum_p-4UNSAT0.08
k_dum_p-5UNSAT0.1
k_dum_p-6UNSAT0.13
k_dum_p-7UNSAT0.15
k_dum_p-8UNSAT0.18
k_dum_p-9UNSAT0.26
k_dum_p-10UNSAT0.31
k_dum_p-11UNSAT0.44
k_dum_p-12UNSAT0.49
k_dum_p-13UNSAT0.59
k_dum_p-14UNSAT0.6
k_dum_p-15UNSAT0.7
k_dum_p-16UNSAT0.77
k_dum_p-17UNSAT0.8
k_dum_p-18UNSAT0.9
k_dum_p-19UNSAT0.96
k_dum_p-20UNSAT1.01
k_dum_p-21UNSAT1.07