Regression on HEPC
100GRP Rate (%)Approximate Forward Differential Equivalence
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Approximate Forward Differential EquivalenceConfig=C12026.05 | 100 | 0.0013 | 0 | |
| MBPConfig=C12026.05 | 100 | 0.0013 | 0 | |
| WandaConfig=C12026.05 | 100 | 0.0013 | 0 | |
| MBPConfig=C22026.05 | 66.94 | 0.002 | 0.0014 | |
| WandaConfig=C22026.05 | 65.84 | 0.0024 | 0.001 | |
| MBPConfig=C32026.05 | 65.46 | 0.0038 | 0.0029 | |
| WandaConfig=C32026.05 | 65.44 | 0.0031 | 0.0016 | |
| MBPConfig=C42026.05 | 63.61 | 0.0417 | 0.0156 | |
| WandaConfig=C42026.05 | 63.61 | 0.0335 | 0.0219 | |
| MBPConfig=C52026.05 | 62.61 | 0.146 | 0.0564 | |
| WandaConfig=C52026.05 | 62.61 | 0.0904 | 0.0286 | |
| MBPConfig=C62026.05 | 61.61 | 0.382 | 0.0725 | |
| WandaConfig=C62026.05 | 61.61 | 0.272 | 0.04 | |
| MBPConfig=C72026.05 | 60.86 | 0.843 | 0.0475 | |
| WandaConfig=C72026.05 | 60.86 | 0.715 | 0.0513 | |
| Approximate Forward Differential EquivalenceConfig=C22026.05 | 56.06 | 0.0042 | 0.001 | |
| Approximate Forward Differential EquivalenceConfig=C32026.05 | 50.6 | 0.0042 | 0.001 | |
| Approximate Forward Differential EquivalenceConfig=C42026.05 | 45.51 | 0.0042 | 0.001 | |
| Approximate Forward Differential EquivalenceConfig=C52026.05 | 38.02 | 0.0042 | 0.001 | |
| Approximate Forward Differential EquivalenceConfig=C62026.05 | 24.62 | 0.0046 | 0.001 | |
| Approximate Forward Differential EquivalenceConfig=C72026.05 | 7.4 | 0.212 | 0.077 |