Sota solver results for family k_t4p

Instance	Solver	Result	Time
k_t4p_n-1	quantor3.0	SAT	0.01
k_t4p_n-10	AQME-1NN	SAT	2.16
k_t4p_n-11	AQME-1NN	SAT	2.18
k_t4p_n-12	AQME-1NN	SAT	3.39
k_t4p_n-13	AQME-1NN	SAT	3.58
k_t4p_n-14	AQME-1NN	SAT	3.87
k_t4p_n-15	AQME-1NN	SAT	3.82
k_t4p_n-16	AQME-1NN	SAT	2.75
k_t4p_n-17	AQME-1NN	SAT	4.2
k_t4p_n-18	quantor3.0	SAT	0.2
k_t4p_n-19	quantor3.0	SAT	0.21
k_t4p_n-2	quantor3.0	SAT	0.02
k_t4p_n-20	quantor3.0	SAT	0.22
k_t4p_n-21	quantor3.0	SAT	0.23
k_t4p_n-3	quantor3.0	SAT	0.03
k_t4p_n-4	quantor3.0	SAT	0.04
k_t4p_n-5	AQME-1NN	SAT	1.25
k_t4p_n-6	AQME-1NN	SAT	1.42
k_t4p_n-7	AQME-1NN	SAT	1.54
k_t4p_n-8	AQME-1NN	SAT	1.68
k_t4p_n-9	AQME-1NN	SAT	1.94

QBF Solver Evaluation Portal