Instances of family k_grz_n solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_grz_n-5SAT0.51
k_grz_n-7SAT0.51
k_grz_n-4SAT0.51
k_grz_n-10SAT0.51
k_grz_n-8SAT0.51
k_grz_n-6SAT0.51
k_grz_n-20SAT0.51
k_grz_n-21SAT0.51
k_grz_n-18SAT0.51
k_grz_n-2SAT0.51