| task | reps | mean weighted | min – max | saved |
|---|---|---|---|---|
| r8ht2k — 50 runs, mean weighted 98,623 | ||||
| django__django-11551 | 5 | 164,196 | 116,094 – 197,697 | 0.28% |
| django__django-11603 | 5 | 121,716 | 93,624 – 148,134 | 0.26% |
| django__django-13516 | 5 | 94,462 | 65,755 – 158,923 | 0.00% |
| django__django-13821 | 5 | 108,645 | 81,074 – 140,918 | 0.01% |
| django__django-13964 | 5 | 125,544 | 91,602 – 168,153 | 0.59% |
| django__django-14373 | 5 | 56,705 | 46,456 – 61,940 | 0.00% |
| django__django-15103 | 5 | 107,514 | 65,611 – 150,847 | 0.00% |
| django__django-15375 | 5 | 55,718 | 23,129 – 122,519 | 0.46% |
| django__django-15863 | 5 | 94,884 | 76,616 – 125,096 | 0.00% |
| sympy__sympy-19637 | 5 | 56,846 | 35,259 – 69,845 | 0.00% |
weighted = input×1 + cached×0.1 + output×3