Suite Basler results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	1990.56	104.77	224.99	18.48	14.78	0.947
caqe_2017_v1	16186.96	851.95	167.78	900	0	0.105
caqe_2017_v2	9060.25	476.86	446.06	900	899.69	0.474
caqe_2017_v3	9060.46	476.87	446.05	900	899.68	0.474
CUED1919_NL	12511.56	658.5	256.67	900	532.13	0
CUED1919_NNL	17100	900	0	900	0	0
dynQBF-bloqqer-hqspre	2500.36	131.6	216.27	17.3	26.23	1
ghostq-cegar	6940.5	365.29	365.85	144.99	808.54	0.684
GhostQ-PG_cegar	2294.84	120.78	192.25	94.99	117.21	0.947
GhostQ-PG_plain	9156.54	481.92	441.49	900	898.68	0.474
heretiq	9914.81	521.83	443.44	900	898.88	0.421
HQSpre_solver	14405.27	758.17	327.54	900	0	0.158
ijtihad_v1	9914.8	521.83	443.44	900	898.88	0.421
ijtihad_v2	9912.79	521.73	443.57	900	899	0.421
iProver-qbf-2017-07-27-v3	17100	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	17100	900	0	900	0	0
prefix-opt-depqbf	12646.37	665.6	355.46	900	624.18	0.316
qbfrelay	504.51	26.55	22.68	14.7	42.2	0.789
qbfrelay-limited-depqbf	10212.57	537.5	413.14	888.16	810.92	0.421
QELL_default	15164.83	798.15	250.34	900	0	0.158
QELL_unit	15155.15	797.64	251.19	900	0	0.158
qesto	13216.6	695.61	355.12	900	839.28	0.263
Qute_default	9029.54	475.24	447.75	900	899.4	0.474
Qute_opt500	9073.28	477.54	445.45	900	899	0.474
Qute_random	9073.41	477.55	445.44	900	899.31	0.474
rareqs	15464.49	813.92	251.07	900	0	0.105
rev_qfun0.1	6855.89	360.84	412.18	58.27	857.76	0.632
xb-qsts_bqsts2.0	17100	900	0	900	0	0
xb-qsts_xbqsts1.0	17093.08	899.64	1.55	900	0	0
xb-qsts_xbqsts2.0	17100	900	0	900	0	0

QBF Solver Evaluation Portal