Suite Gent-Rowley results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	11581.68	643.43	399.43	900	899.79	0.278
caqe_2017_v1	10191.42	566.19	422.86	900	899.71	0.389
caqe_2017_v2	10306.3	572.57	418.04	900	899.77	0.389
caqe_2017_v3	10192.71	566.26	422.79	900	899.57	0.389
CUED1919_NL	6700.11	372.23	150.13	428.5	120.51	0
CUED1919_NNL	9518.1	528.78	312.52	585.92	616.46	0
dynQBF-bloqqer-hqspre	11705.59	650.31	402.61	900	898.72	0.278
ghostq-cegar	11380.05	632.23	381.29	900	760.55	0.333
GhostQ-PG_cegar	12532.94	696.27	336.82	900	667.51	0.278
GhostQ-PG_plain	12534.38	696.35	336.79	900	667.2	0.278
heretiq	10815.02	600.83	423.09	900	899.71	0.333
HQSpre_solver	11701.08	650.06	403.02	900	899.75	0.278
ijtihad_v1	10815.05	600.84	423.09	900	899.71	0.333
ijtihad_v2	10815.11	600.84	423.09	900	899.71	0.333
iProver-qbf-2017-07-27-v3	11769.95	653.89	396.89	900	881.79	0.278
iProver-qbf-bloqqer-2017-07-27-v3	11705.62	650.31	402.61	900	898.7	0.278
prefix-opt-depqbf	10822.42	601.25	422.51	900	898.18	0.333
qbfrelay	11540.32	641.13	396.21	885.91	888.23	0.278
qbfrelay-limited-depqbf	10791.36	599.52	420.93	894.31	894.2	0.333
QELL_default	11708.75	650.49	402.33	900	897.84	0.278
QELL_unit	11708.69	650.48	402.34	900	897.83	0.278
qesto	10051.68	558.43	428.71	900	899.72	0.278
Qute_default	11257.85	625.44	399.91	898.41	899.73	0.333
Qute_opt500	11237.55	624.31	401.02	900	899.73	0.333
Qute_random	11292.41	627.36	399.79	900	899.73	0.333
rareqs	10858.01	603.22	419.88	900	899.72	0.333
rev_qfun0.1	11701.24	650.07	403	900	899.71	0.278
xb-qsts_bqsts2.0	10933.19	607.4	414.69	900	898.73	0.333
xb-qsts_xbqsts1.0	11027.3	612.63	409.16	900	898.62	0.333
xb-qsts_xbqsts2.0	11026.22	612.57	409.22	900	898.76	0.333

QBF Solver Evaluation Portal