Suite Ayari results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	1336.75	111.4	241.55	27.87	58.01	0.917
caqe_2017_v1	7313.1	609.43	411.11	900	857.09	0.333
caqe_2017_v2	4934.61	411.22	417.74	186.46	895.59	0.583
caqe_2017_v3	6751.32	562.61	402.6	900	792.52	0.417
CUED1919_NL	1183.62	98.64	147.53	43.61	68.92	0
CUED1919_NNL	1855.21	154.6	333.38	6.31	11.51	0
dynQBF-bloqqer-hqspre	8017.74	668.15	331.33	900	562.97	0.417
ghostq-cegar	10800	900	0	900	0	0
GhostQ-PG_cegar	9178.74	764.9	302.3	900	0	0.167
GhostQ-PG_plain	9173.21	764.43	303.31	900	0	0.167
heretiq	7288.41	607.37	414.11	900	856.89	0.333
HQSpre_solver	10800	900	0	900	0	0
ijtihad_v1	7288.64	607.39	414.08	900	856.78	0.333
ijtihad_v2	7288.23	607.35	414.13	900	856.98	0.333
iProver-qbf-2017-07-27-v3	8334.53	694.54	304.24	900	497.52	0.167
iProver-qbf-bloqqer-2017-07-27-v3	8662.97	721.91	315.51	900	271.86	0.25
prefix-opt-depqbf	10800	900	0	900	0	0
qbfrelay	5900.34	491.7	395.16	518.24	785.88	0.167
qbfrelay-limited-depqbf	10096.78	841.4	165.01	890.62	5.32	0.083
QELL_default	8551.4	712.62	341.49	900	224.58	0.25
QELL_unit	8557.37	713.11	341.12	900	221.57	0.25
qesto	9086.87	757.24	319.34	900	0	0.167
Qute_default	7631.29	635.94	376.45	900	712.52	0.333
Qute_opt500	9220.44	768.37	295.31	900	0	0.167
Qute_random	9219.92	768.33	295.41	900	0	0.167
rareqs	6707.7	558.98	411.02	900	856.98	0.417
rev_qfun0.1	7296.02	608	413.19	900	856.75	0.333
xb-qsts_bqsts2.0	10800	900	0	900	0	0
xb-qsts_xbqsts1.0	10800	900	0	900	0	0
xb-qsts_xbqsts2.0	10800	900	0	900	0	0

QBF Solver Evaluation Portal