moved dump_data_to_file into petulant.py, fixed solve_all( ) test in benchmark.py