Sota solver results for family k_dum

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

QBF Solver Evaluation Portal