Online PHP editor | perf for coqfJ

Here you find the average performance (time & memory) of each version. A grayed out version indicates it didn't complete successfully (based on exit-code).

Version	System time (s)	User time (s)	Memory (MiB)
8.3.6	0.007	0.370	16.63
8.3.5	0.012	0.357	22.83
8.3.4	0.010	0.366	18.59
8.3.3	0.003	0.357	18.97
8.3.2	0.003	0.212	20.07
8.3.1	0.017	0.212	20.36
8.3.0	0.003	0.193	19.19
8.2.18	0.010	0.364	18.19
8.2.17	0.010	0.367	22.96
8.2.16	0.007	0.364	20.47
8.2.15	0.007	0.187	24.18
8.2.14	0.010	0.186	24.66
8.2.13	0.003	0.196	26.16
8.2.12	0.010	0.184	19.36
8.2.11	0.007	0.269	22.25
8.2.10	0.007	0.390	17.91
8.2.9	0.000	0.398	19.19
8.2.8	0.000	0.396	19.26
8.2.7	0.003	0.411	17.62
8.2.6	0.007	0.383	18.05
8.2.5	0.010	0.394	18.07
8.2.4	0.010	0.368	18.22
8.2.3	0.000	0.386	19.30
8.2.2	0.007	0.386	17.74
8.2.1	0.003	0.400	18.11
8.2.0	0.000	0.408	17.73
8.1.28	0.013	0.341	25.92
8.1.27	0.007	0.198	22.01
8.1.26	0.010	0.229	26.35
8.1.25	0.010	0.194	28.09
8.1.24	0.007	0.274	20.60
8.1.23	0.007	0.415	20.75
8.1.22	0.007	0.414	18.77
8.1.21	0.007	0.388	18.91
8.1.20	0.000	0.412	17.25
8.1.19	0.003	0.397	17.53
8.1.18	0.003	0.407	18.10
8.1.17	0.003	0.420	18.21
8.1.16	0.003	0.397	18.73
8.1.15	0.003	0.397	18.86
8.1.14	0.003	0.410	17.48
8.1.13	0.010	0.392	17.69
8.1.12	0.003	0.398	17.38
8.1.11	0.003	0.402	17.45
8.1.10	0.010	0.412	17.32
8.1.9	0.007	0.410	17.39
8.1.8	0.007	0.490	17.23
8.1.7	0.000	0.392	17.32
8.1.6	0.007	0.404	17.58
8.1.5	0.003	0.406	17.51
8.1.4	0.010	0.374	17.48
8.1.3	0.003	0.412	17.66
8.1.2	0.003	0.409	17.54
8.1.1	0.000	0.401	17.39
8.1.0	0.007	0.384	17.48
8.0.30	0.003	0.420	19.98
8.0.29	0.000	0.410	17.18
8.0.28	0.003	0.422	18.34
8.0.27	0.007	0.403	17.21
8.0.26	0.007	0.395	17.25
8.0.25	0.007	0.431	16.92
8.0.24	0.003	0.415	17.01
8.0.23	0.003	0.432	16.80
8.0.22	0.007	0.450	16.95
8.0.21	0.003	0.441	16.94
8.0.20	0.007	0.440	16.90
8.0.19	0.017	0.498	16.91
8.0.18	0.007	0.407	16.83
8.0.17	0.003	0.409	16.87
8.0.16	0.003	0.417	16.77
8.0.15	0.003	0.421	16.84
8.0.14	0.007	0.427	16.86
8.0.13	0.003	0.424	13.37
8.0.12	0.000	0.408	16.87
8.0.11	0.003	0.422	16.85
8.0.10	0.003	0.403	16.73
8.0.9	0.007	0.403	16.72
8.0.8	0.010	0.639	16.92
8.0.7	0.000	0.403	17.00
8.0.6	0.003	0.438	16.93
8.0.5	0.007	0.433	16.93
8.0.3	0.013	0.584	16.95
8.0.2	0.015	0.652	17.40
8.0.1	0.003	0.437	17.12
8.0.0	0.012	0.593	16.58
7.4.33	0.003	0.410	15.02
7.4.32	0.000	0.425	16.57
7.4.30	0.003	0.410	16.38
7.4.29	0.010	0.413	16.45
7.4.28	0.007	0.410	16.56
7.4.27	0.000	0.413	16.50
7.4.26	0.003	0.429	16.50
7.4.25	0.007	0.414	16.38
7.4.24	0.005	0.419	16.52
7.4.23	0.003	0.431	16.61
7.4.22	0.013	0.713	16.46
7.4.21	0.003	0.661	16.59
7.4.20	0.003	0.439	16.50
7.4.16	0.013	0.590	16.55
7.4.15	0.010	0.603	17.40
7.4.14	0.016	0.641	17.86
7.4.13	0.013	0.694	16.44
7.4.12	0.011	0.704	16.54
7.4.11	0.016	0.659	16.38
7.4.10	0.006	0.610	16.28
7.4.9	0.019	0.611	16.32
7.4.8	0.016	0.808	16.28
7.4.7	0.000	0.618	16.35
7.4.6	0.003	0.646	16.41
7.4.5	0.000	0.324	16.19
7.4.4	0.016	0.774	16.49
7.4.3	0.026	0.726	16.52
7.4.0	0.007	0.625	14.95
7.3.33	0.020	0.556	13.34
7.3.32	0.003	0.464	13.37
7.3.31	0.003	0.458	16.27
7.3.30	0.000	0.462	16.31
7.3.29	0.011	0.738	16.38
7.3.28	0.005	0.851	16.37
7.3.27	0.016	0.810	17.40
7.3.26	0.013	0.751	16.47
7.3.25	0.021	0.795	16.42
7.3.24	0.007	0.745	16.38
7.3.23	0.013	0.678	16.51
7.3.21	0.010	0.858	16.41
7.3.20	0.010	1.342	19.39
7.3.19	0.013	0.762	16.57
7.3.18	0.010	0.880	16.54
7.3.17	0.006	0.731	16.43
7.3.16	0.020	0.662	16.59
7.3.12	0.012	1.175	14.69
7.3.11	0.007	1.176	14.77
7.3.10	0.003	0.818	14.80
7.3.9	0.003	1.110	14.91
7.3.8	0.005	1.120	14.69
7.3.7	0.000	0.869	14.88
7.3.6	0.000	0.871	14.74
7.3.5	0.003	0.822	14.84
7.3.4	0.005	1.037	14.68
7.3.3	0.003	1.213	14.86
7.3.2	0.003	0.729	16.71
7.3.1	0.002	0.899	16.63
7.3.0	0.003	0.714	16.62
7.2.33	0.020	0.973	16.85
7.2.32	0.007	0.896	16.57
7.2.31	0.007	1.141	16.70
7.2.30	0.013	1.072	16.55
7.2.29	0.019	1.592	16.82
7.2.25	0.005	1.475	14.95
7.2.24	0.010	1.121	15.22
7.2.23	0.003	1.147	15.10
7.2.22	0.005	1.332	14.90
7.2.21	0.002	1.596	14.94
7.2.20	0.007	1.387	14.76
7.2.19	0.003	1.468	15.18
7.2.18	0.008	1.535	15.13
7.2.17	0.003	1.345	14.98
7.2.6	0.007	0.631	16.93
7.2.0	0.000	0.796	19.28
7.1.33	0.005	1.451	15.89
7.1.32	0.008	1.392	15.83
7.1.31	0.008	1.603	15.70
7.1.30	0.003	1.379	15.64
7.1.29	0.003	1.437	15.67
7.1.28	0.005	1.518	15.66
7.1.27	0.007	1.496	15.75
7.1.26	0.007	1.230	15.84
7.1.20	0.007	0.752	15.90
7.1.10	0.003	1.041	18.01
7.1.7	0.003	0.607	17.23
7.1.6	0.010	0.582	19.34
7.1.5	0.003	0.580	16.93
7.1.0	0.007	0.590	22.42
7.0.20	0.007	0.589	16.46
7.0.14	0.007	0.493	21.92
7.0.11	0.000	0.647	20.05
7.0.10	0.017	0.633	20.08
7.0.9	0.010	0.593	20.05
7.0.8	0.007	0.633	19.97
7.0.7	0.007	0.583	19.89
7.0.6	0.003	0.613	20.01
7.0.5	0.033	0.470	20.06
7.0.4	0.003	0.490	19.69
7.0.3	0.000	0.583	19.74
7.0.2	0.003	0.603	19.88
7.0.1	0.000	0.577	19.77
7.0.0	0.020	0.590	19.85
5.6.28	0.003	1.023	20.82
5.6.26	0.000	0.973	20.74
5.6.25	0.003	0.947	20.67
5.6.24	0.033	0.940	20.67
5.6.23	0.003	1.007	20.70
5.6.22	0.007	1.060	20.65
5.6.21	0.007	1.057	20.70
5.6.20	0.017	1.013	20.69
5.6.19	0.003	0.920	20.56
5.6.18	0.017	0.887	20.66
5.6.17	0.007	0.957	20.63
5.6.16	0.003	1.027	20.63
5.6.15	0.007	0.830	20.69
5.6.14	0.000	1.030	20.55
5.6.13	0.010	1.070	20.66
5.6.12	0.017	0.977	20.56
5.6.11	0.027	0.860	20.68
5.6.10	0.000	1.017	20.45
5.6.9	0.010	0.833	20.69
5.6.8	0.007	0.940	20.09
5.6.7	0.010	0.820	19.93
5.6.6	0.013	0.943	19.99
5.6.5	0.017	0.960	20.00
5.6.4	0.010	0.963	20.00
5.6.3	0.007	0.930	19.88
5.6.2	0.007	1.010	19.98
5.6.1	0.000	0.833	19.98
5.6.0	0.013	0.923	20.08
5.5.38	0.007	1.027	17.59
5.5.37	0.010	1.053	17.69
5.5.36	0.003	1.017	17.53
5.5.35	0.003	1.133	17.51
5.5.34	0.013	1.083	17.97
5.5.33	0.000	1.070	18.10
5.5.32	0.003	0.997	18.13
5.5.31	0.003	0.837	18.09
5.5.30	0.100	0.967	17.96
5.5.29	0.010	1.063	18.07
5.5.28	0.003	1.000	18.07
5.5.27	0.010	1.040	18.25
5.5.26	0.000	0.953	18.12
5.5.25	0.010	1.033	17.65
5.5.24	0.003	1.033	17.30
5.5.23	0.007	1.057	17.31
5.5.22	0.003	0.813	17.61
5.5.21	0.007	0.993	17.46
5.5.20	0.003	0.917	17.24
5.5.19	0.010	0.937	17.45
5.5.18	0.000	0.953	17.61
5.5.16	0.007	0.870	17.46
5.5.15	0.010	0.967	17.58
5.5.14	0.007	0.930	17.58
5.5.13	0.003	0.837	17.30
5.5.12	0.007	0.913	17.60
5.5.11	0.007	0.727	17.60
5.5.10	0.000	0.740	17.51
5.5.9	0.000	0.833	17.30
5.5.8	0.003	0.760	17.50
5.5.7	0.007	0.950	17.19
5.5.6	0.007	0.963	17.34
5.5.5	0.010	0.967	17.07
5.5.4	0.003	0.897	17.15
5.5.3	0.000	0.963	17.29
5.5.2	0.010	0.980	17.19
5.5.1	0.007	0.777	17.36
5.5.0	0.007	0.937	17.14
5.4.45	0.003	0.893	19.51
5.4.44	0.003	0.787	19.55
5.4.43	0.007	0.857	19.41
5.4.42	0.007	0.907	19.55
5.4.41	0.003	1.027	19.51
5.4.40	0.007	0.957	19.32
5.4.39	0.003	0.833	19.31
5.4.38	0.000	0.840	19.01
5.4.37	0.010	0.910	19.18
5.4.36	0.007	0.897	19.31
5.4.35	0.003	0.783	19.32
5.4.34	0.007	1.037	19.11
5.4.32	0.007	0.923	18.95
5.4.31	0.007	0.967	18.99
5.4.30	0.007	0.933	19.18
5.4.29	0.003	0.930	18.94
5.4.28	0.003	0.953	19.22
5.4.27	0.010	0.740	19.00
5.4.26	0.003	0.890	19.16
5.4.25	0.003	0.757	19.13
5.4.24	0.003	0.750	19.01
5.4.23	0.070	0.733	19.02
5.4.22	0.000	0.970	19.08
5.4.21	0.003	0.850	19.18
5.4.20	0.010	0.950	19.16
5.4.19	0.003	0.923	19.17
5.4.18	0.003	0.900	18.94
5.4.17	0.003	0.787	19.08
5.4.16	0.007	0.940	19.01
5.4.15	0.003	0.940	19.14
5.4.14	0.000	0.857	16.54
5.4.13	0.007	0.730	16.44
5.4.12	0.003	0.920	16.35
5.4.11	0.010	0.910	16.45
5.4.10	0.003	0.950	16.27
5.4.9	0.003	0.847	16.59
5.4.8	0.003	0.920	16.45
5.4.7	0.000	0.763	16.25
5.4.6	0.000	0.953	16.44
5.4.5	0.007	0.890	16.48
5.4.4	0.003	0.810	16.39
5.4.3	0.010	0.943	16.40
5.4.2	0.000	0.963	16.41
5.4.1	0.007	0.930	16.56
5.4.0	0.003	0.883	15.99