Family arithmetic results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ASPQ2	700.59	140.12	280.2	0.02	0.03	0.8
CADET_2017	2020.19	404.04	410.99	201.07	540.98	0.6
caqe_2017_v1	900.04	180.01	360	0.01	0.02	0.8
caqe_2017_v2	1800.14	360.03	440.89	0.07	450	0.6
caqe_2017_v3	1800.14	360.03	440.89	0.08	450.01	0.6
CUED1919_NL	3601.4	720.28	359.44	900	449.3	0.2
CUED1919_NNL	3600.35	720.07	359.86	900	449.83	0.2
dynQBF-bloqqer-hqspre	159.7	31.94	63.5	0.19	0.27	1
DynQBF-bloqqer-hqspre-it	840.46	168.09	335.79	0.18	0.28	1
DynQBF-bloqqer-variant	75.86	15.17	29.96	0.18	0.27	1
ghostq-cegar	4500	900	0	900	0	0
GhostQ-PG_cegar	4500	900	0	900	0	0
GhostQ-PG_plain	4500	900	0	900	0	0
heretiq	900.08	180.02	359.99	0.02	0.02	0.8
ijtihad_v1	900.08	180.02	359.99	0.02	0.02	0.8
ijtihad_v2	900.08	180.02	359.99	0.02	0.02	0.8
iProver-qbf-2017-07-27-v3	1817.1	363.42	438.12	9.43	450.88	0.6
iProver-qbf-bloqqer-2017-07-27-v3	900.84	180.17	359.92	0.21	0.27	0.8
no-prefix-opt-depqbf	1800.04	360.01	440.9	0.02	450	0.6
qbfrelay	26.64	5.33	9.97	0.32	0.25	0.8
qbfrelay-limited-depqbf	963.35	192.67	349.27	0.24	36.9	0.8
QELL_default	3600.03	720.01	359.99	900	449.99	0.2
QELL_unit	3600.04	720.01	359.98	900	449.98	0.2
qesto	900.07	180.01	359.99	0.02	0.02	0.8
rareqs	900.05	180.01	360	0.01	0.02	0.8
rev_qfun0.1	900.06	180.01	359.99	0.01	0.01	0.8
xb-qsts_bqsts2.0	900.77	180.15	359.92	0.19	0.28	0.8
xb-qsts_xbqsts1.0	900.76	180.15	359.92	0.18	0.27	0.8
xb-qsts_xbqsts2.0	900.79	180.16	359.92	0.18	0.26	0.8

QBF Solver Evaluation Portal