Regression on Metro
100GRP%Approximate Forward Differential Equivalence
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Approximate Forward Differential EquivalenceConfig=C12026.05 | 100 | 0.022 | 0.0002 | |
| MBPConfig=C12026.05 | 100 | 0.022 | 0.0002 | |
| WandaConfig=C12026.05 | 100 | 0.022 | 0.0002 | |
| MBPConfig=C22026.05 | 95.24 | 0.0237 | 0.0006 | |
| WandaConfig=C22026.05 | 95.22 | 0.0221 | 0.0002 | |
| WandaConfig=C32026.05 | 93.08 | 0.0238 | 0.0006 | |
| MBPConfig=C32026.05 | 93.06 | 0.092 | 0.0121 | |
| Approximate Forward Differential EquivalenceConfig=C22026.05 | 73.25 | 0.0262 | 0.0017 | |
| MBPConfig=C42026.05 | 64.32 | 0.366 | 0.0323 | |
| MBPConfig=C52026.05 | 63.43 | 0.552 | 0.0341 | |
| WandaConfig=C42026.05 | 63.22 | 0.0317 | 0.0023 | |
| WandaConfig=C52026.05 | 62.73 | 0.0459 | 0.0038 | |
| Approximate Forward Differential EquivalenceConfig=C32026.05 | 60.09 | 0.0262 | 0.0017 | |
| Approximate Forward Differential EquivalenceConfig=C42026.05 | 55.12 | 0.0262 | 0.0017 | |
| Approximate Forward Differential EquivalenceConfig=C52026.05 | 43.03 | 0.0263 | 0.0018 | |
| MBPConfig=C62026.05 | 34.67 | 0.516 | 0.0312 | |
| MBPConfig=C72026.05 | 34.29 | 0.43 | 0.0283 | |
| WandaConfig=C62026.05 | 34.06 | 0.0786 | 0.0094 | |
| WandaConfig=C72026.05 | 33.74 | 0.117 | 0.0145 | |
| Approximate Forward Differential EquivalenceConfig=C62026.05 | 21.12 | 0.0305 | 0.0035 | |
| Approximate Forward Differential EquivalenceConfig=C72026.05 | 10.57 | 0.145 | 0.0358 |