Instances of family k_lin_n solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_lin_n-3SAT0.02
k_lin_n-5SAT0.09
k_lin_n-6SAT0.14
k_lin_n-7SAT0.22
k_lin_n-8SAT0.3
k_lin_n-9SAT0.39
k_lin_n-11SAT0.69
k_lin_n-14SAT1.35
k_lin_n-15SAT1.57
k_lin_n-17SAT2.21