Suite Scholl-Becker results for solvers <br> QBFEVAL'17

Solver	Total time	Mean time	Std time	Median time	IQ range time	Solved/Total
AIGSolve	12472.75	542.29	431.99	900	897.91	0.391
caqe_2017_v1	15571.22	677.01	373.73	900	839.55	0.304
caqe_2017_v2	13283.41	577.54	403.66	900	895.55	0.435
caqe_2017_v3	14748.92	641.26	387.13	900	891.59	0.348
CUED1919_NL	16.72	0.73	0.95	0.59	0.66	0
CUED1919_NNL	9.28	0.4	0.38	0.55	0.6	0
dynQBF-bloqqer-hqspre	14663.27	637.53	378.74	900	819.24	0.348
ghostq-cegar	12722.94	553.17	432.65	900	895.7	0.391
GhostQ-PG_cegar	12722.42	553.15	432.71	900	896.63	0.391
GhostQ-PG_plain	10344.27	449.75	422.92	341.21	896.75	0.565
heretiq	16950.42	736.97	320.71	900	506.52	0.217
HQSpre_solver	18250.38	793.49	261.45	900	0	0.174
ijtihad_v1	16874.51	733.67	325.06	900	504.4	0.217
ijtihad_v2	16933.28	736.23	321.71	900	498.21	0.217
iProver-qbf-2017-07-27-v3	19945.34	867.19	153.9	900	0	0.043
iProver-qbf-bloqqer-2017-07-27-v3	20495.9	891.13	41.62	900	0	0.043
prefix-opt-depqbf	14797.38	643.36	393.32	900	888.6	0.304
qbfrelay	12606.32	548.1	371.12	737.55	851.36	0.087
qbfrelay-limited-depqbf	13989.82	608.25	391.81	888.12	877.54	0.348
QELL_default	12089.29	525.62	427.97	900	886.5	0.435
QELL_unit	12085.82	525.47	428.08	900	884.65	0.435
qesto	19841.97	862.69	174.98	900	0	0.043
Qute_default	17088.81	742.99	326.52	900	157.09	0.217
Qute_opt500	16373.62	711.9	357.3	900	800.17	0.217
Qute_random	16375.12	711.96	357.18	900	799.5	0.217
rareqs	16296.61	708.55	363.57	900	815.79	0.217
rev_qfun0.1	9947.34	432.49	447.63	25.49	899.36	0.522
xb-qsts_bqsts2.0	19955.12	867.61	106.09	900	0	0.087
xb-qsts_xbqsts1.0	19557.35	850.32	166.87	900	0	0.087
xb-qsts_xbqsts2.0	19548.05	849.92	167.88	900	0	0.087

QBF Solver Evaluation Portal