Instances of family k_grz_n solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_grz_n-2SAT0.01
k_grz_n-3SAT0.15
k_grz_n-9SAT4.89
k_grz_n-12SAT13.41
k_grz_n-13SAT14.68
k_grz_n-16SAT33.47
k_grz_n-17SAT35.68
k_grz_n-18FAIL39.46