OKullmann/oklibrary — pull request #307 by MGwynne (2011-11-28 11:50:28+00:00)
Title: Experimental results

Branch: experimental_results.

Adding data on various experiments for AES. Also adding overview discussion on each, and starting a "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