Family Connect5 results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	Solved/Total
AIGSolve	900.59	450.3	449.71	450.3	0.5
caqe_2017_v1	281.26	140.63	140	140.63	1
caqe_2017_v2	368.41	184.21	183.69	184.21	1
caqe_2017_v3	282.16	141.08	140.16	141.08	1
CUED1919_NL	479.04	239.52	204.11	239.52	0
CUED1919_NNL	910.46	455.23	444.77	455.23	0
dynQBF-bloqqer-hqspre	902.88	451.44	448.56	451.44	0.5
ghostq-cegar	952.44	476.22	423.78	476.22	0.5
GhostQ-PG_cegar	1800	900	0	900	0
GhostQ-PG_plain	1800	900	0	900	0
heretiq	900.64	450.32	449.68	450.32	0.5
HQSpre_solver	900.53	450.27	449.74	450.27	0.5
ijtihad_v1	900.64	450.32	449.68	450.32	0.5
ijtihad_v2	900.64	450.32	449.68	450.32	0.5
iProver-qbf-2017-07-27-v3	933.53	466.77	433.24	466.77	0.5
iProver-qbf-bloqqer-2017-07-27-v3	902.86	451.43	448.57	451.43	0.5
prefix-opt-depqbf	904.08	452.04	447.96	452.04	0.5
qbfrelay	890.75	445.38	439.52	445.38	0.5
qbfrelay-limited-depqbf	901.55	450.78	445.72	450.78	0.5
QELL_default	904.6	452.3	447.7	452.3	0.5
QELL_unit	904.53	452.27	447.74	452.27	0.5
qesto	900.63	450.32	449.69	450.32	0.5
Qute_default	900.58	450.29	449.71	450.29	0.5
Qute_opt500	900.57	450.29	449.72	450.29	0.5
Qute_random	900.58	450.29	449.71	450.29	0.5
rareqs	900.63	450.32	449.69	450.32	0.5
rev_qfun0.1	900.63	450.32	449.69	450.32	0.5
xb-qsts_bqsts2.0	130.53	65.27	62.36	65.27	1
xb-qsts_xbqsts1.0	224.5	112.25	109.31	112.25	1
xb-qsts_xbqsts2.0	223.55	111.78	108.7	111.78	1

QBF Solver Evaluation Portal