SOLVER	SOLVED	TIME	SAT	TIME	UNSAT	TIME	UNIQUE	TIME
Clearn	594	16833.3	193	5833.34	401	11000	0	0
CSBJ	526	12484.9	173	5445.55	353	7039.35	0	0
eqube-bj	658	13771	187	4626.35	471	9144.68	0	0
eqube-lrn	664	11724.6	200	3459.92	464	8264.7	1	433.15
GRL	576	17871.1	181	5790.53	395	12080.5	0	0
orsat	134	1245.08	38	1134.75	96	110.33	0	0
qbfl.BS	410	6342.57	168	1467.18	242	4875.39	0	0
qbfl.JW	469	11953.8	178	2908.01	291	9045.81	0	0
QMRes	367	10428.7	176	4909.51	191	5519.19	28	901.54
quantor-2.1	405	4260.86	179	2138.04	226	2122.82	10	2624.36
openqbf	463	12125.1	143	3554.28	320	8570.86	0	0
qsat	540	11866.8	154	3757.14	386	8109.66	8	405.75
semprop	673	13372.7	214	4599.93	459	8772.77	5	814.56
ssolve	649	9764.95	201	3697.84	448	6067.11	1	0.45
WalkQSAT	480	13100.6	159	6375.55	321	6725.02	0	0
yquaffle	454	9899.65	145	3337.07	309	6562.58	0	0