Instances of family k_lin_n solved by hordeqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
k_lin_n-3SAT1.06
k_lin_n-5SAT1.06
k_lin_n-7SAT1.07
k_lin_n-6SAT1.07
k_lin_n-8SAT2.08
k_lin_n-9SAT4.09
k_lin_n-11SAT5.1
k_lin_n-14SAT12.15
k_lin_n-15SAT14.14
k_lin_n-17SAT28.2