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

InstanceResultTime
k_grz_n-2SAT0.07
k_grz_n-4SAT0.08
k_grz_n-5SAT0.17
k_grz_n-6SAT0.18
k_grz_n-7SAT0.21
k_grz_n-8SAT0.26
k_grz_n-10SAT0.43
k_grz_n-18SAT1.14
k_grz_n-20SAT2.83
k_grz_n-21SAT3.7