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
num || nat || 1.29936163103e-10
one2 || nat1 || 1.08805411354e-10
pow || minus || 1.03830462664e-10
bit0 || nat2 || 7.37498144107e-11
sqr || pred || 6.77183033828e-11
bit1 || nat2 || 4.46751776157e-11
pow || plus || 2.56550060177e-11
nat || nat_fact_all || 1.64985957901e-11
num_of_nat || defactorize || 1.29049388634e-11
nat_of_num || factorize || 1.27588586004e-11
code_nat_of_integer || numerator || 7.16286247403e-12
code_nat_of_natural || factorize || 6.07627001039e-12
code_natural_of_nat || defactorize || 6.03999692197e-12
pos || nat_fact_to_fraction || 5.64653343692e-12
code_integer_of_int || nat_fact_to_fraction || 5.4893976203e-12
nat_of_num || nat_fact_all3 || 5.10245890622e-12
nat2 || nat_fact_all3 || 3.97476895613e-12
nat2 || numerator || 3.86703377705e-12
code_integer || fraction || 3.04449105547e-12
code_natural || nat || 3.03167399281e-12
code_nat_of_integer || numeratorQ || 2.94067379663e-12
abs_Nat || numeratorQ || 2.84142578038e-12
int || nat_fact || 2.70581376995e-12
num || nat_fact || 2.52798406726e-12
nat || nat || 2.44174133884e-12
int || fraction || 2.36736097155e-12
char_of_nat || defactorize || 2.13930733544e-12
rep_Nat || nat_fact_all_to_Q || 2.03728097425e-12
code_integer_of_nat || nat_fact_all_to_Q || 2.03461198244e-12
nil || list1 || 1.98937588957e-12
code_nat_of_integer || factorize || 1.96179556055e-12
list || list || 1.95394625601e-12
abs_Nat || factorize || 1.90813564287e-12
nat_of_char || factorize || 1.90801895473e-12
rep_Nat || defactorize || 1.76930945757e-12
code_integer_of_nat || defactorize || 1.76739698395e-12
code_nat_of_natural || numeratorQ || 1.66137624875e-12
code_natural_of_nat || factorize || 1.5024967558e-12
nat_of_nibble || factorize || 1.44099255393e-12
append || append || 1.42960143176e-12
code_natural_of_nat || nat_fact_all_to_Q || 1.3695690176e-12
nibble_of_nat || defactorize || 1.36511629735e-12
topological_subseq || increasing || 1.36086155288e-12
cons || list2 || 1.34697579112e-12
code_nat_of_natural || defactorize || 1.34667575188e-12
code_natural || nat_fact_all || 1.33127207369e-12
suc || nat2 || 1.25493276958e-12
ind || Q || 1.18193887574e-12
order_strict_mono || injective || 1.17590883424e-12
code_integer || Q || 1.04102592057e-12
splice || append || 1.00923444915e-12
ind || nat || 9.54750533582e-13
code_integer || nat || 8.68400598049e-13
code_natural || Q || 7.9931036815e-13
order_mono || injective || 7.6946586267e-13
char || nat || 5.85802620111e-13
code_n1042895779nteger || numeratorQ || 5.1977984813e-13
nibble || nat || 5.18219454138e-13
code_integer || nat_fact_all || 5.00584116583e-13
code_natural_of_nat || numeratorQ || 4.46459948304e-13
code_n1042895779nteger || defactorize || 4.28030685769e-13
code_i1730018169atural || factorize || 4.28030685769e-13
char_of_nat || factorize || 4.19192527376e-13
nat || Z || 4.16843764963e-13
code_nat_of_natural || Z3 || 4.00975480796e-13
code_nat_of_natural || Z2 || 3.92426453838e-13
suc_Rep || nat2 || 3.73984932512e-13
code_integer_of_nat || factorize || 3.69552899379e-13
code_nat_of_integer || defactorize || 3.52094134715e-13
rep_Nat || factorize || 3.33229133474e-13
code_i1730018169atural || nat_fact_all_to_Q || 3.31743334219e-13
code_nat_of_natural || nat_fact_all_to_Q || 3.26653738251e-13
nat_of_char || defactorize || 3.17754639543e-13
code_n1042895779nteger || factorize || 3.12166796114e-13
abs_Nat || defactorize || 3.08985086881e-13
code_int_of_integer || factorize || 3.05925453378e-13
code_integer_of_int || defactorize || 3.03596575665e-13
num_of_nat || factorize || 2.83154659085e-13
code_i1730018169atural || defactorize || 2.65193572615e-13
nibble_of_nat || factorize || 2.55697375391e-13
nat_of_num || defactorize || 2.44746796575e-13
suc || nth_prime || 2.4458582487e-13
nat_of_nibble || defactorize || 2.3772383594e-13
int || nat_fact_all || 2.07617275664e-13
ind || nat_fact_all || 1.93324569542e-13
char || nat_fact_all || 1.91627460714e-13
nat || Q || 1.87293382483e-13
code_integer_of_int || factorize || 1.84405327059e-13
code_int_of_integer || defactorize || 1.66835417472e-13
nibble || nat_fact_all || 1.58049181905e-13
code_integer_of_int || numeratorQ || 1.34182424749e-13
int || Z || 1.32615264306e-13
num || nat_fact_all || 1.24212278663e-13
code_int_of_integer || Z3 || 1.10898564432e-13
code_int_of_integer || numeratorQ || 1.09944176507e-13
code_int_of_integer || Z2 || 1.086636493e-13
zero_Rep || nat1 || 1.03793549125e-13
code_int_of_integer || nat_fact_all_to_Q || 1.0064573626e-13
char_of_nat || numeratorQ || 9.52990852081e-14
code_integer_of_int || nat_fact_all_to_Q || 9.16877179999e-14
suc || notb || 6.62801814815e-14
int || nat || 6.56807169036e-14
nat_of_char || nat_fact_all_to_Q || 5.35076711853e-14
int || Q || 5.31203912399e-14
num_of_nat || numeratorQ || 4.87438571757e-14
nibble_of_nat || numeratorQ || 4.65633728254e-14
nat || bool || 4.27194248055e-14
nat_of_nibble || nat_fact_all_to_Q || 3.48232919034e-14
nat_of_num || nat_fact_all_to_Q || 3.30831179912e-14
one2 || Z1 || 4.21134253241e-16
num || Z || 3.56266898313e-16
sqr || Zopp || 3.42273494331e-16
bitM || Zopp || 2.84821763211e-16
pow || Zplus || 1.66642129963e-16
pow || Ztimes || 1.06389116686e-16
one2 || Zone || 5.93878995513e-17
left || bool2 || 4.05071337481e-20
right || bool1 || 3.60820634712e-20
sumbool || bool || 2.94083229564e-20
product_Unity || unit1 || 6.970408326e-22
product_unit || unit || 4.87609372945e-22
insert3 || list2 || 4.91470421344e-27
member3 || in_list || 4.26228514804e-27
pow || Qtimes || 3.69335879306e-27
set || list || 3.58272594605e-27
one2 || Qone || 2.00620278391e-27
num || Q || 1.46112332461e-27
pow || rtimes || 1.42095531017e-28
one2 || ratio1 || 6.68502540732e-29
num || ratio || 5.71188879181e-29
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
