Family formula_add results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	10485.84	873.82	58.61	900	0	0
caqe_2017_v1	4937.22	411.44	417.84	169.03	874.69	0.583
caqe_2017_v2	6313.42	526.12	387.91	655.55	770.35	0.5
caqe_2017_v3	6318.01	526.5	387.82	657.96	770.31	0.5
CUED1919_NL	1315.83	109.65	202.32	0.4	111.12	0
CUED1919_NNL	1472.58	122.72	238.22	0.21	112.34	0
dynQBF-bloqqer-hqspre	8188.87	682.41	377.17	900	414.48	0.25
ghostq-cegar	8233.93	686.16	320.93	900	470.51	0.333
GhostQ-PG_cegar	8409.47	700.79	312.09	900	368.7	0.333
GhostQ-PG_plain	10013.16	834.43	182.77	900	0	0.167
heretiq	7378.01	614.83	405.23	900	813.92	0.333
HQSpre_solver	6649.91	554.16	409.21	889.82	836.44	0.5
ijtihad_v1	8114.57	676.21	387.61	900	445.65	0.25
ijtihad_v2	8188.81	682.4	377.29	900	410.69	0.25
iProver-qbf-2017-07-27-v3	10800	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	9295.85	774.65	280.44	900	0	0.167
prefix-opt-depqbf	8523.29	710.27	337.29	900	272.36	0.25
qbfrelay	8705.71	725.48	150.54	744.61	170.38	0.167
qbfrelay-limited-depqbf	8317.83	693.15	343.55	886.97	342.01	0.25
QELL_default	6783.97	565.33	404.59	900	839.74	0.417
QELL_unit	6362.41	530.2	393.51	695.93	850.32	0.5
qesto	9186.46	765.54	300.93	900	0	0.167
Qute_default	9258.08	771.51	237.62	900	176.33	0.25
Qute_opt500	9199.94	766.66	243.82	900	195.14	0.25
Qute_random	9216.81	768.07	243.41	900	169.85	0.25
rareqs	4610.32	384.19	387.71	199.48	895.65	0.667
rev_qfun0.1	5473.37	456.11	412.23	422.34	881.74	0.583
xb-qsts_bqsts2.0	9592.03	799.34	244.71	900	0	0.167
xb-qsts_xbqsts1.0	9588.5	799.04	244.66	900	1.54	0.167
xb-qsts_xbqsts2.0	9587.48	798.96	244.82	900	1.55	0.167

QBF Solver Evaluation Portal