SOLVER	SOLVED	TIME	SAT	TIME	UNSAT	TIME	UNIQUE	TIME
Clearn	106	3241.85	39	447.37	67	2794.48	0	0
CSBJ	92	1058.53	35	877.03	57	181.5	0	0
eqube-bj	87	2885.25	37	812.97	50	2072.28	0	0
eqube-lrn	97	3329.88	42	1057.12	55	2272.76	1	433.15
GRL	109	5832.96	40	1118.83	69	4714.13	0	0
orsat	39	65.56	11	13.47	28	52.09	0	0
qbfl.BS	94	570.61	21	0.79	73	569.82	0	0
qbfl.JW	102	2244.09	30	706.42	72	1537.67	0	0
QMRes	41	2517.66	20	490.79	21	2026.87	0	0
quantor-2.1	93	506.41	29	311.28	64	195.13	0	0
openqbf	90	3428.22	32	1888.64	58	1539.58	0	0
qsat	79	1348.87	32	420.23	47	928.64	0	0
semprop	100	3945.59	34	351.96	66	3593.63	0	0
ssolve	105	2806.09	40	357.09	65	2449	0	0
WalkQSAT	61	145.79	18	2.01	43	143.78	0	0
yquaffle	112	3281.25	44	1780.98	68	1500.27	0	0