cic:/Coq/Reals/Ranalysis1/cond_D2.con OK 83.58
cic:/Coq/Reals/Rcomplete/R_complete.con OK 32.06
cic:/Coq/Reals/Cos_plus/Majxy_cv_R0.con OK 62.82
cic:/Coq/Reals/RiemannInt/cont1.con OK 83.09
cic:/Coq/Reals/Exp_prop/maj_Reste_cv_R0.con OK 32.46
cic:/Coq/Reals/Alembert/AlembertC3_step1.con OK 12.76
cic:/Coq/Reals/Alembert/Alembert_C6.con OK 32.20
cic:/Coq/Reals/Rtrigo_def/exist_exp.con OK 13.75
cic:/Coq/Reals/NewtonInt/NewtonInt_P7.con OK 12.77
cic:/Coq/Reals/AltSeries/PI_ineq.con OK 27.98
cic:/Coq/Reals/Rtrigo_def/cos_0.con OK 40.67
cic:/Coq/Reals/Rtrigo_def/cos_sym.con OK 16.38
cic:/Coq/Reals/Rtrigo_def/cosh.con OK 12.47
cic:/Coq/Reals/Rtrigo_def/exp_0.con OK 43.30
cic:/Coq/Reals/Rtrigo_def/sin_0.con OK 17.23
cic:/Coq/Reals/Rtrigo_def/sin_antisym.con OK 11.80
cic:/Coq/Reals/Rtrigo_def/sinh.con OK 13.72
cic:/Coq/Reals/Rtrigo_calc/cosd.con OK 12.97
cic:/Coq/Reals/Rtrigo_calc/sind.con OK 11.28
cic:/Coq/Reals/Rtrigo_alt/PI_4.con OK 16.22
cic:/Coq/Reals/Rtrigo/sin_PI2.con OK 15.47
cic:/Coq/Reals/Rtrigo/tan.con OK 20.95
cic:/Coq/Reals/RiemannInt/RiemannInt_P10.con OK 31.47
cic:/Coq/Reals/RiemannInt/SubEqui_P8.con OK 13.01
cic:/Coq/Reals/Ranalysis4/Rcontinuity_abs.con OK 31.19
cic:/Coq/Reals/Ranalysis4/continuity_finite_sum.con OK 50.57
cic:/Coq/Reals/Ranalysis4/derivable_pt_lim_finite_sum.con OK 63.33
cic:/Coq/Reals/Ranalysis1/derivable_continuous.con OK 16.94
cic:/Coq/Reals/Ranalysis1/derivable_pow.con OK 20.21
cic:/Coq/Reals/Ranalysis1/derive_pt_pow.con OK 17.64
cic:/Coq/Reals/Rtopology/prolongement_C0.con OK 43.05
cic:/Coq/Reals/RiemannInt/RiemannInt_P11.con OK 17.29
cic:/Coq/Reals/RiemannInt/RiemannInt_P22.con OK 49.30
cic:/Coq/Reals/RiemannInt/RiemannInt_P23.con OK 31.02
cic:/Coq/Reals/RiemannInt/RiemannInt_P4.con OK 18.70
cic:/Coq/Reals/RiemannInt/RiemannInt_P6.con OK 10.47
cic:/Coq/Reals/RiemannInt/RiemannInt_exists.con OK 84.98
cic:/Lyon/FIRING-SQUAD/reflection/C_Vg.con OK 10.75 5.77%
cic:/CoRN/model/setoids/Nsetoid/on.con OK 43.24 -0.29%
cic:/CoRN/devel/loeb/IDA/Ch6/on.con OK 43.29 -1.75%
cic:/Marseille/GC/liveness/until_zero/always_eventually_grey_until_zero_trace.con OK 0.22 -99.67%
cic:/Marseille/GC/liveness/until_zero/always_eventually_white_until_zero_trace.con OK 0.15 -99.76%
cic:/Coq/Reals/Ranalysis1/cond_D2.con OK 82.51 -1.27%