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

InstanceResultTime
k_poly_n-2SAT0.02
k_poly_n-6SAT0.02
k_poly_n-5SAT0.02
k_poly_n-7SAT0.02
k_poly_n-14SAT0.03
k_poly_n-17SAT0.03
k_poly_n-20SAT0.03
k_poly_n-16SAT0.03
k_poly_n-18SAT0.03
k_poly_n-21SAT0.03