Family Connect6 results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	Solved/Total
AIGSolve	900.06	450.03	449.97	450.03	0.5
caqe_2017_v1	900.05	450.03	449.98	450.03	0.5
caqe_2017_v2	900.06	450.03	449.97	450.03	0.5
caqe_2017_v3	900.08	450.04	449.96	450.04	0.5
CUED1919_NL	512.15	256.08	171	256.08	0
CUED1919_NNL	794.25	397.13	367.92	397.13	0
dynQBF-bloqqer-hqspre	900.22	450.11	449.89	450.11	0.5
ghostq-cegar	909.31	454.66	445.35	454.66	0.5
GhostQ-PG_cegar	912	456	444	456	0.5
GhostQ-PG_plain	912.04	456.02	443.98	456.02	0.5
heretiq	900.06	450.03	449.97	450.03	0.5
HQSpre_solver	900.06	450.03	449.97	450.03	0.5
ijtihad_v1	900.06	450.03	449.97	450.03	0.5
ijtihad_v2	900.06	450.03	449.97	450.03	0.5
iProver-qbf-2017-07-27-v3	904.23	452.12	447.89	452.12	0.5
iProver-qbf-bloqqer-2017-07-27-v3	900.24	450.12	449.88	450.12	0.5
prefix-opt-depqbf	900.36	450.18	449.82	450.18	0.5
qbfrelay	892.22	446.11	445.48	446.11	0.5
qbfrelay-limited-depqbf	897.01	448.51	447.86	448.51	0.5
QELL_default	900.35	450.18	449.83	450.18	0.5
QELL_unit	900.35	450.18	449.83	450.18	0.5
qesto	900.05	450.03	449.98	450.03	0.5
Qute_default	900.08	450.04	449.96	450.04	0.5
Qute_opt500	900.08	450.04	449.96	450.04	0.5
Qute_random	900.08	450.04	449.96	450.04	0.5
rareqs	900.05	450.03	449.98	450.03	0.5
rev_qfun0.1	900.06	450.03	449.97	450.03	0.5
xb-qsts_bqsts2.0	900.22	450.11	449.89	450.11	0.5
xb-qsts_xbqsts1.0	900.23	450.12	449.89	450.12	0.5
xb-qsts_xbqsts2.0	900.22	450.11	449.89	450.11	0.5

QBF Solver Evaluation Portal