3.6. Automatic Solution Checking, Model Validation, and Benchmarking ...