Instances of family k_grz_n solved by ghostq-cegar
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k_grz_n-2SAT0.12
k_grz_n-5SAT0.17
k_grz_n-10SAT0.36
k_grz_n-20SAT0.44
k_grz_n-21SAT0.66