Family irqlkeapclte results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	194.17	19.42	5.75	17.56	9.46	1
caqe_2017_v1	9000	900	0	900	0	0
caqe_2017_v2	9000	900	0	900	0	0
caqe_2017_v3	9000	900	0	900	0	0
CUED1919_NL	4411.56	441.16	159.49	383.65	73.4	0
CUED1919_NNL	9000	900	0	900	0	0
dynQBF-bloqqer-hqspre	119.69	11.97	3.93	10.7	5.14	1
ghostq-cegar	1234.54	123.45	40.68	118.13	64.51	1
GhostQ-PG_cegar	1143.72	114.37	26.35	112.21	28.31	1
GhostQ-PG_plain	9000	900	0	900	0	0
heretiq	9000	900	0	900	0	0
HQSpre_solver	9000	900	0	900	0	0
ijtihad_v1	9000	900	0	900	0	0
ijtihad_v2	9000	900	0	900	0	0
iProver-qbf-2017-07-27-v3	9000	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	9000	900	0	900	0	0
prefix-opt-depqbf	9000	900	0	900	0	0
qbfrelay	186.51	18.65	19.52	9.41	3.77	1
qbfrelay-limited-depqbf	7280.04	728	321.89	888.47	804.55	0.2
QELL_default	9000	900	0	900	0	0
QELL_unit	9000	900	0	900	0	0
qesto	9000	900	0	900	0	0
Qute_default	9000	900	0	900	0	0
Qute_opt500	9000	900	0	900	0	0
Qute_random	9000	900	0	900	0	0
rareqs	9000	900	0	900	0	0
rev_qfun0.1	547.35	54.74	13.32	51.56	11.74	1
xb-qsts_bqsts2.0	9000	900	0	900	0	0
xb-qsts_xbqsts1.0	8993.08	899.31	2.08	900	0	0
xb-qsts_xbqsts2.0	9000	900	0	900	0	0

QBF Solver Evaluation Portal