Sota solver results for family k_d4

Instance	Solver	Result	Time
k_d4_n-1	ssolveB	SAT	0.01
k_d4_n-10	AQME-1NN	SAT	5.72
k_d4_n-11	AQME-1NN	SAT	11.43
k_d4_n-12	AQME-1NN	SAT	18.69
k_d4_n-13	AQME-1NN	SAT	17.08
k_d4_n-14	AQME-1NN	SAT	17.23
k_d4_n-15	AQME-1NN	SAT	16.89
k_d4_n-16	AQME-1NN	SAT	18.29
k_d4_n-17	AQME-1NN	SAT	19.27
k_d4_n-18	AQME-1NN	SAT	20.07
k_d4_n-19	AQME-1NN	SAT	71.94
k_d4_n-2	quantor3.0	SAT	0.02
k_d4_n-20	AQME-1NN	SAT	19.53
k_d4_n-21	AQME-1NN	SAT	19.1
k_d4_n-3	quantor3.0	SAT	0.24
k_d4_n-4	AQME-1NN	SAT	1.02
k_d4_n-5	AQME-1NN	SAT	1.14
k_d4_n-6	AQME-1NN	SAT	1.34
k_d4_n-7	AQME-1NN	SAT	1.63
k_d4_n-8	AQME-1NN	SAT	2.17
k_d4_n-9	AQME-1NN	SAT	3.42

QBF Solver Evaluation Portal