Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
QUBE-LRN	458	4603.3	108	1052.78	350	3550.52	4	3136.24
QUBE-BJ	445	5917.19	94	716.42	351	5200.77	0	0
sSolve	425	3272.02	104	689.32	321	2582.7	0	0
semprop	402	6581.62	91	1930.74	311	4650.88	0	0
CLearn	362	8171.46	94	2381.54	268	5789.92	0	0
GRL	362	11319.8	92	2320.54	270	8999.3	0	0
CSBJ	334	6827.95	88	2910.28	246	3917.67	0	0
QSAT	331	3727.91	70	686.74	261	3041.17	0	0
WalkQSAT	316	5838.05	75	2262.17	241	3575.88	0	0
openQbf	291	6956.31	78	1764.83	213	5191.48	0	0
QBFL-JW	277	7086.36	108	764.45	169	6321.91	0	0
QUANTOR	274	3948.62	116	2088.77	158	1859.85	10	2624.36
semprop	270	6791.07	122	2669.18	148	4121.89	5	814.56
CLearn	231	8661.86	98	3451.8	133	5210.06	0	0
yQuaffle	229	3853.06	89	1428.21	140	2424.85	0	0
yQuaffle	224	6046.58	55	1908.85	169	4137.73	0	0
QBFL-BS	223	3266.32	97	1.45	126	3264.87	0	0
sSolve	223	6492.92	96	3008.51	127	3484.41	0	0
QMRes	219	6331.95	117	3309.98	102	3021.97	28	901.54
GRL	213	6551.22	88	3469.98	125	3081.24	0	0
QUBE-BJ	212	7852.88	92	3908.97	120	3943.91	0	0
QSAT	208	8138.89	83	3070.4	125	5068.49	7	197.63
QUBE-LRN	205	7120.35	91	2406.17	114	4714.18	0	0
QBFL-JW	191	4867.45	69	2143.55	122	2723.9	0	0
CSBJ	191	5656.95	84	2535.27	107	3121.68	0	0
QBFL-BS	186	3076.23	70	1465.71	116	1610.52	0	0
openQbf	171	5168.62	64	1789.24	107	3379.38	0	0
WalkQSAT	163	7262.51	83	4113.37	80	3149.14	0	0
QMRes	147	4096.73	58	1599.51	89	2497.22	0	0
QUANTOR	130	312.23	62	49.26	68	262.97	0	0
orSAT	71	1243.58	35	1134.49	36	109.09	0	0
orSAT	62	1.49	2	0.25	60	1.24	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal