Online PHP editor | perf for Tla2I

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.015	0.004	16.88
8.3.5	0.009	0.007	18.29
8.3.4	0.015	0.003	18.96
8.3.3	0.014	0.000	18.96
8.3.2	0.000	0.008	18.85
8.3.1	0.004	0.004	20.65
8.3.0	0.009	0.000	19.50
8.2.18	0.010	0.010	16.75
8.2.17	0.009	0.006	22.96
8.2.16	0.018	0.004	19.19
8.2.15	0.000	0.009	24.18
8.2.14	0.004	0.004	24.66
8.2.13	0.004	0.004	26.16
8.2.12	0.005	0.003	19.07
8.2.11	0.007	0.003	20.93
8.2.10	0.011	0.000	17.97
8.2.9	0.006	0.003	19.46
8.2.8	0.005	0.002	19.42
8.2.7	0.006	0.003	17.86
8.2.6	0.004	0.004	17.91
8.2.5	0.009	0.000	18.07
8.2.4	0.004	0.004	18.16
8.2.3	0.012	0.000	18.04
8.2.2	0.006	0.003	19.73
8.2.1	0.000	0.008	17.88
8.2.0	0.006	0.003	17.86
8.1.28	0.016	0.004	25.92
8.1.27	0.004	0.004	24.66
8.1.26	0.008	0.000	26.35
8.1.25	0.005	0.003	28.09
8.1.24	0.006	0.003	22.61
8.1.23	0.003	0.009	20.89
8.1.22	0.004	0.004	17.79
8.1.21	0.003	0.006	18.89
8.1.20	0.006	0.003	17.35
8.1.19	0.004	0.004	17.39
8.1.18	0.000	0.008	18.10
8.1.17	0.000	0.008	18.93
8.1.16	0.004	0.004	18.85
8.1.15	0.000	0.009	18.83
8.1.14	0.000	0.007	17.48
8.1.13	0.000	0.007	17.77
8.1.12	0.000	0.007	17.59
8.1.11	0.000	0.007	17.62
8.1.10	0.000	0.007	17.56
8.1.9	0.004	0.004	17.55
8.1.8	0.004	0.004	17.64
8.1.7	0.003	0.003	17.59
8.1.6	0.007	0.003	17.72
8.1.5	0.003	0.005	17.60
8.1.4	0.004	0.004	17.67
8.1.3	0.000	0.008	17.80
8.1.2	0.000	0.007	17.83
8.1.1	0.009	0.000	17.77
8.1.0	0.004	0.004	17.49
8.0.30	0.004	0.004	20.08
8.0.29	0.006	0.003	16.88
8.0.28	0.003	0.003	18.44
8.0.27	0.005	0.002	17.28
8.0.26	0.007	0.000	17.02
8.0.25	0.000	0.008	17.14
8.0.24	0.007	0.004	17.15
8.0.23	0.004	0.004	17.12
8.0.22	0.000	0.007	17.00
8.0.21	0.004	0.004	17.08
8.0.20	0.000	0.007	16.98
8.0.19	0.000	0.007	17.12
8.0.18	0.000	0.008	17.08
8.0.17	0.003	0.005	17.00
8.0.16	0.007	0.000	17.11
8.0.15	0.004	0.004	16.95
8.0.14	0.006	0.003	16.90
8.0.13	0.003	0.003	13.47
8.0.12	0.004	0.004	17.03
8.0.11	0.003	0.005	17.10
8.0.10	0.004	0.004	16.91
8.0.9	0.009	0.000	16.82
8.0.8	0.006	0.009	16.92
8.0.7	0.004	0.004	16.91
8.0.6	0.003	0.005	16.99
8.0.5	0.003	0.006	17.02
8.0.3	0.018	0.000	16.95
8.0.2	0.013	0.006	17.35
8.0.1	0.008	0.000	17.19
8.0.0	0.012	0.008	16.93
7.4.33	0.003	0.003	13.17
7.4.32	0.006	0.000	16.76
7.4.30	0.006	0.000	16.76
7.4.29	0.003	0.003	16.82
7.4.28	0.000	0.008	16.82
7.4.27	0.000	0.007	16.64
7.4.26	0.006	0.000	13.46
7.4.25	0.000	0.010	16.60
7.4.24	0.000	0.007	16.64
7.4.23	0.000	0.007	16.72
7.4.22	0.012	0.008	16.66
7.4.21	0.009	0.008	16.74
7.4.20	0.000	0.008	16.71
7.4.19	0.004	0.004	16.86
7.4.16	0.006	0.013	16.49
7.4.15	0.007	0.013	16.90
7.4.14	0.015	0.005	16.59
7.4.13	0.007	0.010	16.65
7.4.12	0.012	0.008	16.65
7.4.11	0.003	0.015	16.62
7.4.10	0.012	0.006	16.89
7.4.9	0.006	0.011	16.45
7.4.8	0.013	0.003	19.39
7.4.7	0.011	0.007	16.61
7.4.6	0.012	0.006	16.63
7.4.5	0.009	0.000	16.60
7.4.4	0.003	0.013	16.53
7.4.3	0.003	0.012	16.54
7.4.1	0.004	0.015	15.14
7.4.0	0.007	0.010	15.13
7.3.33	0.000	0.007	13.43
7.3.32	0.000	0.007	13.18
7.3.31	0.000	0.006	16.44
7.3.30	0.004	0.004	16.47
7.3.29	0.012	0.003	16.42
7.3.28	0.008	0.009	16.40
7.3.27	0.015	0.003	16.78
7.3.26	0.003	0.016	16.41
7.3.25	0.008	0.014	16.51
7.3.24	0.010	0.007	16.73
7.3.23	0.012	0.004	16.52
7.3.21	0.021	0.000	16.43
7.3.20	0.008	0.008	16.49
7.3.19	0.014	0.007	16.70
7.3.18	0.012	0.003	16.45
7.3.17	0.003	0.013	16.78
7.3.16	0.009	0.006	16.62
7.3.13	0.009	0.009	14.90
7.3.12	0.007	0.011	14.93
7.3.11	0.005	0.014	15.05
7.3.10	0.010	0.007	14.84
7.3.9	0.004	0.009	15.05
7.3.8	0.008	0.006	15.04
7.3.7	0.013	0.004	14.99
7.3.6	0.009	0.006	14.93
7.3.5	0.006	0.008	14.81
7.3.4	0.007	0.005	15.04
7.3.3	0.004	0.012	15.01
7.3.2	0.004	0.011	16.94
7.3.1	0.002	0.010	16.85
7.3.0	0.005	0.007	16.87
7.2.33	0.008	0.008	16.74
7.2.32	0.003	0.017	16.93
7.2.31	0.007	0.011	16.75
7.2.30	0.007	0.009	16.65
7.2.29	0.006	0.012	16.75
7.2.26	0.000	0.013	15.35
7.2.25	0.005	0.012	15.14
7.2.24	0.008	0.009	15.23
7.2.23	0.007	0.008	15.26
7.2.22	0.006	0.008	15.25
7.2.21	0.006	0.008	15.21
7.2.20	0.007	0.007	15.21
7.2.19	0.009	0.007	15.10
7.2.18	0.003	0.010	15.09
7.2.17	0.006	0.006	15.19
7.2.16	0.006	0.006	15.12
7.2.15	0.008	0.004	17.22
7.2.14	0.005	0.005	16.91
7.2.13	0.004	0.009	17.07
7.2.12	0.009	0.003	16.98
7.2.11	0.007	0.005	17.06
7.2.10	0.006	0.007	17.10
7.2.9	0.003	0.011	16.94
7.2.8	0.005	0.007	17.01
7.2.7	0.003	0.010	17.07
7.2.6	0.006	0.009	17.00
7.2.5	0.004	0.007	17.08
7.2.4	0.002	0.010	16.98
7.2.3	0.008	0.007	16.94
7.2.2	0.007	0.008	16.80
7.2.1	0.004	0.011	17.15
7.2.0	0.012	0.002	17.92
7.1.33	0.004	0.011	15.99
7.1.32	0.004	0.009	16.07
7.1.31	0.005	0.006	16.03
7.1.30	0.011	0.003	15.95
7.1.29	0.006	0.005	16.11
7.1.28	0.006	0.006	16.05
7.1.27	0.007	0.007	16.03
7.1.26	0.005	0.008	15.98
7.1.25	0.005	0.006	15.86
7.1.24	0.008	0.004	16.03
7.1.23	0.004	0.008	15.77
7.1.22	0.003	0.010	15.80
7.1.21	0.009	0.006	15.98
7.1.20	0.004	0.009	16.07
7.1.19	0.006	0.006	16.13
7.1.18	0.004	0.008	16.05
7.1.17	0.000	0.013	16.02
7.1.16	0.008	0.004	15.77
7.1.15	0.004	0.012	16.08
7.1.14	0.008	0.004	15.82
7.1.13	0.010	0.007	16.06
7.1.12	0.009	0.006	16.04
7.1.11	0.003	0.005	15.67
7.1.10	0.004	0.009	17.16
7.1.9	0.009	0.006	15.71
7.1.8	0.003	0.006	16.09
7.1.7	0.006	0.003	16.76
7.1.6	0.010	0.009	17.45
7.1.5	0.002	0.011	16.55
7.1.4	0.003	0.010	15.97
7.1.3	0.003	0.009	16.04
7.1.2	0.004	0.008	15.70
7.1.1	0.003	0.010	16.01
7.1.0	0.001	0.030	19.10
7.0.33	0.004	0.008	15.64
7.0.32	0.003	0.006	15.69
7.0.31	0.000	0.014	15.63
7.0.30	0.000	0.013	15.60
7.0.29	0.008	0.004	15.71
7.0.28	0.006	0.006	15.73
7.0.27	0.010	0.003	15.54
7.0.26	0.000	0.009	15.44
7.0.25	0.000	0.012	15.79
7.0.24	0.007	0.007	15.50
7.0.23	0.003	0.010	15.76
7.0.22	0.009	0.000	15.57
7.0.21	0.005	0.005	15.26
7.0.20	0.009	0.008	16.13
7.0.19	0.004	0.011	15.74
7.0.18	0.000	0.010	15.58
7.0.17	0.009	0.003	15.71
7.0.16	0.004	0.008	15.62
7.0.15	0.006	0.006	15.59
7.0.14	0.008	0.037	18.69
7.0.13	0.003	0.010	15.38
7.0.12	0.005	0.038	18.77
7.0.11	0.004	0.004	15.66
7.0.10	0.003	0.010	15.48
7.0.9	0.010	0.003	15.60
7.0.8	0.009	0.006	15.72
7.0.7	0.003	0.007	15.68
7.0.6	0.012	0.043	17.79
7.0.5	0.005	0.041	16.56
7.0.4	0.010	0.023	16.91
7.0.3	0.018	0.027	16.96
7.0.2	0.011	0.046	16.98
7.0.1	0.005	0.045	16.87
7.0.0	0.006	0.043	16.88
5.6.40	0.004	0.007	14.57
5.6.39	0.003	0.009	14.62
5.6.38	0.010	0.007	14.60
5.6.37	0.003	0.007	14.39
5.6.36	0.006	0.006	14.66
5.6.35	0.003	0.012	14.14
5.6.34	0.009	0.006	14.22
5.6.33	0.004	0.007	14.38
5.6.32	0.000	0.009	14.64
5.6.31	0.007	0.007	14.11
5.6.30	0.003	0.007	14.32
5.6.29	0.006	0.009	14.86
5.6.28	0.004	0.042	17.61
5.6.27	0.004	0.011	14.60
5.6.26	0.005	0.005	14.57
5.6.25	0.006	0.009	14.52
5.6.24	0.006	0.009	14.16
5.6.23	0.003	0.006	14.58
5.6.22	0.010	0.003	14.51
5.6.21	0.008	0.025	17.37
5.6.20	0.002	0.041	16.27
5.6.19	0.007	0.030	17.47
5.6.18	0.023	0.028	17.39
5.6.17	0.018	0.038	17.53
5.6.16	0.002	0.026	17.62
5.6.15	0.007	0.027	16.21
5.6.14	0.007	0.041	16.35
5.6.13	0.006	0.046	16.24
5.6.12	0.005	0.044	17.82
5.6.11	0.005	0.045	17.76
5.6.10	0.003	0.042	17.82
5.6.9	0.011	0.038	17.79
5.6.8	0.005	0.022	17.52
5.6.7	0.004	0.004	14.42
5.6.6	0.004	0.007	14.46
5.6.5	0.004	0.011	14.09
5.6.4	0.009	0.003	14.28
5.6.3	0.000	0.013	14.42
5.6.2	0.000	0.017	14.20
5.6.1	0.004	0.011	14.38
5.6.0	0.006	0.003	14.44
5.5.38	0.009	0.006	14.36
5.5.37	0.009	0.006	14.21
5.5.36	0.011	0.007	14.52
5.5.35	0.012	0.045	17.31
5.5.34	0.002	0.047	16.29
5.5.33	0.006	0.043	17.39
5.5.32	0.018	0.023	17.07
5.5.31	0.016	0.034	17.32
5.5.30	0.007	0.037	16.15
5.5.29	0.005	0.033	16.07
5.5.28	0.008	0.020	17.54
5.5.27	0.006	0.031	17.76
5.5.26	0.009	0.040	17.65
5.5.25	0.009	0.037	17.50
5.5.24	0.011	0.038	17.37
5.5.23	0.004	0.008	14.05
5.5.22	0.004	0.007	14.23
5.5.21	0.007	0.003	14.37
5.5.20	0.003	0.009	14.46
5.5.19	0.004	0.007	14.07
5.5.18	0.004	0.012	14.19
5.5.17	0.003	0.007	14.18
5.5.16	0.006	0.006	14.35
5.5.15	0.004	0.007	14.36
5.5.14	0.007	0.007	14.22
5.5.13	0.003	0.012	14.41
5.5.12	0.003	0.006	14.25
5.5.11	0.009	0.009	14.25
5.5.10	0.006	0.010	14.25
5.5.9	0.004	0.012	14.41
5.5.8	0.009	0.006	14.13
5.5.7	0.011	0.000	14.15
5.5.6	0.007	0.007	14.46
5.5.5	0.003	0.007	14.22
5.5.4	0.004	0.004	14.26
5.5.3	0.008	0.004	13.88
5.5.2	0.007	0.004	14.33
5.5.1	0.003	0.010	14.39
5.5.0	0.008	0.004	14.11
5.4.45	0.005	0.023	15.29
5.4.44	0.003	0.042	15.41
5.4.43	0.003	0.033	15.39
5.4.42	0.002	0.042	15.40
5.4.41	0.005	0.033	15.16
5.4.40	0.005	0.038	15.20
5.4.39	0.006	0.032	15.11
5.4.38	0.007	0.035	15.23
5.4.37	0.008	0.020	15.06
5.4.36	0.005	0.027	15.29
5.4.35	0.005	0.037	15.21
5.4.34	0.004	0.021	15.21
5.4.33	0.000	0.006	11.33
5.4.32	0.002	0.023	15.06
5.4.31	0.002	0.023	15.23
5.4.30	0.009	0.028	15.29
5.4.29	0.003	0.022	15.10
5.4.28	0.006	0.037	15.11
5.4.27	0.000	0.028	15.23
5.4.26	0.003	0.037	15.13
5.4.25	0.006	0.036	15.28
5.4.24	0.012	0.028	15.20
5.4.23	0.005	0.035	15.13
5.4.22	0.008	0.040	15.07
5.4.21	0.005	0.028	15.23
5.4.20	0.002	0.027	15.28
5.4.19	0.000	0.030	15.20
5.4.18	0.003	0.032	15.20
5.4.17	0.003	0.022	15.18
5.4.16	0.004	0.022	15.12
5.4.15	0.010	0.023	15.20
5.4.14	0.002	0.042	13.89
5.4.13	0.002	0.025	13.89
5.4.12	0.005	0.023	13.80
5.4.11	0.004	0.041	13.71
5.4.10	0.004	0.037	13.91
5.4.9	0.005	0.022	13.86
5.4.8	0.003	0.043	13.86
5.4.7	0.003	0.040	13.69
5.4.6	0.003	0.034	13.82
5.4.5	0.000	0.042	13.85
5.4.4	0.005	0.038	13.81
5.4.3	0.005	0.037	13.68
5.4.2	0.007	0.037	13.76
5.4.1	0.005	0.020	13.68
5.4.0	0.010	0.032	13.57
5.3.29	0.002	0.022	12.92
5.3.28	0.003	0.033	13.01
5.3.27	0.005	0.040	13.01
5.3.26	0.003	0.022	12.88
5.3.25	0.000	0.044	12.90
5.3.24	0.003	0.037	12.88
5.3.23	0.008	0.034	12.88
5.3.22	0.004	0.038	12.87
5.3.21	0.004	0.040	12.99
5.3.20	0.003	0.025	12.94
5.3.19	0.003	0.042	12.96
5.3.18	0.001	0.038	12.86
5.3.17	0.004	0.038	12.86
5.3.16	0.002	0.026	12.86
5.3.15	0.002	0.040	12.87
5.3.14	0.008	0.027	12.89
5.3.13	0.006	0.026	12.91
5.3.12	0.003	0.037	12.86
5.3.11	0.007	0.025	12.87
5.3.10	0.008	0.030	12.61
5.3.9	0.012	0.025	12.64
5.3.8	0.000	0.024	12.70
5.3.7	0.003	0.022	12.59
5.3.6	0.003	0.033	12.64
5.3.5	0.002	0.024	12.53
5.3.4	0.001	0.038	12.55
5.3.3	0.002	0.039	12.59
5.3.2	0.003	0.035	12.49
5.3.1	0.003	0.028	12.46
5.3.0	0.000	0.029	12.53
5.2.17	0.000	0.057	12.21
5.2.16	0.000	0.033	12.21
5.2.15	0.000	0.040	12.21
5.2.14	0.000	0.063	12.21
5.2.13	0.010	0.047	12.21
5.2.12	0.007	0.053	12.21
5.2.11	0.000	0.050	12.21
5.2.10	0.000	0.067	12.21
5.2.9	0.007	0.060	12.21
5.2.8	0.003	0.040	12.21
5.2.7	0.003	0.063	12.21
5.2.6	0.000	0.043	12.21
5.2.5	0.000	0.063	12.21
5.2.4	0.017	0.037	12.21
5.2.3	0.007	0.037	12.21
5.2.2	0.003	0.060	12.21
5.2.1	0.000	0.033	12.21
5.2.0	0.003	0.027	12.21
5.1.6	0.003	0.020	12.21
5.1.5	0.000	0.027	12.21
5.1.4	0.003	0.023	12.21
5.1.3	0.000	0.027	12.21
5.1.2	0.003	0.023	12.21
5.1.1	0.007	0.023	12.21
5.1.0	0.000	0.030	12.21
5.0.5	0.003	0.020	12.21
5.0.4	0.000	0.020	12.21
5.0.3	0.003	0.027	12.21
5.0.2	0.000	0.020	12.21
5.0.1	0.000	0.020	12.21
5.0.0	0.000	0.030	12.21
4.4.9	0.007	0.023	12.21
4.4.8	0.003	0.023	12.21
4.4.7	0.003	0.030	12.21
4.4.6	0.000	0.030	12.21
4.4.5	0.000	0.020	12.21
4.4.4	0.000	0.027	12.21
4.4.3	0.000	0.017	12.21
4.4.2	0.000	0.013	12.21
4.4.1	0.000	0.013	12.21
4.4.0	0.003	0.020	12.21
4.3.11	0.000	0.013	12.21
4.3.10	0.007	0.013	12.21
4.3.9	0.000	0.017	12.21
4.3.8	0.000	0.040	12.21
4.3.7	0.000	0.033	12.21
4.3.6	0.000	0.017	12.21
4.3.5	0.003	0.013	12.21
4.3.4	0.000	0.050	12.21
4.3.3	0.000	0.030	12.21
4.3.2	0.000	0.023	12.21
4.3.1	0.003	0.023	12.21
4.3.0	0.000	0.030	12.21