Online PHP editor | perf for d4CNF

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.010	0.007	18.68
8.3.5	0.012	0.006	18.06
8.3.4	0.007	0.007	18.82
8.3.3	0.004	0.011	19.23
8.3.2	0.000	0.007	20.51
8.3.1	0.003	0.006	21.79
8.3.0	0.003	0.006	19.26
8.2.18	0.019	0.003	18.28
8.2.17	0.000	0.014	22.96
8.2.16	0.009	0.004	22.16
8.2.15	0.004	0.004	24.18
8.2.14	0.008	0.000	24.66
8.2.13	0.002	0.005	26.16
8.2.12	0.004	0.007	17.91
8.2.11	0.000	0.008	22.20
8.2.10	0.009	0.003	18.03
8.2.9	0.000	0.008	19.21
8.2.8	0.003	0.006	17.97
8.2.7	0.006	0.003	17.63
8.2.6	0.000	0.008	17.91
8.2.5	0.000	0.008	18.07
8.2.4	0.006	0.003	18.22
8.2.3	0.004	0.004	18.14
8.2.2	0.005	0.003	17.81
8.2.1	0.004	0.004	18.13
8.2.0	0.005	0.002	17.77
8.1.28	0.007	0.007	25.92
8.1.27	0.000	0.008	19.00
8.1.26	0.011	0.003	26.35
8.1.25	0.004	0.004	28.09
8.1.24	0.003	0.006	24.01
8.1.23	0.011	0.000	19.28
8.1.22	0.008	0.000	17.77
8.1.21	0.004	0.004	18.77
8.1.20	0.009	0.003	17.35
8.1.19	0.005	0.003	17.25
8.1.18	0.008	0.000	18.10
8.1.17	0.005	0.005	18.49
8.1.16	0.000	0.008	22.22
8.1.15	0.000	0.007	18.99
8.1.14	0.005	0.003	19.36
8.1.13	0.000	0.007	17.52
8.1.12	0.004	0.004	17.45
8.1.11	0.003	0.006	17.53
8.1.10	0.004	0.004	17.40
8.1.9	0.004	0.004	17.56
8.1.8	0.000	0.007	17.46
8.1.7	0.007	0.000	17.51
8.1.6	0.003	0.006	17.59
8.1.5	0.006	0.003	17.49
8.1.4	0.004	0.004	17.49
8.1.3	0.005	0.003	17.70
8.1.2	0.003	0.005	17.77
8.1.1	0.000	0.007	17.62
8.1.0	0.004	0.004	17.49
8.0.30	0.004	0.004	18.77
8.0.29	0.007	0.000	16.88
8.0.28	0.004	0.004	18.45
8.0.27	0.003	0.003	17.36
8.0.26	0.000	0.007	16.86
8.0.25	0.007	0.000	17.04
8.0.24	0.000	0.009	17.11
8.0.23	0.000	0.007	16.97
8.0.22	0.003	0.003	17.07
8.0.21	0.000	0.007	16.93
8.0.20	0.000	0.007	17.11
8.0.19	0.003	0.006	17.09
8.0.18	0.008	0.000	16.95
8.0.17	0.006	0.003	16.96
8.0.16	0.004	0.004	17.09
8.0.15	0.004	0.004	16.97
8.0.14	0.004	0.004	16.96
8.0.13	0.007	0.002	13.45
8.0.12	0.003	0.005	16.88
8.0.11	0.004	0.004	17.08
8.0.10	0.000	0.007	16.96
8.0.9	0.000	0.008	16.93
8.0.8	0.019	0.003	16.89
8.0.7	0.008	0.000	16.83
8.0.6	0.006	0.003	16.99
8.0.5	0.003	0.005	17.10
8.0.3	0.008	0.015	17.08
8.0.2	0.009	0.011	17.40
8.0.1	0.000	0.007	16.94
8.0.0	0.010	0.007	16.66
7.4.33	0.003	0.003	15.03
7.4.32	0.000	0.008	16.71
7.4.30	0.000	0.007	16.78
7.4.29	0.003	0.003	16.73
7.4.28	0.000	0.007	16.80
7.4.27	0.000	0.007	16.85
7.4.26	0.003	0.003	16.75
7.4.25	0.000	0.008	16.65
7.4.24	0.006	0.002	16.73
7.4.23	0.000	0.007	16.83
7.4.22	0.009	0.009	16.77
7.4.21	0.012	0.006	16.66
7.4.20	0.004	0.004	16.79
7.4.16	0.003	0.014	16.79
7.4.15	0.009	0.009	17.40
7.4.14	0.007	0.010	17.86
7.4.13	0.010	0.006	16.71
7.4.12	0.012	0.005	16.81
7.4.11	0.012	0.006	16.73
7.4.10	0.009	0.009	16.74
7.4.9	0.008	0.008	16.65
7.4.8	0.006	0.012	19.39
7.4.7	0.010	0.013	16.93
7.4.6	0.008	0.008	16.61
7.4.5	0.000	0.005	16.83
7.4.4	0.009	0.009	16.46
7.4.3	0.013	0.004	16.60
7.4.0	0.008	0.004	15.08
7.3.33	0.006	0.000	13.57
7.3.32	0.003	0.002	13.48
7.3.31	0.000	0.007	16.60
7.3.30	0.004	0.004	16.62
7.3.29	0.008	0.007	16.58
7.3.28	0.009	0.006	16.51
7.3.27	0.008	0.009	17.40
7.3.26	0.012	0.006	16.97
7.3.25	0.007	0.010	16.67
7.3.24	0.003	0.019	16.82
7.3.23	0.009	0.009	16.77
7.3.21	0.007	0.011	16.84
7.3.20	0.009	0.012	19.39
7.3.19	0.010	0.006	16.93
7.3.18	0.018	0.004	16.67
7.3.17	0.011	0.011	16.83
7.3.16	0.003	0.014	16.89
7.3.1	0.004	0.010	16.61
7.3.0	0.013	0.004	16.48
7.2.33	0.009	0.008	16.74
7.2.32	0.007	0.015	16.85
7.2.31	0.013	0.004	16.70
7.2.30	0.003	0.015	16.89
7.2.29	0.012	0.013	16.92
7.2.13	0.006	0.007	16.86
7.2.12	0.009	0.007	16.61
7.2.11	0.011	0.009	16.71
7.2.10	0.012	0.007	16.65
7.2.9	0.008	0.008	16.65
7.2.8	0.008	0.012	16.68
7.2.7	0.014	0.003	16.63
7.2.6	0.010	0.005	16.92
7.2.5	0.006	0.010	16.80
7.2.4	0.013	0.004	16.65
7.2.3	0.011	0.006	16.75
7.2.2	0.009	0.010	16.60
7.2.1	0.006	0.010	16.85
7.2.0	0.007	0.010	17.73
7.1.25	0.010	0.005	15.67
7.1.10	0.003	0.009	18.28
7.1.7	0.004	0.004	16.93
7.1.6	0.009	0.016	19.46
7.1.5	0.007	0.017	16.97
7.1.0	0.007	0.073	22.35
7.0.20	0.007	0.003	16.60
7.0.14	0.007	0.033	22.07
7.0.6	0.010	0.037	20.09
7.0.5	0.007	0.060	18.05
7.0.4	0.000	0.077	20.33
7.0.3	0.027	0.043	20.13
7.0.2	0.030	0.037	20.31
7.0.1	0.003	0.043	20.25
7.0.0	0.000	0.090	20.32
5.6.28	0.003	0.073	21.09
5.6.21	0.013	0.073	20.61
5.6.20	0.010	0.040	18.25
5.6.19	0.007	0.060	20.70
5.6.18	0.033	0.073	20.59
5.6.17	0.030	0.077	20.61
5.6.16	0.010	0.067	20.59
5.6.15	0.013	0.077	18.34
5.6.14	0.017	0.070	18.21
5.6.13	0.010	0.083	18.36
5.6.12	0.010	0.050	21.05
5.6.11	0.017	0.067	21.18
5.6.10	0.003	0.077	21.18
5.6.9	0.010	0.070	21.05
5.6.8	0.010	0.077	20.58
5.5.35	0.303	0.043	20.49
5.5.34	0.013	0.067	18.03
5.5.33	0.010	0.060	20.54
5.5.32	0.007	0.087	20.38
5.5.31	0.020	0.037	20.39
5.5.30	0.007	0.070	18.05
5.5.29	0.010	0.083	18.02
5.5.28	0.007	0.070	20.80
5.5.27	0.007	0.063	21.01
5.5.26	0.010	0.053	20.82
5.5.25	0.020	0.063	20.65
5.5.24	0.000	0.090	20.34
5.4.45	0.057	0.060	19.55
5.4.44	0.013	0.057	19.55
5.4.43	0.010	0.057	19.34
5.4.42	0.013	0.053	19.75
5.4.41	0.007	0.060	19.47
5.4.40	0.010	0.050	19.15
5.4.39	0.093	0.047	18.78
5.4.38	0.083	0.063	18.70
5.4.37	0.077	0.063	18.84
5.4.36	0.087	0.047	18.82
5.4.35	0.093	0.073	18.91
5.4.34	0.090	0.047	18.95
5.4.32	0.083	0.057	18.66
5.4.31	0.090	0.060	18.66
5.4.30	0.127	0.067	18.57
5.4.29	0.100	0.063	18.87
5.4.28	0.080	0.050	18.81
5.4.27	0.107	0.063	18.69
5.4.26	0.073	0.060	18.81
5.4.25	0.087	0.047	18.85
5.4.24	0.077	0.060	18.86
5.4.23	0.077	0.057	18.55
5.4.22	0.080	0.067	18.90
5.4.21	0.083	0.047	18.69
5.4.20	0.083	0.047	16.70
5.4.19	0.083	0.050	18.84
5.4.18	0.083	0.050	18.56
5.4.17	0.080	0.053	18.68
5.4.16	0.070	0.057	18.83
5.4.15	0.100	0.047	18.80
5.4.14	0.077	0.053	16.55
5.4.13	0.090	0.050	16.50
5.4.12	0.077	0.057	16.36
5.4.11	0.077	0.057	16.38
5.4.10	0.083	0.047	16.41
5.4.9	0.080	0.050	16.38
5.4.8	0.080	0.057	16.38
5.4.7	0.087	0.057	16.21
5.4.6	0.093	0.050	16.35
5.4.5	0.100	0.047	16.48
5.4.4	0.097	0.050	16.45
5.4.3	0.087	0.057	16.32
5.4.2	0.103	0.053	16.33
5.4.1	0.087	0.057	16.46
5.4.0	0.087	0.043	15.85
5.3.29	0.083	0.053	14.92
5.3.28	0.110	0.053	14.67
5.3.27	0.080	0.057	14.87
5.3.26	0.083	0.053	14.87
5.3.25	0.087	0.043	14.78
5.3.24	0.073	0.057	14.68
5.3.23	0.080	0.050	14.85
5.3.22	0.080	0.050	14.68
5.3.21	0.080	0.057	14.75
5.3.20	0.067	0.057	14.84
5.3.19	0.080	0.050	14.83
5.3.18	0.083	0.050	14.66
5.3.17	0.080	0.057	14.74
5.3.16	0.077	0.057	14.85
5.3.15	0.083	0.050	14.80
5.3.14	0.103	0.047	14.64
5.3.13	0.093	0.057	14.80
5.3.12	0.093	0.060	14.68
5.3.11	0.100	0.050	14.73
5.3.10	0.073	0.060	14.31
5.3.9	0.087	0.057	14.28
5.3.8	0.083	0.057	14.20
5.3.7	0.083	0.043	14.20
5.3.6	0.090	0.040	14.26
5.3.5	0.093	0.050	14.20
5.3.4	0.090	0.037	14.01
5.3.3	0.087	0.043	14.16
5.3.2	0.080	0.047	13.91
5.3.1	0.077	0.050	13.87
5.3.0	0.097	0.047	13.89
5.2.17	0.080	0.043	11.35
5.2.16	0.080	0.040	11.25
5.2.15	0.073	0.033	11.27
5.2.14	0.080	0.040	11.35
5.2.13	0.083	0.037	11.36
5.2.12	0.087	0.053	11.18
5.2.11	0.083	0.037	11.27
5.2.10	0.070	0.037	11.41
5.2.9	0.083	0.040	11.36
5.2.8	0.073	0.053	11.16
5.2.7	0.083	0.040	11.27
5.2.6	0.083	0.043	11.30
5.2.5	0.083	0.040	11.13
5.2.4	0.057	0.040	11.21
5.2.3	0.057	0.037	11.07
5.2.2	0.047	0.047	11.21
5.2.1	0.047	0.047	10.93
5.2.0	0.050	0.043	11.09
5.1.6	0.050	0.033	10.26
5.1.5	0.060	0.023	10.18
5.1.4	0.050	0.047	10.30
5.1.3	0.067	0.033	10.57
5.1.2	0.053	0.037	10.41
5.1.1	0.053	0.033	10.30
5.1.0	0.060	0.040	10.25
5.0.5	0.027	0.033	8.77
5.0.4	0.030	0.027	8.74
5.0.3	0.030	0.047	8.44
5.0.2	0.030	0.027	8.28
5.0.1	0.040	0.033	8.26
5.0.0	0.037	0.047	8.43
4.4.9	0.027	0.023	5.91
4.4.8	0.033	0.030	5.87
4.4.7	0.030	0.023	5.97
4.4.6	0.027	0.027	6.00
4.4.5	0.033	0.020	5.88
4.4.4	0.030	0.037	5.89
4.4.3	0.033	0.023	5.90
4.4.2	0.040	0.027	5.93
4.4.1	0.033	0.023	6.01
4.4.0	0.037	0.033	6.04
4.3.11	0.027	0.023	5.87
4.3.10	0.033	0.020	5.82
4.3.9	0.027	0.020	5.79
4.3.8	0.023	0.037	5.80
4.3.7	0.023	0.020	5.84
4.3.6	0.027	0.017	5.84
4.3.5	0.027	0.023	5.78
4.3.4	0.027	0.030	5.79
4.3.3	0.013	0.023	4.54
4.3.2	0.017	0.027	4.59
4.3.1	0.013	0.023	4.52
4.3.0	0.007	0.023	8.42