Suite Akshay-Chakraborty-John-Shah-Rabe results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	1983.27	198.33	352.31	8.57	46.95	0.8
caqe_2017_v1	2591.31	259.13	396.78	0.02	0.13	0.8
caqe_2017_v2	5401.71	540.17	440.7	900	899.98	0.4
caqe_2017_v3	5401.73	540.17	440.7	900	899.97	0.4
CUED1919_NL	6730.89	673.09	360.07	900	863.8	0.2
CUED1919_NNL	7220.87	722.09	355.86	900	879.16	0.2
dynQBF-bloqqer-hqspre	1810.29	181.03	359.49	0.17	0.58	0.8
ghostq-cegar	9000	900	0	900	0	0
GhostQ-PG_cegar	9000	900	0	900	0	0
GhostQ-PG_plain	9000	900	0	900	0	0
heretiq	2700.22	270.02	412.42	0.02	0.13	0.7
HQSpre_solver	3601.06	360.11	440.82	0.34	899.98	0.6
ijtihad_v1	2700.23	270.02	412.42	0.02	0.13	0.7
ijtihad_v2	2700.22	270.02	412.42	0.02	0.13	0.7
iProver-qbf-2017-07-27-v3	4453.91	445.39	438.13	414.96	898.98	0.5
iProver-qbf-bloqqer-2017-07-27-v3	2701.46	270.15	412.34	0.19	0.58	0.7
prefix-opt-depqbf	5400.09	540.01	440.9	900	899.99	0.4
qbfrelay	348.27	34.83	67.63	0.31	0.61	0.7
qbfrelay-limited-depqbf	2889.45	288.95	394.61	72.7	72.96	0.7
QELL_default	8100.01	810	270	900	0	0.1
QELL_unit	8100.01	810	270	900	0	0.1
qesto	2078.74	207.87	355.73	0.02	0.13	0.8
Qute_default	5400.34	540.03	440.87	900	899.97	0.4
Qute_opt500	4506.7	450.67	449.33	453.18	899.97	0.5
Qute_random	4506.69	450.67	449.33	453.18	899.97	0.5
rareqs	1858.55	185.86	357.49	0.02	0.14	0.8
rev_qfun0.1	2700.21	270.02	412.42	0.02	0.13	0.7
xb-qsts_bqsts2.0	2701.33	270.13	412.34	0.17	0.59	0.7
xb-qsts_xbqsts1.0	2701.36	270.14	412.34	0.18	0.61	0.7
xb-qsts_xbqsts2.0	2701.33	270.13	412.34	0.17	0.59	0.7

QBF Solver Evaluation Portal