Evaluation: miniF2F-valid

Total theorems: 140

Plots

Success by Model Calls

Theorems

Theorem arsbeamrsbeam_ars
aimeI_2000_p7 ❌ 7897 calls, 0.250 mass❌ 2037 calls, 0.000 mass❌ 7666 calls, 0.000 mass❌ 4476 calls, 0.242 mass
aime_1983_p9 ❌ 911 calls, 0.430 mass❌ 777 calls, 0.000 mass❌ 826 calls, 0.000 mass❌ 823 calls, 0.570 mass
aime_1984_p5 ❌ 7815 calls, 0.203 mass❌ 1881 calls, 0.000 mass❌ 7428 calls, 0.000 mass❌ 2406 calls, 0.203 mass
aime_1987_p8 ❌ 7659 calls, 0.051 mass❌ 1411 calls, 0.000 mass❌ 7268 calls, 0.000 mass❌ 1411 calls, 0.000 mass
aime_1988_p4 ❌ 7738 calls, 0.254 mass❌ 1146 calls, 0.000 mass❌ 7058 calls, 0.000 mass❌ 1526 calls, 0.172 mass
aime_1994_p4 ❌ 7703 calls, 0.055 mass❌ 1269 calls, 0.000 mass❌ 7613 calls, 0.000 mass❌ 1269 calls, 0.000 mass
aime_1996_p5 ❌ 7734 calls, 0.258 mass❌ 2040 calls, 0.000 mass❌ 7721 calls, 0.000 mass❌ 2061 calls, 0.121 mass
algebra_2rootspoly_apatapbeq2asqp2ab ❌ 6586 calls, 0.561 mass❌ 1280 calls, 0.000 mass❌ 3440 calls, 0.000 mass❌ 1657 calls, 0.588 mass
algebra_amgm_prod1toneq1_sum1tongeqn ❌ 987 calls, 0.402 mass❌ 643 calls, 0.000 mass❌ 675 calls, 0.000 mass❌ 1134 calls, 0.477 mass
algebra_amgm_sqrtxymulxmyeqxpy_xpygeq4 ❌ 7366 calls, 0.195 mass❌ 1591 calls, 0.000 mass❌ 7514 calls, 0.000 mass❌ 1764 calls, 0.020 mass
algebra_amgm_sumasqdivbsqgeqsumbdiva ❌ 7791 calls, 0.125 mass❌ 1701 calls, 0.000 mass❌ 7758 calls, 0.000 mass❌ 2996 calls, 0.129 mass
algebra_apb4leq8ta4pb4 ❌ 8023 calls, 0.572 mass❌ 1288 calls, 0.000 mass❌ 5651 calls, 0.000 mass❌ 1398 calls, 0.572 mass
algebra_binomnegdiscrineq_10alt28asqp1 ❌ 7071 calls, 0.074 mass❌ 829 calls, 0.000 mass❌ 7176 calls, 0.000 mass❌ 829 calls, 0.000 mass
algebra_manipexpr_2erprsqpesqeqnrpnesq ❌ 7663 calls, 0.004 mass❓❓❌ 1086 calls, 0.176 mass
algebra_sqineq_2at2pclta2c2p41pc ❌ 6847 calls, 0.098 mass❌ 1436 calls, 0.000 mass❌ 7096 calls, 0.000 mass❌ 1735 calls, 0.086 mass
algebra_sqineq_4bap1lt4bsqpap1sq ❌ 7334 calls, 0.008 mass❌ 1433 calls, 0.000 mass❌ 7267 calls, 0.000 mass❌ 2223 calls, 0.109 mass
amc12_2000_p15 ❌ 7549 calls, 0.521 mass❌ 1392 calls, 0.000 mass❌ 6906 calls, 0.000 mass❌ 2928 calls, 0.488 mass
amc12_2000_p5 ❌ 8062 calls, 0.000 mass❌ 900 calls, 0.000 mass❌ 8068 calls, 0.000 mass❌ 1222 calls, 0.000 mass
amc12_2001_p2 ❌ 7169 calls, 0.557 mass❌ 1707 calls, 0.000 mass❌ 6578 calls, 0.000 mass❌ 2906 calls, 0.545 mass
amc12a_2002_p1 ❌ 659 calls, 0.082 mass❌ 568 calls, 0.000 mass❌ 590 calls, 0.000 mass❌ 630 calls, 0.137 mass
amc12a_2002_p12 ❌ 7747 calls, 0.453 mass❌ 2040 calls, 0.000 mass❌ 7486 calls, 0.000 mass❌ 2133 calls, 0.027 mass
amc12a_2003_p24 ❌ 7659 calls, 0.223 mass❌ 1411 calls, 0.000 mass❌ 7094 calls, 0.000 mass❌ 1478 calls, 0.219 mass
amc12a_2003_p25 ❌ 7980 calls, 0.402 mass❌ 1846 calls, 0.000 mass❌ 7444 calls, 0.000 mass❌ 1933 calls, 0.039 mass
amc12a_2008_p15 ❌ 7862 calls, 0.109 mass❌ 1788 calls, 0.000 mass❌ 7544 calls, 0.000 mass❌ 2268 calls, 0.004 mass
amc12a_2008_p2 ❌ 7296 calls, 0.004 mass❌ 1992 calls, 0.000 mass❌ 7328 calls, 0.000 mass❌ 2725 calls, 0.525 mass
amc12a_2008_p4 ❌ 7223 calls, 0.059 mass❌ 1100 calls, 0.000 mass❌ 7800 calls, 0.000 mass❌ 1236 calls, 0.000 mass
amc12a_2009_p15 ❌ 7604 calls, 0.367 mass❌ 1477 calls, 0.000 mass❌ 7373 calls, 0.000 mass❌ 1693 calls, 0.383 mass
amc12a_2009_p2 ❌ 5581 calls, 0.094 mass❌ 842 calls, 0.000 mass❌ 4822 calls, 0.000 mass❌ 996 calls, 0.121 mass
amc12a_2009_p9 ❌ 7616 calls, 0.137 mass❌ 1819 calls, 0.000 mass❌ 7418 calls, 0.000 mass❌ 2020 calls, 0.000 mass
amc12a_2010_p10 ❌ 7686 calls, 0.320 mass❌ 2041 calls, 0.000 mass❌ 7322 calls, 0.000 mass❌ 2041 calls, 0.000 mass
amc12a_2011_p18 ❌ 7872 calls, 0.004 mass❌ 1571 calls, 0.000 mass❌ 7710 calls, 0.000 mass❌ 1571 calls, 0.004 mass
amc12a_2013_p7 ❌ 6389 calls, 0.105 mass❌ 2041 calls, 0.000 mass❌ 6639 calls, 0.000 mass❌ 2041 calls, 0.000 mass
amc12a_2016_p2 ❌ 7456 calls, 0.004 mass❌ 2041 calls, 0.000 mass❌ 7735 calls, 0.000 mass❌ 2041 calls, 0.000 mass
amc12a_2016_p3 ❌ 7086 calls, 0.195 mass❌ 2003 calls, 0.000 mass❌ 5956 calls, 0.000 mass❌ 2334 calls, 0.188 mass
amc12a_2017_p7 ❌ 7253 calls, 0.105 mass❌ 2040 calls, 0.000 mass❌ 7251 calls, 0.000 mass❌ 2054 calls, 0.023 mass
amc12a_2019_p9 ❌ 7605 calls, 0.371 mass❌ 1939 calls, 0.000 mass❌ 6720 calls, 0.000 mass❌ 2806 calls, 0.395 mass
amc12a_2020_p13 ❌ 7838 calls, 0.180 mass❌ 1426 calls, 0.000 mass❌ 7247 calls, 0.000 mass❌ 2883 calls, 0.203 mass
amc12a_2020_p21 ❌ 7552 calls, 0.074 mass❌ 1140 calls, 0.000 mass❌ 7466 calls, 0.000 mass❌ 1164 calls, 0.074 mass
amc12a_2021_p7 ❌ 7948 calls, 0.020 mass❌ 2020 calls, 0.000 mass❌ 7558 calls, 0.000 mass❌ 2056 calls, 0.000 mass
amc12b_2002_p3 ❌ 7720 calls, 0.258 mass❌ 1371 calls, 0.000 mass❌ 7636 calls, 0.000 mass❌ 1380 calls, 0.020 mass
amc12b_2002_p6 ❌ 7394 calls, 0.250 mass❌ 1400 calls, 0.000 mass❌ 7145 calls, 0.000 mass❌ 1500 calls, 0.227 mass
amc12b_2003_p17 ❌ 7718 calls, 0.074 mass❌ 2037 calls, 0.000 mass❌ 7617 calls, 0.000 mass❌ 2421 calls, 0.070 mass
amc12b_2003_p6 ❌ 7581 calls, 0.588 mass❌ 1900 calls, 0.000 mass❌ 7239 calls, 0.000 mass❌ 3079 calls, 0.576 mass
amc12b_2004_p3 ❌ 7589 calls, 0.051 mass❌ 714 calls, 0.000 mass❌ 7862 calls, 0.000 mass❌ 799 calls, 0.000 mass
imo_1961_p1 ❌ 7899 calls, 0.523 mass❌ 2032 calls, 0.000 mass❌ 7158 calls, 0.000 mass❌ 3821 calls, 0.516 mass
imo_1962_p4 ❌ 7419 calls, 0.000 mass❌ 1364 calls, 0.000 mass❌ 7384 calls, 0.000 mass❌ 1364 calls, 0.000 mass
imo_1964_p1_1 ❌ 7399 calls, 0.078 mass❌ 1314 calls, 0.000 mass❌ 7711 calls, 0.000 mass❌ 1314 calls, 0.004 mass
imo_1966_p4 ❌ 7969 calls, 0.188 mass❌ 1260 calls, 0.000 mass❌ 7369 calls, 0.000 mass❌ 2232 calls, 0.270 mass
imo_1966_p5 ❌ 7659 calls, 0.062 mass❌ 2041 calls, 0.000 mass❌ 7714 calls, 0.000 mass❌ 2041 calls, 0.000 mass
imo_1974_p5 ❌ 7258 calls, 0.504 mass❌ 2015 calls, 0.000 mass❌ 6933 calls, 0.000 mass❌ 3965 calls, 0.496 mass
imo_1977_p5 ❌ 1243 calls, 0.016 mass❌ 648 calls, 0.000 mass❌ 1308 calls, 0.000 mass❌ 1260 calls, 0.094 mass
imo_1978_p5 ❌ 7899 calls, 0.160 mass❌ 1830 calls, 0.000 mass❌ 7696 calls, 0.000 mass❌ 3315 calls, 0.195 mass
imo_1979_p1 ❌ 7530 calls, 0.148 mass❌ 1088 calls, 0.000 mass❌ 6861 calls, 0.000 mass❌ 1088 calls, 0.000 mass
imo_1987_p6 ❌ 7647 calls, 0.328 mass❌ 1316 calls, 0.000 mass❌ 7171 calls, 0.000 mass❌ 2216 calls, 0.371 mass
imo_1990_p3 ❌ 7359 calls, 0.098 mass❌ 987 calls, 0.000 mass❌ 6994 calls, 0.000 mass❌ 1042 calls, 0.012 mass
induction_divisibility_3div2tooddnp1 ✅ 65 calls, 0.000 mass✅ 509 calls, 0.000 mass✅ 83 calls, 0.000 mass✅ 509 calls, 0.000 mass
induction_divisibility_3divnto3m2n ❌ 7546 calls, 0.012 mass❌ 977 calls, 0.000 mass❌ 7951 calls, 0.000 mass❌ 1536 calls, 0.000 mass
induction_divisibility_9div10tonm1 ❌ 7622 calls, 0.113 mass❌ 1352 calls, 0.000 mass❌ 7229 calls, 0.000 mass❌ 1694 calls, 0.008 mass
induction_ineq_nsqlefactn ❌ 7505 calls, 0.004 mass❌ 813 calls, 0.000 mass❌ 6601 calls, 0.000 mass❌ 1002 calls, 0.000 mass
induction_sum_1oktkp1 ❌ 7492 calls, 0.078 mass❌ 686 calls, 0.000 mass❌ 7558 calls, 0.000 mass❌ 1482 calls, 0.113 mass
induction_sum_odd ❌ 7028 calls, 0.055 mass❌ 605 calls, 0.000 mass❌ 6203 calls, 0.000 mass❌ 1043 calls, 0.031 mass
mathd_algebra_101 ❌ 7989 calls, 0.000 mass❌ 1080 calls, 0.000 mass❌ 7933 calls, 0.000 mass❌ 1203 calls, 0.000 mass
mathd_algebra_109 ❌ 7519 calls, 0.207 mass❌ 1475 calls, 0.000 mass❌ 5828 calls, 0.000 mass❌ 3545 calls, 0.410 mass
mathd_algebra_116 ❌ 6728 calls, 0.000 mass❌ 2034 calls, 0.000 mass❌ 6545 calls, 0.000 mass❌ 2213 calls, 0.004 mass
mathd_algebra_119 ✅ 66 calls, 0.000 mass✅ 267 calls, 0.000 mass✅ 44 calls, 0.000 mass✅ 267 calls, 0.168 mass
mathd_algebra_126 ✅ 11 calls, 0.000 mass✅ 60 calls, 0.000 mass✅ 23 calls, 0.000 mass✅ 60 calls, 0.000 mass
mathd_algebra_13 ❌ 7437 calls, 0.043 mass❌ 2035 calls, 0.000 mass❌ 7629 calls, 0.000 mass❌ 2035 calls, 0.000 mass
mathd_algebra_131 ❌ 7824 calls, 0.145 mass❌ 1954 calls, 0.000 mass❌ 7518 calls, 0.000 mass❌ 1974 calls, 0.000 mass
mathd_algebra_144 ❌ 7643 calls, 0.367 mass❌ 2014 calls, 0.000 mass❌ 6658 calls, 0.000 mass❌ 2377 calls, 0.367 mass
mathd_algebra_149 ❌ 7572 calls, 0.674 mass❌ 1597 calls, 0.000 mass❌ 6646 calls, 0.000 mass❌ 1791 calls, 0.676 mass
mathd_algebra_181 ❌ 7594 calls, 0.070 mass❌ 842 calls, 0.000 mass❌ 7218 calls, 0.000 mass❌ 1984 calls, 0.160 mass
mathd_algebra_185 ❌ 7575 calls, 0.285 mass❌ 2028 calls, 0.000 mass❌ 7545 calls, 0.000 mass❌ 2048 calls, 0.281 mass
mathd_algebra_206 ✅ 60 calls, 0.000 mass✅ 366 calls, 0.000 mass✅ 70 calls, 0.000 mass✅ 366 calls, 0.000 mass
mathd_algebra_224 ❌ 1500 calls, 0.480 mass❌ 939 calls, 0.000 mass❌ 1074 calls, 0.000 mass❌ 1566 calls, 0.545 mass
mathd_algebra_234 ❌ 7467 calls, 0.016 mass❌ 1886 calls, 0.000 mass❌ 7338 calls, 0.000 mass❌ 4498 calls, 0.129 mass
mathd_algebra_245 ✅ 14 calls, 0.000 mass✅ 59 calls, 0.000 mass✅ 9 calls, 0.000 mass✅ 59 calls, 0.000 mass
mathd_algebra_247 ❌ 7533 calls, 0.434 mass❌ 2032 calls, 0.000 mass❌ 6772 calls, 0.000 mass❌ 2703 calls, 0.031 mass
mathd_algebra_251 ❌ 7412 calls, 0.004 mass❌ 433 calls, 0.000 mass❌ 7330 calls, 0.000 mass❌ 1770 calls, 0.410 mass
mathd_algebra_267 ❌ 7782 calls, 0.043 mass❌ 968 calls, 0.000 mass❌ 7748 calls, 0.000 mass❌ 3453 calls, 0.051 mass
mathd_algebra_28 ✅ 51 calls, 0.000 mass✅ 365 calls, 0.000 mass✅ 49 calls, 0.000 mass✅ 365 calls, 0.000 mass
mathd_algebra_31 ❌ 7596 calls, 0.609 mass❌ 1608 calls, 0.000 mass❌ 6537 calls, 0.000 mass❌ 1057 calls, 0.609 mass
mathd_algebra_327 ❌ 7818 calls, 0.324 mass❌ 1808 calls, 0.000 mass❌ 6699 calls, 0.000 mass❌ 2761 calls, 0.328 mass
mathd_algebra_37 ❌ 6894 calls, 0.211 mass❌ 2034 calls, 0.000 mass❌ 7338 calls, 0.000 mass❌ 2301 calls, 0.000 mass
mathd_algebra_405 ❌ 7420 calls, 0.258 mass❌ 1425 calls, 0.000 mass❌ 7617 calls, 0.000 mass❌ 1499 calls, 0.207 mass
mathd_algebra_421 ❌ 7640 calls, 0.000 mass❌ 2041 calls, 0.000 mass❌ 7839 calls, 0.000 mass❌ 2041 calls, 0.000 mass
mathd_algebra_422 ❌ 7309 calls, 0.305 mass❌ 1667 calls, 0.000 mass❌ 6901 calls, 0.000 mass❌ 2819 calls, 0.008 mass
mathd_algebra_43 ❌ 7901 calls, 0.172 mass❌ 1510 calls, 0.000 mass❌ 7668 calls, 0.000 mass❌ 1924 calls, 0.008 mass
mathd_algebra_455 ✅ 31 calls, 0.000 mass✅ 28 calls, 0.000 mass✅ 102 calls, 0.000 mass✅ 28 calls, 0.000 mass
mathd_algebra_462 ❌ 6332 calls, 0.418 mass❌ 524 calls, 0.000 mass❌ 4570 calls, 0.000 mass❌ 1060 calls, 0.553 mass
mathd_algebra_48 ✅ 87 calls, 0.000 mass✅ 97 calls, 0.000 mass✅ 32 calls, 0.000 mass✅ 97 calls, 0.000 mass
mathd_algebra_482 ❌ 7896 calls, 0.285 mass❌ 2015 calls, 0.000 mass❌ 7708 calls, 0.000 mass❌ 2015 calls, 0.000 mass
mathd_algebra_493 ❌ 6464 calls, 0.137 mass❌ 2040 calls, 0.000 mass❌ 6523 calls, 0.000 mass❌ 2081 calls, 0.000 mass
mathd_algebra_536 ❌ 6750 calls, 0.008 mass❌ 843 calls, 0.000 mass❌ 7097 calls, 0.000 mass❌ 901 calls, 0.000 mass
mathd_algebra_55 ❌ 7867 calls, 0.262 mass❌ 1164 calls, 0.000 mass❌ 7346 calls, 0.000 mass❌ 2838 calls, 0.219 mass
mathd_algebra_568 ❌ 7075 calls, 0.207 mass❌ 503 calls, 0.000 mass❌ 6463 calls, 0.000 mass❌ 1310 calls, 0.422 mass
mathd_algebra_67 ❌ 7199 calls, 0.277 mass❌ 1652 calls, 0.000 mass❌ 6726 calls, 0.000 mass❌ 2406 calls, 0.277 mass
mathd_algebra_69 ❌ 7725 calls, 0.156 mass❌ 1501 calls, 0.000 mass❌ 7732 calls, 0.000 mass❌ 2737 calls, 0.008 mass
mathd_algebra_73 ❌ 7620 calls, 0.066 mass❌ 2029 calls, 0.000 mass❌ 7553 calls, 0.000 mass❌ 2473 calls, 0.004 mass
mathd_algebra_96 ❌ 7994 calls, 0.059 mass❌ 1993 calls, 0.000 mass❌ 7869 calls, 0.000 mass❌ 2663 calls, 0.059 mass
mathd_numbertheory_101 ❌ 7044 calls, 0.219 mass❌ 1697 calls, 0.000 mass❌ 6451 calls, 0.000 mass❌ 3262 calls, 0.488 mass
mathd_numbertheory_102 ❌ 7117 calls, 0.113 mass❌ 487 calls, 0.000 mass❌ 6139 calls, 0.000 mass❌ 840 calls, 0.336 mass
mathd_numbertheory_109 ✅ 48 calls, 0.000 mass✅ 167 calls, 0.000 mass✅ 158 calls, 0.000 mass✅ 167 calls, 0.000 mass
mathd_numbertheory_126 ❌ 7636 calls, 0.664 mass❌ 1940 calls, 0.000 mass❌ 6429 calls, 0.000 mass❌ 1962 calls, 0.035 mass
mathd_numbertheory_13 ❌ 7376 calls, 0.312 mass❌ 1550 calls, 0.000 mass❌ 7907 calls, 0.000 mass❌ 1554 calls, 0.000 mass
mathd_numbertheory_132 ❌ 7070 calls, 0.039 mass❌ 693 calls, 0.000 mass❌ 6577 calls, 0.000 mass❌ 1314 calls, 0.246 mass
mathd_numbertheory_149 ❌ 7666 calls, 0.672 mass❌ 1767 calls, 0.000 mass❌ 5991 calls, 0.000 mass❌ 2019 calls, 0.707 mass
mathd_numbertheory_156 ❌ 7582 calls, 0.055 mass❌ 1635 calls, 0.000 mass❌ 7550 calls, 0.000 mass❌ 1635 calls, 0.000 mass
mathd_numbertheory_188 ❌ 7128 calls, 0.062 mass❌ 534 calls, 0.000 mass❌ 6586 calls, 0.000 mass❌ 1195 calls, 0.297 mass
mathd_numbertheory_211 ✅ 92 calls, 0.000 mass✅ 12 calls, 0.000 mass✅ 58 calls, 0.000 mass✅ 12 calls, 0.000 mass
mathd_numbertheory_236 ❌ 6520 calls, 0.059 mass❌ 1318 calls, 0.000 mass❌ 7383 calls, 0.000 mass❌ 2334 calls, 0.141 mass
mathd_numbertheory_24 ❌ 7378 calls, 0.051 mass❌ 839 calls, 0.000 mass❌ 7575 calls, 0.000 mass❌ 1361 calls, 0.211 mass
mathd_numbertheory_252 ❌ 7387 calls, 0.125 mass❌ 1528 calls, 0.000 mass❌ 6674 calls, 0.000 mass❌ 3576 calls, 0.258 mass
mathd_numbertheory_257 ❌ 7628 calls, 0.422 mass❌ 1087 calls, 0.000 mass❌ 7175 calls, 0.000 mass❌ 1087 calls, 0.004 mass
mathd_numbertheory_269 ❌ 7516 calls, 0.004 mass❌ 917 calls, 0.000 mass✅ 296 calls, 0.000 mass❌ 1841 calls, 0.059 mass
mathd_numbertheory_284 ❌ 7953 calls, 0.309 mass❌ 1350 calls, 0.000 mass❌ 7369 calls, 0.000 mass❌ 1905 calls, 0.004 mass
mathd_numbertheory_30 ❌ 7804 calls, 0.000 mass❌ 1920 calls, 0.000 mass❌ 7435 calls, 0.000 mass❌ 3053 calls, 0.082 mass
mathd_numbertheory_301 ❌ 7614 calls, 0.000 mass❌ 2040 calls, 0.000 mass❌ 7797 calls, 0.000 mass❌ 2059 calls, 0.000 mass
mathd_numbertheory_303 ❌ 7619 calls, 0.301 mass❌ 932 calls, 0.000 mass❌ 7021 calls, 0.000 mass❌ 1690 calls, 0.297 mass
mathd_numbertheory_32 ❌ 7496 calls, 0.070 mass❌ 984 calls, 0.000 mass❌ 7424 calls, 0.000 mass❌ 1257 calls, 0.008 mass
mathd_numbertheory_326 ❌ 7416 calls, 0.082 mass❌ 805 calls, 0.000 mass❌ 7813 calls, 0.000 mass❌ 1792 calls, 0.055 mass
mathd_numbertheory_370 ✅ 44 calls, 0.000 mass✅ 214 calls, 0.000 mass✅ 30 calls, 0.000 mass✅ 214 calls, 0.000 mass
mathd_numbertheory_403 ❌ 7598 calls, 0.215 mass❌ 2038 calls, 0.000 mass❌ 7444 calls, 0.000 mass❌ 2087 calls, 0.020 mass
mathd_numbertheory_405 ❌ 7757 calls, 0.778 mass❌ 2039 calls, 0.000 mass❌ 6190 calls, 0.000 mass❌ 2336 calls, 0.790 mass
mathd_numbertheory_412 ❌ 7121 calls, 0.250 mass❌ 1999 calls, 0.000 mass❌ 6969 calls, 0.000 mass❌ 2045 calls, 0.000 mass
mathd_numbertheory_42 ❌ 736 calls, 0.031 mass❌ 639 calls, 0.000 mass❌ 680 calls, 0.000 mass❌ 680 calls, 0.109 mass
mathd_numbertheory_45 ❌ 6477 calls, 0.180 mass❌ 235 calls, 0.000 mass❌ 6356 calls, 0.000 mass❌ 1106 calls, 0.250 mass
mathd_numbertheory_461 ❌ 7382 calls, 0.008 mass❌ 1302 calls, 0.000 mass❌ 7540 calls, 0.000 mass❌ 2153 calls, 0.008 mass
mathd_numbertheory_466 ✅ 28 calls, 0.000 mass✅ 11 calls, 0.000 mass✅ 22 calls, 0.000 mass✅ 11 calls, 0.000 mass
mathd_numbertheory_48 ✅ 22 calls, 0.000 mass✅ 26 calls, 0.000 mass✅ 5 calls, 0.000 mass✅ 26 calls, 0.000 mass
mathd_numbertheory_530 ❌ 7664 calls, 0.598 mass❌ 1317 calls, 0.000 mass❌ 6309 calls, 0.000 mass❌ 1956 calls, 0.521 mass
mathd_numbertheory_629 ❌ 7182 calls, 0.117 mass❌ 899 calls, 0.000 mass❌ 6916 calls, 0.000 mass❌ 1514 calls, 0.160 mass
mathd_numbertheory_690 ❌ 6890 calls, 0.121 mass❌ 1660 calls, 0.000 mass❌ 6576 calls, 0.000 mass❌ 2446 calls, 0.121 mass
mathd_numbertheory_739 ❌ 6818 calls, 0.160 mass❌ 1776 calls, 0.000 mass❌ 6886 calls, 0.000 mass❌ 2667 calls, 0.070 mass
mathd_numbertheory_81 ❌ 6900 calls, 0.098 mass❌ 1230 calls, 0.000 mass❌ 7150 calls, 0.000 mass❌ 1567 calls, 0.293 mass
mathd_numbertheory_92 ❌ 7301 calls, 0.047 mass❌ 1824 calls, 0.000 mass❌ 7440 calls, 0.000 mass❌ 2562 calls, 0.047 mass
mathd_numbertheory_961 ❌ 7432 calls, 0.000 mass❌ 867 calls, 0.000 mass❌ 7293 calls, 0.000 mass❌ 963 calls, 0.191 mass
numbertheory_aneqprodakp4_anmsqrtanp1eq2 ❌ 7765 calls, 0.164 mass❌ 1582 calls, 0.000 mass❌ 7819 calls, 0.000 mass❌ 2602 calls, 0.238 mass
numbertheory_nckeqnm1ckpnm1ckm1 ❌ 7813 calls, 0.277 mass❌ 1416 calls, 0.000 mass❌ 6896 calls, 0.000 mass❌ 2487 calls, 0.281 mass
numbertheory_sqmod4in01d ❌ 7480 calls, 0.020 mass❌ 898 calls, 0.000 mass❌ 7825 calls, 0.000 mass❌ 2376 calls, 0.023 mass
numbertheory_sumkmulnckeqnmul2pownm1 ❌ 7427 calls, 0.062 mass❌ 1194 calls, 0.000 mass❌ 7474 calls, 0.000 mass❌ 2522 calls, 0.020 mass