OKullmann/oklibrary — pull request #313 by MGwynne (2011-12-14 17:42:50+00:00)
Title: Experimental results

Branch: experimental_results.

Note: Merge conflicts with previous pull request have been fixed.

Adding
- data on various experiments for AES.
- overview discussion on each experiment added
- started "Patterns" todo at the general level, discussing overall patterns seen in the experiments, and new avenues for experimentation.

In particular, minisat-2.2.0 shows similar performance for all translations on AES instances with 4-bit field sizes.

For all new data, best-fit models have been found and described in the overview in the plans.

The current experiments file is now up to date with the currently running experiments w.r.t AES and DES.

More experiments are being added, along with the statistics for each experiment instance.

Matthew