Suite Basler results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ASPQ2	36995.81	474.31	314.44	700.81	641.37	0.346
CADET_2017	2314.82	29.68	115.95	2.55	4.22	1
caqe_2017_v1	47167.12	604.71	400.06	900	817.57	0.359
caqe_2017_v2	35240.27	451.8	448.24	466.64	899.73	0.5
caqe_2017_v3	35240.53	451.8	448.24	466.79	899.72	0.5
CUED1919_NL	54297.28	696.12	259.55	900	533.08	0
CUED1919_NNL	70200	900	0	900	0	0
dynQBF-bloqqer-hqspre	6230.77	79.88	189.92	16.43	21.91	0.974
DynQBF-bloqqer-hqspre-it	5092.49	65.29	152.84	16.52	21.85	0.987
DynQBF-bloqqer-variant	3700.57	47.44	114.81	14.88	19.53	0.987
ghostq-cegar	25945.87	332.64	377.05	123.6	843.7	0.731
GhostQ-PG_cegar	8469.61	108.58	215.14	56.41	101.61	0.936
GhostQ-PG_plain	37674.9	483.01	441.09	900	898.81	0.474
heretiq	38729.64	496.53	437.82	900	899.08	0.462
ijtihad_v1	39202.33	502.59	441.05	900	899.08	0.449
ijtihad_v2	39159.83	502.05	441.57	900	899.17	0.449
iProver-qbf-2017-07-27-v3	70200	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	59430.73	761.93	323.8	900	0	0.154
no-prefix-opt-depqbf	51917.06	665.6	368.36	900	671.8	0.308
qbfrelay	1340.08	17.18	21	9.16	9.04	0.859
qbfrelay-limited-depqbf	34355.87	440.46	416.64	84.91	815.89	0.538
QELL_default	62950.65	807.06	239.5	900	0	0.141
QELL_unit	62957.17	807.14	239.47	900	0	0.141
qesto	47650.83	610.91	400.53	900	833.82	0.359
rareqs	49760.85	637.96	383.36	900	748.71	0.333
rev_qfun0.1	26323.66	337.48	409.93	62.83	861.5	0.654
xb-qsts_bqsts2.0	59406.06	761.62	323.67	900	0	0.167
xb-qsts_xbqsts1.0	58525.18	750.32	333.94	900	0	0.179
xb-qsts_xbqsts2.0	58517.33	750.22	333.9	900	0	0.179

QBF Solver Evaluation Portal