Family disjunctive_decomposition results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	1916.89	383.38	423.62	110.17	501.73	0.6
caqe_2017_v1	1691.27	338.25	415.63	0.14	395.61	0.8
caqe_2017_v2	3601.56	720.31	359.38	900	449.22	0.2
caqe_2017_v3	3601.57	720.31	359.37	900	449.22	0.2
CUED1919_NL	3130.8	626.16	354.02	900	684.6	0.2
CUED1919_NNL	3620.84	724.17	351.66	900	439.58	0.2
dynQBF-bloqqer-hqspre	1800.83	360.17	440.77	0.65	450.24	0.6
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	1800.17	360.03	440.88	0.14	450.06	0.6
HQSpre_solver	2700.57	540.11	440.77	900	899.72	0.4
ijtihad_v1	1800.17	360.03	440.88	0.14	450.06	0.6
ijtihad_v2	1800.17	360.03	440.88	0.14	450.06	0.6
iProver-qbf-2017-07-27-v3	3515.13	703.03	352.58	900	492.44	0.2
iProver-qbf-bloqqer-2017-07-27-v3	1800.89	360.18	440.76	0.67	450.23	0.6
prefix-opt-depqbf	3600.01	720	360	900	450	0.2
qbfrelay	339.57	67.91	83.36	0.8	76.2	0.6
qbfrelay-limited-depqbf	1925.96	385.19	412.99	73.18	445.1	0.6
QELL_default	4500	900	0	900	0	0
QELL_unit	4500	900	0	900	0	0
qesto	1178.69	235.74	349.2	0.14	139.32	0.8
Qute_default	3600.16	720.03	359.94	900	449.92	0.2
Qute_opt500	2706.52	541.3	439.32	900	896.74	0.4
Qute_random	2706.51	541.3	439.32	900	896.75	0.4
rareqs	958.51	191.7	354.87	0.15	29.23	0.8
rev_qfun0.1	1800.17	360.03	440.88	0.14	450.06	0.6
xb-qsts_bqsts2.0	1800.84	360.17	440.77	0.66	450.24	0.6
xb-qsts_xbqsts1.0	1800.86	360.17	440.77	0.68	450.25	0.6
xb-qsts_xbqsts2.0	1800.84	360.17	440.77	0.66	450.24	0.6

QBF Solver Evaluation Portal