Family hwmcc results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	1069.15	267.29	368.64	77.76	502.61	0.75
caqe_2017_v1	1812.1	453.03	446.98	453.97	893.95	0.5
caqe_2017_v2	1156.63	289.16	356.47	127.92	450.85	0.75
caqe_2017_v3	1144.69	286.17	357.81	121.86	451.08	0.75
CUED1919_NL	2572.74	643.19	169.71	621.17	304.45	0
CUED1919_NNL	3242.55	810.64	143.31	889.86	178.73	0
dynQBF-bloqqer-hqspre	2004.35	501.09	398.92	502.99	797.83	0.5
ghostq-cegar	1158.71	289.68	354.18	101.72	465.18	0.25
GhostQ-PG_cegar	1879.49	469.87	430.32	479.03	860.26	0.5
GhostQ-PG_plain	1870.49	467.62	432.49	474.53	864.76	0.5
heretiq	1812.16	453.04	446.96	453.99	893.92	0.5
HQSpre_solver	1825.35	456.34	443.67	458.62	887.33	0.5
ijtihad_v1	1812.28	453.07	446.93	454.06	893.86	0.5
ijtihad_v2	1812.18	453.05	446.96	454	893.91	0.5
iProver-qbf-2017-07-27-v3	1555.48	388.87	356.66	325.19	662.14	0.5
iProver-qbf-bloqqer-2017-07-27-v3	2777.54	694.39	209.81	723.91	411.23	0.5
prefix-opt-depqbf	1810.67	452.67	447.34	454	894.67	0.5
qbfrelay	319.03	79.76	20.88	69.28	28.26	1
qbfrelay-limited-depqbf	320.55	80.14	74.46	77.19	148.37	1
QELL_default	1817.23	454.31	445.72	457.83	891.39	0.5
QELL_unit	1803.47	450.87	449.13	450.93	898.27	0.5
qesto	1812.01	453	447	453.92	894	0.5
Qute_default	1230.74	307.69	349.53	164.93	488.01	0.75
Qute_opt500	1249.47	312.37	347.63	174.29	487.73	0.75
Qute_random	1247.5	311.88	347.99	173.31	490.75	0.75
rareqs	1812.04	453.01	446.99	453.94	893.98	0.5
rev_qfun0.1	967.46	241.87	380.51	31.64	471.66	0.5
xb-qsts_bqsts2.0	2664.56	666.14	250.99	730.59	467.72	0.5
xb-qsts_xbqsts1.0	2681.41	670.35	252.75	745	459.3	0.5
xb-qsts_xbqsts2.0	2674.05	668.51	249.79	734.89	462.98	0.5

QBF Solver Evaluation Portal