[Bridges.Variable] change ParameterToEqualToBridge to <: SetMapBridge #4861
| Job | Run time |
|---|---|
| 23m 33s | |
| 43m 54s | |
| 22m 42s | |
| 41m 46s | |
| 23m 33s | |
| 42m 47s | |
| 18m 30s | |
| 30m 20s | |
| 25m 59s | |
| 47m 59s | |
| 5h 21m 3s |
| Job | Run time |
|---|---|
| 23m 33s | |
| 43m 54s | |
| 22m 42s | |
| 41m 46s | |
| 23m 33s | |
| 42m 47s | |
| 18m 30s | |
| 30m 20s | |
| 25m 59s | |
| 47m 59s | |
| 5h 21m 3s |