Detailed conclusion table per each integral for all CAS systems

[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is deﬁned as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table ﬁt, Mathematica was abbreviated to MMA.


Problem 1	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	13	10	9	9	8	17	9	9
N.S.	1	1.00	1.00	0.77	0.69	0.69	0.62	1.31	0.69	0.69
time (sec)	N/A	0.002	0.036	0.098	0.249	0.319	0.025	0.002	0.321	1.588


Problem 2	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	18	20	19	19	39	88	14	19
N.S.	1	1.00	0.67	0.74	0.70	0.70	1.44	3.26	0.52	0.70
time (sec)	N/A	0.004	0.008	0.063	0.261	0.315	0.491	0.001	0.085	2.135


Problem 3	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	34	34	21	23	22	22	48	95	19	22
N.S.	1	1.00	0.62	0.68	0.65	0.65	1.41	2.79	0.56	0.65
time (sec)	N/A	0.003	0.047	0.069	0.262	0.326	0.664	0.001	0.069	2.400


Problem 4	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	18	20	19	14	60	37	14	41
N.S.	1	1.00	0.67	0.74	0.70	0.52	2.22	1.37	0.52	1.52
time (sec)	N/A	0.003	0.006	0.071	0.245	0.326	0.488	0.001	0.057	2.091


Problem 5	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	14	13	12	22	22	16	12	24
N.S.	1	1.00	1.00	0.93	0.86	1.57	1.57	1.14	0.86	1.71
time (sec)	N/A	0.014	0.016	0.129	0.269	0.327	0.063	0.000	0.065	1.727


Problem 6	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	15	11	11	11	8	11	10	10
N.S.	1	1.00	1.15	0.85	0.85	0.85	0.62	0.85	0.77	0.77
time (sec)	N/A	0.053	0.004	0.089	0.266	0.353	0.031	0.000	0.158	1.646


Problem 7	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	18	16	15	17	92	63	12	71
N.S.	1	1.00	0.78	0.70	0.65	0.74	4.00	2.74	0.52	3.09
time (sec)	N/A	0.002	0.009	0.078	0.259	0.322	0.499	0.001	0.031	2.100


Problem 8	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	7	6	10	8	9	6	6
N.S.	1	1.00	1.00	0.88	0.75	1.25	1.00	1.12	0.75	0.75
time (sec)	N/A	0.008	0.033	0.019	0.248	0.319	0.030	0.000	0.418	1.590


Problem 9	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	13	12	18	29	22	12	12
N.S.	1	1.00	1.00	0.81	0.75	1.12	1.81	1.38	0.75	0.75
time (sec)	N/A	0.013	0.014	0.072	0.258	0.409	0.113	0.002	0.171	1.949


Problem 10	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	6	6	6	7	6	6	5	5	6	12
N.S.	1	1.00	1.00	1.17	1.00	1.00	0.83	0.83	1.00	2.00
time (sec)	N/A	0.009	0.011	0.023	0.282	0.336	0.188	0.001	0.043	1.681


Problem 11	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	12	11	10	12	12	9	9	10
N.S.	1	1.00	1.00	0.92	0.83	1.00	1.00	0.75	0.75	0.83
time (sec)	N/A	0.032	0.079	0.051	0.271	0.329	0.286	0.001	0.199	1.775


Problem 12	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	9	8	8	10	11	8	8
N.S.	1	1.00	1.00	0.90	0.80	0.80	1.00	1.10	0.80	0.80
time (sec)	N/A	0.015	0.015	0.056	0.288	0.331	0.119	0.001	0.171	1.673


Problem 13	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	9	9	9	10	9	9	7	8	9	9
N.S.	1	1.00	1.00	1.11	1.00	1.00	0.78	0.89	1.00	1.00
time (sec)	N/A	0.006	0.011	0.055	0.248	0.341	3.797	0.002	0.207	5.105


Problem 14	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	12	11	11	10	14	11	11
N.S.	1	1.00	1.00	0.80	0.73	0.73	0.67	0.93	0.73	0.73
time (sec)	N/A	0.002	0.009	0.067	0.260	0.324	0.096	0.000	0.354	1.684


Problem 15	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	18	16	15	15	34	65	12	15
N.S.	1	1.00	0.78	0.70	0.65	0.65	1.48	2.83	0.52	0.65
time (sec)	N/A	0.002	0.009	0.063	0.264	0.316	0.497	0.002	0.034	2.082


Problem 16	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	11	10	9	22	8	20	9	9
N.S.	1	1.00	1.00	0.91	0.82	2.00	0.73	1.82	0.82	0.82
time (sec)	N/A	0.001	0.020	0.062	0.255	0.323	0.361	0.003	0.072	1.894


Problem 17	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	12	11	11	27	23	11	11
N.S.	1	1.00	1.00	0.80	0.73	0.73	1.80	1.53	0.73	0.73
time (sec)	N/A	0.002	0.009	0.072	0.258	0.319	0.107	0.001	0.185	1.813


Problem 18	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	12	11	11	12	16	15	15
N.S.	1	1.00	1.00	0.80	0.73	0.73	0.80	1.07	1.00	1.00
time (sec)	N/A	0.015	0.033	0.076	0.257	0.337	0.120	0.002	0.239	1.745


Problem 19	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	F	F	A	F	A	B	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	32	32	32	0	0	23	0	19	47	0
N.S.	1	1.00	1.00	0.00	0.00	0.72	0.00	0.59	1.47	0.00
time (sec)	N/A	0.150	1.630	0.019	0.000	0.345	0.000	0.020	0.589	0.000


Problem 20	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	17	14	13	13	14	17	13	13
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.82	1.00	0.76	0.76
time (sec)	N/A	0.065	0.022	0.061	0.273	0.352	0.130	0.002	0.210	1.698


Problem 21	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	13	10	7	12	15	17	9	12
N.S.	1	1.00	0.81	0.62	0.44	0.75	0.94	1.06	0.56	0.75
time (sec)	N/A	0.005	0.007	0.084	0.256	0.336	0.639	0.001	0.156	2.090


Problem 22	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	9	8	8	7	8	8	8
N.S.	1	1.00	1.00	1.12	1.00	1.00	0.88	1.00	1.00	1.00
time (sec)	N/A	0.005	0.003	0.018	0.268	0.368	0.072	0.000	0.064	1.603


Problem 23	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	15	18	15	15	17	15	15	17
N.S.	1	1.00	0.88	1.06	0.88	0.88	1.00	0.88	0.88	1.00
time (sec)	N/A	0.011	0.013	0.017	0.264	0.349	0.109	0.000	0.033	1.730


Problem 24	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	19	24	20	20	26	23	24	23
N.S.	1	1.00	0.83	1.04	0.87	0.87	1.13	1.00	1.04	1.00
time (sec)	N/A	0.019	0.010	0.022	0.261	0.327	0.159	0.000	0.030	1.803


Problem 25	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	20	25	21	21	26	22	23	24
N.S.	1	1.00	0.83	1.04	0.88	0.88	1.08	0.92	0.96	1.00
time (sec)	N/A	0.020	0.009	0.023	0.254	0.354	0.160	0.000	0.030	1.802


Problem 26	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	7	6	6	5	8	6	6
N.S.	1	1.00	1.00	0.88	0.75	0.75	0.62	1.00	0.75	0.75
time (sec)	N/A	0.004	0.001	0.012	0.266	0.328	0.031	0.000	0.019	1.593


Problem 27	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	18	18	14	17	24	18	18	14
N.S.	1	1.00	0.78	0.78	0.61	0.74	1.04	0.78	0.78	0.61
time (sec)	N/A	0.007	0.002	0.013	0.269	0.329	0.112	0.001	0.095	1.802


Problem 28	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	14	11	10	10	10	13	10	10
N.S.	1	1.00	1.00	0.79	0.71	0.71	0.71	0.93	0.71	0.71
time (sec)	N/A	0.003	0.002	0.032	0.254	0.354	0.033	0.000	0.032	1.621


Problem 29	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	15	11	11	11	8	11	10	10
N.S.	1	1.00	1.15	0.85	0.85	0.85	0.62	0.85	0.77	0.77
time (sec)	N/A	0.003	0.002	0.000	0.262	0.384	0.033	0.000	0.002	1.648


Problem 30	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	22	18	16	19	24	21	16	16
N.S.	1	1.00	0.92	0.75	0.67	0.79	1.00	0.88	0.67	0.67
time (sec)	N/A	0.005	0.002	0.082	0.258	0.347	0.033	0.001	0.036	1.721


Problem 31	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	23	17	17	17	17	22	17	17
N.S.	1	1.00	1.10	0.81	0.81	0.81	0.81	1.05	0.81	0.81
time (sec)	N/A	0.004	0.002	0.101	0.259	0.365	0.035	0.001	0.043	1.719


Problem 32	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	34	34	30	24	24	25	36	32	22	32
N.S.	1	1.00	0.88	0.71	0.71	0.74	1.06	0.94	0.65	0.94
time (sec)	N/A	0.009	0.002	0.083	0.258	0.353	0.033	0.001	0.039	1.807


Problem 33	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	25	25	25	25	19	19	36	28	19	20
N.S.	1	1.00	1.00	1.00	0.76	0.76	1.44	1.12	0.76	0.80
time (sec)	N/A	0.008	0.009	0.018	0.258	0.333	0.114	0.001	0.093	1.857


Problem 34	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	33	33	31	23	23	23	39	32	25	25
N.S.	1	1.00	0.94	0.70	0.70	0.70	1.18	0.97	0.76	0.76
time (sec)	N/A	0.012	0.006	0.038	0.274	0.352	0.165	0.001	0.119	1.939


Problem 35	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	29	37	26	29	56	35	28	28
N.S.	1	1.00	0.71	0.90	0.63	0.71	1.37	0.85	0.68	0.68
time (sec)	N/A	0.017	0.023	0.043	0.337	0.352	0.167	0.001	0.063	2.036


Problem 36	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	14	11	10	10	10	12	10	10
N.S.	1	1.00	1.00	0.79	0.71	0.71	0.71	0.86	0.71	0.71
time (sec)	N/A	0.003	0.002	0.016	0.273	0.346	0.032	0.000	0.026	1.636


Problem 37	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	15	11	9	10	8	11	9	9
N.S.	1	1.00	1.36	1.00	0.82	0.91	0.73	1.00	0.82	0.82
time (sec)	N/A	0.004	0.002	0.074	0.268	0.354	0.033	0.000	0.033	1.622


Problem 38	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	22	18	16	19	24	20	16	16
N.S.	1	1.00	0.92	0.75	0.67	0.79	1.00	0.83	0.67	0.67
time (sec)	N/A	0.006	0.002	0.101	0.256	0.345	0.033	0.000	0.029	1.692


Problem 39	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	84	84	61	75	60	60	180	55	37	160
N.S.	1	1.00	0.73	0.89	0.71	0.71	2.14	0.65	0.44	1.90
time (sec)	N/A	0.009	0.060	0.073	0.369	0.330	2.410	0.011	0.215	4.549


Problem 40	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	38	38	25	35	34	21	39	50	20	21
N.S.	1	1.00	0.66	0.92	0.89	0.55	1.03	1.32	0.53	0.55
time (sec)	N/A	0.008	0.011	0.074	0.339	0.342	0.249	0.001	0.029	1.964


Problem 41	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	C	A	F	F	A	F	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	172	172	34	168	0	0	31	0	301	20
N.S.	1	1.00	0.20	0.98	0.00	0.00	0.18	0.00	1.75	0.12
time (sec)	N/A	0.039	9.240	0.105	0.000	0.410	0.347	0.000	0.075	1.995


Problem 42	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	6	6	6	9	6	6	7	5	6	6
N.S.	1	1.00	1.00	1.50	1.00	1.00	1.17	0.83	1.00	1.00
time (sec)	N/A	0.003	0.006	0.010	0.344	0.436	0.030	0.001	0.070	1.603


Problem 43	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	18	15	12	12	19	12	12	12
N.S.	1	1.00	1.29	1.07	0.86	0.86	1.36	0.86	0.86	0.86
time (sec)	N/A	0.005	0.003	0.013	0.376	0.444	0.033	0.001	0.034	1.708


Problem 44	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	14	10	20	8	25	8	10
N.S.	1	1.00	1.00	1.75	1.25	2.50	1.00	3.12	1.00	1.25
time (sec)	N/A	0.004	0.006	0.011	0.358	0.437	0.031	0.002	0.057	1.632


Problem 45	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	18	16	16	48	19	52	10	12
N.S.	1	1.00	1.50	1.33	1.33	4.00	1.58	4.33	0.83	1.00
time (sec)	N/A	0.007	0.003	0.028	0.363	0.378	0.033	0.002	0.022	1.726


Problem 46	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	26	21	20	18	26	22	20	20
N.S.	1	1.00	1.18	0.95	0.91	0.82	1.18	1.00	0.91	0.91
time (sec)	N/A	0.007	0.012	0.023	0.255	0.371	0.076	0.001	0.103	1.732


Problem 47	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	13	10	9	9	22	17	9	9
N.S.	1	1.00	1.00	0.77	0.69	0.69	1.69	1.31	0.69	0.69
time (sec)	N/A	0.001	0.001	0.059	0.270	0.333	0.077	0.000	0.025	1.723


Problem 48	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	B	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	11	10	9	51	58	12	9	50
N.S.	1	1.00	0.85	0.77	0.69	3.92	4.46	0.92	0.69	3.85
time (sec)	N/A	0.001	0.001	0.064	0.261	0.373	0.029	0.000	0.097	1.790


Problem 49	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	16	20	19	19	15	17	14	19
N.S.	1	1.00	0.89	1.11	1.06	1.06	0.83	0.94	0.78	1.06
time (sec)	N/A	0.001	0.003	0.064	0.282	0.401	0.048	0.000	0.042	1.667


Problem 50	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	B	A	A	B	B	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	43	10	9	31	31	12	31	30
N.S.	1	1.00	3.91	0.91	0.82	2.82	2.82	1.09	2.82	2.73
time (sec)	N/A	0.001	0.001	0.056	0.261	0.367	0.027	0.000	0.025	1.680


Problem 51	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	B	B	B	B	B	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	56	56	140	107	106	106	131	150	106	105
N.S.	1	1.00	2.50	1.91	1.89	1.89	2.34	2.68	1.89	1.88
time (sec)	N/A	0.023	0.001	0.066	0.289	0.366	0.038	0.000	0.464	2.053


Problem 52	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	4	4	4	5	4	4	3	3	4	4
N.S.	1	1.00	1.00	1.25	1.00	1.00	0.75	0.75	1.00	1.00
time (sec)	N/A	0.005	0.007	0.014	0.253	0.321	0.188	0.001	0.096	1.702


Problem 53	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	62	62	46	49	37	37	60	52	41	48
N.S.	1	1.00	0.74	0.79	0.60	0.60	0.97	0.84	0.66	0.77
time (sec)	N/A	0.025	0.021	0.012	0.265	0.388	0.376	0.001	0.226	2.251


Problem 54	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	9	8	8	8	10	8	8
N.S.	1	1.00	1.00	0.90	0.80	0.80	0.80	1.00	0.80	0.80
time (sec)	N/A	0.004	0.002	0.018	0.259	0.365	0.101	0.000	0.050	1.625


Problem 55	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	13	12	12	15	59	12	12
N.S.	1	1.00	1.00	0.81	0.75	0.75	0.94	3.69	0.75	0.75
time (sec)	N/A	0.019	0.009	0.038	0.265	0.369	1.039	0.001	0.193	2.531


Problem 56	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	9	8	8	7	10	6	8
N.S.	1	1.00	1.00	0.90	0.80	0.80	0.70	1.00	0.60	0.80
time (sec)	N/A	0.001	0.001	0.061	0.282	0.398	0.027	0.000	0.074	1.570


Problem 57	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	16	12	15	15	16	12	12
N.S.	1	1.00	1.00	1.07	0.80	1.00	1.00	1.07	0.80	0.80
time (sec)	N/A	0.002	0.002	0.018	0.252	0.355	0.047	0.000	0.079	1.594


Problem 58	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	17	14	13	13	12	16	9	11
N.S.	1	1.00	1.00	0.82	0.76	0.76	0.71	0.94	0.53	0.65
time (sec)	N/A	0.002	0.001	0.004	0.260	0.346	0.043	0.000	0.032	1.621


Problem 59	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	28	28	28	23	17	22	22	26	17	17
N.S.	1	1.00	1.00	0.82	0.61	0.79	0.79	0.93	0.61	0.61
time (sec)	N/A	0.005	0.002	0.005	0.267	0.368	0.053	0.001	0.030	1.633


Problem 60	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	4	4	4	5	4	4	3	5	4	4
N.S.	1	1.00	1.00	1.25	1.00	1.00	0.75	1.25	1.00	1.00
time (sec)	N/A	0.000	0.001	0.058	0.253	0.356	0.025	0.000	0.015	1.507


Problem 61	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	3	3	3	4	3	11	3	4	3	3
N.S.	1	1.00	1.00	1.33	1.00	3.67	1.00	1.33	1.00	1.00
time (sec)	N/A	0.001	0.002	0.012	0.257	0.341	0.029	0.001	0.023	1.466


Problem 62	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	F	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	28	28	21	36	28	32	61	0	38	42
N.S.	1	1.00	0.75	1.29	1.00	1.14	2.18	0.00	1.36	1.50
time (sec)	N/A	0.006	0.005	0.037	0.284	0.344	0.222	0.000	0.205	2.235


Problem 63	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	28	28	28	23	17	22	26	28	17	17
N.S.	1	1.00	1.00	0.82	0.61	0.79	0.93	1.00	0.61	0.61
time (sec)	N/A	0.011	0.002	0.005	0.264	0.329	0.057	0.001	0.029	1.719


Problem 64	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	3	3	3	4	3	3	3	4	3	3
N.S.	1	1.00	1.00	1.33	1.00	1.00	1.00	1.33	1.00	1.00
time (sec)	N/A	0.007	0.004	0.021	0.245	0.331	0.045	0.000	0.070	1.512


Problem 65	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	12	11	10	10	8	11	10	10
N.S.	1	1.00	1.00	0.92	0.83	0.83	0.67	0.92	0.83	0.83
time (sec)	N/A	0.009	0.002	0.066	0.263	0.343	0.045	0.000	0.346	1.638


Problem 66	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	16	18	17	12	20	27	13	12
N.S.	1	1.00	0.70	0.78	0.74	0.52	0.87	1.17	0.57	0.52
time (sec)	N/A	0.022	0.016	0.059	0.247	0.318	2.344	0.001	0.168	4.035


Problem 67	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	39	39	39	32	23	31	37	40	23	23
N.S.	1	1.00	1.00	0.82	0.59	0.79	0.95	1.03	0.59	0.59
time (sec)	N/A	0.018	0.002	0.008	0.265	0.310	0.070	0.001	0.036	1.744


Problem 68	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	9	9	9	7	6	6	5	7	6	7
N.S.	1	1.00	1.00	0.78	0.67	0.67	0.56	0.78	0.67	0.78
time (sec)	N/A	0.007	0.009	0.010	0.257	0.327	0.042	0.000	0.076	1.617


Problem 69	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	14	12	12	11	10	12	11	12
N.S.	1	1.00	1.00	0.86	0.86	0.79	0.71	0.86	0.79	0.86
time (sec)	N/A	0.015	0.003	0.019	0.253	0.384	0.069	0.000	0.105	1.624


Problem 70	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	8	7	7	7	8	7	8
N.S.	1	1.00	1.00	0.80	0.70	0.70	0.70	0.80	0.70	0.80
time (sec)	N/A	0.006	0.006	0.026	0.252	0.370	0.114	0.000	0.101	1.712


Problem 71	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	14	14	11	13	15	15	11	14
N.S.	1	1.00	0.74	0.74	0.58	0.68	0.79	0.79	0.58	0.74
time (sec)	N/A	0.004	0.009	0.021	0.295	0.336	0.104	0.000	0.018	1.706


Problem 72	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	12	14	9	13	15	14	9	14
N.S.	1	1.00	0.63	0.74	0.47	0.68	0.79	0.74	0.47	0.74
time (sec)	N/A	0.004	0.006	0.023	0.249	0.362	0.103	0.000	0.019	1.749


Problem 73	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	12	9	9	7	8	9	10
N.S.	1	1.00	1.00	1.20	0.90	0.90	0.70	0.80	0.90	1.00
time (sec)	N/A	0.004	0.008	0.010	0.309	0.311	0.039	0.000	0.045	1.627


Problem 74	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	7	10	6	6	5	6	6	7
N.S.	1	1.00	0.64	0.91	0.55	0.55	0.45	0.55	0.55	0.64
time (sec)	N/A	0.004	0.004	0.023	0.260	0.316	0.039	0.000	0.018	1.584


Problem 75	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	11	15	9	9	7	8	9	11
N.S.	1	1.00	0.69	0.94	0.56	0.56	0.44	0.50	0.56	0.69
time (sec)	N/A	0.004	0.008	0.010	0.254	0.310	0.041	0.000	0.021	1.617


Problem 76	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	12	17	11	11	10	12	11	12
N.S.	1	1.00	0.63	0.89	0.58	0.58	0.53	0.63	0.58	0.63
time (sec)	N/A	0.008	0.009	0.009	0.272	0.319	0.042	0.000	0.022	1.621


Problem 77	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	32	32	19	30	16	16	17	19	16	17
N.S.	1	1.00	0.59	0.94	0.50	0.50	0.53	0.59	0.50	0.53
time (sec)	N/A	0.010	0.011	0.013	0.263	0.323	0.044	0.000	0.075	1.660


Problem 78	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	16	17	11	11	20	15	11	12
N.S.	1	1.00	0.67	0.71	0.46	0.46	0.83	0.62	0.46	0.50
time (sec)	N/A	0.004	0.005	0.005	0.289	0.367	0.082	0.000	0.024	1.701


Problem 79	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	26	26	16	21	13	13	12	14	13	16
N.S.	1	1.00	0.62	0.81	0.50	0.50	0.46	0.54	0.50	0.62
time (sec)	N/A	0.012	0.015	0.032	0.321	0.336	0.046	0.000	0.109	1.654


Problem 80	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	28	40	27	31	139	34	27	118
N.S.	1	1.00	0.68	0.98	0.66	0.76	3.39	0.83	0.66	2.88
time (sec)	N/A	0.008	0.022	0.049	0.258	0.350	0.295	0.001	0.032	2.905


Problem 81	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	42	42	29	41	29	33	136	35	29	129
N.S.	1	1.00	0.69	0.98	0.69	0.79	3.24	0.83	0.69	3.07
time (sec)	N/A	0.007	0.021	0.022	0.268	0.354	0.294	0.001	0.021	2.909


Problem 82	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	14	13	13	12	25	13	13
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.80	1.67	0.87	0.87
time (sec)	N/A	0.002	0.002	0.022	0.286	0.341	0.082	0.001	0.105	1.633


Problem 83	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	B	A	B	A	C	B	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	64	22	35	33	17	42	21	0
N.S.	1	1.00	3.37	1.16	1.84	1.74	0.89	2.21	1.11	0.00
time (sec)	N/A	0.006	0.055	0.006	0.253	0.340	1.163	0.004	0.609	0.000


Problem 84	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	B	A	B	B	A	B	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	64	20	35	35	17	42	20	0
N.S.	1	1.00	3.76	1.18	2.06	2.06	1.00	2.47	1.18	0.00
time (sec)	N/A	0.005	0.025	0.003	0.247	0.335	1.222	0.004	0.209	0.000


Problem 85	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	25	25	25	24	23	23	22	25	22	23
N.S.	1	1.00	1.00	0.96	0.92	0.92	0.88	1.00	0.88	0.92
time (sec)	N/A	0.019	0.005	0.030	0.342	0.395	0.088	0.002	0.032	1.685


Problem 86	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	22	21	33	39	22	41	20	0
N.S.	1	1.00	1.00	0.95	1.50	1.77	1.00	1.86	0.91	0.00
time (sec)	N/A	0.009	0.002	0.005	0.345	0.341	1.076	0.003	0.021	0.000


Problem 87	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	15	6	23	19	8	14	27
N.S.	1	1.00	1.00	0.94	0.38	1.44	1.19	0.50	0.88	1.69
time (sec)	N/A	0.001	0.002	0.076	0.340	0.386	0.504	0.001	0.163	2.158


Problem 88	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	B	A	A	B	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	23	10	11	21	0	11	11	0
N.S.	1	1.00	2.30	1.00	1.10	2.10	0.00	1.10	1.10	0.00
time (sec)	N/A	0.007	0.049	0.117	0.361	0.337	0.000	0.001	0.090	0.000


Problem 89	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	C	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	11	10	10	20	11	10	20
N.S.	1	1.00	1.00	1.10	1.00	1.00	2.00	1.10	1.00	2.00
time (sec)	N/A	0.001	0.002	0.074	0.343	0.324	0.055	0.000	0.036	1.749


Problem 90	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	B	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	24	16	15	67	53	24	16	46
N.S.	1	1.00	1.00	0.67	0.62	2.79	2.21	1.00	0.67	1.92
time (sec)	N/A	0.006	0.003	0.077	0.362	0.338	0.067	0.000	0.101	2.070


Problem 91	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	19	17	16	16	26	21	16	16
N.S.	1	1.00	1.00	0.89	0.84	0.84	1.37	1.11	0.84	0.84
time (sec)	N/A	0.008	0.004	0.155	0.331	0.325	0.051	0.000	0.076	1.678


Problem 92	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	21	16	15	13	15	19	14	15
N.S.	1	1.00	1.00	0.76	0.71	0.62	0.71	0.90	0.67	0.71
time (sec)	N/A	0.005	0.002	0.020	0.344	0.368	0.093	0.001	0.023	1.624


Problem 93	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	40	40	30	34	33	24	32	41	24	33
N.S.	1	1.00	0.75	0.85	0.82	0.60	0.80	1.02	0.60	0.82
time (sec)	N/A	0.013	0.009	0.013	0.359	0.350	0.113	0.002	0.029	1.819


Problem 94	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	35	35	26	30	34	25	29	33	29	29
N.S.	1	1.00	0.74	0.86	0.97	0.71	0.83	0.94	0.83	0.83
time (sec)	N/A	0.032	0.006	0.036	0.353	0.427	0.118	0.003	0.124	1.737


Problem 95	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	18	17	16	14	19	31	16	16
N.S.	1	1.00	0.82	0.77	0.73	0.64	0.86	1.41	0.73	0.73
time (sec)	N/A	0.003	0.010	0.007	0.384	0.348	0.712	0.002	0.057	2.259


Problem 96	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	7	6	6	7	12	6	7
N.S.	1	1.00	1.00	0.88	0.75	0.75	0.88	1.50	0.75	0.88
time (sec)	N/A	0.018	0.005	0.055	0.308	0.381	0.441	0.002	0.661	1.778


Problem 97	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	37	18	17	31	15	21	17	17
N.S.	1	1.00	1.61	0.78	0.74	1.35	0.65	0.91	0.74	0.74
time (sec)	N/A	0.002	0.034	0.072	0.340	0.331	0.081	0.001	0.078	1.663


Problem 98	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	C	A	F	A	A	A	F	A
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	37	16	0	15	31	33	-1	16
N.S.	1	1.00	1.68	0.73	0.00	0.68	1.41	1.50	-0.05	0.73
time (sec)	N/A	0.024	0.007	0.071	0.000	0.336	11.797	0.001	0.000	12.085


Problem 99	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	F	A	A	A	F	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	20	16	0	15	31	32	-1	16
N.S.	1	1.00	1.00	0.80	0.00	0.75	1.55	1.60	-0.05	0.80
time (sec)	N/A	0.013	0.005	0.066	0.000	0.352	11.362	0.001	0.000	11.714


Problem 100	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	19	16	15	21	12	17	17	21
N.S.	1	1.00	1.00	0.84	0.79	1.11	0.63	0.89	0.89	1.11
time (sec)	N/A	0.002	0.006	0.084	0.365	0.320	0.049	0.001	0.028	1.684


Problem 101	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	B	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	4	4	4	4	3	3	15	3	3	23
N.S.	1	1.00	1.00	1.00	0.75	0.75	3.75	0.75	0.75	5.75
time (sec)	N/A	0.010	0.012	0.015	0.341	0.396	0.057	0.000	0.100	1.826


Problem 102	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	27	25	19	28	19	21	22	25
N.S.	1	1.00	1.00	0.93	0.70	1.04	0.70	0.78	0.81	0.93
time (sec)	N/A	0.011	0.012	0.032	0.279	0.379	2.197	0.001	0.136	3.123


Problem 103	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	42	42	67	61	49	38	0	34	49	0
N.S.	1	1.00	1.60	1.45	1.17	0.90	0.00	0.81	1.17	0.00
time (sec)	N/A	0.009	0.081	0.040	0.348	0.336	0.000	0.006	0.070	0.000


Problem 104	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	F(-2)	A	F	A	F	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	71	71	76	68	0	80	0	81	-1	0
N.S.	1	1.00	1.07	0.96	0.00	1.13	0.00	1.14	-0.01	0.00
time (sec)	N/A	0.014	0.090	0.105	0.000	0.354	0.000	0.004	0.000	0.000


Problem 105	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	F(-2)	A	F	A	F	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	32	32	55	28	0	43	0	20	-1	0
N.S.	1	1.00	1.72	0.88	0.00	1.34	0.00	0.62	-0.03	0.00
time (sec)	N/A	0.007	0.038	0.079	0.000	0.346	0.000	0.003	0.000	0.000


Problem 106	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	14	13	13	12	15	13	13
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.80	1.00	0.87	0.87
time (sec)	N/A	0.003	0.003	0.078	0.269	0.328	0.058	0.000	0.051	1.634


Problem 107	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	19	14	13	13	14	18	13	13
N.S.	1	1.00	1.00	0.74	0.68	0.68	0.74	0.95	0.68	0.68
time (sec)	N/A	0.003	0.003	0.072	0.264	0.330	0.060	0.000	0.038	1.639


Problem 108	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	23	20	19	19	19	23	19	19
N.S.	1	1.00	1.00	0.87	0.83	0.83	0.83	1.00	0.83	0.83
time (sec)	N/A	0.017	0.003	0.086	0.307	0.402	0.063	0.000	0.041	1.886


Problem 109	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	23	18	17	17	17	23	19	17
N.S.	1	1.00	1.00	0.78	0.74	0.74	0.74	1.00	0.83	0.74
time (sec)	N/A	0.023	0.004	0.015	0.298	0.335	0.079	0.000	0.189	1.703


Problem 110	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	22	19	18	26	19	28	18	26
N.S.	1	1.00	0.92	0.79	0.75	1.08	0.79	1.17	0.75	1.08
time (sec)	N/A	0.011	0.015	0.067	0.251	0.333	0.065	0.000	0.050	1.714


Problem 111	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	28	28	28	29	28	28	3	37	57	4
N.S.	1	1.00	1.00	1.04	1.00	1.00	0.11	1.32	2.04	0.14
time (sec)	N/A	0.018	0.017	0.081	0.371	0.353	0.076	0.001	0.186	1.617


Problem 112	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	49	49	61	37	36	51	14	50	53	22
N.S.	1	1.00	1.24	0.76	0.73	1.04	0.29	1.02	1.08	0.45
time (sec)	N/A	0.051	0.020	0.076	0.347	0.336	0.097	0.001	0.101	1.737


Problem 113	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	C	A	B	B	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	24	19	39	38	39	49	21	30
N.S.	1	1.00	1.14	0.90	1.86	1.81	1.86	2.33	1.00	1.43
time (sec)	N/A	0.006	0.014	0.056	0.431	0.330	0.248	0.005	0.326	2.169


Problem 114	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	B	A	B	B	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	271	14	55	44	14	87	44
N.S.	1	1.00	1.00	16.94	0.88	3.44	2.75	0.88	5.44	2.75
time (sec)	N/A	0.030	0.012	0.070	0.288	0.330	2.050	0.001	0.157	4.090


Problem 115	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	9	9	9	9	8	11	9	9
N.S.	1	1.00	0.82	0.82	0.82	0.82	0.73	1.00	0.82	0.82
time (sec)	N/A	0.003	0.003	0.065	0.263	0.325	0.044	0.000	0.047	1.618


Problem 116	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	23	20	19	19	20	26	19	19
N.S.	1	1.00	1.00	0.87	0.83	0.83	0.87	1.13	0.83	0.83
time (sec)	N/A	0.006	0.004	0.073	0.273	0.334	0.065	0.000	0.111	1.719


Problem 117	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	30	30	28	21	20	27	22	29	18	25
N.S.	1	1.00	0.93	0.70	0.67	0.90	0.73	0.97	0.60	0.83
time (sec)	N/A	0.012	0.006	0.015	0.271	0.342	0.049	0.000	0.041	1.739


Problem 118	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	27	24	23	23	20	26	30	23
N.S.	1	1.00	1.00	0.89	0.85	0.85	0.74	0.96	1.11	0.85
time (sec)	N/A	0.021	0.004	0.027	0.268	0.323	0.065	0.000	0.095	1.717


Problem 119	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	24	24	20	32	17	17	15	32
N.S.	1	1.00	1.04	1.04	0.87	1.39	0.74	0.74	0.65	1.39
time (sec)	N/A	0.018	0.007	0.077	0.299	0.338	0.054	0.000	0.086	1.722


Problem 120	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	15	14	14	14	15	14	14
N.S.	1	1.00	1.00	0.94	0.88	0.88	0.88	0.94	0.88	0.88
time (sec)	N/A	0.011	0.003	0.072	0.381	0.342	0.054	0.001	0.044	1.665


Problem 121	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	18	13	12	12	14	16	12	12
N.S.	1	1.00	1.00	0.72	0.67	0.67	0.78	0.89	0.67	0.67
time (sec)	N/A	0.008	0.005	0.022	0.358	0.332	0.075	0.001	0.038	1.671


Problem 122	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	11	12	11	11	8	12	11	11
N.S.	1	1.00	1.00	1.09	1.00	1.00	0.73	1.09	1.00	1.00
time (sec)	N/A	0.004	0.002	0.067	0.262	0.329	0.049	0.001	0.103	1.646


Problem 123	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	24	21	24	32	19	32	20	30
N.S.	1	1.00	1.00	0.88	1.00	1.33	0.79	1.33	0.83	1.25
time (sec)	N/A	0.007	0.006	0.070	0.262	0.334	0.054	0.001	0.035	1.715


Problem 124	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	46	46	44	39	46	83	46	49	45	58
N.S.	1	1.00	0.96	0.85	1.00	1.80	1.00	1.07	0.98	1.26
time (sec)	N/A	0.014	0.012	0.070	0.288	0.342	0.098	0.001	0.088	1.989


Problem 125	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	11	10	16	8	10	10	16
N.S.	1	1.00	1.00	1.10	1.00	1.60	0.80	1.00	1.00	1.60
time (sec)	N/A	0.003	0.002	0.066	0.268	0.334	0.038	0.000	0.028	1.613


Problem 126	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	17	18	17	13	10	19	13	13
N.S.	1	1.00	1.00	1.06	1.00	0.76	0.59	1.12	0.76	0.76
time (sec)	N/A	0.005	0.002	0.072	0.266	0.330	0.046	0.000	0.110	1.645


Problem 127	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	20	15	14	14	17	20	14	14
N.S.	1	1.00	1.00	0.75	0.70	0.70	0.85	1.00	0.70	0.70
time (sec)	N/A	0.005	0.002	0.078	0.273	0.322	0.052	0.000	0.045	1.637


Problem 128	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	12	13	12	16	8	13	12	16
N.S.	1	1.00	0.75	0.81	0.75	1.00	0.50	0.81	0.75	1.00
time (sec)	N/A	0.004	0.003	0.079	0.306	0.333	0.042	0.000	0.037	1.610


Problem 129	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	14	15	14	17	10	11	14	17
N.S.	1	1.00	1.00	1.07	1.00	1.21	0.71	0.79	1.00	1.21
time (sec)	N/A	0.007	0.006	0.145	0.344	0.337	0.068	0.001	0.082	1.694


Problem 130	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	21	18	17	17	20	24	17	17
N.S.	1	1.00	1.00	0.86	0.81	0.81	0.95	1.14	0.81	0.81
time (sec)	N/A	0.013	0.004	0.014	0.263	0.331	0.067	0.001	0.063	1.695


Problem 131	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	27	28	23	34	20	29	17	30
N.S.	1	1.00	1.29	1.33	1.10	1.62	0.95	1.38	0.81	1.43
time (sec)	N/A	0.002	0.005	0.071	0.269	0.318	0.053	0.000	0.087	1.761


Problem 132	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	22	17	16	16	17	21	16	16
N.S.	1	1.00	1.00	0.77	0.73	0.73	0.77	0.95	0.73	0.73
time (sec)	N/A	0.007	0.002	0.068	0.350	0.332	0.046	0.001	0.159	1.674


Problem 133	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	11	14	18	8	14	10	18
N.S.	1	1.00	1.00	1.10	1.40	1.80	0.80	1.40	1.00	1.80
time (sec)	N/A	0.010	0.003	0.065	0.262	0.331	0.048	0.001	0.030	1.622


Problem 134	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	31	31	31	22	19	25	19	29	16	23
N.S.	1	1.00	1.00	0.71	0.61	0.81	0.61	0.94	0.52	0.74
time (sec)	N/A	0.007	0.002	0.072	0.265	0.332	0.054	0.000	0.040	1.721


Problem 135	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	18	17	16	16	15	18	24	16
N.S.	1	1.00	1.00	0.94	0.89	0.89	0.83	1.00	1.33	0.89
time (sec)	N/A	0.017	0.004	0.075	0.350	0.360	0.064	0.001	0.039	1.680


Problem 136	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	25	10	17	17	17	24	9	17
N.S.	1	1.00	1.92	0.77	1.31	1.31	1.31	1.85	0.69	1.31
time (sec)	N/A	0.002	0.003	0.074	0.354	0.342	0.065	0.000	0.029	1.674


Problem 137	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	85	85	64	52	72	100	73	106	33	51
N.S.	1	1.00	0.75	0.61	0.85	1.18	0.86	1.25	0.39	0.60
time (sec)	N/A	0.026	0.012	0.065	0.340	0.324	0.073	0.000	0.115	2.051


Problem 138	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	15	16	15	26	14	14	15	26
N.S.	1	1.00	0.65	0.70	0.65	1.13	0.61	0.61	0.65	1.13
time (sec)	N/A	0.005	0.006	0.095	0.342	0.319	0.054	0.001	0.081	1.651


Problem 139	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	B	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	11	41	11	11	8	10	11	11
N.S.	1	1.00	1.00	3.73	1.00	1.00	0.73	0.91	1.00	1.00
time (sec)	N/A	0.005	0.004	0.016	0.279	0.314	0.055	0.003	0.062	1.595


Problem 140	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	45	45	23	20	23	36	39	57	21	31
N.S.	1	1.00	0.51	0.44	0.51	0.80	0.87	1.27	0.47	0.69
time (sec)	N/A	0.032	0.018	0.095	0.359	0.342	0.197	0.001	0.100	2.155


Problem 141	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	F(-2)	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	37	37	31	30	0	111	110	63	28	144
N.S.	1	1.00	0.84	0.81	0.00	3.00	2.97	1.70	0.76	3.89
time (sec)	N/A	0.024	0.017	0.039	0.000	0.349	1.433	0.001	0.319	2.994


Problem 142	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	56	56	20	16	37	50	36	47	15	28
N.S.	1	1.00	0.36	0.29	0.66	0.89	0.64	0.84	0.27	0.50
time (sec)	N/A	0.013	0.010	0.025	0.380	0.343	0.148	0.005	0.239	2.012


Problem 143	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	31	31	20	16	19	23	32	49	32	27
N.S.	1	1.00	0.65	0.52	0.61	0.74	1.03	1.58	1.03	0.87
time (sec)	N/A	0.009	0.008	0.033	0.355	0.342	0.128	0.001	0.219	1.955


Problem 144	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	B	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	18	17	14	33	248	64	26	190
N.S.	1	1.00	0.50	0.47	0.39	0.92	6.89	1.78	0.72	5.28
time (sec)	N/A	0.025	0.021	0.060	0.343	0.344	22.846	0.002	0.208	27.550


Problem 145	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	F(-1)	A	B	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	16	15	43	0	25	15	0
N.S.	1	1.00	1.00	1.07	1.00	2.87	0.00	1.67	1.00	0.00
time (sec)	N/A	0.015	0.030	0.089	0.376	0.349	0.000	0.001	0.455	0.000


Problem 146	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	B	F	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	17	14	14	39	0	13	29	114
N.S.	1	1.00	1.00	0.82	0.82	2.29	0.00	0.76	1.71	6.71
time (sec)	N/A	0.008	0.021	0.104	0.265	0.331	0.000	0.002	0.634	206.399


Problem 147	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	30	30	22	27	41	11	22	35	34	24
N.S.	1	1.00	0.73	0.90	1.37	0.37	0.73	1.17	1.13	0.80
time (sec)	N/A	0.017	0.023	0.058	0.355	0.359	0.149	0.003	0.314	1.990


Problem 148	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	29	29	35	23	22	29	24	29	22	22
N.S.	1	1.00	1.21	0.79	0.76	1.00	0.83	1.00	0.76	0.76
time (sec)	N/A	0.003	0.022	0.085	0.341	0.337	0.092	0.001	0.037	1.824


Problem 149	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	13	12	11	11	8	11	11	11
N.S.	1	1.00	1.00	0.92	0.85	0.85	0.62	0.85	0.85	0.85
time (sec)	N/A	0.001	0.001	0.065	0.261	0.342	0.071	0.000	0.169	1.677


Problem 150	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	37	37	33	30	41	40	87	65	35	84
N.S.	1	1.00	0.89	0.81	1.11	1.08	2.35	1.76	0.95	2.27
time (sec)	N/A	0.012	0.031	0.086	0.349	0.338	0.704	0.001	0.209	2.612


Problem 151	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	37	22	25	25	0	32	21	0
N.S.	1	1.00	1.68	1.00	1.14	1.14	0.00	1.45	0.95	0.00
time (sec)	N/A	0.005	0.037	0.066	0.264	0.373	0.000	0.004	0.085	0.000


Problem 152	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	31	21	20	25	24	33	20	20
N.S.	1	1.00	1.15	0.78	0.74	0.93	0.89	1.22	0.74	0.74
time (sec)	N/A	0.002	0.018	0.067	0.349	0.321	0.087	0.001	0.088	1.759


Problem 153	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	33	21	22	27	0	32	23	0
N.S.	1	1.00	1.22	0.78	0.81	1.00	0.00	1.19	0.85	0.00
time (sec)	N/A	0.007	0.043	0.166	0.351	0.330	0.000	0.003	0.053	0.000


Problem 154	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	B	A	A	A	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	37	12	15	17	0	19	11	0
N.S.	1	1.00	2.64	0.86	1.07	1.21	0.00	1.36	0.79	0.00
time (sec)	N/A	0.002	0.021	0.061	0.320	0.334	0.000	0.001	0.171	0.000


Problem 155	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	B	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	68	68	76	88	59	92	0	182	73	0
N.S.	1	1.00	1.12	1.29	0.87	1.35	0.00	2.68	1.07	0.00
time (sec)	N/A	0.022	0.108	0.237	0.383	0.343	0.000	0.005	0.085	0.000


Problem 156	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	F	A	F	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	13	13	12	0	73	0	13	115
N.S.	1	1.00	1.00	1.00	0.92	0.00	5.62	0.00	1.00	8.85
time (sec)	N/A	0.010	0.002	0.066	0.340	0.345	0.953	0.000	0.031	2.937


Problem 157	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	15	2	2	15	2	2	15
N.S.	1	1.00	1.00	1.00	0.13	0.13	1.00	0.13	0.13	1.00
time (sec)	N/A	0.007	0.007	0.043	0.258	0.347	0.080	0.000	0.099	1.772


Problem 158	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	B	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	2	2	2	8	2	2	2	2	2	2
N.S.	1	1.00	1.00	4.00	1.00	1.00	1.00	1.00	1.00	1.00
time (sec)	N/A	0.006	0.008	0.014	0.303	0.331	0.313	0.000	0.007	1.776


Problem 159	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	4	4	4	9	4	4	3	4	4	4
N.S.	1	1.00	1.00	2.25	1.00	1.00	0.75	1.00	1.00	1.00
time (sec)	N/A	0.008	0.010	0.015	0.360	0.323	0.381	0.001	0.014	1.889


Problem 160	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	11	16	5	13	7	11	14	11
N.S.	1	1.00	1.00	1.45	0.45	1.18	0.64	1.00	1.27	1.00
time (sec)	N/A	0.013	0.010	0.013	0.302	0.317	0.488	0.001	0.024	2.030


Problem 161	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	14	15	9	13	10	14	9	14
N.S.	1	1.00	1.00	1.07	0.64	0.93	0.71	1.00	0.64	1.00
time (sec)	N/A	0.008	0.002	0.016	0.365	0.346	0.550	0.001	0.017	2.089


Problem 162	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	17	16	14	0	12	14	0
N.S.	1	1.00	1.00	1.13	1.07	0.93	0.00	0.80	0.93	0.00
time (sec)	N/A	0.012	0.026	0.074	0.376	0.325	0.000	0.000	0.028	0.000


Problem 163	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	13	14	13	10	0	13	10	0
N.S.	1	1.00	1.00	1.08	1.00	0.77	0.00	1.00	0.77	0.00
time (sec)	N/A	0.052	0.043	0.060	0.358	0.329	0.000	0.001	0.118	0.000


Problem 164	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	19	22	16	23	0	26	17	0
N.S.	1	1.00	1.00	1.16	0.84	1.21	0.00	1.37	0.89	0.00
time (sec)	N/A	0.014	0.034	0.057	0.373	0.325	0.000	0.001	0.126	0.000


Problem 165	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	A	F	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	18	19	18	19	0	17	-1	0
N.S.	1	1.00	1.00	1.06	1.00	1.06	0.00	0.94	-0.06	0.00
time (sec)	N/A	0.012	0.007	0.025	0.349	0.340	0.000	0.001	0.000	0.000


Problem 166	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	11	15	9	9	7	8	9	11
N.S.	1	1.00	0.69	0.94	0.56	0.56	0.44	0.50	0.56	0.69
time (sec)	N/A	0.004	0.007	0.009	0.267	0.339	0.044	0.000	0.017	1.667


Problem 167	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	26	26	16	24	14	14	12	14	14	16
N.S.	1	1.00	0.62	0.92	0.54	0.54	0.46	0.54	0.54	0.62
time (sec)	N/A	0.011	0.010	0.007	0.281	0.336	0.049	0.000	0.030	1.701


Problem 168	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	21	33	19	19	17	20	19	21
N.S.	1	1.00	0.58	0.92	0.53	0.53	0.47	0.56	0.53	0.58
time (sec)	N/A	0.018	0.011	0.010	0.303	0.363	0.049	0.000	0.023	1.739


Problem 169	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	B	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	48	48	39	66	181	60	360	83	2034	209
N.S.	1	1.00	0.81	1.38	3.77	1.25	7.50	1.73	42.38	4.35
time (sec)	N/A	0.021	0.085	0.099	0.366	0.360	0.459	0.008	10.613	5.646


Problem 170	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	B	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	2	2	2	9	3	2	2	3	2	2
N.S.	1	1.00	1.00	4.50	1.50	1.00	1.00	1.50	1.00	1.00
time (sec)	N/A	0.001	0.054	0.005	0.299	0.323	0.267	0.000	0.009	1.717


Problem 171	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	17	6	14	7	10	10	10
N.S.	1	1.00	1.00	1.70	0.60	1.40	0.70	1.00	1.00	1.00
time (sec)	N/A	0.002	0.002	0.021	0.293	0.320	0.264	0.000	0.034	1.797


Problem 172	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	F	A	A	A	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	22	0	22	15	24	0	22	22
N.S.	1	1.00	1.00	0.00	1.00	0.68	1.09	0.00	1.00	1.00
time (sec)	N/A	0.010	0.018	0.005	0.313	0.350	1.518	0.000	0.062	3.138


Problem 173	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	A	A	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	10	12	11	9	0	9	9	0
N.S.	1	1.00	0.83	1.00	0.92	0.75	0.00	0.75	0.75	0.00
time (sec)	N/A	0.009	0.034	0.065	0.285	0.322	0.000	0.000	0.015	0.000


Problem 174	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	A	A	F	A	F	A	F	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	22	23	0	20	0	20	-1	0
N.S.	1	1.00	1.00	1.05	0.00	0.91	0.00	0.91	-0.05	0.00
time (sec)	N/A	0.037	0.083	0.086	0.000	0.326	0.000	0.001	0.000	0.000


Problem 175	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad	Mathics

grade	A	A	C	A	F	F	A	F	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	103	103	17	116	0	0	27	0	155	16
N.S.	1	1.00	0.17	1.13	0.00	0.00	0.26	0.00	1.50	0.16
time (sec)	N/A	0.011	9.700	0.103	0.000	0.354	0.318	0.000	0.285	1.956

[next] [prev] [prev-tail] [front] [up]