SOLVER	SOLVED	TIME	SAT	TIME	UNSAT	TIME	UNIQUE	TIME
Clearn	60	1874.05	25	387.85	35	1486.2	0	0
CSBJ	56	1246.08	24	370.22	32	875.86	0	0
eqube-bj	55	311.54	23	113.73	32	197.81	0	0
eqube-lrn	65	1834.47	26	216.15	39	1618.32	0	0
GRL	59	2105.2	25	384.04	34	1721.16	0	0
orsat	20	769.07	13	713.16	7	55.91	0	0
qbfl.BS	49	262.4	18	244.6	31	17.8	0	0
qbfl.JW	58	967	19	311.19	39	655.81	0	0
QMRes	47	1711.22	24	1039.16	23	672.06	9	155.5
quantor-2.1	71	2854.68	31	1424.47	40	1430.21	10	2624.36
openqbf	46	1376.16	17	86.5	29	1289.66	0	0
qsat	43	2955.75	18	240.81	25	2714.94	0	0
semprop	68	2058.21	26	288.41	42	1769.8	2	545.51
ssolve	52	1814.63	19	231.34	33	1583.29	0	0
WalkQSAT	37	1596.86	18	768.96	19	827.9	0	0
yquaffle	66	1193.25	26	273.25	40	920	0	0