Instances of family k_dum_p solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_dum_p-1UNSAT0.01
k_dum_p-6UNSAT0.67
k_dum_p-8UNSAT4.12
k_dum_p-11UNSAT5.69
k_dum_p-17UNSAT9.71
k_dum_p-15UNSAT12.06
k_dum_p-16FAIL15.48
k_dum_p-20FAIL18.02