another seed for the examples and added random_system to solver