Suite Akshay-Chakraborty-John-Shah-Rabe results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ASPQ2	1403.5	140.35	280.63	0.03	0.04	0.8
CADET_2017	3831.48	383.15	425.78	110.09	899.8	0.6
caqe_2017_v1	1800.25	180.03	359.99	0.02	0.03	0.8
caqe_2017_v2	4500.31	450.03	449.97	450.07	899.97	0.5
caqe_2017_v3	4500.31	450.03	449.97	450.07	899.97	0.5
CUED1919_NL	8101.4	810.14	269.58	900	0	0.1
CUED1919_NNL	8100.35	810.04	269.9	900	0	0.1
dynQBF-bloqqer-hqspre	1060.78	106.08	268.84	0.2	0.43	0.9
DynQBF-bloqqer-hqspre-it	1741.53	174.15	348.1	0.2	0.46	0.9
DynQBF-bloqqer-variant	1876.14	187.61	356.88	0.2	0.44	0.8
ghostq-cegar	9000	900	0	900	0	0
GhostQ-PG_cegar	9000	900	0	900	0	0
GhostQ-PG_plain	9000	900	0	900	0	0
heretiq	1800.3	180.03	359.99	0.03	0.03	0.8
ijtihad_v1	1800.3	180.03	359.99	0.03	0.03	0.8
ijtihad_v2	1800.3	180.03	359.99	0.03	0.03	0.8
iProver-qbf-2017-07-27-v3	5417.96	541.8	438.71	900	896.37	0.4
iProver-qbf-bloqqer-2017-07-27-v3	2701.17	270.12	412.36	0.22	0.43	0.7
no-prefix-opt-depqbf	4500.07	450.01	449.99	450.01	899.99	0.5
qbfrelay	923.6	92.36	267.76	0.31	0.45	0.8
qbfrelay-limited-depqbf	2003.89	200.39	347.15	36.32	72.79	0.8
QELL_default	7202.21	720.22	359.56	900	897.82	0.2
QELL_unit	8100.04	810	269.99	900	0	0.1
qesto	1800.28	180.03	359.99	0.03	0.02	0.8
rareqs	1800.25	180.03	359.99	0.02	0.03	0.8
rev_qfun0.1	1800.26	180.03	359.99	0.02	0.03	0.8
xb-qsts_bqsts2.0	2701.04	270.1	412.36	0.2	0.44	0.7
xb-qsts_xbqsts1.0	2701.03	270.1	412.36	0.2	0.44	0.7
xb-qsts_xbqsts2.0	2701.06	270.11	412.36	0.2	0.44	0.7

QBF Solver Evaluation Portal