Instances of family k_dum_p solved by caqe-picosat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_dum_p-4UNSAT0.02
k_dum_p-2UNSAT0.02
k_dum_p-3UNSAT0.02
k_dum_p-6UNSAT0.03
k_dum_p-12UNSAT0.05
k_dum_p-14UNSAT0.06
k_dum_p-17UNSAT0.07
k_dum_p-16UNSAT0.07
k_dum_p-20UNSAT0.08
k_dum_p-21UNSAT0.08