Suite Miller-Scholl-Becker results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	9000	900	0	900	0	0
caqe_2017_v1	2779.76	277.98	359.71	36.12	292.09	0.8
caqe_2017_v2	5004.36	500.44	406.34	593.46	887.19	0.5
caqe_2017_v3	2785.71	278.57	359.63	37.12	295.59	0.8
CUED1919_NL	3228.06	322.81	151.32	402.66	297.48	0
CUED1919_NNL	5741.26	574.13	398.98	873.52	881.91	0
dynQBF-bloqqer-hqspre	8695.54	869.55	91.34	900	0	0.1
ghostq-cegar	8101.91	810.19	269.43	900	0	0.1
GhostQ-PG_cegar	7843.32	784.33	270.02	900	266.94	0.2
GhostQ-PG_plain	7231.7	723.17	353.72	900	869.43	0.2
heretiq	5601.32	560.13	417.01	900	868.71	0.4
HQSpre_solver	9000	900	0	900	0	0
ijtihad_v1	7274.46	727.45	345.49	900	826.66	0.2
ijtihad_v2	7225.95	722.6	354.86	900	874.33	0.2
iProver-qbf-2017-07-27-v3	9000	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	9000	900	0	900	0	0
prefix-opt-depqbf	6493.69	649.37	357.28	900	893.17	0.4
qbfrelay	8514.33	851.43	64.85	881.33	95.89	0
qbfrelay-limited-depqbf	5741.45	574.15	391.75	886.55	882.56	0.4
QELL_default	8100.11	810.01	269.97	900	0	0.1
QELL_unit	7209.02	720.9	358.2	900	891.09	0.2
qesto	4779.73	477.97	424.07	515.34	890.04	0.5
Qute_default	6359.7	635.97	386.21	896.74	874.84	0.4
Qute_opt500	6094.93	609.49	372.77	900	878.65	0.4
Qute_random	6095.09	609.51	372.85	900	878.55	0.4
rareqs	5969.02	596.9	380.05	900	872.9	0.4
rev_qfun0.1	8103.75	810.38	268.88	900	0	0.1
xb-qsts_bqsts2.0	153.9	15.39	16.73	6.65	20.55	1
xb-qsts_xbqsts1.0	161.38	16.14	17.29	7.11	21.3	1
xb-qsts_xbqsts2.0	160.93	16.09	17.24	7.08	21.45	1

QBF Solver Evaluation Portal