Here you can select test results about models in BEEM database and other models tested in DiVinE.
Time and memory constrains will be applayed on all allowed algorithms and threading constraints and model will be selected if any of them match.