Family RankingFunctions results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	Solved/Total
AIGSolve	3.37	1.69	1.02	1.69	1
caqe_2017_v1	0.12	0.06	0.03	0.06	1
caqe_2017_v2	2.92	1.46	1.44	1.46	1
caqe_2017_v3	2.9	1.45	1.43	1.45	1
CUED1919_NL	1800	900	0	900	0
CUED1919_NNL	1800	900	0	900	0
dynQBF-bloqqer-hqspre	1.12	0.56	0.35	0.56	1
ghostq-cegar	1800	900	0	900	0
GhostQ-PG_cegar	2.78	1.39	0.71	1.39	1
GhostQ-PG_plain	2.93	1.47	0.69	1.47	1
heretiq	0.13	0.07	0.03	0.07	1
HQSpre_solver	1.45	0.73	0.7	0.73	1
ijtihad_v1	0.13	0.07	0.03	0.07	1
ijtihad_v2	0.12	0.06	0.03	0.06	1
iProver-qbf-2017-07-27-v3	1800	900	0	900	0
iProver-qbf-bloqqer-2017-07-27-v3	1.12	0.56	0.33	0.56	1
prefix-opt-depqbf	0.08	0.04	0.02	0.04	1
qbfrelay	1.41	0.71	0.4	0.71	1
qbfrelay-limited-depqbf	0.53	0.27	0.01	0.27	1
QELL_default	1800	900	0	900	0
QELL_unit	1800	900	0	900	0
qesto	0.13	0.07	0.03	0.07	1
Qute_default	2.83	1.42	1.4	1.42	1
Qute_opt500	2.82	1.41	1.39	1.41	1
Qute_random	2.82	1.41	1.39	1.41	1
rareqs	0.12	0.06	0.03	0.06	1
rev_qfun0.1	0.12	0.06	0.03	0.06	1
xb-qsts_bqsts2.0	1.07	0.54	0.34	0.54	1
xb-qsts_xbqsts1.0	1.07	0.54	0.33	0.54	1
xb-qsts_xbqsts2.0	1.13	0.57	0.36	0.57	1

QBF Solver Evaluation Portal