Instances of family k_lin_n solved by rareqs-nn
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k_lin_n-3SAT92.28
k_lin_n-17FAIL599.61
k_lin_n-5FAIL599.71
k_lin_n-6FAIL599.71
k_lin_n-8FAIL599.71