Instances of family k_grz_n solved by sSolve
QBFEVAL'04

InstanceResultTime
k_grz_n-2SAT0.44
k_grz_n-3SAT0.45
k_grz_n-9SAT5.1
k_grz_n-13FAIL901
k_grz_n-16FAIL901
k_grz_n-12FAIL901
k_grz_n-17FAIL901.01
k_grz_n-18FAIL901.01