Instances of family k_grz_n solved by CLearn
QBFEVAL'04

InstanceResultTime
k_grz_n-2SAT1.16
k_grz_n-3SAT1.88
k_grz_n-9SAT32.32
k_grz_n-13SAT205.41
k_grz_n-12SAT234.12
k_grz_n-18FAIL901.01
k_grz_n-17FAIL901.01
k_grz_n-16FAIL901.01