cic:/Coq/Reals/Ranalysis1/cond_D2.con OK 86.94 4.03%
cic:/Coq/Reals/Rcomplete/R_complete.con OK 19.53 -39.07%
cic:/Coq/Reals/Cos_plus/Majxy_cv_R0.con OK 65.01 3.48%
cic:/Coq/Reals/RiemannInt/cont1.con OK 83.87 0.93%
cic:/Coq/Reals/Exp_prop/maj_Reste_cv_R0.con OK 32.64 0.54%
cic:/Coq/Reals/Alembert/AlembertC3_step1.con OK 11.53 -9.65%
cic:/Coq/Reals/Alembert/Alembert_C6.con OK 3.86 -88.00%
cic:/Coq/Reals/Rtrigo_def/exist_exp.con OK 11.03 -19.79%
cic:/Coq/Reals/NewtonInt/NewtonInt_P7.con OK 12.94 1.31%
cic:/Coq/Reals/AltSeries/PI_ineq.con OK 28.26 1.00%
cic:/Coq/Reals/Rtrigo_def/cos_0.con OK 1.24 -96.96%
cic:/Coq/Reals/Rtrigo_def/cos_sym.con OK 0.02 -99.89%
cic:/Coq/Reals/Rtrigo_def/cosh.con OK 0.01 -99.95%
cic:/Coq/Reals/Rtrigo_def/exp_0.con OK 0.37 -99.14%
cic:/Coq/Reals/Rtrigo_def/sin_0.con OK 0.13 -99.22%
cic:/Coq/Reals/Rtrigo_def/sin_antisym.con OK 0.04 -99.64%
cic:/Coq/Reals/Rtrigo_def/sinh.con OK 0.00 -99.98%
cic:/Coq/Reals/Rtrigo_calc/cosd.con OK 0.01 -99.95%
cic:/Coq/Reals/Rtrigo_calc/sind.con OK 0.00 -99.97%
cic:/Coq/Reals/Rtrigo_alt/PI_4.con OK 0.05 -99.72%
cic:/Coq/Reals/Rtrigo/sin_PI2.con OK 0.00 -99.99%
cic:/Coq/Reals/Rtrigo/tan.con OK 0.00 -99.98%
cic:/Coq/Reals/RiemannInt/RiemannInt_P10.con OK 9.02 -71.33%
cic:/Coq/Reals/RiemannInt/SubEqui_P8.con OK 2.99 -77.05%
cic:/Coq/Reals/Ranalysis4/Rcontinuity_abs.con OK 0.49 -98.42%
cic:/Coq/Reals/Ranalysis4/continuity_finite_sum.con OK 0.20 -99.61%
cic:/Coq/Reals/Ranalysis4/derivable_pt_lim_finite_sum.con OK 0.78 -98.77%
cic:/Coq/Reals/Ranalysis1/derivable_continuous.con OK 0.00 -99.98%
cic:/Coq/Reals/Ranalysis1/derivable_pow.con OK 0.00 -99.98%
cic:/Coq/Reals/Ranalysis1/derive_pt_pow.con OK 0.01 -99.92%
cic:/Coq/Reals/Rtopology/prolongement_C0.con OK 44.93 4.37%
cic:/Coq/Reals/RiemannInt/RiemannInt_P11.con OK 17.57 1.61%
cic:/Coq/Reals/RiemannInt/RiemannInt_P22.con OK 51.30 4.05%
cic:/Coq/Reals/RiemannInt/RiemannInt_P23.con OK 32.16 3.67%
cic:/Coq/Reals/RiemannInt/RiemannInt_P4.con OK 19.58 4.73%
cic:/Coq/Reals/RiemannInt/RiemannInt_P6.con OK 8.26 -21.09%
cic:/Coq/Reals/RiemannInt/RiemannInt_exists.con OK 0.10 -99.88%
cic:/Lyon/FIRING-SQUAD/reflection/C_Vg.con OK 11.24 4.52%
cic:/CoRN/model/setoids/Nsetoid/on.con OK 45.40 4.99%
cic:/CoRN/devel/loeb/IDA/Ch6/on.con OK 45.23 4.48%
cic:/Marseille/GC/liveness/until_zero/always_eventually_grey_until_zero_trace.con OK 0.25 14.49%
cic:/Marseille/GC/liveness/until_zero/always_eventually_white_until_zero_trace.con OK 0.17 10.43%
cic:/Coq/Reals/Ranalysis1/cond_D2.con OK 0.00 -100.00%
=============
Total: 647.16
Old: 1305.26 (-50.42%)