Online PHP editor | perf for Z3uop

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.017	0.000	16.38
8.3.5	0.010	0.006	18.20
8.3.4	0.011	0.007	18.63
8.3.3	0.014	0.003	18.96
8.3.2	0.008	0.000	20.07
8.3.1	0.005	0.003	20.48
8.3.0	0.004	0.004	19.25
8.2.18	0.000	0.014	18.13
8.2.17	0.012	0.003	22.96
8.2.16	0.007	0.007	20.38
8.2.15	0.000	0.008	24.18
8.2.14	0.005	0.002	24.66
8.2.13	0.007	0.000	26.16
8.2.12	0.002	0.005	22.27
8.2.11	0.007	0.004	21.00
8.2.10	0.009	0.003	17.84
8.2.9	0.005	0.003	19.22
8.2.8	0.006	0.003	17.97
8.2.7	0.000	0.010	17.63
8.2.6	0.003	0.006	18.00
8.2.5	0.004	0.004	18.10
8.2.4	0.000	0.007	18.31
8.2.3	0.003	0.003	19.35
8.2.2	0.003	0.005	17.60
8.2.1	0.003	0.006	18.16
8.2.0	0.000	0.007	17.54
8.1.28	0.010	0.010	25.92
8.1.27	0.006	0.003	23.93
8.1.26	0.004	0.004	26.35
8.1.25	0.005	0.002	28.09
8.1.24	0.007	0.003	22.69
8.1.23	0.000	0.011	17.59
8.1.22	0.004	0.004	17.74
8.1.21	0.000	0.008	18.77
8.1.20	0.004	0.004	17.22
8.1.19	0.000	0.008	17.22
8.1.18	0.004	0.004	18.10
8.1.17	0.010	0.000	18.63
8.1.16	0.007	0.000	21.98
8.1.15	0.004	0.004	18.72
8.1.14	0.005	0.002	17.29
8.1.13	0.007	0.000	19.11
8.1.12	0.000	0.007	17.39
8.1.11	0.005	0.003	17.47
8.1.10	0.005	0.003	17.30
8.1.9	0.000	0.007	17.26
8.1.8	0.003	0.004	17.29
8.1.7	0.005	0.002	17.32
8.1.6	0.006	0.003	17.50
8.1.5	0.004	0.004	17.46
8.1.4	0.003	0.005	17.40
8.1.3	0.000	0.008	17.62
8.1.2	0.000	0.007	17.55
8.1.1	0.003	0.006	17.55
8.1.0	0.007	0.000	17.38
8.0.30	0.004	0.004	18.77
8.0.29	0.000	0.008	16.58
8.0.28	0.000	0.007	18.35
8.0.27	0.000	0.007	17.18
8.0.26	0.007	0.000	18.68
8.0.25	0.000	0.007	16.79
8.0.24	0.005	0.003	16.84
8.0.23	0.007	0.000	16.78
8.0.22	0.004	0.004	16.86
8.0.21	0.006	0.000	16.68
8.0.20	0.003	0.003	16.86
8.0.19	0.004	0.004	16.80
8.0.18	0.000	0.007	16.80
8.0.17	0.000	0.008	16.88
8.0.16	0.000	0.007	16.75
8.0.15	0.005	0.003	16.80
8.0.14	0.000	0.007	16.65
8.0.13	0.003	0.003	13.12
8.0.12	0.005	0.003	16.78
8.0.11	0.007	0.000	16.82
8.0.10	0.004	0.004	16.70
8.0.9	0.000	0.007	16.66
8.0.8	0.009	0.006	16.80
8.0.7	0.000	0.008	16.64
8.0.6	0.000	0.008	16.72
8.0.5	0.004	0.004	16.76
8.0.3	0.006	0.015	17.03
8.0.2	0.010	0.010	17.40
8.0.1	0.004	0.004	17.05
8.0.0	0.011	0.007	16.93
7.4.33	0.000	0.005	15.09
7.4.32	0.005	0.002	16.50
7.4.30	0.003	0.003	16.60
7.4.29	0.003	0.003	16.44
7.4.28	0.007	0.000	16.63
7.4.27	0.003	0.003	16.63
7.4.26	0.007	0.000	16.52
7.4.25	0.000	0.007	16.43
7.4.24	0.004	0.004	16.51
7.4.23	0.003	0.003	16.33
7.4.22	0.009	0.010	16.60
7.4.21	0.004	0.011	16.55
7.4.20	0.000	0.007	16.38
7.4.16	0.009	0.009	16.38
7.4.15	0.012	0.006	17.40
7.4.14	0.005	0.013	17.86
7.4.13	0.012	0.006	16.48
7.4.12	0.012	0.007	16.51
7.4.11	0.010	0.006	16.61
7.4.10	0.010	0.010	16.46
7.4.9	0.006	0.012	16.50
7.4.8	0.012	0.012	16.33
7.4.7	0.006	0.009	16.64
7.4.6	0.006	0.010	16.58
7.4.5	0.005	0.003	16.59
7.4.4	0.013	0.003	16.63
7.4.3	0.012	0.003	16.22
7.4.1	0.009	0.006	15.09
7.4.0	0.005	0.011	14.90
7.3.33	0.003	0.003	13.10
7.3.32	0.003	0.003	13.01
7.3.31	0.007	0.000	16.32
7.3.30	0.005	0.002	16.11
7.3.29	0.007	0.006	16.21
7.3.28	0.008	0.009	16.14
7.3.27	0.003	0.015	17.40
7.3.26	0.010	0.010	16.26
7.3.25	0.008	0.009	16.33
7.3.24	0.010	0.006	16.29
7.3.23	0.012	0.006	16.44
7.3.21	0.013	0.003	16.38
7.3.20	0.006	0.014	19.39
7.3.19	0.009	0.012	16.47
7.3.18	0.008	0.008	16.21
7.3.17	0.008	0.008	16.36
7.3.16	0.012	0.003	16.23
7.3.13	0.006	0.013	14.38
7.3.12	0.005	0.015	14.68
7.3.11	0.007	0.010	14.69
7.3.10	0.012	0.005	14.84
7.3.9	0.009	0.008	14.84
7.3.8	0.008	0.006	14.71
7.3.7	0.008	0.005	14.63
7.3.6	0.004	0.009	14.87
7.3.5	0.006	0.009	14.59
7.3.4	0.008	0.008	14.79
7.3.3	0.007	0.007	14.65
7.3.2	0.003	0.010	16.78
7.3.1	0.008	0.007	16.51
7.3.0	0.002	0.010	16.55
7.2.33	0.014	0.003	16.63
7.2.32	0.011	0.006	16.52
7.2.31	0.011	0.005	16.27
7.2.30	0.011	0.010	16.40
7.2.29	0.013	0.012	16.32
7.2.26	0.007	0.014	14.81
7.2.25	0.008	0.010	14.90
7.2.24	0.006	0.011	14.84
7.2.23	0.009	0.005	14.67
7.2.22	0.008	0.006	14.75
7.2.21	0.005	0.009	15.00
7.2.20	0.004	0.012	14.93
7.2.19	0.008	0.008	14.87
7.2.18	0.006	0.010	14.85
7.2.17	0.007	0.008	15.05
7.2.16	0.006	0.008	14.97
7.2.15	0.003	0.011	16.87
7.2.14	0.008	0.007	16.55
7.2.13	0.003	0.008	16.78
7.2.12	0.007	0.007	16.58
7.2.11	0.005	0.010	16.86
7.2.10	0.006	0.010	16.88
7.2.9	0.010	0.006	16.92
7.2.8	0.003	0.007	16.84
7.2.7	0.013	0.001	16.77
7.2.6	0.009	0.004	16.74
7.2.5	0.002	0.011	16.78
7.2.4	0.003	0.010	16.63
7.2.3	0.011	0.003	16.80
7.2.2	0.010	0.003	16.90
7.2.1	0.005	0.010	16.63
7.2.0	0.003	0.011	17.62
7.1.33	0.007	0.008	15.90
7.1.32	0.006	0.009	15.81
7.1.31	0.011	0.003	15.80
7.1.30	0.003	0.012	15.67
7.1.29	0.002	0.011	15.88
7.1.28	0.007	0.007	15.70
7.1.27	0.008	0.006	15.61
7.1.26	0.003	0.009	15.59
7.1.25	0.005	0.009	15.66
7.1.24	0.002	0.012	15.81
7.1.23	0.006	0.006	15.75
7.1.22	0.006	0.007	15.81
7.1.21	0.007	0.007	15.63
7.1.20	0.004	0.008	15.83
7.1.19	0.008	0.005	15.57
7.1.18	0.003	0.009	15.69
7.1.17	0.004	0.008	15.83
7.1.16	0.006	0.008	15.91
7.1.15	0.004	0.006	15.63
7.1.14	0.007	0.007	15.77
7.1.13	0.005	0.006	15.77
7.1.12	0.005	0.008	15.91
7.1.11	0.003	0.010	15.87
7.1.10	0.003	0.009	16.53
7.1.9	0.002	0.013	15.83
7.1.8	0.009	0.005	15.74
7.1.7	0.007	0.005	16.28
7.1.6	0.008	0.009	16.98
7.1.5	0.005	0.011	16.13
7.1.4	0.005	0.008	15.71
7.1.3	0.002	0.010	15.89
7.1.2	0.008	0.005	15.71
7.1.1	0.005	0.009	15.71
7.1.0	0.007	0.028	17.98
7.0.33	0.003	0.009	15.39
7.0.32	0.006	0.004	15.16
7.0.31	0.002	0.010	15.43
7.0.30	0.002	0.013	15.28
7.0.29	0.000	0.013	15.28
7.0.28	0.005	0.005	15.34
7.0.27	0.004	0.008	15.35
7.0.26	0.008	0.007	15.39
7.0.25	0.008	0.006	15.43
7.0.24	0.010	0.002	15.37
7.0.23	0.005	0.007	15.27
7.0.22	0.004	0.011	15.23
7.0.21	0.005	0.007	15.43
7.0.20	0.004	0.008	15.66
7.0.19	0.007	0.007	15.35
7.0.18	0.006	0.008	15.27
7.0.17	0.004	0.012	15.24
7.0.16	0.006	0.006	15.15
7.0.15	0.005	0.004	15.30
7.0.14	0.005	0.030	17.63
7.0.13	0.003	0.009	15.35
7.0.12	0.000	0.009	15.50
7.0.11	0.005	0.008	15.33
7.0.10	0.005	0.005	15.38
7.0.9	0.005	0.007	15.42
7.0.8	0.007	0.005	15.20
7.0.7	0.097	0.015	16.96
7.0.6	0.007	0.034	16.84
7.0.5	0.005	0.016	16.18
7.0.4	0.006	0.035	15.52
7.0.3	0.021	0.028	15.64
7.0.2	0.015	0.029	15.57
7.0.1	0.016	0.025	15.68
7.0.0	0.005	0.029	15.62
5.6.40	0.005	0.006	14.35
5.6.39	0.008	0.003	14.41
5.6.38	0.010	0.002	14.01
5.6.37	0.006	0.009	14.47
5.6.36	0.005	0.008	13.90
5.6.35	0.007	0.007	14.47
5.6.34	0.002	0.011	14.39
5.6.33	0.005	0.009	14.33
5.6.32	0.003	0.009	14.23
5.6.31	0.008	0.006	14.53
5.6.30	0.009	0.003	14.47
5.6.29	0.006	0.006	14.33
5.6.28	0.007	0.025	16.43
5.6.27	0.005	0.006	14.27
5.6.26	0.003	0.011	14.42
5.6.25	0.011	0.003	14.21
5.6.24	0.007	0.008	14.35
5.6.23	0.005	0.006	14.41
5.6.22	0.000	0.009	14.13
5.6.21	0.006	0.033	16.29
5.6.20	0.003	0.036	15.66
5.6.19	0.005	0.028	16.35
5.6.18	0.005	0.034	16.23
5.6.17	0.010	0.021	16.37
5.6.16	0.004	0.033	16.41
5.6.15	0.008	0.029	15.70
5.6.14	0.005	0.033	15.59
5.6.13	0.008	0.020	15.65
5.6.12	0.008	0.017	16.68
5.6.11	0.004	0.037	16.56
5.6.10	0.008	0.035	16.55
5.6.9	0.005	0.035	16.46
5.6.8	0.011	0.026	16.08
5.6.7	0.010	0.023	16.33
5.6.6	0.006	0.009	14.14
5.6.5	0.003	0.009	14.26
5.6.4	0.002	0.011	14.17
5.6.3	0.003	0.008	14.23
5.6.2	0.004	0.008	14.05
5.6.1	0.003	0.010	14.02
5.6.0	0.005	0.007	14.18
5.5.38	0.005	0.010	14.28
5.5.37	0.009	0.004	14.36
5.5.36	0.006	0.003	14.13
5.5.35	0.008	0.030	16.23
5.5.34	0.005	0.017	15.65
5.5.33	0.003	0.038	16.18
5.5.32	0.007	0.018	16.09
5.5.31	0.012	0.032	16.22
5.5.30	0.004	0.033	15.48
5.5.29	0.007	0.028	15.44
5.5.28	0.005	0.034	16.43
5.5.27	0.004	0.028	16.49
5.5.26	0.007	0.031	16.45
5.5.25	0.004	0.034	16.43
5.5.24	0.004	0.035	16.11
5.5.23	0.005	0.008	14.06
5.5.22	0.006	0.008	14.10
5.5.21	0.011	0.003	13.96
5.5.20	0.008	0.006	14.04
5.5.19	0.003	0.010	13.98
5.5.18	0.006	0.008	13.84
5.5.17	0.006	0.009	14.16
5.5.16	0.008	0.003	14.37
5.5.15	0.007	0.005	14.13
5.5.14	0.012	0.003	14.03
5.5.13	0.006	0.006	14.11
5.5.12	0.003	0.009	14.15
5.5.11	0.005	0.011	14.33
5.5.10	0.008	0.003	13.99
5.5.9	0.006	0.006	14.22
5.5.8	0.004	0.005	14.27
5.5.7	0.005	0.007	13.98
5.5.6	0.008	0.005	13.94
5.5.5	0.008	0.005	14.11
5.5.4	0.002	0.011	14.26
5.5.3	0.005	0.007	14.13
5.5.2	0.005	0.008	14.13
5.5.1	0.006	0.008	13.94
5.5.0	0.003	0.010	14.05
5.4.45	0.012	0.018	14.49
5.4.44	0.010	0.018	14.50
5.4.43	0.012	0.028	14.57
5.4.42	0.012	0.016	14.36
5.4.41	0.010	0.024	14.29
5.4.40	0.012	0.027	14.24
5.4.39	0.010	0.028	14.37
5.4.38	0.016	0.022	14.33
5.4.37	0.011	0.029	14.37
5.4.36	0.013	0.027	14.47
5.4.35	0.015	0.025	14.30
5.4.34	0.012	0.021	14.38
5.4.33	0.003	0.005	12.06
5.4.32	0.010	0.026	14.34
5.4.31	0.010	0.017	14.40
5.4.30	0.010	0.015	14.43
5.4.29	0.011	0.023	14.36
5.4.28	0.012	0.020	14.45
5.4.27	0.011	0.017	14.39
5.4.26	0.018	0.012	14.33
5.4.25	0.014	0.023	14.36
5.4.24	0.012	0.021	14.45
5.4.23	0.015	0.025	14.46
5.4.22	0.016	0.020	14.38
5.4.21	0.013	0.019	14.41
5.4.20	0.015	0.028	14.40
5.4.19	0.010	0.026	14.40
5.4.18	0.010	0.020	14.36
5.4.17	0.013	0.028	14.37
5.4.16	0.012	0.025	14.39
5.4.15	0.010	0.021	14.25
5.4.14	0.009	0.016	13.50
5.4.13	0.011	0.020	13.44
5.4.12	0.011	0.016	13.49
5.4.11	0.011	0.027	13.37
5.4.10	0.012	0.023	13.41
5.4.9	0.009	0.026	13.47
5.4.8	0.013	0.022	13.54
5.4.7	0.011	0.017	13.48
5.4.6	0.009	0.017	13.47
5.4.5	0.010	0.015	13.37
5.4.4	0.012	0.016	13.34
5.4.3	0.010	0.017	13.47
5.4.2	0.015	0.025	13.38
5.4.1	0.011	0.028	13.38
5.4.0	0.011	0.027	13.18
5.3.29	0.020	0.063	14.76
5.3.28	0.020	0.047	14.42
5.3.27	0.030	0.040	14.46
5.3.26	0.023	0.057	14.51
5.3.25	0.027	0.067	14.46
5.3.24	0.023	0.073	14.46
5.3.23	0.020	0.070	14.56
5.3.22	0.023	0.073	14.61
5.3.21	0.033	0.037	14.41
5.3.20	0.023	0.073	14.59
5.3.19	0.050	0.060	14.47
5.3.18	0.023	0.070	14.40
5.3.17	0.033	0.060	14.66
5.3.16	0.023	0.040	14.50
5.3.15	0.020	0.077	14.54
5.3.14	0.030	0.033	14.46
5.3.13	0.027	0.043	14.39
5.3.12	0.033	0.070	14.49
5.3.11	0.023	0.067	14.48
5.3.10	0.023	0.040	13.87
5.3.9	0.027	0.067	13.86
5.3.8	0.037	0.070	13.96
5.3.7	0.027	0.040	13.89
5.3.6	0.037	0.067	13.95
5.3.5	0.040	0.060	13.85
5.3.4	0.033	0.057	13.79
5.3.3	0.023	0.037	13.71
5.3.2	0.023	0.050	13.46
5.3.1	0.033	0.060	13.56
5.3.0	0.033	0.060	13.62
5.2.17	0.017	0.040	11.07
5.2.16	0.017	0.030	11.03
5.2.15	0.020	0.030	11.15
5.2.14	0.020	0.040	11.19
5.2.13	0.030	0.050	11.26
5.2.12	0.020	0.027	11.04
5.2.11	0.023	0.033	10.95
5.2.10	0.017	0.030	11.20
5.2.9	0.023	0.023	11.01
5.2.8	0.023	0.023	10.98
5.2.7	0.020	0.027	10.95
5.2.6	0.017	0.033	10.90
5.2.5	0.013	0.030	10.86
5.2.4	0.013	0.027	11.17
5.2.3	0.023	0.027	10.82
5.2.2	0.017	0.027	10.86
5.2.1	0.020	0.040	10.87
5.2.0	0.020	0.020	10.68
5.1.6	0.017	0.023	9.86
5.1.5	0.020	0.020	10.11
5.1.4	0.003	0.033	9.84
5.1.3	0.010	0.030	10.30
5.1.2	0.010	0.027	10.35
5.1.1	0.017	0.020	10.11
5.1.0	0.010	0.033	10.06
5.0.5	0.007	0.023	8.52
5.0.4	0.007	0.020	8.38
5.0.3	0.007	0.030	8.16
5.0.2	0.003	0.020	8.14
5.0.1	0.007	0.017	8.14
5.0.0	0.010	0.030	8.12
4.4.9	0.003	0.027	7.02
4.4.8	0.010	0.013	7.02
4.4.7	0.003	0.020	7.02
4.4.6	0.007	0.023	7.02
4.4.5	0.010	0.013	7.02
4.4.4	0.007	0.033	7.02
4.4.3	0.003	0.017	7.02
4.4.2	0.013	0.013	7.02
4.4.1	0.000	0.023	7.02
4.4.0	0.010	0.020	7.02
4.3.11	0.003	0.023	7.02
4.3.10	0.010	0.013	7.02
4.3.9	0.003	0.017	7.02
4.3.8	0.007	0.023	7.02
4.3.7	0.000	0.020	7.02
4.3.6	0.010	0.017	7.02
4.3.5	0.003	0.017	7.02
4.3.4	0.003	0.023	7.02
4.3.3	0.007	0.017	7.02
4.3.2	0.003	0.030	7.02
4.3.1	0.003	0.017	7.02
4.3.0	0.000	0.020	7.02