Family Sorting_networks results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	5369.21	894.87	11.47	900	30.79	0
caqe_2017_v1	461.69	76.95	64.4	67.07	98.69	1
caqe_2017_v2	586.84	97.81	103.96	61.09	73.09	1
caqe_2017_v3	594.94	99.16	106.38	61.52	73.93	1
CUED1919_NL	873.04	145.51	274.39	1.69	1.09	0.333
CUED1919_NNL	1009.86	168.31	329.6	0.42	0.18	0.167
dynQBF-bloqqer-hqspre	3626.64	604.44	418.01	900	895.04	0.333
ghostq-cegar	4634.67	772.45	285.22	900	765.33	0.167
GhostQ-PG_cegar	3569.89	594.98	399.18	852.46	873.67	0.5
GhostQ-PG_plain	4547.8	757.97	317.6	900	852.2	0.167
heretiq	432.31	72.05	80.38	36.9	42.44	1
HQSpre_solver	1892.05	315.34	413.56	33.56	36.85	0.667
ijtihad_v1	2058.72	343.12	399.18	117.09	201.86	0.667
ijtihad_v2	2080.84	346.81	396.72	124.55	207.73	0.667
iProver-qbf-2017-07-27-v3	5400	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	5400	900	0	900	0	0
prefix-opt-depqbf	4510.18	751.7	331.62	900	889.82	0.167
qbfrelay	4125.49	687.58	156.53	728.27	372.97	0.167
qbfrelay-limited-depqbf	3255.05	542.51	362.97	606.16	882.5	0.5
QELL_default	1729.31	288.22	313.79	96.28	109.97	1
QELL_unit	2598.13	433.02	358.34	343.55	456.53	0.667
qesto	4678.97	779.83	268.71	900	721.03	0.167
Qute_default	4953.98	825.66	166.22	900	446.02	0.167
Qute_opt500	4257.5	709.58	275.71	900	673.72	0.333
Qute_random	4304.92	717.49	268.6	900	676.27	0.333
rareqs	251.39	41.9	39.28	35.08	38.26	1
rev_qfun0.1	1988.35	331.39	403.41	81.75	106.74	0.667
xb-qsts_bqsts2.0	2809.25	468.21	432.09	483.8	885.84	0.5
xb-qsts_xbqsts1.0	2885.06	480.84	419.5	493.93	870.44	0.5
xb-qsts_xbqsts2.0	2885.32	480.89	419.46	493.95	870.08	0.5

QBF Solver Evaluation Portal