chore(dafny): improve performance of searchable encryption (#1931) #160
| Job | Run time |
|---|---|
| 8s | |
| 10s | |
| 6m 34s | |
| 28s | |
| 28s | |
| 15m 58s | |
| 12m 41s | |
| 14m 7s | |
| 15m 2s | |
| 14m 55s | |
| 21m 32s | |
| 40m 27s | |
| 15m 48s | |
| 55m 22s | |
| 25s | |
| 27s | |
| 16m 55s | |
| 16m 52s | |
| 12m 2s | |
| 16m 8s | |
| 9m 29s | |
| 32s | |
| 6m 43s | |
| 10m 10s | |
| 35m 20s | |
| 39s | |
| 14m 7s | |
| 32s | |
| 27s | |
| 37s | |
| 27s | |
| 14m 48s | |
| 16m 19s | |
| 19m 35s | |
| 12m 48s | |
| 14m 12s | |
| 7h 13m 14s |