Solver	Total		Sat		Unsat		Unique
Solver	#	Time	#	Time	#	Time	#	Time
ncQuBE1.0	79	2378.91	63	1389.83	16	989.09	0	0
ncQuBE1.1	77	1016.84	61	499.18	16	517.66	0	0
AQME-C4.5	73	3908.66	60	1676.51	13	2232.15	0	0
yQuaffle	71	2080.01	54	928.95	17	1151.07	1	536.99
AQME-1NN	71	4054.42	60	1998.06	11	2056.36	0	0
sKizzo-0.10-qck	64	204.46	52	139.86	12	64.6	0	0
sKizzo-0.10-std	64	1126.12	52	253.82	12	872.31	0	0
AQME-RIPPER	62	367.13	52	226.46	10	140.67	0	0
Adaptive2clsQ	56	3273.84	53	2537.79	3	736.05	0	0
EBDDRES	52	110.57	48	79.32	4	31.25	0	0
squolem	39	966.34	39	966.34	0	0	0	0
QUANTOR_2.15	25	156.27	25	156.27	0	0	0	0
pQBF	19	522.62	19	522.62	0	0	0	0
yQuaffle	0	0	0	0	0	0	0	0
QUANTOR_2.15	0	0	0	0	0	0	0	0
squolem	0	0	0	0	0	0	0	0
sKizzo-0.10-std	0	0	0	0	0	0	0	0
sKizzo-0.10-qck	0	0	0	0	0	0	0	0
pQBF	0	0	0	0	0	0	0	0
Adaptive2clsQ	0	0	0	0	0	0	0	0
EBDDRES	0	0	0	0	0	0	0	0
ncQuBE1.0	0	0	0	0	0	0	0	0
ncQuBE1.1	0	0	0	0	0	0	0	0
AQME-RIPPER	0	0	0	0	0	0	0	0
AQME-C4.5	0	0	0	0	0	0	0	0
AQME-1NN	0	0	0	0	0	0	0	0

	Problematic solver
	Hors-Concours solver

QBF Solver Evaluation Portal