Sota solver results for family k_grz

Instance	Solver	Result	Time
k_grz_n-1	quantor3.0	SAT	0.01
k_grz_n-10	AQME-1NN	SAT	1.07
k_grz_n-11	AQME-1NN	SAT	1.06
k_grz_n-12	AQME-1NN	SAT	1.05
k_grz_n-13	AQME-1NN	SAT	1.48
k_grz_n-14	Nenofex	SAT	2.11
k_grz_n-15	AQME-1NN	SAT	1.8
k_grz_n-16	AQME-1NN	SAT	2.62
k_grz_n-17	AQME-1NN	SAT	3.18
k_grz_n-18	AQME-1NN	SAT	3.19
k_grz_n-19	AQME-1NN	SAT	3.46
k_grz_n-2	quantor3.0	SAT	0.01
k_grz_n-20	AQME-1NN	SAT	3.95
k_grz_n-21	quantor3.0	SAT	11.13
k_grz_n-3	quantor3.0	SAT	0.02
k_grz_n-4	quantor3.0	SAT	0.01
k_grz_n-5	quantor3.0	SAT	0.02
k_grz_n-6	quantor3.0	SAT	0.02
k_grz_n-7	quantor3.0	SAT	0.02
k_grz_n-8	quantor3.0	SAT	0.03
k_grz_n-9	quantor3.0	SAT	0.2

QBF Solver Evaluation Portal