SOLVER	SOLVED	TIME	SAT	TIME	UNSAT	TIME	UNIQUE	TIME
Clearn	122	4932.61	54	1613.82	68	3318.79	0	0
CSBJ	104	5629.68	52	1722.02	52	3907.66	0	0
eqube-bj	202	4126.37	54	59.93	148	4066.44	0	0
eqube-lrn	210	3241.51	64	71.32	146	3170.19	0	0
GRL	120	5950.24	52	1213.02	68	4737.22	0	0
orsat	0	0	0	0	0	0	0	0
qbfl.BS	91	378.23	72	0.74	19	377.49	0	0
qbfl.JW	94	1926.84	72	0.64	22	1926.2	0	0
QMRes	31	1591.19	31	1591.19	0	0	0	0
quantor-2.1	30	0.61	30	0.61	0	0	0	0
openqbf	69	3092.8	42	183.21	27	2909.59	0	0
qsat	116	1468.15	40	449.88	76	1018.27	1	208.12
semprop	168	3055.93	58	1602.71	110	1453.22	0	0
ssolve	187	1025.92	64	346.64	123	679.28	1	0.45
WalkQSAT	100	5461.75	53	1896.45	47	3565.3	0	0
yquaffle	53	1375.92	27	139.79	26	1236.13	0	0