Family Strategic_Companies results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	36000	900	0	900	0	0
caqe_2017_v1	36000	900	0	900	0	0
caqe_2017_v2	36000	900	0	900	0	0
caqe_2017_v3	36000	900	0	900	0	0
CUED1919_NL	25392.2	634.81	266.31	684.31	534.7	0
CUED1919_NNL	36000	900	0	900	0	0
dynQBF-bloqqer-hqspre	36000	900	0	900	0	0
ghostq-cegar	36000	900	0	900	0	0
GhostQ-PG_cegar	32968.82	824.22	212.69	900	0	0.125
GhostQ-PG_plain	34230.96	855.77	156.74	900	0	0.075
heretiq	33295.78	832.39	217.58	900	0	0.1
HQSpre_solver	35520.58	888.01	29.63	900	0	0
ijtihad_v1	34315.68	857.89	171.5	900	0	0.075
ijtihad_v2	33923.63	848.09	180.18	900	0	0.1
iProver-qbf-2017-07-27-v3	36000	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	36000	900	0	900	0	0
prefix-opt-depqbf	36000	900	0	900	0	0
qbfrelay	29441.86	736.05	192.8	856.46	287.91	0
qbfrelay-limited-depqbf	31927.71	798.19	205.42	891.89	3	0.2
QELL_default	28435.21	710.88	338.07	900	124.55	0.275
QELL_unit	27563.03	689.08	334.51	900	507.22	0.325
qesto	28301.32	707.53	305.63	900	462.68	0.3
Qute_default	36000	900	0	900	0	0
Qute_opt500	36000	900	0	900	0	0
Qute_random	36000	900	0	900	0	0
rareqs	26781.31	669.53	354.75	900	691.27	0.325
rev_qfun0.1	34297.46	857.44	151.8	900	0	0.075
xb-qsts_bqsts2.0	34516.03	862.9	146.28	900	0	0.075
xb-qsts_xbqsts1.0	34685.93	867.15	133.68	900	0	0.075
xb-qsts_xbqsts2.0	34689.97	867.25	133.4	900	0	0.075

QBF Solver Evaluation Portal