Search longer than 10 steps
Avoid rounding errors
Mimic the C function pow more closely
Fixed bug in max_degree
Put average degree behind min and max degree

This prevents conjectures with average degree to persist when there is also a valid version with min and max degree and the objects contain a regular graph.
Renamed file
Some more runs for domination number upper bounds
Renamed file
mimic C function pow
Avoid division by zero error
Added examples for Goldbach conjecture
Added some more determinant examples