Family C880 results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	2705.77	450.96	449.04	451.06	898.43	0.5
caqe_2017_v1	3902.18	650.36	356.9	900	839.55	0.333
caqe_2017_v2	3617.51	602.92	420.14	900	891.54	0.333
caqe_2017_v3	3617.37	602.9	420.17	900	891.59	0.333
CUED1919_NL	0.25	0.04	0	0.04	0	0
CUED1919_NNL	0.21	0.04	0.01	0.04	0.01	0
dynQBF-bloqqer-hqspre	4328	721.33	300.97	900	819.24	0.333
ghostq-cegar	1891.58	315.26	413.63	32.7	38.07	0.667
GhostQ-PG_cegar	1906.83	317.81	411.86	35.59	35.23	0.667
GhostQ-PG_plain	596	99.33	133.84	11.9	11.07	1
heretiq	4343.93	723.99	249.23	900	549.55	0.333
HQSpre_solver	5400	900	0	900	0	0
ijtihad_v1	4267.99	711.33	269.18	900	627.61	0.333
ijtihad_v2	4326.9	721.15	253.9	900	574.89	0.333
iProver-qbf-2017-07-27-v3	5400	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	5400	900	0	900	0	0
prefix-opt-depqbf	2702.05	450.34	449.66	450.4	899.38	0.5
qbfrelay	4405.37	734.23	55.04	737.65	86.17	0
qbfrelay-limited-depqbf	2671.01	445.17	444.3	444.86	887.96	0.5
QELL_default	1960.42	326.74	407.73	73.15	132.16	0.667
QELL_unit	1944.05	324.01	408.92	64.04	112.05	0.667
qesto	5400	900	0	900	0	0
Qute_default	4629.63	771.61	287.1	900	770.37	0.167
Qute_opt500	4530.63	755.11	324	900	869.37	0.167
Qute_random	4530.84	755.14	323.92	900	869.16	0.167
rareqs	4584.21	764.04	304.03	900	815.79	0.167
rev_qfun0.1	1803.48	300.58	423.85	1.25	1.5	0.667
xb-qsts_bqsts2.0	5080.39	846.73	119.11	900	319.61	0.167
xb-qsts_xbqsts1.0	4679.73	779.96	268.43	900	720.27	0.167
xb-qsts_xbqsts2.0	4678.35	779.73	268.94	900	721.65	0.167

QBF Solver Evaluation Portal