Family driver results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	34.18	8.55	11.31	3.01	14.03	1
caqe_2017_v1	0.37	0.09	0.06	0.08	0.11	1
caqe_2017_v2	900.42	225.11	389.65	0.18	450.03	0.75
caqe_2017_v3	900.44	225.11	389.65	0.19	450.03	0.75
CUED1919_NL	1319.25	329.81	367.1	209.46	645.31	0
CUED1919_NNL	1805.12	451.28	448.72	452.5	897.44	0
dynQBF-bloqqer-hqspre	4.77	1.19	0.89	0.99	1.67	1
ghostq-cegar	1808.97	452.24	447.77	454.3	895.52	0.5
GhostQ-PG_cegar	1809.17	452.29	447.72	454.38	895.42	0.5
GhostQ-PG_plain	1806.74	451.69	448.32	453.16	896.63	0.5
heretiq	0.4	0.1	0.06	0.09	0.11	1
HQSpre_solver	6.58	1.65	1.02	1.66	1.62	1
ijtihad_v1	0.39	0.1	0.06	0.08	0.11	1
ijtihad_v2	0.41	0.1	0.06	0.09	0.11	1
iProver-qbf-2017-07-27-v3	2745.83	686.46	369.87	900	427.09	0.25
iProver-qbf-bloqqer-2017-07-27-v3	4.73	1.18	0.82	1.03	1.57	1
prefix-opt-depqbf	2700.53	675.13	389.48	900	449.74	0.25
qbfrelay	5.41	1.35	0.9	1.16	1.71	1
qbfrelay-limited-depqbf	230.65	57.66	32.96	75.64	41.76	1
QELL_default	2702	675.5	388.85	900	449	0.25
QELL_unit	2701.05	675.26	389.26	900	449.48	0.25
qesto	0.38	0.1	0.06	0.08	0.11	1
Qute_default	5.06	1.27	1.37	0.61	1.85	1
Qute_opt500	5.15	1.29	1.43	0.59	1.93	1
Qute_random	5.14	1.29	1.43	0.59	1.92	1
rareqs	0.38	0.1	0.06	0.08	0.11	1
rev_qfun0.1	0.37	0.09	0.06	0.08	0.11	1
xb-qsts_bqsts2.0	4.67	1.17	0.84	1.01	1.62	1
xb-qsts_xbqsts1.0	4.63	1.16	0.84	0.99	1.6	1
xb-qsts_xbqsts2.0	4.63	1.16	0.84	1	1.62	1

QBF Solver Evaluation Portal