Instances of family k_grz_n solved by caqe-picosat
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_grz_n-2SAT0.04
k_grz_n-4SAT0.07
k_grz_n-5SAT0.08
k_grz_n-6SAT0.11
k_grz_n-7SAT0.12
k_grz_n-8SAT0.15
k_grz_n-10SAT0.23
k_grz_n-18SAT0.47
k_grz_n-20SAT0.54
k_grz_n-21SAT0.58