modifying experiment section
extract_proofs: update table
extract_proofs: minor fix in 785.smt2

Conflicts:
	extract_proofs/kepler.tex
extract_proofs: give definition of atan2