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

InstanceResultTime
k_grz_n-2SAT0.03
k_grz_n-4SAT0.05
k_grz_n-5SAT0.06
k_grz_n-6SAT0.16
k_grz_n-7SAT0.21
k_grz_n-8SAT0.33
k_grz_n-10SAT1.57
k_grz_n-20FAIL599.85
k_grz_n-18FAIL599.85
k_grz_n-21FAIL599.86