Family disjunctive_decomposition results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
ASPQ2	702.91	140.58	281.06	0.03	0.1	0.8
CADET_2017	1811.29	362.26	439.08	10.17	454.53	0.6
caqe_2017_v1	900.21	180.04	359.98	0.03	0.1	0.8
caqe_2017_v2	2700.17	540.03	440.87	900	899.92	0.4
caqe_2017_v3	2700.17	540.03	440.87	900	899.92	0.4
CUED1919_NL	4500	900	0	900	0	0
CUED1919_NNL	4500	900	0	900	0	0
dynQBF-bloqqer-hqspre	901.08	180.22	359.89	0.21	0.48	0.8
DynQBF-bloqqer-hqspre-it	901.07	180.21	359.89	0.22	0.48	0.8
DynQBF-bloqqer-variant	1800.28	360.06	440.86	0.22	450.08	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	900.22	180.04	359.98	0.03	0.09	0.8
ijtihad_v1	900.22	180.04	359.98	0.03	0.09	0.8
ijtihad_v2	900.22	180.04	359.98	0.03	0.09	0.8
iProver-qbf-2017-07-27-v3	3600.86	720.17	359.66	900	449.57	0.2
iProver-qbf-bloqqer-2017-07-27-v3	1800.33	360.07	440.85	0.23	450.07	0.6
no-prefix-opt-depqbf	2700.03	540.01	440.9	900	899.99	0.4
qbfrelay	896.96	179.39	357.97	0.29	0.51	0.8
qbfrelay-limited-depqbf	1040.54	208.11	344.85	72.39	72.47	0.8
QELL_default	3602.18	720.44	359.13	900	448.91	0.2
QELL_unit	4500	900	0	900	0	0
qesto	900.21	180.04	359.98	0.03	0.1	0.8
rareqs	900.2	180.04	359.98	0.03	0.1	0.8
rev_qfun0.1	900.2	180.04	359.98	0.03	0.1	0.8
xb-qsts_bqsts2.0	1800.27	360.05	440.86	0.21	450.08	0.6
xb-qsts_xbqsts1.0	1800.27	360.05	440.86	0.21	450.08	0.6
xb-qsts_xbqsts2.0	1800.27	360.05	440.86	0.21	450.08	0.6

QBF Solver Evaluation Portal