Family wgrowing results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	28552.66	865.23	52.05	900	71.91	0
caqe_2017_v1	24051.4	728.83	313.22	900	174.48	0.273
caqe_2017_v2	25539.06	773.91	288.87	900	0	0.182
caqe_2017_v3	25531.29	773.68	288.9	900	0	0.182
CUED1919_NL	29700	900	0	900	0	0
CUED1919_NNL	29700	900	0	900	0	0
dynQBF-bloqqer-hqspre	28801.61	872.78	154	900	0	0.03
ghostq-cegar	29700	900	0	900	0	0
GhostQ-PG_cegar	29700	900	0	900	0	0
GhostQ-PG_plain	29700	900	0	900	0	0
heretiq	28831.32	873.68	148.91	900	0	0.03
HQSpre_solver	28800.12	872.73	154.26	900	0	0.03
ijtihad_v1	29700	900	0	900	0	0
ijtihad_v2	29700	900	0	900	0	0
iProver-qbf-2017-07-27-v3	29700	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	28811.13	873.06	152.37	900	0	0.03
prefix-opt-depqbf	28800.11	872.73	154.26	900	0	0.03
qbfrelay	723.75	21.93	11.37	19.4	22.64	0.03
qbfrelay-limited-depqbf	28449.37	862.1	152.35	888.73	1.75	0.03
QELL_default	29700	900	0	900	0	0
QELL_unit	29700	900	0	900	0	0
qesto	27353.61	828.9	227.77	900	0	0.091
Qute_default	27051.95	819.76	253.85	900	0	0.091
Qute_opt500	25243.2	764.95	290.56	900	0	0.182
Qute_random	25246.61	765.05	290.33	900	0	0.182
rareqs	26843.36	813.44	238.41	900	0	0.121
rev_qfun0.1	29700	900	0	900	0	0
xb-qsts_bqsts2.0	26384.45	799.53	270.95	900	0	0.121
xb-qsts_xbqsts1.0	26389.01	799.67	270.59	900	0	0.121
xb-qsts_xbqsts2.0	26388.05	799.64	270.66	900	0	0.121

QBF Solver Evaluation Portal