Sota solver results for family k_path

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

QBF Solver Evaluation Portal