Family Counter results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	1895.06	379.01	425.68	53.87	456.34	0.6
caqe_2017_v1	2737.88	547.58	431.79	900	881.06	0.4
caqe_2017_v2	3707.4	741.48	317.04	900	396.3	0.2
caqe_2017_v3	2738.18	547.64	431.72	900	880.91	0.4
CUED1919_NL	933.36	186.67	146.89	110.34	171.76	0
CUED1919_NNL	1346.67	269.33	352.87	14.57	209.46	0
dynQBF-bloqqer-hqspre	2702.78	540.56	440.23	900	898.61	0.4
ghostq-cegar	4500	900	0	900	0	0
GhostQ-PG_cegar	4500	900	0	900	0	0
GhostQ-PG_plain	4500	900	0	900	0	0
heretiq	2685.98	537.2	438.09	884.59	891.6	0.4
HQSpre_solver	3604.4	720.88	358.24	900	447.8	0.2
ijtihad_v1	2701.38	540.28	440.57	900	899.31	0.4
ijtihad_v2	2701.39	540.28	440.57	900	899.31	0.4
iProver-qbf-2017-07-27-v3	3819.88	763.98	272.05	900	340.06	0.2
iProver-qbf-bloqqer-2017-07-27-v3	2746.77	549.35	429.69	900	876.62	0.4
prefix-opt-depqbf	4500	900	0	900	0	0
qbfrelay	2655.91	531.18	432.17	881.54	880.35	0.4
qbfrelay-limited-depqbf	2823.45	564.69	398.43	888.09	811.93	0.4
QELL_default	3624.36	724.87	350.26	900	437.82	0.2
QELL_unit	3625.31	725.06	349.88	900	437.35	0.2
qesto	3600.12	720.02	359.95	900	449.94	0.2
Qute_default	3603.78	720.76	358.49	900	448.11	0.2
Qute_opt500	2791.77	558.35	419.27	900	854.12	0.4
Qute_random	2791.74	558.35	419.28	900	854.13	0.4
rareqs	2703.08	540.62	440.15	900	898.46	0.4
rev_qfun0.1	3600.12	720.02	359.95	900	449.94	0.2
xb-qsts_bqsts2.0	3353.88	670.78	348.41	900	573.06	0.4
xb-qsts_xbqsts1.0	3355.11	671.02	348.4	900	572.45	0.4
xb-qsts_xbqsts2.0	3357.82	671.56	348.38	900	571.09	0.4

QBF Solver Evaluation Portal