Sota solver results for family k_poly

Instance	Solver	Result	Time
k_poly_n-1	ssolve-A	SAT	0.01
k_poly_n-10	quantor3.0	SAT	0.01
k_poly_n-11	quantor3.0	SAT	0.01
k_poly_n-12	quantor3.0	SAT	0.02
k_poly_n-13	quantor3.0	SAT	0.02
k_poly_n-14	quantor3.0	SAT	0.02
k_poly_n-15	quantor3.0	SAT	0.02
k_poly_n-16	quantor3.0	SAT	0.02
k_poly_n-17	quantor3.0	SAT	0.02
k_poly_n-18	quantor3.0	SAT	0.02
k_poly_n-19	quantor3.0	SAT	0.02
k_poly_n-2	quantor3.0	SAT	0
k_poly_n-20	quantor3.0	SAT	0.02
k_poly_n-21	quantor3.0	SAT	0.02
k_poly_n-3	quantor3.0	SAT	0.01
k_poly_n-4	quantor3.0	SAT	0.01
k_poly_n-5	quantor3.0	SAT	0
k_poly_n-6	quantor3.0	SAT	0.02
k_poly_n-7	quantor3.0	SAT	0.01
k_poly_n-8	quantor3.0	SAT	0.02
k_poly_n-9	quantor3.0	SAT	0.01

QBF Solver Evaluation Portal