| .. | | - | - |
| 2006-06-13-SingleEntryPHI.ll | H A D | 15-Nov-2013 | 1.6 KiB | 36 | 33 |
| 2006-06-27-DeadSwitchCase.ll | H A D | 15-Nov-2013 | 770 | 26 | 23 |
| 2007-05-09-Unreachable.ll | H A D | 15-Nov-2013 | 1.2 KiB | 29 | 25 |
| 2007-05-09-tl.ll | H A D | 15-Nov-2013 | 2.2 KiB | 96 | 80 |
| 2007-07-12-ExitDomInfo.ll | H A D | 15-Nov-2013 | 1.3 KiB | 46 | 33 |
| 2007-07-13-DomInfo.ll | H A D | 15-Nov-2013 | 653 | 28 | 20 |
| 2007-07-18-DomInfo.ll | H A D | 15-Nov-2013 | 2.2 KiB | 67 | 48 |
| 2007-08-01-Dom.ll | H A D | 15-Nov-2013 | 921 | 31 | 22 |
| 2007-08-01-LCSSA.ll | H A D | 15-Nov-2013 | 2.9 KiB | 56 | 46 |
| 2007-10-04-DomFrontier.ll | H A D | 15-Nov-2013 | 659 | 30 | 21 |
| 2008-06-02-DomInfo.ll | H A D | 15-Nov-2013 | 861 | 27 | 24 |
| 2008-06-17-DomFrontier.ll | H A D | 15-Nov-2013 | 687 | 23 | 21 |
| 2008-11-03-Invariant.ll | H A D | 15-Nov-2013 | 968 | 38 | 29 |
| 2010-11-18-LCSSA.ll | H A D | 15-Nov-2013 | 909 | 29 | 22 |
| 2011-06-02-CritSwitch.ll | H A D | 15-Nov-2013 | 832 | 29 | 22 |
| 2011-09-26-EHCrash.ll | H A D | 15-Nov-2013 | 2.6 KiB | 64 | 50 |
| 2011-11-18-SimpleSwitch.ll | H A D | 15-Nov-2013 | 3.4 KiB | 96 | 72 |
| 2011-11-18-TwoSwitches-Threshold.ll | H A D | 15-Nov-2013 | 2.9 KiB | 89 | 64 |
| 2011-11-18-TwoSwitches.ll | H A D | 15-Nov-2013 | 5.6 KiB | 143 | 104 |
| 2012-04-02-IndirectBr.ll | H A D | 15-Nov-2013 | 1.3 KiB | 42 | 29 |
| 2012-04-30-LoopUnswitch-LPad-Crash.ll | H A D | 15-Nov-2013 | 4.2 KiB | 98 | 76 |
| 2012-05-20-Phi.ll | H A D | 15-Nov-2013 | 872 | 26 | 22 |
| basictest.ll | H A D | 15-Nov-2013 | 1.9 KiB | 69 | 59 |
| crash.ll | H A D | 15-Nov-2013 | 2.4 KiB | 67 | 57 |
| infinite-loop.ll | H A D | 15-Nov-2013 | 1.5 KiB | 59 | 43 |
| preserve-analyses.ll | H A D | 15-Nov-2013 | 5.1 KiB | 130 | 98 |