Suite Wintersteiger results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ASPQ2	29222.2	237.58	335.48	0.43	701.08	0.667
CADET_2017	15055.26	122.4	297.86	0.11	0.34	0.886
caqe_2017_v1	36096.48	293.47	421.1	0.42	899.94	0.675
caqe_2017_v2	23874.73	194.1	365.68	1.42	29.18	0.789
caqe_2017_v3	23874.18	194.1	365.68	1.43	29.71	0.789
CUED1919_NL	93413.82	759.46	282.75	900	0	0.098
CUED1919_NNL	98863.8	803.77	260.78	900	0	0.098
dynQBF-bloqqer-hqspre	24085.56	195.82	360.2	1.14	53.76	0.797
DynQBF-bloqqer-hqspre-it	26637.72	216.57	380.04	1.15	53.71	0.764
DynQBF-bloqqer-variant	26793.48	217.83	372.53	1.19	186.24	0.772
ghostq-cegar	102276.32	831.51	222.09	900	0	0.049
GhostQ-PG_cegar	19485.46	158.42	329.23	3.11	10.52	0.805
GhostQ-PG_plain	19641.32	159.69	328.9	3.17	11.82	0.805
heretiq	36324.52	295.32	420.4	0.42	899.94	0.675
ijtihad_v1	37065.65	301.35	423.48	0.42	899.94	0.667
ijtihad_v2	37057.05	301.28	423.51	0.42	899.94	0.667
iProver-qbf-2017-07-27-v3	100882.59	820.18	238.49	900	0	0.073
iProver-qbf-bloqqer-2017-07-27-v3	32580.23	264.88	404.63	1.17	899.45	0.707
no-prefix-opt-depqbf	92661.27	753.34	320.56	900	0	0.163
qbfrelay	14512.72	117.99	267.71	1.4	36	0.756
qbfrelay-limited-depqbf	31790.91	258.46	352.87	74.8	27.31	0.764
QELL_default	76521.2	622.12	415.59	900	899.66	0.309
QELL_unit	76521.17	622.12	415.59	900	899.66	0.309
qesto	36171.11	294.07	420.74	0.44	899.94	0.675
rareqs	34526.55	280.7	414.54	0.43	899.94	0.691
rev_qfun0.1	39166.5	318.43	422.17	0.44	899.94	0.618
xb-qsts_bqsts2.0	30721.97	249.77	401.9	1.17	899.46	0.724
xb-qsts_xbqsts1.0	30725.6	249.8	401.88	1.14	899.46	0.724
xb-qsts_xbqsts2.0	30726.49	249.81	401.87	1.14	899.45	0.724

QBF Solver Evaluation Portal