Neural Network Compression on Polymerization
100GRP%Approximate Forward Differential Equivalence
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Approximate Forward Differential EquivalenceVariant=1, Config=C12026.05 | 100 | 0 | 0 | |
| MBPVariant=1, Config=C12026.05 | 100 | 0 | 0 | |
| WandaVariant=1, Config=C12026.05 | 100 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=2, Config=C12026.05 | 100 | 0 | 0 | |
| MBPVariant=2, Config=C12026.05 | 100 | 0 | 0 | |
| WandaVariant=2, Config=C12026.05 | 100 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=3, Config=C12026.05 | 100 | 0 | 0 | |
| MBPVariant=3, Config=C12026.05 | 100 | 0 | 0 | |
| WandaVariant=3, Config=C12026.05 | 100 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=2, Config=C22026.05 | 82.98 | 0 | 0 | |
| MBPVariant=2, Config=C22026.05 | 78.77 | 0 | 0 | |
| WandaVariant=2, Config=C22026.05 | 78.77 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=1, Config=C22026.05 | 73.2 | 0 | 0 | |
| MBPVariant=1, Config=C22026.05 | 71.69 | 0.0001 | 0.0001 | |
| WandaVariant=1, Config=C22026.05 | 71.69 | 0 | 0 | |
| WandaVariant=3, Config=C22026.05 | 66.97 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=1, Config=C32026.05 | 63.46 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=2, Config=C32026.05 | 62.75 | 0 | 0 | |
| MBPVariant=1, Config=C32026.05 | 62.25 | 0.0008 | 0.0005 | |
| WandaVariant=1, Config=C32026.05 | 62.25 | 0.0004 | 0.0003 | |
| MBPVariant=2, Config=C32026.05 | 62.25 | 0.0016 | 0.001 | |
| WandaVariant=2, Config=C32026.05 | 62.25 | 0.0003 | 0.0002 | |
| MBPVariant=3, Config=C22026.05 | 62.25 | 0.0014 | 0.0007 | |
| WandaVariant=3, Config=C32026.05 | 62.25 | 0.0001 | 0.0001 | |
| Approximate Forward Differential EquivalenceVariant=3, Config=C22026.05 | 61.19 | 0 | 0 | |
| MBPVariant=1, Config=C42026.05 | 59.89 | 0.0016 | 0.0009 | |
| WandaVariant=1, Config=C42026.05 | 59.89 | 0.0009 | 0.0006 | |
| MBPVariant=2, Config=C42026.05 | 59.89 | 0.0035 | 0.0018 | |
| WandaVariant=2, Config=C42026.05 | 59.89 | 0.0011 | 0.0007 | |
| Approximate Forward Differential EquivalenceVariant=2, Config=C42026.05 | 58.05 | 0 | 0 | |
| MBPVariant=3, Config=C32026.05 | 57.54 | 0.0069 | 0.0024 | |
| WandaVariant=3, Config=C42026.05 | 57.54 | 0.002 | 0.001 | |
| Approximate Forward Differential EquivalenceVariant=3, Config=C32026.05 | 56.03 | 0 | 0 | |
| MBPVariant=3, Config=C42026.05 | 55.18 | 0.0172 | 0.0065 | |
| WandaVariant=3, Config=C52026.05 | 55.18 | 0.011 | 0.0051 | |
| MBPVariant=1, Config=C52026.05 | 55.17 | 0.0125 | 0.0065 | |
| WandaVariant=1, Config=C52026.05 | 55.17 | 0.0065 | 0.0039 | |
| MBPVariant=2, Config=C52026.05 | 55.17 | 0.0195 | 0.0084 | |
| WandaVariant=2, Config=C52026.05 | 55.17 | 0.0131 | 0.0062 | |
| MBPVariant=3, Config=C52026.05 | 54.26 | 0.0247 | 0.0091 | |
| MBPVariant=1, Config=C62026.05 | 53.77 | 0.0269 | 0.0114 | |
| WandaVariant=1, Config=C62026.05 | 53.6 | 0.0188 | 0.0087 | |
| WandaVariant=2, Config=C62026.05 | 53.6 | 0.0335 | 0.0127 | |
| WandaVariant=3, Config=C62026.05 | 53.6 | 0.0318 | 0.0114 | |
| MBPVariant=2, Config=C62026.05 | 53.3 | 0.047 | 0.0165 | |
| MBPVariant=3, Config=C62026.05 | 53.29 | 0.0346 | 0.0122 | |
| Approximate Forward Differential EquivalenceVariant=1, Config=C42026.05 | 52.89 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=3, Config=C42026.05 | 45.25 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=2, Config=C52026.05 | 37.86 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=1, Config=C52026.05 | 36.75 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=2, Config=C62026.05 | 25.57 | 0.0059 | 0.0049 | |
| Approximate Forward Differential EquivalenceVariant=3, Config=C52026.05 | 25.17 | 0 | 0 | |
| Approximate Forward Differential EquivalenceVariant=3, Config=C62026.05 | 17.37 | 0.0004 | 0.0004 | |
| Approximate Forward Differential EquivalenceVariant=1, Config=C62026.05 | 16.44 | 0.003 | 0.0022 |