Family terminator results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ASPQ2	12461.07	319.51	323.41	125.94	696.07	0.59
CADET_2017	2174.52	55.76	159.77	0.19	0.5	1
caqe_2017_v1	15666.99	401.72	403.9	169.85	889.29	0.615
caqe_2017_v2	2839.27	72.8	238.94	0.31	1.06	0.923
caqe_2017_v3	2839.52	72.81	238.94	0.32	1.05	0.923
CUED1919_NL	35100	900	0	900	0	0
CUED1919_NNL	35100	900	0	900	0	0
dynQBF-bloqqer-hqspre	5724.55	146.78	251.27	35.32	81	0.949
DynQBF-bloqqer-hqspre-it	4584.8	117.56	202.99	34.61	94.76	0.974
DynQBF-bloqqer-variant	3226.69	82.74	154.36	35.61	61.19	0.974
ghostq-cegar	21063.22	540.08	430.76	900	898.41	0.462
GhostQ-PG_cegar	4916.53	126.06	298.62	1.28	7.45	0.872
GhostQ-PG_plain	3404.53	87.3	242.39	1.24	3.64	0.923
heretiq	7229.49	185.37	339.39	1.61	114.23	0.821
ijtihad_v1	7702.18	197.49	358.24	1.61	91.86	0.795
ijtihad_v2	7659.68	196.4	358.58	1.38	85.36	0.795
iProver-qbf-2017-07-27-v3	35100	900	0	900	0	0
iProver-qbf-bloqqer-2017-07-27-v3	30615.44	785.01	299.85	900	0	0.128
no-prefix-opt-depqbf	16817.06	431.21	401.86	345.46	899.35	0.615
qbfrelay	849.89	21.79	26.78	5.81	46.5	0.718
qbfrelay-limited-depqbf	7773.52	199.32	324.63	79.16	81.69	0.821
QELL_default	27850.65	714.12	312.16	900	502.63	0.282
QELL_unit	27857.17	714.29	312.17	900	505.59	0.282
qesto	16150.68	414.12	410.91	187.38	892.96	0.615
rareqs	18260.7	468.22	402.19	316.33	853.56	0.564
rev_qfun0.1	24325.19	623.72	414.42	900	897.38	0.308
xb-qsts_bqsts2.0	30590.49	784.37	299.65	900	0	0.154
xb-qsts_xbqsts1.0	29709.93	761.79	322.58	900	0	0.179
xb-qsts_xbqsts2.0	29701.74	761.58	322.52	900	0	0.179

QBF Solver Evaluation Portal