preparing solver experiments