Added SymbolicFold and its instances
#1077
| Job | Run time |
|---|---|
| 50m 42s | |
| 50m 42s |
SymbolicFold and its instances
#1077
| Job | Run time |
|---|---|
| 50m 42s | |
| 50m 42s |