[Bridges.Variable] change ParameterToEqualToBridge to <: SetMapBridge… #4889
| Job | Run time |
|---|---|
| 44m 28s | |
| 44m 45s | |
| 43m 29s | |
| 42m 40s | |
| 44m 25s | |
| 43m 25s | |
| 33m 53s | |
| 31m 0s | |
| 50m 15s | |
| 49m 40s | |
| 7h 8m 0s |
| Job | Run time |
|---|---|
| 44m 28s | |
| 44m 45s | |
| 43m 29s | |
| 42m 40s | |
| 44m 25s | |
| 43m 25s | |
| 33m 53s | |
| 31m 0s | |
| 50m 15s | |
| 49m 40s | |
| 7h 8m 0s |