[Bridges.Variable] change ParameterToEqualToBridge to <: SetMapBridge #4863
| Job | Run time |
|---|---|
| 23m 5s | |
| 43m 51s | |
| 22m 6s | |
| 41m 56s | |
| 24m 7s | |
| 43m 4s | |
| 17m 50s | |
| 30m 43s | |
| 26m 1s | |
| 47m 4s | |
| 5h 19m 47s |
| Job | Run time |
|---|---|
| 23m 5s | |
| 43m 51s | |
| 22m 6s | |
| 41m 56s | |
| 24m 7s | |
| 43m 4s | |
| 17m 50s | |
| 30m 43s | |
| 26m 1s | |
| 47m 4s | |
| 5h 19m 47s |