Family ITC99 results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	6555.49	728.39	326.21	900	324.86	0.222
caqe_2017_v1	6305.04	700.56	373.12	900	448.66	0.222
caqe_2017_v2	4516.75	501.86	445.14	900	896.73	0.444
caqe_2017_v3	4517.12	501.9	445.09	900	896.7	0.444
CUED1919_NL	1955.06	217.23	307.84	31.06	160.67	0
CUED1919_NNL	2019.51	224.39	358.8	29.54	80.82	0
dynQBF-bloqqer-hqspre	2882.31	320.26	410.45	30.03	474.87	0.667
ghostq-cegar	3801.39	422.38	427.51	78.75	864.97	0.556
GhostQ-PG_cegar	3452.06	383.56	416.06	26.95	775.96	0.667
GhostQ-PG_plain	3327.14	369.68	400.96	73.58	683.68	0.667
heretiq	5726.88	636.32	382.88	900	737.73	0.333
HQSpre_solver	5410.67	601.19	422.59	900	896.08	0.333
ijtihad_v1	5572.44	619.16	399.69	900	814.95	0.333
ijtihad_v2	5517.94	613.1	406.84	900	842.21	0.333
iProver-qbf-2017-07-27-v3	4487	498.56	376.71	478.51	804.99	0.556
iProver-qbf-bloqqer-2017-07-27-v3	3930.69	436.74	339.33	241.03	476.74	0.667
prefix-opt-depqbf	3932.79	436.98	423.08	297.85	896.17	0.556
qbfrelay	714.14	79.35	133.82	26.23	30.95	0.667
qbfrelay-limited-depqbf	2898.24	322.03	402.04	93.45	491.04	0.667
QELL_default	7200.64	800.07	282.64	900	0	0.111
QELL_unit	7200.64	800.07	282.64	900	0	0.111
qesto	6309	701	372.3	900	446.91	0.222
Qute_default	4517.37	501.93	445.06	900	896.65	0.444
Qute_opt500	4517.38	501.93	445.06	900	896.65	0.444
Qute_random	4517.23	501.91	445.08	900	896.64	0.444
rareqs	5409.43	601.05	422.78	900	896.4	0.333
rev_qfun0.1	1947.7	216.41	313.95	35.54	120.36	0.889
xb-qsts_bqsts2.0	6353.67	705.96	363.01	900	435.4	0.222
xb-qsts_xbqsts1.0	5927.89	658.65	360.71	900	652.58	0.333
xb-qsts_xbqsts2.0	5930.61	658.96	360.59	900	650.81	0.333

QBF Solver Evaluation Portal