Suite Tentrup results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ASPQ2	13780.7	382.8	345.41	700.51	702.12	0.472
CADET_2017	24893.96	691.5	346.21	900	343.66	0.306
caqe_2017_v1	16069.55	446.38	436.21	354.93	899.67	0.528
caqe_2017_v2	23893.4	663.71	383.76	900	693.2	0.306
caqe_2017_v3	23901.15	663.92	383.64	900	690.54	0.306
CUED1919_NL	19060.26	529.45	238.09	400.04	561.31	0
CUED1919_NNL	31964.63	887.91	71.55	900	0	0
dynQBF-bloqqer-hqspre	18495.26	513.76	434.5	900	897.5	0.444
DynQBF-bloqqer-hqspre-it	19100.32	530.56	437.4	900	897.47	0.417
DynQBF-bloqqer-variant	22652.08	629.22	408.62	900	887.75	0.306
ghostq-cegar	28969.06	804.7	269.62	900	0	0
GhostQ-PG_cegar	32400	900	0	900	0	0
GhostQ-PG_plain	32400	900	0	900	0	0
heretiq	17891.81	496.99	434.53	900	899.46	0.472
ijtihad_v1	19296.23	536.01	424.86	900	899.46	0.444
ijtihad_v2	19205.5	533.49	426.36	900	899.46	0.444
iProver-qbf-2017-07-27-v3	31676.9	879.91	82.82	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	22549.57	626.38	412.52	900	891.29	0.306
no-prefix-opt-depqbf	31674.76	879.85	119.18	900	0	0.028
qbfrelay	7697.38	213.82	302.03	70.08	335.96	0.583
qbfrelay-limited-depqbf	15092.93	419.25	380.5	158.57	813.26	0.611
QELL_default	32400	900	0	900	0	0
QELL_unit	32400	900	0	900	0	0
qesto	17238.5	478.85	432.31	712.02	899.66	0.5
rareqs	16592.79	460.91	440.55	540.05	899.7	0.5
rev_qfun0.1	19946.43	554.07	431.06	900	899.48	0.306
xb-qsts_bqsts2.0	16577.97	460.5	440.51	523.82	897.41	0.5
xb-qsts_xbqsts1.0	16620.63	461.68	439.38	524.98	897.49	0.5
xb-qsts_xbqsts2.0	16621.33	461.7	439.37	525.42	897.5	0.5

QBF Solver Evaluation Portal