cic:/CoRN/devel/loeb/IDA/Ch6/surjective_f.con \e[0;32mOK\e[0m 0.18 63.64%
cic:/CoRN/algebra/CRings/cr_inv.con \e[0;32mOK\e[0m 0.19 58.33%
cic:/CoRN/algebra/CMonoids/Build_SubCMonoid.con \e[0;32mOK\e[0m 0.19 46.15%
cic:/CoRN/algebra/CMonoids/cyc_imp_comm.con \e[0;32mOK\e[0m 0.21 16.67%
cic:/CoRN/algebra/CMonoids/direct_product_is_CMonoid.con \e[0;32mOK\e[0m 0.20 25.00%
cic:/CoRN/algebra/CMonoids/iso_inv.con \e[0;32mOK\e[0m 0.25 8.70%
cic:/CoRN/devel/loeb/IDA/Ch6/surjective_f.con \e[0;32mOK\e[0m 0.18 63.64%
cic:/CoRN/algebra/CRings/cr_inv.con \e[0;32mOK\e[0m 0.19 58.33%
cic:/CoRN/algebra/CMonoids/Build_SubCMonoid.con \e[0;32mOK\e[0m 0.19 46.15%
cic:/CoRN/algebra/CMonoids/cyc_imp_comm.con \e[0;32mOK\e[0m 0.21 16.67%
cic:/CoRN/algebra/CMonoids/direct_product_is_CMonoid.con \e[0;32mOK\e[0m 0.20 25.00%
cic:/CoRN/algebra/CMonoids/iso_inv.con \e[0;32mOK\e[0m 0.25 8.70%