Instances of family k_poly_n solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_poly_n-3SAT0.01
k_poly_n-4SAT0.01
k_poly_n-15SAT0.02
k_poly_n-8SAT0.02
k_poly_n-7SAT0.02
k_poly_n-1SAT0.02
k_poly_n-11SAT0.03
k_poly_n-18SAT0.05