induct_true || False || 0.0280292103126
real_V1632203528linear || injective || 4.33032165541e-06
complex || nat || 1.8300395406e-06
real || fraction || 8.06199670397e-07
real || Z || 7.08759838073e-07
cnj || notb || 4.01968297597e-07
cnj || nth_prime || 3.79543293914e-07
complex || nat_fact_all || 3.69172712103e-07
complex || fraction || 3.58442237143e-07
im || fraction2 || 3.3674171769e-07
im || fraction1 || 3.3674171769e-07
re || fraction2 || 3.32871073617e-07
re || fraction1 || 3.32871073617e-07
real || ratio || 2.94109965228e-07
im || Z3 || 2.82785662665e-07
re || Z3 || 2.80007783791e-07
im || Z2 || 2.77774126628e-07
cnj || nat2 || 2.75531116181e-07
re || Z2 || 2.75093077921e-07
im || defactorize || 2.60876324025e-07
re || defactorize || 2.57596475492e-07
complex || bool || 2.36392407559e-07
real || nat || 2.1974727383e-07
im || ratio2 || 2.14900724747e-07
re || ratio2 || 2.1269097848e-07
cnj || finv || 3.41152724791e-08
nil || list1 || 3.1541276269e-09
list || list || 2.82870141933e-09
append || append || 2.02832355167e-09
splice || append || 1.98489746591e-09
cons || list2 || 1.46150618346e-09
num || nat || 2.80359007732e-10
one2 || nat1 || 2.40588256128e-10
pow || minus || 1.95615266846e-10
bit0 || nat2 || 1.51044549827e-10
sqr || pred || 1.33989933378e-10
bit1 || nat2 || 9.46741431197e-11
pow || gcd || 5.43159720928e-11
pow || plus || 4.48195037053e-11
nat || nat_fact_all || 3.011516515e-11
num_of_nat || defactorize || 2.65610859847e-11
nat_of_num || factorize || 2.62604219935e-11
code_nat_of_integer || numerator || 1.22098094427e-11
code_nat_of_natural || factorize || 1.04719079113e-11
code_natural_of_nat || defactorize || 1.04093944876e-11
pos || nat_fact_to_fraction || 9.67447968439e-12
code_integer_of_int || nat_fact_to_fraction || 9.35722263863e-12
nat_of_num || nat_fact_all3 || 8.74229039465e-12
nat2 || nat_fact_all3 || 6.77538787172e-12
nat2 || numerator || 6.62557658303e-12
code_integer || fraction || 5.18963693248e-12
code_natural || nat || 5.17173805324e-12
code_nat_of_integer || numeratorQ || 5.14689528335e-12
abs_Nat || numeratorQ || 4.9855475607e-12
int || nat_fact || 4.612327912e-12
num || nat_fact || 4.33131774999e-12
int || fraction || 4.05611440733e-12
char_of_nat || defactorize || 3.76304127384e-12
rep_Nat || nat_fact_all_to_Q || 3.57460021014e-12
code_integer_of_nat || nat_fact_all_to_Q || 3.56106645621e-12
code_nat_of_integer || factorize || 3.44051260504e-12
nat_of_char || factorize || 3.35620504776e-12
abs_Nat || factorize || 3.3528167465e-12
rep_Nat || defactorize || 3.10888295664e-12
code_integer_of_nat || defactorize || 3.09958474963e-12
code_nat_of_natural || numeratorQ || 2.92648309671e-12
nat_of_nibble || factorize || 2.54053633102e-12
nat || nat || 2.48069398186e-12
code_natural_of_nat || nat_fact_all_to_Q || 2.41247013301e-12
nibble_of_nat || defactorize || 2.40676299126e-12
ind || Q || 2.07382241675e-12
code_integer || Q || 1.75316153395e-12
ind || nat || 1.64637506268e-12
code_natural_of_nat || factorize || 1.5440584369e-12
code_integer || nat || 1.438939722e-12
code_natural || nat_fact_all || 1.43624484638e-12
code_natural || Q || 1.40797021938e-12
code_nat_of_natural || defactorize || 1.3839271522e-12
topological_subseq || increasing || 1.37556646185e-12
suc || nat2 || 1.26959313691e-12
order_strict_mono || injective || 1.18861522037e-12
char || nat || 1.03042671863e-12
nibble || nat || 9.13644797877e-13
order_mono || injective || 7.78154404976e-13
nat || Z || 6.84455720537e-13
code_n1042895779nteger || defactorize || 6.77576020302e-13
code_i1730018169atural || factorize || 6.77576020302e-13
code_n1042895779nteger || numeratorQ || 6.68755585667e-13
code_nat_of_natural || Z3 || 6.58375461572e-13
code_integer || nat_fact_all || 6.47450985751e-13
code_nat_of_natural || Z2 || 6.44386729562e-13
suc_Rep || nat2 || 6.18139789277e-13
code_int_of_integer || factorize || 4.76913972095e-13
code_integer_of_int || defactorize || 4.73283432993e-13
code_natural_of_nat || numeratorQ || 4.72187160113e-13
code_i1730018169atural || nat_fact_all_to_Q || 4.26825334927e-13
char_of_nat || factorize || 4.24302992282e-13
code_n1042895779nteger || factorize || 3.92398087691e-13
code_integer_of_nat || factorize || 3.88113642225e-13
code_nat_of_integer || defactorize || 3.6977801354e-13
code_nat_of_natural || nat_fact_all_to_Q || 3.45477128668e-13
rep_Nat || factorize || 3.37285904498e-13
code_i1730018169atural || defactorize || 3.33352079905e-13
int || nat_fact_all || 3.25726035316e-13
nat_of_char || defactorize || 3.2162845367e-13
abs_Nat || defactorize || 3.12746708005e-13
num_of_nat || factorize || 2.86669239035e-13
nibble_of_nat || factorize || 2.58875471525e-13
nat_of_num || defactorize || 2.47784649411e-13
suc || nth_prime || 2.47490208317e-13
nat_of_nibble || defactorize || 2.40678536601e-13
code_integer_of_int || factorize || 2.262667474e-13
int || Z || 2.1085004739e-13
code_int_of_integer || defactorize || 2.04708333888e-13
nat || Q || 1.96744592766e-13
ind || nat_fact_all || 1.95678125799e-13
char || nat_fact_all || 1.94281075907e-13
code_int_of_integer || numeratorQ || 1.76318223914e-13
code_int_of_integer || Z3 || 1.76315512102e-13
code_int_of_integer || Z2 || 1.72774678691e-13
zero_Rep || nat1 || 1.71263383908e-13
code_integer_of_int || numeratorQ || 1.65717410388e-13
nibble || nat_fact_all || 1.60285327576e-13
code_integer_of_int || nat_fact_all_to_Q || 1.47040217191e-13
num || nat_fact_all || 1.2597510926e-13
code_int_of_integer || nat_fact_all_to_Q || 1.2429907129e-13
char_of_nat || numeratorQ || 9.7629832589e-14
int || nat || 8.05907422396e-14
suc || notb || 6.68685077062e-14
int || Q || 6.56045207976e-14
nat_of_char || nat_fact_all_to_Q || 5.48163182117e-14
num_of_nat || numeratorQ || 5.01205003752e-14
nibble_of_nat || numeratorQ || 4.7804344862e-14
nat || bool || 4.30986174595e-14
nat_of_nibble || nat_fact_all_to_Q || 3.57513761219e-14
nat_of_num || nat_fact_all_to_Q || 3.40174644307e-14
num || Z || 1.00087123669e-15
one2 || Z1 || 9.93911346711e-16
sqr || Zopp || 8.42034584317e-16
bitM || Zopp || 7.02182467462e-16
pow || Ztimes || 6.8495427253e-16
one2 || Zone || 3.82351097567e-16
pow || Zplus || 3.34026195919e-16
pow || Qtimes || 4.62967497925e-20
left || bool2 || 4.05071337481e-20
right || bool1 || 3.60820634712e-20
sumbool || bool || 2.94083229564e-20
one2 || Qone || 2.51480220374e-20
num || Q || 1.83153776186e-20
pow || rtimes || 1.80700104184e-21
one2 || ratio1 || 8.50121589984e-22
num || ratio || 7.26369712251e-22
product_Unity || unit1 || 6.970408326e-22
product_unit || unit || 4.87609372945e-22
insert3 || list2 || 4.91470421344e-27
member3 || in_list || 4.26228514804e-27
set || list || 3.58272594605e-27
cnj || rinv || 5.96548137463e-32
complex || ratio || 3.12491391164e-32
cnj || opposite_direction || 2.03309091863e-32
complex || rewrite_direction || 1.2185731326e-32
cnj || Qinv || 3.40398999583e-33
complex || Q || 2.25564513369e-33
cnj || Zopp || 2.60312193115e-35
complex || Z || 1.55957238685e-35
