[Bridges.Variable] change ParameterToEqualToBridge to <: SetMapBridge #4866
| Job | Run time |
|---|---|
| 22m 22s | |
| 45m 2s | |
| 22m 25s | |
| 42m 38s | |
| 23m 1s | |
| 43m 59s | |
| 18m 57s | |
| 29m 40s | |
| 26m 10s | |
| 51m 22s | |
| 5h 25m 36s |
| Job | Run time |
|---|---|
| 22m 22s | |
| 45m 2s | |
| 22m 25s | |
| 42m 38s | |
| 23m 1s | |
| 43m 59s | |
| 18m 57s | |
| 29m 40s | |
| 26m 10s | |
| 51m 22s | |
| 5h 25m 36s |