SOLVER	SOLVED	TIME	SAT	TIME	UNSAT	TIME	UNIQUE	TIME
Clearn	338	5267.99	76	1939.28	262	3328.71	0	0
CSBJ	320	5956.06	74	2038.39	246	3917.67	0	0
eqube-bj	418	4343.98	76	87.12	342	4256.86	0	0
eqube-lrn	426	3452.67	86	93.12	340	3359.55	0	0
GRL	335	5975.14	73	1213.3	262	4761.84	0	0
orsat	60	1.24	0	0	60	1.24	0	0
qbfl.BS	218	3265.93	92	1.06	126	3264.87	0	0
qbfl.JW	263	6380.26	94	58.35	169	6321.91	0	0
QMRes	142	4091.29	53	1594.07	89	2497.22	0	0
quantor-2.1	120	263.75	52	0.78	68	262.97	0	0
openqbf	277	5525.99	64	334.51	213	5191.48	0	0
qsat	321	3491.18	60	450.01	261	3041.17	1	208.12
semprop	384	3069.28	80	1614.06	304	1455.22	0	0
ssolve	403	1028.3	86	346.87	317	681.43	1	0.45
WalkQSAT	316	5838.05	75	2262.17	241	3575.88	0	0
yquaffle	197	3166.62	34	184.69	163	2981.93	0	0