OKullmann/oklibrary — pull request #309 by MGwynne (2011-11-29 11:08:30+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.

AES instances with 8-bit field sizes (8-bit boxes) seem to show exponential behaviour (time ~ number of rounds) for minimum translations but linear or quadratic behaviour for 1-soft translations.

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