SOLVER	SOLVED	TIME	SAT	TIME	UNSAT	TIME	UNIQUE	TIME
Clearn	216	335.38	22	325.46	194	9.92	0	0
CSBJ	216	326.38	22	316.37	194	10.01	0	0
eqube-bj	216	217.61	22	27.19	194	190.42	0	0
eqube-lrn	216	211.16	22	21.8	194	189.36	0	0
GRL	215	24.9	21	0.28	194	24.62	0	0
orsat	60	1.24	0	0	60	1.24	0	0
qbfl.BS	127	2887.7	20	0.32	107	2887.38	0	0
qbfl.JW	169	4453.42	22	57.71	147	4395.71	0	0
QMRes	111	2500.1	22	2.88	89	2497.22	0	0
quantor-2.1	90	263.14	22	0.17	68	262.97	0	0
openqbf	208	2433.19	22	151.3	186	2281.89	0	0
qsat	205	2023.03	20	0.13	185	2022.9	0	0
semprop	216	13.35	22	11.35	194	2	0	0
ssolve	216	2.38	22	0.23	194	2.15	0	0
WalkQSAT	216	376.3	22	365.72	194	10.58	0	0
yquaffle	144	1790.7	7	44.9	137	1745.8	0	0