Family RankingFunctions results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ASPQ2	706.61	19.1	113.68	0.08	0.11	0.973
CADET_2017	3.52	0.1	0.05	0.1	0.06	1
caqe_2017_v1	905.02	24.46	145.92	0.08	0.12	0.973
caqe_2017_v2	10.1	0.27	0.62	0.06	0.05	1
caqe_2017_v3	10.48	0.28	0.62	0.07	0.05	1
CUED1919_NL	31307.58	846.15	179.94	900	0	0.108
CUED1919_NNL	31276.13	845.3	184.77	900	0	0.108
dynQBF-bloqqer-hqspre	36.29	0.98	0.7	0.87	0.59	1
DynQBF-bloqqer-hqspre-it	36.69	0.99	0.71	0.86	0.61	1
DynQBF-bloqqer-variant	1831.33	49.5	203.31	0.87	0.63	0.946
ghostq-cegar	33300	900	0	900	0	0
GhostQ-PG_cegar	103.32	2.79	1.64	2.69	2.18	1
GhostQ-PG_plain	166.73	4.51	4.4	2.91	4.19	1
heretiq	905.61	24.48	145.92	0.08	0.16	0.973
ijtihad_v1	905.31	24.47	145.92	0.08	0.11	0.973
ijtihad_v2	905.35	24.47	145.92	0.08	0.11	0.973
iProver-qbf-2017-07-27-v3	33300	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	382.63	10.34	44.67	0.89	0.62	1
no-prefix-opt-depqbf	30600.06	827.03	245.66	900	0	0.081
qbfrelay	43.79	1.18	0.76	1.02	0.71	1
qbfrelay-limited-depqbf	2547.1	68.84	20.44	74.4	1.73	1
QELL_default	31500.04	851.35	203.51	900	0	0.054
QELL_unit	31500.04	851.35	203.51	900	0	0.054
qesto	905.27	24.47	145.92	0.07	0.11	0.973
rareqs	905.18	24.46	145.92	0.07	0.11	0.973
rev_qfun0.1	1804.51	48.77	203.48	0.07	0.11	0.946
xb-qsts_bqsts2.0	933.07	25.22	145.8	0.86	0.63	0.973
xb-qsts_xbqsts1.0	934.52	25.26	145.79	0.87	0.65	0.973
xb-qsts_xbqsts2.0	934.83	25.27	145.79	0.87	0.62	0.973

QBF Solver Evaluation Portal