[Bridges.Variable] change ParameterToEqualToBridge to <: SetMapBridge #4856
| Job | Run time |
|---|---|
| 44m 22s | |
| 45m 16s | |
| 44m 9s | |
| 43m 4s | |
| 46m 25s | |
| 45m 0s | |
| 36m 11s | |
| 32m 12s | |
| 49m 9s | |
| 48m 9s | |
| 7h 13m 57s |
| Job | Run time |
|---|---|
| 44m 22s | |
| 45m 16s | |
| 44m 9s | |
| 43m 4s | |
| 46m 25s | |
| 45m 0s | |
| 36m 11s | |
| 32m 12s | |
| 49m 9s | |
| 48m 9s | |
| 7h 13m 57s |