Sota solver results for family k_ph

Instance	Solver	Result	Time
k_ph_n-1	quantor3.0	SAT	0
k_ph_n-10	QuBE6.1	SAT	0.33
k_ph_n-11	QuBE6.1	SAT	0.58
k_ph_n-12	QuBE6.1	SAT	1.08
k_ph_n-13	QuBE6.1	SAT	1.73
k_ph_n-14	QuBE6.1	SAT	2.84
k_ph_n-15	QuBE6.1	SAT	4.53
k_ph_n-16	AQME-1NN	SAT	7.12
k_ph_n-17	AQME-1NN	SAT	10.44
k_ph_n-18	AQME-1NN	SAT	15.71
k_ph_n-19	AQME-1NN	SAT	20.04
k_ph_n-2	QuBE6.1	SAT	0
k_ph_n-20	AQME-1NN	SAT	25.49
k_ph_n-21	AQME-1NN	SAT	36.53
k_ph_n-3	ssolveC	SAT	0.01
k_ph_n-4	quantor3.0	SAT	0
k_ph_n-5	quantor3.0	SAT	0.02
k_ph_n-6	quantor3.0	SAT	0.04
k_ph_n-7	QuBE6.1	SAT	0.07
k_ph_n-8	QuBE6.1	SAT	0.11
k_ph_n-9	QuBE6.1	SAT	0.19

QBF Solver Evaluation Portal