Instances of family k_grz_n solved by QBFL-BS
QBFEVAL'04

InstanceResultTime
k_grz_n-2FAIL901
k_grz_n-18FAIL901.01
k_grz_n-3FAIL901.01
k_grz_n-9FAIL901.01
k_grz_n-17FAIL901.01
k_grz_n-12FAIL901.02
k_grz_n-13FAIL901.02
k_grz_n-16FAIL901.02