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	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	11	12	11	10	12	10	20	19
N.S.	1	1.00	1.00	1.09	1.00	0.91	1.09	0.91	1.82	1.73
time (sec)	N/A	0.002	0.001	0.006	0.268	0.362	0.026	0.000	0.321	1.707


Problem 2	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	3	3	3	3	2	2	2	2	2	4
N.S.	1	1.00	1.00	1.00	0.67	0.67	0.67	0.67	0.67	1.33
time (sec)	N/A	0.001	0.000	0.000	0.256	0.317	0.018	0.000	0.006	1.571


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	2	2	2	3	2	2	2	3	2	2
N.S.	1	1.00	1.00	1.50	1.00	1.00	1.00	1.50	1.00	1.00
time (sec)	N/A	0.000	0.000	0.002	0.255	0.336	0.024	0.000	0.002	1.599


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	8	8	8	9	8	8	8	7	8	16
N.S.	1	1.00	1.00	1.12	1.00	1.00	1.00	0.88	1.00	2.00
time (sec)	N/A	0.002	0.000	0.008	0.260	0.327	0.042	0.000	0.185	1.735


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	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.001	0.002	0.000	0.269	0.334	0.026	0.000	0.020	1.655


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	2	2	2	3	2	2	2	2	2	2
N.S.	1	1.00	1.00	1.50	1.00	1.00	1.00	1.00	1.00	1.00
time (sec)	N/A	0.001	0.002	0.000	0.260	0.341	0.026	0.000	0.003	1.573


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

grade	A	A	A	A	A	B	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	2	2	2	3	2	7	5	6	2	2
N.S.	1	1.00	1.00	1.50	1.00	3.50	2.50	3.00	1.00	1.00
time (sec)	N/A	0.004	0.003	0.014	0.257	0.344	0.030	0.001	0.023	1.649


Problem 8	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	4	4	4	5	6	8	7	8	4	6
N.S.	1	1.00	1.00	1.25	1.50	2.00	1.75	2.00	1.00	1.50
time (sec)	N/A	0.003	0.002	0.016	0.256	0.362	0.030	0.002	0.009	1.811


Problem 9	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	2	2	2	3	4	4	3	3	12	8
N.S.	1	1.00	1.00	1.50	2.00	2.00	1.50	1.50	6.00	4.00
time (sec)	N/A	0.004	0.002	0.017	0.264	0.322	0.031	0.001	0.265	1.624


Problem 10	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	6	6	5	4	6	6
N.S.	1	1.00	1.00	1.25	1.50	1.50	1.25	1.00	1.50	1.50
time (sec)	N/A	0.004	0.002	0.013	0.256	0.335	0.031	0.000	0.261	1.777


Problem 11	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	2	2	2	3	2	2	2	9	2	2
N.S.	1	1.00	1.00	1.50	1.00	1.00	1.00	4.50	1.00	1.00
time (sec)	N/A	0.002	0.002	0.011	0.256	0.354	0.057	0.000	0.019	1.668


Problem 12	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	2	2	2	3	2	2	2	10	2	2
N.S.	1	1.00	1.00	1.50	1.00	1.00	1.00	5.00	1.00	1.00
time (sec)	N/A	0.001	0.002	0.010	0.262	0.318	0.055	0.000	0.016	1.681


Problem 13	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	5	5	5	6	3	11	5	5	5	5
N.S.	1	1.00	1.00	1.20	0.60	2.20	1.00	1.00	1.00	1.00
time (sec)	N/A	0.001	0.002	0.003	0.260	0.328	0.028	0.001	0.027	1.756


Problem 14	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.003	0.251	0.353	0.029	0.001	0.002	1.591


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	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.002	0.015	0.258	0.327	0.071	0.000	0.021	1.744


Problem 16	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	5	7	6	6
N.S.	1	1.00	1.00	1.12	1.00	1.00	0.62	0.88	0.75	0.75
time (sec)	N/A	0.001	0.001	0.000	0.256	0.315	0.039	0.000	0.018	1.697


Problem 17	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.009	0.004	0.000	0.261	0.328	0.041	0.000	0.023	1.783


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	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.005	0.005	0.013	0.259	0.340	0.102	0.000	0.002	1.870


Problem 19	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.002	0.002	0.031	0.257	0.342	0.077	0.000	0.157	1.799


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	20	20	15	15	11	11	10	12	11	12
N.S.	1	1.00	0.75	0.75	0.55	0.55	0.50	0.60	0.55	0.60
time (sec)	N/A	0.004	0.007	0.012	0.256	0.325	0.040	0.000	0.019	1.757


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	7	7	7	8	7	7	7	7	7	7
N.S.	1	1.00	1.00	1.14	1.00	1.00	1.00	1.00	1.00	1.00
time (sec)	N/A	0.005	0.002	0.000	0.266	0.363	0.071	0.000	0.002	1.684


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	18	18	18	15	14	14	14	18	14	14
N.S.	1	1.00	1.00	0.83	0.78	0.78	0.78	1.00	0.78	0.78
time (sec)	N/A	0.006	0.009	0.023	0.258	0.345	0.074	0.001	0.028	1.865


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	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.000	0.256	0.323	0.044	0.001	0.002	1.689


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	29	29	25	24	21	21	27	26	23	23
N.S.	1	1.00	0.86	0.83	0.72	0.72	0.93	0.90	0.79	0.79
time (sec)	N/A	0.015	0.019	0.030	0.255	0.342	0.102	0.001	0.065	1.878


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	29	29	25	24	21	21	24	25	24	23
N.S.	1	1.00	0.86	0.83	0.72	0.72	0.83	0.86	0.83	0.79
time (sec)	N/A	0.014	0.019	0.023	0.271	0.328	0.104	0.000	0.030	1.891


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	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.000	0.258	0.329	0.047	0.000	0.032	1.712


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	16	16	16	15	14	14	12	15	14	14
N.S.	1	1.00	1.00	0.94	0.88	0.88	0.75	0.94	0.88	0.88
time (sec)	N/A	0.002	0.001	0.002	0.335	0.347	0.060	0.000	0.002	1.765


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	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.008	0.003	0.017	0.272	0.343	0.102	0.000	0.046	1.904


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

grade	A	A	A	A	B	B	F	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	9	74	18	0	116	8	105
N.S.	1	1.00	1.00	1.12	9.25	2.25	0.00	14.50	1.00	13.12
time (sec)	N/A	0.011	0.004	0.023	0.347	0.344	0.000	0.014	0.022	4.450


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	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.004	0.002	0.006	0.260	0.329	0.044	0.001	0.028	1.744


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	27	27	17	24	16	16	15	17	16	17
N.S.	1	1.00	0.63	0.89	0.59	0.59	0.56	0.63	0.59	0.63
time (sec)	N/A	0.017	0.010	0.011	0.264	0.337	0.041	0.000	0.018	1.738


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	27	27	22	22	19	21	26	22	19	20
N.S.	1	1.00	0.81	0.81	0.70	0.78	0.96	0.81	0.70	0.74
time (sec)	N/A	0.007	0.025	0.024	0.259	0.374	0.106	0.001	0.027	1.893


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	27	27	20	22	17	21	20	22	17	20
N.S.	1	1.00	0.74	0.81	0.63	0.78	0.74	0.81	0.63	0.74
time (sec)	N/A	0.007	0.021	0.026	0.261	0.330	0.182	0.001	0.026	1.893


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

grade	A	A	A	A	B	A	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	9	9	9	10	34	9	7	17	9	9
N.S.	1	1.00	1.00	1.11	3.78	1.00	0.78	1.89	1.00	1.00
time (sec)	N/A	0.007	0.003	0.015	0.261	0.318	0.074	0.000	0.019	1.814


Problem 35	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	19	19	19	19	57	18	20	34	18	29
N.S.	1	1.00	1.00	1.00	3.00	0.95	1.05	1.79	0.95	1.53
time (sec)	N/A	0.010	0.011	0.026	0.268	0.344	0.093	0.001	0.060	1.954


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	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.006	0.004	0.000	0.264	0.331	0.039	0.000	0.021	1.707


Problem 37	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	21	21	15	14	13	14	105	27	9	98
N.S.	1	1.00	0.71	0.67	0.62	0.67	5.00	1.29	0.43	4.67
time (sec)	N/A	0.004	0.003	0.042	0.259	0.344	0.881	0.001	0.031	2.949


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	18	18	18	15	14	14	14	17	14	14
N.S.	1	1.00	1.00	0.83	0.78	0.78	0.78	0.94	0.78	0.78
time (sec)	N/A	0.006	0.008	0.034	0.255	0.332	0.073	0.001	0.020	1.811


Problem 39	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.011	0.008	0.255	0.311	0.042	0.000	0.029	1.740


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	18	18	18	17	16	16	12	16	16	16
N.S.	1	1.00	1.00	0.94	0.89	0.89	0.67	0.89	0.89	0.89
time (sec)	N/A	0.002	0.002	0.003	0.342	0.344	0.061	0.001	0.169	1.784


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

grade	A	A	A	A	B	B	F	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	9	9	9	10	104	20	0	56	9	35
N.S.	1	1.00	1.00	1.11	11.56	2.22	0.00	6.22	1.00	3.89
time (sec)	N/A	0.009	0.012	0.020	0.262	0.342	0.000	0.016	0.147	2.259


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	17	17	17	14	13	25	26	16	13	13
N.S.	1	1.00	1.00	0.82	0.76	1.47	1.53	0.94	0.76	0.76
time (sec)	N/A	0.005	0.007	0.094	0.251	0.345	0.144	0.002	0.040	1.957


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	17	17	17	9	13	14	22	12	13	10
N.S.	1	1.00	1.00	0.53	0.76	0.82	1.29	0.71	0.76	0.59
time (sec)	N/A	0.005	0.008	0.032	0.257	0.337	0.144	0.000	0.173	2.086


Problem 44	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	10	10	8	8
N.S.	1	1.00	1.00	1.09	1.00	1.00	0.91	0.91	0.73	0.73
time (sec)	N/A	0.006	0.003	0.126	0.246	0.330	0.215	0.000	0.201	1.900


Problem 45	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	14	17	11	11	10	12	11	12
N.S.	1	1.00	0.64	0.77	0.50	0.50	0.45	0.55	0.50	0.55
time (sec)	N/A	0.011	0.014	0.010	0.249	0.326	0.042	0.000	0.029	1.736


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	15	15	9	9	12	8	7	8	8	9
N.S.	1	1.00	0.60	0.60	0.80	0.53	0.47	0.53	0.53	0.60
time (sec)	N/A	0.005	0.015	0.010	0.261	0.316	0.041	0.000	0.033	1.725


Problem 47	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	15	14	14	14	17	14	14
N.S.	1	1.00	0.74	0.79	0.74	0.74	0.74	0.89	0.74	0.74
time (sec)	N/A	0.006	0.007	0.016	0.359	0.326	0.049	0.000	0.023	1.794


Problem 48	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	10	13	15	15	13	13
N.S.	1	1.00	1.00	0.82	0.59	0.76	0.88	0.88	0.76	0.76
time (sec)	N/A	0.002	0.003	0.015	0.264	0.333	0.125	0.000	0.167	2.134


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	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.005	0.006	0.000	0.257	0.337	0.079	0.000	0.021	1.798


Problem 50	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	12	10	9	9	8	10	7	7
N.S.	1	1.00	0.86	0.71	0.64	0.64	0.57	0.71	0.50	0.50
time (sec)	N/A	0.001	0.001	0.004	0.263	0.321	0.041	0.000	0.024	1.786


Problem 51	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	12	13	15	16	13	13
N.S.	1	1.00	1.00	0.82	0.71	0.76	0.88	0.94	0.76	0.76
time (sec)	N/A	0.002	0.003	0.007	0.254	0.347	0.129	0.000	0.022	1.949


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	22	22	22	17	16	16	20	22	16	16
N.S.	1	1.00	1.00	0.77	0.73	0.73	0.91	1.00	0.73	0.73
time (sec)	N/A	0.006	0.011	0.010	0.257	0.337	0.105	0.001	0.244	1.838


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	20	20	20	17	16	16	15	16	16	16
N.S.	1	1.00	1.00	0.85	0.80	0.80	0.75	0.80	0.80	0.80
time (sec)	N/A	0.010	0.008	0.036	0.261	0.360	0.319	0.000	0.194	2.380


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	28	28	19	24	16	16	15	18	16	18
N.S.	1	1.00	0.68	0.86	0.57	0.57	0.54	0.64	0.57	0.64
time (sec)	N/A	0.018	0.015	0.012	0.267	0.338	0.061	0.000	0.028	1.744


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	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.003	0.000	0.346	0.343	0.094	0.001	0.019	1.769


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	18	18	18	17	16	16	15	21	16	16
N.S.	1	1.00	1.00	0.94	0.89	0.89	0.83	1.17	0.89	0.89
time (sec)	N/A	0.008	0.012	0.036	0.258	0.328	0.077	0.001	0.023	1.851


Problem 57	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	21	21	15	14	13	14	105	27	9	98
N.S.	1	1.00	0.71	0.67	0.62	0.67	5.00	1.29	0.43	4.67
time (sec)	N/A	0.004	0.003	0.038	0.258	0.322	0.899	0.001	0.017	2.914


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	18	18	14	15	10	14	14	13	10	10
N.S.	1	1.00	0.78	0.83	0.56	0.78	0.78	0.72	0.56	0.56
time (sec)	N/A	0.004	0.006	0.023	0.262	0.345	0.029	0.001	0.050	1.769


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	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.004	0.002	0.015	0.255	0.336	0.028	0.000	0.002	1.726


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	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.007	0.002	0.000	0.253	0.337	0.030	0.000	0.031	1.878


Problem 61	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.004	0.002	0.000	0.255	0.376	0.029	0.000	0.034	1.774


Problem 62	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	31	18	13	13	12	16	14	13
N.S.	1	1.00	1.82	1.06	0.76	0.76	0.71	0.94	0.82	0.76
time (sec)	N/A	0.015	0.013	0.032	0.270	0.317	0.030	0.000	0.039	1.793


Problem 63	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	17	17	31	30	13	22	12	16	14	13
N.S.	1	1.00	1.82	1.76	0.76	1.29	0.71	0.94	0.82	0.76
time (sec)	N/A	0.015	0.012	0.029	0.265	0.339	0.030	0.000	0.151	1.806


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	36	36	30	29	18	25	31	28	24	32
N.S.	1	1.00	0.83	0.81	0.50	0.69	0.86	0.78	0.67	0.89
time (sec)	N/A	0.028	0.010	0.027	0.269	0.322	0.029	0.001	0.044	1.944


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	24	24	14	19	10	19	14	13	18	10
N.S.	1	1.00	0.58	0.79	0.42	0.79	0.58	0.54	0.75	0.42
time (sec)	N/A	0.015	0.004	0.016	0.269	0.371	0.032	0.001	0.041	1.802


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	22	22	18	19	14	18	37	28	14	14
N.S.	1	1.00	0.82	0.86	0.64	0.82	1.68	1.27	0.64	0.64
time (sec)	N/A	0.005	0.009	0.042	0.267	0.359	0.078	0.001	0.261	2.024


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

grade	A	A	A	A	A	B	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	20	15	14	31	37	18	18	19
N.S.	1	1.00	1.00	0.75	0.70	1.55	1.85	0.90	0.90	0.95
time (sec)	N/A	0.010	0.009	0.067	0.266	0.335	0.145	0.002	0.146	2.099


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	25	25	25	28	19	19	19	28	19	19
N.S.	1	1.00	1.00	1.12	0.76	0.76	0.76	1.12	0.76	0.76
time (sec)	N/A	0.019	0.015	0.021	0.261	0.334	0.033	0.000	0.050	1.817


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	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.000	0.261	0.324	0.031	0.001	0.036	1.947


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	34	34	30	24	24	25	36	31	22	32
N.S.	1	1.00	0.88	0.71	0.71	0.74	1.06	0.91	0.65	0.94
time (sec)	N/A	0.011	0.003	0.066	0.262	0.397	0.028	0.000	0.035	1.964


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	46	46	30	36	18	33	41	28	37	34
N.S.	1	1.00	0.65	0.78	0.39	0.72	0.89	0.61	0.80	0.74
time (sec)	N/A	0.022	0.014	0.034	0.268	0.340	0.031	0.002	0.071	2.089


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	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.020	0.278	0.341	0.031	0.000	0.038	1.818


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	46	46	22	36	16	31	31	21	32	22
N.S.	1	1.00	0.48	0.78	0.35	0.67	0.67	0.46	0.70	0.48
time (sec)	N/A	0.033	0.008	0.031	0.273	0.353	0.033	0.001	0.042	1.949


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

grade	A	A	A	B	A	A	F(-1)	A	B	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	34	39	13	17	0	29	13	0
N.S.	1	1.00	1.62	1.86	0.62	0.81	0.00	1.38	0.62	0.00
time (sec)	N/A	0.014	0.044	0.060	0.265	0.330	0.000	0.001	0.086	0.000


Problem 75	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	21	21	18	14	13	14	170	28	25	17
N.S.	1	1.00	0.86	0.67	0.62	0.67	8.10	1.33	1.19	0.81
time (sec)	N/A	0.014	0.009	0.046	0.261	0.339	4.873	0.001	0.207	8.347


Problem 76	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	19	19	18	14	12	13	39	22	12	12
N.S.	1	1.00	0.95	0.74	0.63	0.68	2.05	1.16	0.63	0.63
time (sec)	N/A	0.012	0.021	0.031	0.262	0.344	0.113	0.001	0.273	1.990


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	19	19	19	15	15	15	22	18	14	14
N.S.	1	1.00	1.00	0.79	0.79	0.79	1.16	0.95	0.74	0.74
time (sec)	N/A	0.008	0.013	0.029	0.267	0.321	0.151	0.001	0.177	1.996


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	14	14	14	13	16	14	10	13	16	12
N.S.	1	1.00	1.00	0.93	1.14	1.00	0.71	0.93	1.14	0.86
time (sec)	N/A	0.008	0.005	0.024	0.326	0.347	0.041	0.001	0.199	1.765


Problem 79	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	22	22	20	29	20	37	20	28	32	18
N.S.	1	1.00	0.91	1.32	0.91	1.68	0.91	1.27	1.45	0.82
time (sec)	N/A	0.017	0.016	0.033	0.276	0.369	0.048	0.001	0.226	1.868


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

grade	A	A	B	A	A	A	B	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	5	5	36	6	5	5	19	5	5	21
N.S.	1	1.00	7.20	1.20	1.00	1.00	3.80	1.00	1.00	4.20
time (sec)	N/A	0.008	0.007	0.036	0.266	0.324	0.136	0.001	0.166	2.033


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

grade	A	A	B	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	25	11	15	17	8	11	10	10
N.S.	1	1.00	2.27	1.00	1.36	1.55	0.73	1.00	0.91	0.91
time (sec)	N/A	0.005	0.009	0.024	0.266	0.338	0.185	0.002	0.029	1.805


Problem 82	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.002	0.006	0.341	0.345	0.030	0.001	0.026	1.731


Problem 83	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.001	0.350	0.326	0.033	0.001	0.025	1.802


Problem 84	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	11	11	17	13	9	16	19	15	17	13
N.S.	1	1.00	1.55	1.18	0.82	1.45	1.73	1.36	1.55	1.18
time (sec)	N/A	0.005	0.002	0.061	0.264	0.332	0.030	0.001	0.029	1.828


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	19	19	27	19	15	22	31	23	27	22
N.S.	1	1.00	1.42	1.00	0.79	1.16	1.63	1.21	1.42	1.16
time (sec)	N/A	0.006	0.003	0.066	0.277	0.323	0.030	0.001	0.038	2.117


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

grade	A	A	A	A	A	B	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	11	6	20	29	7	6	6
N.S.	1	1.00	1.00	1.38	0.75	2.50	3.62	0.88	0.75	0.75
time (sec)	N/A	0.012	0.001	0.029	0.277	0.335	0.032	0.001	0.029	1.817


Problem 87	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	17	17	27	22	13	20	29	15	13	17
N.S.	1	1.00	1.59	1.29	0.76	1.18	1.71	0.88	0.76	1.00
time (sec)	N/A	0.014	0.014	0.029	0.259	0.355	0.033	0.001	0.172	1.840


Problem 88	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	7	8	6	6
N.S.	1	1.00	1.00	0.88	0.75	0.75	0.88	1.00	0.75	0.75
time (sec)	N/A	0.007	0.004	0.030	0.260	0.329	0.031	0.001	0.290	1.654


Problem 89	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	17	17	17	42	14	14	14	17	13	14
N.S.	1	1.00	1.00	2.47	0.82	0.82	0.82	1.00	0.76	0.82
time (sec)	N/A	0.014	0.017	0.035	0.267	0.352	0.049	0.001	0.379	1.756


Problem 90	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	20	23	34	24	20	26	18	18
N.S.	1	1.00	0.91	1.05	1.55	1.09	0.91	1.18	0.82	0.82
time (sec)	N/A	0.007	0.003	0.019	0.265	0.332	0.054	0.001	0.033	1.876


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	22	22	30	21	18	18	31	20	18	18
N.S.	1	1.00	1.36	0.95	0.82	0.82	1.41	0.91	0.82	0.82
time (sec)	N/A	0.008	0.004	0.017	0.357	0.339	0.043	0.001	0.034	1.841


Problem 92	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	19	19	19	48	20	20	22	23	17	20
N.S.	1	1.00	1.00	2.53	1.05	1.05	1.16	1.21	0.89	1.05
time (sec)	N/A	0.010	0.009	0.040	0.275	0.329	0.055	0.001	0.269	2.034


Problem 93	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	25	25	25	58	20	20	22	23	19	20
N.S.	1	1.00	1.00	2.32	0.80	0.80	0.88	0.92	0.76	0.80
time (sec)	N/A	0.016	0.009	0.036	0.267	0.345	0.060	0.001	0.529	1.867


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	8	8	8	7	10	6	7	8	18	6
N.S.	1	1.00	1.00	0.88	1.25	0.75	0.88	1.00	2.25	0.75
time (sec)	N/A	0.008	0.004	0.025	0.271	0.344	0.033	0.000	0.173	1.625


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

grade	A	A	A	B	B	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	17	32	36	14	14	17	20	14
N.S.	1	1.00	1.00	1.88	2.12	0.82	0.82	1.00	1.18	0.82
time (sec)	N/A	0.015	0.009	0.036	0.285	0.334	0.056	0.001	0.167	1.747


Problem 96	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	10	6	7	8	6	6
N.S.	1	1.00	1.00	0.88	1.25	0.75	0.88	1.00	0.75	0.75
time (sec)	N/A	0.008	0.004	0.026	0.272	0.349	0.034	0.001	0.032	1.686


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

grade	A	A	A	A	B	B	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	24	27	34	27	34	30	23
N.S.	1	1.00	1.00	1.50	1.69	2.12	1.69	2.12	1.88	1.44
time (sec)	N/A	0.009	0.005	0.029	0.261	0.381	0.059	0.003	0.258	2.027


Problem 98	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.002	0.005	0.349	0.341	0.030	0.002	0.018	1.787


Problem 99	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	14	14	14	17	14	28	14	23	18	12
N.S.	1	1.00	1.00	1.21	1.00	2.00	1.00	1.64	1.29	0.86
time (sec)	N/A	0.005	0.003	0.017	0.263	0.351	0.045	0.001	0.026	1.801


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

grade	A	A	B	A	A	B	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	37	22	14	39	41	18	14	17
N.S.	1	1.00	2.18	1.29	0.82	2.29	2.41	1.06	0.82	1.00
time (sec)	N/A	0.016	0.019	0.035	0.287	0.338	0.034	0.006	0.185	2.018


Problem 101	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	17	17	17	22	14	30	15	16	14	14
N.S.	1	1.00	1.00	1.29	0.82	1.76	0.88	0.94	0.82	0.82
time (sec)	N/A	0.017	0.006	0.033	0.262	0.336	0.052	0.001	0.180	1.780


Problem 102	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	5	5	17	9	8	19	15	11	5	15
N.S.	1	1.00	3.40	1.80	1.60	3.80	3.00	2.20	1.00	3.00
time (sec)	N/A	0.002	0.003	0.013	0.279	0.344	0.050	0.001	0.043	1.797


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

grade	A	A	B	A	B	B	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	47	18	27	44	27	61	16	23
N.S.	1	1.00	2.94	1.12	1.69	2.75	1.69	3.81	1.00	1.44
time (sec)	N/A	0.005	0.005	0.063	0.296	0.354	0.062	0.002	0.155	2.073


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

grade	A	A	B	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	19	12	17	21	19	21	8	17
N.S.	1	1.00	2.38	1.50	2.12	2.62	2.38	2.62	1.00	2.12
time (sec)	N/A	0.007	0.004	0.030	0.264	0.347	0.051	0.001	0.148	1.837


Problem 105	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	13	13	17	12	14	25	20	18	17	15
N.S.	1	1.00	1.31	0.92	1.08	1.92	1.54	1.38	1.31	1.15
time (sec)	N/A	0.004	0.003	0.053	0.266	0.333	0.029	0.002	0.028	1.965


Problem 106	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	17	17	17	14	13	24	26	16	13	13
N.S.	1	1.00	1.00	0.82	0.76	1.41	1.53	0.94	0.76	0.76
time (sec)	N/A	0.005	0.008	0.074	0.261	0.362	0.143	0.002	0.062	1.925


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	17	17	17	13	13	13	22	17	13	13
N.S.	1	1.00	1.00	0.76	0.76	0.76	1.29	1.00	0.76	0.76
time (sec)	N/A	0.005	0.006	0.060	0.289	0.341	0.144	0.001	0.026	1.925


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

grade	A	A	A	A	A	B	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	12	11	24	26	13	11	21
N.S.	1	1.00	1.00	0.80	0.73	1.60	1.73	0.87	0.73	1.40
time (sec)	N/A	0.005	0.007	0.067	0.269	0.329	0.142	0.001	0.174	2.023


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	17	17	17	9	13	14	24	12	13	8
N.S.	1	1.00	1.00	0.53	0.76	0.82	1.41	0.71	0.76	0.47
time (sec)	N/A	0.005	0.008	0.032	0.264	0.335	0.143	0.000	0.058	1.934


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	8	8	8	7	6	6	7	10	19	6
N.S.	1	1.00	1.00	0.88	0.75	0.75	0.88	1.25	2.38	0.75
time (sec)	N/A	0.008	0.001	0.029	0.265	0.334	0.028	0.000	0.031	1.670


Problem 111	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	30	30	30	23	22	25	116	26	22	22
N.S.	1	1.00	1.00	0.77	0.73	0.83	3.87	0.87	0.73	0.73
time (sec)	N/A	0.020	0.011	0.041	0.264	0.396	1.246	0.001	0.293	3.581


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

grade	A	A	A	A	B	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	5	5	8	6	11	5	7	7	6	6
N.S.	1	1.00	1.60	1.20	2.20	1.00	1.40	1.40	1.20	1.20
time (sec)	N/A	0.013	0.003	0.036	0.264	0.345	0.184	0.002	0.170	3.582


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

grade	A	A	B	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	61	20	69	35	32	38	24	29
N.S.	1	1.00	4.07	1.33	4.60	2.33	2.13	2.53	1.60	1.93
time (sec)	N/A	0.031	0.008	0.089	0.355	0.352	0.738	0.003	0.396	2.695


Problem 114	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	16	14	10	21	16	12
N.S.	1	1.00	1.00	0.93	1.14	1.00	0.71	1.50	1.14	0.86
time (sec)	N/A	0.009	0.005	0.028	0.262	0.370	0.039	0.001	0.141	1.730


Problem 115	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	22	22	20	29	20	37	20	28	32	18
N.S.	1	1.00	0.91	1.32	0.91	1.68	0.91	1.27	1.45	0.82
time (sec)	N/A	0.019	0.007	0.033	0.258	0.356	0.051	0.001	0.149	1.761


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	8	8	8	7	6	6	7	8	6	6
N.S.	1	1.00	1.00	0.88	0.75	0.75	0.88	1.00	0.75	0.75
time (sec)	N/A	0.007	0.003	0.022	0.282	0.329	0.033	0.000	0.002	1.682


Problem 117	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	17	17	17	42	14	14	14	17	13	14
N.S.	1	1.00	1.00	2.47	0.82	0.82	0.82	1.00	0.76	0.82
time (sec)	N/A	0.015	0.009	0.020	0.271	0.344	0.050	0.001	0.002	1.816


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	25	25	37	34	21	35	15	46	21	21
N.S.	1	1.00	1.48	1.36	0.84	1.40	0.60	1.84	0.84	0.84
time (sec)	N/A	0.003	0.034	0.087	0.353	0.332	0.103	0.004	0.039	2.037


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	16	16	16	13	12	14	12	19	12	11
N.S.	1	1.00	1.00	0.81	0.75	0.88	0.75	1.19	0.75	0.69
time (sec)	N/A	0.002	0.019	0.033	0.353	0.366	0.413	0.002	0.028	2.080


Problem 120	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	9	9	9	8	7	7	7	9	7	8
N.S.	1	1.00	1.00	0.89	0.78	0.78	0.78	1.00	0.78	0.89
time (sec)	N/A	0.001	0.001	0.040	0.261	0.331	0.065	0.000	0.028	1.655


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

grade	A	A	B	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	46	15	18	18	19	18	14	27
N.S.	1	1.00	2.88	0.94	1.12	1.12	1.19	1.12	0.88	1.69
time (sec)	N/A	0.002	0.003	0.036	0.268	0.337	0.474	0.001	0.080	2.297


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	31	31	22	27	26	18	27	34	24	18
N.S.	1	1.00	0.71	0.87	0.84	0.58	0.87	1.10	0.77	0.58
time (sec)	N/A	0.009	0.014	0.042	0.349	0.333	0.215	0.001	0.047	1.957


Problem 123	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	40	24	21	42	0	24	38	0
N.S.	1	1.00	1.48	0.89	0.78	1.56	0.00	0.89	1.41	0.00
time (sec)	N/A	0.007	0.055	0.103	0.377	0.343	0.000	0.003	0.221	0.000


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

grade	A	A	A	A	A	A	A	B	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	15	14	14	27	40	14	35
N.S.	1	1.00	1.00	0.94	0.88	0.88	1.69	2.50	0.88	2.19
time (sec)	N/A	0.002	0.022	0.043	0.347	0.332	0.384	0.002	0.230	2.127


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	31	31	27	27	26	23	39	43	23	23
N.S.	1	1.00	0.87	0.87	0.84	0.74	1.26	1.39	0.74	0.74
time (sec)	N/A	0.009	0.012	0.045	0.344	0.342	0.164	0.000	0.036	2.046


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	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.002	0.000	0.042	0.263	0.366	0.063	0.001	0.032	1.735


Problem 127	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	16	24	20	11	11
N.S.	1	1.00	1.00	0.80	0.73	1.07	1.60	1.33	0.73	0.73
time (sec)	N/A	0.001	0.001	0.044	0.262	0.341	0.082	0.000	0.026	1.904


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	25	25	41	20	19	32	19	25	18	19
N.S.	1	1.00	1.64	0.80	0.76	1.28	0.76	1.00	0.72	0.76
time (sec)	N/A	0.002	0.037	0.087	0.343	0.342	0.085	0.002	0.033	1.824


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	25	25	18	23	22	14	24	30	14	14
N.S.	1	1.00	0.72	0.92	0.88	0.56	0.96	1.20	0.56	0.56
time (sec)	N/A	0.006	0.010	0.039	0.367	0.327	0.118	0.000	0.023	1.894


Problem 130	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	6	6	12	5	4	14	3	14	4	4
N.S.	1	1.00	2.00	0.83	0.67	2.33	0.50	2.33	0.67	0.67
time (sec)	N/A	0.001	0.011	0.047	0.343	0.334	0.066	0.001	0.030	1.725


Problem 131	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	28	16	15	25	15	32	15	15
N.S.	1	1.00	1.33	0.76	0.71	1.19	0.71	1.52	0.71	0.71
time (sec)	N/A	0.001	0.018	0.044	0.343	0.319	0.078	0.001	0.029	1.835


Problem 132	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	35	35	35	26	22	33	66	33	25	57
N.S.	1	1.00	1.00	0.74	0.63	0.94	1.89	0.94	0.71	1.63
time (sec)	N/A	0.008	0.022	0.106	0.347	0.334	1.077	0.001	0.346	3.166


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

grade	A	A	A	A	A	A	A	B	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	23	23	23	20	19	23	76	51	19	80
N.S.	1	1.00	1.00	0.87	0.83	1.00	3.30	2.22	0.83	3.48
time (sec)	N/A	0.002	0.030	0.038	0.351	0.320	0.366	0.004	0.341	2.464


Problem 134	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	30	30	30	25	19	28	92	30	24	68
N.S.	1	1.00	1.00	0.83	0.63	0.93	3.07	1.00	0.80	2.27
time (sec)	N/A	0.010	0.015	0.098	0.351	0.342	0.666	0.001	0.310	2.783


Problem 135	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	18	18	18	15	14	18	37	23	14	33
N.S.	1	1.00	1.00	0.83	0.78	1.00	2.06	1.28	0.78	1.83
time (sec)	N/A	0.002	0.019	0.053	0.351	0.320	0.399	0.002	0.254	2.183


Problem 136	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	34	34	34	31	22	58	49	36	34	65
N.S.	1	1.00	1.00	0.91	0.65	1.71	1.44	1.06	1.00	1.91
time (sec)	N/A	0.004	0.050	0.044	0.362	0.335	0.758	0.004	0.222	2.778


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	29	29	35	23	22	29	24	30	22	22
N.S.	1	1.00	1.21	0.79	0.76	1.00	0.83	1.03	0.76	0.76
time (sec)	N/A	0.004	0.026	0.094	0.359	0.339	0.092	0.002	0.036	1.942


Problem 138	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	23	23	23	18	14	24	15	51	18	13
N.S.	1	1.00	1.00	0.78	0.61	1.04	0.65	2.22	0.78	0.57
time (sec)	N/A	0.007	0.027	0.076	0.350	0.330	0.454	0.001	0.056	2.172


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

grade	A	A	A	A	A	B	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	13	10	9	21	26	20	9	9
N.S.	1	1.00	1.00	0.77	0.69	1.62	2.00	1.54	0.69	0.69
time (sec)	N/A	0.001	0.001	0.040	0.265	0.335	0.486	0.001	0.161	2.205


Problem 140	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	22	27	26	23	44	54	23	23
N.S.	1	1.00	0.71	0.87	0.84	0.74	1.42	1.74	0.74	0.74
time (sec)	N/A	0.009	0.014	0.044	0.346	0.335	0.171	0.001	0.167	2.058


Problem 141	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	46	32	31	39	110	33	27	92
N.S.	1	1.00	1.02	0.71	0.69	0.87	2.44	0.73	0.60	2.04
time (sec)	N/A	0.006	0.064	0.108	0.363	0.313	1.678	0.004	0.036	3.698


Problem 142	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	26	18	9	9
N.S.	1	1.00	1.00	0.77	0.69	0.69	2.00	1.38	0.69	0.69
time (sec)	N/A	0.002	0.001	0.043	0.293	0.324	0.078	0.001	0.029	1.830


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

grade	A	A	A	A	A	B	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	13	12	30	34	25	12	33
N.S.	1	1.00	1.00	0.81	0.75	1.88	2.12	1.56	0.75	2.06
time (sec)	N/A	0.001	0.022	0.055	0.268	0.346	0.384	0.003	0.251	2.091


Problem 144	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	33	33	43	26	36	35	0	30	24	0
N.S.	1	1.00	1.30	0.79	1.09	1.06	0.00	0.91	0.73	0.00
time (sec)	N/A	0.005	0.052	0.065	0.437	0.325	0.000	0.001	0.165	0.000


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

grade	A	A	B	A	A	B	F	B	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	20	7	6	18	0	18	14	0
N.S.	1	1.00	2.50	0.88	0.75	2.25	0.00	2.25	1.75	0.00
time (sec)	N/A	0.004	0.043	0.087	0.351	0.322	0.000	0.001	0.201	0.000


Problem 146	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	25	25	24	30	22	20	0	26	20	0
N.S.	1	1.00	0.96	1.20	0.88	0.80	0.00	1.04	0.80	0.00
time (sec)	N/A	0.004	0.044	0.079	0.348	0.336	0.000	0.002	0.260	0.000


Problem 147	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	NO	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	44	44	51	37	36	35	0	34	-1	0
N.S.	1	1.00	1.16	0.84	0.82	0.80	0.00	0.77	-0.02	0.00
time (sec)	N/A	0.011	0.048	0.086	0.345	0.326	0.000	0.003	0.000	0.000


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	26	26	23	25	22	28	19	23	23	28
N.S.	1	1.00	0.88	0.96	0.85	1.08	0.73	0.88	0.88	1.08
time (sec)	N/A	0.004	0.006	0.071	0.345	0.371	0.059	0.000	0.189	1.904


Problem 149	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	43	43	43	40	59	49	0	51	29	0
N.S.	1	1.00	1.00	0.93	1.37	1.14	0.00	1.19	0.67	0.00
time (sec)	N/A	0.004	0.136	0.068	0.265	0.376	0.000	0.004	0.050	0.000


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	33	33	45	23	22	35	32	27	22	37
N.S.	1	1.00	1.36	0.70	0.67	1.06	0.97	0.82	0.67	1.12
time (sec)	N/A	0.015	0.053	0.023	0.350	0.351	0.656	0.002	0.210	2.654


Problem 151	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	30	30	30	23	22	22	26	28	34	32
N.S.	1	1.00	1.00	0.77	0.73	0.73	0.87	0.93	1.13	1.07
time (sec)	N/A	0.010	0.019	0.033	0.344	0.334	0.623	0.001	0.227	2.507


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

grade	A	A	B	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	42	13	6	16	3	16	12	6
N.S.	1	1.00	3.00	0.93	0.43	1.14	0.21	1.14	0.86	0.43
time (sec)	N/A	0.001	0.002	0.042	0.261	0.328	0.430	0.001	0.188	2.115


Problem 153	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	10	14	13	13
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.67	0.93	0.87	0.87
time (sec)	N/A	0.002	0.003	0.063	0.266	0.324	0.049	0.000	0.177	1.740


Problem 154	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	25	21	20	20	19	25	20	20
N.S.	1	1.00	0.96	0.81	0.77	0.77	0.73	0.96	0.77	0.77
time (sec)	N/A	0.010	0.003	0.047	0.257	0.358	0.035	0.000	0.033	1.772


Problem 155	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	20	19	19	19	26	19	17
N.S.	1	1.00	1.00	0.80	0.76	0.76	0.76	1.04	0.76	0.68
time (sec)	N/A	0.028	0.004	0.015	0.260	0.333	0.071	0.001	0.185	1.899


Problem 156	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	29	25	24	36	20	27	22	32
N.S.	1	1.00	0.97	0.83	0.80	1.20	0.67	0.90	0.73	1.07
time (sec)	N/A	0.020	0.011	0.016	0.272	0.337	0.049	0.001	0.050	1.831


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	23	23	23	18	17	17	17	22	21	17
N.S.	1	1.00	1.00	0.78	0.74	0.74	0.74	0.96	0.91	0.74
time (sec)	N/A	0.024	0.004	0.049	0.422	0.342	0.071	0.001	0.052	1.794


Problem 158	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	38	32	31	31	34	44	30	29
N.S.	1	1.00	1.00	0.84	0.82	0.82	0.89	1.16	0.79	0.76
time (sec)	N/A	0.021	0.007	0.112	0.346	0.328	0.062	0.001	0.167	1.942


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	103	103	93	73	77	136	88	89	96	88
N.S.	1	1.00	0.90	0.71	0.75	1.32	0.85	0.86	0.93	0.85
time (sec)	N/A	0.305	0.032	0.129	0.346	0.326	0.300	0.002	0.262	2.572


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	33	33	33	28	29	44	27	35	33	37
N.S.	1	1.00	1.00	0.85	0.88	1.33	0.82	1.06	1.00	1.12
time (sec)	N/A	0.025	0.014	0.052	0.349	0.364	0.076	0.001	0.161	1.946


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	19	19	16	16	15	19	12	16	16	19
N.S.	1	1.00	0.84	0.84	0.79	1.00	0.63	0.84	0.84	1.00
time (sec)	N/A	0.002	0.004	0.041	0.344	0.331	0.050	0.001	0.024	1.778


Problem 162	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	12	18	12	13
N.S.	1	1.00	1.00	0.74	0.68	0.68	0.63	0.95	0.63	0.68
time (sec)	N/A	0.002	0.002	0.049	0.268	0.324	0.047	0.000	0.098	1.752


Problem 163	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	21	16	15	15	17	22	8	13
N.S.	1	1.00	1.11	0.84	0.79	0.79	0.89	1.16	0.42	0.68
time (sec)	N/A	0.004	0.002	0.064	0.276	0.319	0.050	0.000	0.122	1.747


Problem 164	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	32	27	26	37	26	34	22	30
N.S.	1	1.00	1.00	0.84	0.81	1.16	0.81	1.06	0.69	0.94
time (sec)	N/A	0.016	0.011	0.086	0.257	0.332	0.090	0.001	0.100	1.854


Problem 165	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	43	43	33	34	34	53	32	41	29	43
N.S.	1	1.00	0.77	0.79	0.79	1.23	0.74	0.95	0.67	1.00
time (sec)	N/A	0.024	0.016	0.058	0.264	0.320	0.079	0.001	0.230	1.973


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	21	21	21	18	19	26	17	23	16	17
N.S.	1	1.00	1.00	0.86	0.90	1.24	0.81	1.10	0.76	0.81
time (sec)	N/A	0.007	0.002	0.055	0.259	0.329	0.053	0.000	0.040	1.837


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	25	25	25	24	23	19	17	29	19	19
N.S.	1	1.00	1.00	0.96	0.92	0.76	0.68	1.16	0.76	0.76
time (sec)	N/A	0.026	0.004	0.061	0.264	0.323	0.048	0.001	0.168	1.816


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	11	11	11	12	13	11	8	15	11	11
N.S.	1	1.00	1.00	1.09	1.18	1.00	0.73	1.36	1.00	1.00
time (sec)	N/A	0.008	0.003	0.047	0.288	0.332	0.050	0.001	0.175	1.702


Problem 169	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	36	32	31	31	36	41	56	31
N.S.	1	1.00	1.00	0.89	0.86	0.86	1.00	1.14	1.56	0.86
time (sec)	N/A	0.073	0.011	0.058	0.350	0.334	0.107	0.001	0.108	1.906


Problem 170	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	29	22	21	33	22	27	23	30
N.S.	1	1.00	1.00	0.76	0.72	1.14	0.76	0.93	0.79	1.03
time (sec)	N/A	0.068	0.011	0.047	0.409	0.329	0.086	0.001	0.168	1.822


Problem 171	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	60	60	54	48	47	60	63	65	61	51
N.S.	1	1.00	0.90	0.80	0.78	1.00	1.05	1.08	1.02	0.85
time (sec)	N/A	0.153	0.035	0.102	0.348	0.365	0.135	0.001	0.124	2.267


Problem 172	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	37	37	28	25	30	39	27	31	30	40
N.S.	1	1.00	0.76	0.68	0.81	1.05	0.73	0.84	0.81	1.08
time (sec)	N/A	0.005	0.010	0.048	0.339	0.324	0.064	0.001	0.156	1.897


Problem 173	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	97	97	78	68	75	134	88	88	84	90
N.S.	1	1.00	0.80	0.70	0.77	1.38	0.91	0.91	0.87	0.93
time (sec)	N/A	0.048	0.030	0.191	0.341	0.325	0.117	0.001	0.241	2.455


Problem 174	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	46	46	46	36	35	39	46	49	49	39
N.S.	1	1.00	1.00	0.78	0.76	0.85	1.00	1.07	1.07	0.85
time (sec)	N/A	0.039	0.018	0.020	0.369	0.324	0.084	0.001	0.237	2.052


Problem 175	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	48	48	48	38	37	46	48	47	51	43
N.S.	1	1.00	1.00	0.79	0.77	0.96	1.00	0.98	1.06	0.90
time (sec)	N/A	0.016	0.009	0.055	0.352	0.341	0.074	0.000	0.109	1.981


Problem 176	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	19	14	13	13	10	15	13	13
N.S.	1	1.00	1.27	0.93	0.87	0.87	0.67	1.00	0.87	0.87
time (sec)	N/A	0.004	0.002	0.041	0.275	0.319	0.035	0.000	0.025	1.770


Problem 177	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	8	9	8	8	7	9	8	8
N.S.	1	1.00	0.80	0.90	0.80	0.80	0.70	0.90	0.80	0.80
time (sec)	N/A	0.003	0.001	0.047	0.275	0.342	0.034	0.000	0.028	1.642


Problem 178	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	10	13	11	11
N.S.	1	1.00	1.00	0.92	0.85	0.85	0.77	1.00	0.85	0.85
time (sec)	N/A	0.004	0.003	0.051	0.265	0.315	0.051	0.000	0.168	1.790


Problem 179	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	10	11
N.S.	1	1.00	1.00	1.09	1.00	1.00	0.73	1.09	0.91	1.00
time (sec)	N/A	0.001	0.002	0.042	0.332	0.336	0.047	0.001	0.068	1.665


Problem 180	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	15	13	12	12	10	16	10	12
N.S.	1	1.00	1.25	1.08	1.00	1.00	0.83	1.33	0.83	1.00
time (sec)	N/A	0.004	0.002	0.047	0.273	0.321	0.036	0.000	0.158	1.685


Problem 181	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	26	26	19	27	26	20	80	23	18	19
N.S.	1	1.00	0.73	1.04	1.00	0.77	3.08	0.88	0.69	0.73
time (sec)	N/A	0.004	0.005	0.062	0.252	0.342	0.115	0.001	0.219	2.608


Problem 182	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	12	10	13	12	12
N.S.	1	1.00	1.00	0.93	0.86	0.86	0.71	0.93	0.86	0.86
time (sec)	N/A	0.011	0.002	0.066	0.270	0.328	0.050	0.001	0.044	1.663


Problem 183	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	26	19	18	18	17	25	14	18
N.S.	1	1.00	1.00	0.73	0.69	0.69	0.65	0.96	0.54	0.69
time (sec)	N/A	0.010	0.004	0.062	0.271	0.343	0.048	0.001	0.041	1.874


Problem 184	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	13	14	17
N.S.	1	1.00	1.00	1.07	1.00	1.21	0.71	0.93	1.00	1.21
time (sec)	N/A	0.004	0.003	0.043	0.259	0.336	0.039	0.000	0.030	1.690


Problem 185	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	24	17	17
N.S.	1	1.00	1.00	0.87	0.83	0.83	0.83	1.04	0.74	0.74
time (sec)	N/A	0.006	0.003	0.051	0.270	0.335	0.069	0.001	0.083	1.728


Problem 186	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	16	15	15	15	18	15	15
N.S.	1	1.00	1.00	0.94	0.88	0.88	0.88	1.06	0.88	0.88
time (sec)	N/A	0.025	0.004	0.015	0.273	0.332	0.067	0.001	0.066	1.703


Problem 187	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	13	12	16	8	12	12	16
N.S.	1	1.00	1.00	1.08	1.00	1.33	0.67	1.00	1.00	1.33
time (sec)	N/A	0.004	0.003	0.052	0.255	0.327	0.037	0.000	0.034	1.647


Problem 188	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	21	20	26	19	28	22	24
N.S.	1	1.00	0.73	0.70	0.67	0.87	0.63	0.93	0.73	0.80
time (sec)	N/A	0.007	0.007	0.052	0.254	0.325	0.056	0.000	0.061	1.754


Problem 189	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	26	21	20	27	22	28	22	26
N.S.	1	1.00	0.93	0.75	0.71	0.96	0.79	1.00	0.79	0.93
time (sec)	N/A	0.007	0.013	0.054	0.258	0.330	0.061	0.001	0.212	1.754


Problem 190	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	18	14	15	14	14
N.S.	1	1.00	1.00	1.07	1.00	1.29	1.00	1.07	1.00	1.00
time (sec)	N/A	0.015	0.003	0.052	0.273	0.347	0.058	0.001	0.042	1.692


Problem 191	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	25	18	17	17	17	22	17	17
N.S.	1	1.00	1.32	0.95	0.89	0.89	0.89	1.16	0.89	0.89
time (sec)	N/A	0.018	0.005	0.016	0.263	0.340	0.065	0.001	0.181	1.723


Problem 192	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.006	0.003	0.010	0.270	0.314	0.044	0.001	0.051	1.668


Problem 193	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	27	40	20	27	27	29
N.S.	1	1.00	1.00	0.96	1.08	1.60	0.80	1.08	1.08	1.16
time (sec)	N/A	0.006	0.008	0.075	0.319	0.324	0.053	0.000	0.050	2.089


Problem 194	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	20	22	31	19	21	21	29
N.S.	1	1.00	1.00	0.95	1.05	1.48	0.90	1.00	1.00	1.38
time (sec)	N/A	0.005	0.006	0.038	0.262	0.343	0.044	0.000	0.026	1.935


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

grade	A	A	B	A	A	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	22	17	16	20	15	20	8	20
N.S.	1	1.00	2.75	2.12	2.00	2.50	1.88	2.50	1.00	2.50
time (sec)	N/A	0.004	0.002	0.041	0.254	0.324	0.049	0.000	0.167	1.787


Problem 196	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	10	13	13	13
N.S.	1	1.00	1.00	0.93	0.87	0.87	0.67	0.87	0.87	0.87
time (sec)	N/A	0.006	0.003	0.013	0.265	0.328	0.046	0.001	0.040	1.716


Problem 197	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	15	14	14	12	14	14	14
N.S.	1	1.00	1.00	0.83	0.78	0.78	0.67	0.78	0.78	0.78
time (sec)	N/A	0.005	0.002	0.046	0.269	0.365	0.037	0.000	0.025	1.731


Problem 198	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	19	18	18	17	20	18	18
N.S.	1	1.00	1.00	0.95	0.90	0.90	0.85	1.00	0.90	0.90
time (sec)	N/A	0.006	0.003	0.076	0.356	0.319	0.052	0.001	0.160	1.918


Problem 199	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	27	26	26	34	32	28	26
N.S.	1	1.00	1.00	0.87	0.84	0.84	1.10	1.03	0.90	0.84
time (sec)	N/A	0.010	0.005	0.072	0.360	0.327	0.056	0.000	0.160	1.892


Problem 200	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	22	21	21	22	33	17	17
N.S.	1	1.00	1.15	0.81	0.78	0.78	0.81	1.22	0.63	0.63
time (sec)	N/A	0.015	0.004	0.075	0.342	0.337	0.058	0.001	0.042	1.883


Problem 201	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	28	20	19	19	19	22	25	19
N.S.	1	1.00	1.22	0.87	0.83	0.83	0.83	0.96	1.09	0.83
time (sec)	N/A	0.021	0.006	0.055	0.345	0.339	0.072	0.001	0.054	1.782


Problem 202	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	24	23	23	29	33	55	23
N.S.	1	1.00	1.00	0.86	0.82	0.82	1.04	1.18	1.96	0.82
time (sec)	N/A	0.015	0.006	0.048	0.380	0.332	0.070	0.001	0.300	1.840


Problem 203	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	41	33	32	32	41	44	46	32
N.S.	1	1.00	1.00	0.80	0.78	0.78	1.00	1.07	1.12	0.78
time (sec)	N/A	0.013	0.004	0.039	0.341	0.333	0.066	0.000	0.063	2.054


Problem 204	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	42	36	35	35	42	43	47	35
N.S.	1	1.00	1.02	0.88	0.85	0.85	1.02	1.05	1.15	0.85
time (sec)	N/A	0.015	0.005	0.046	0.352	0.336	0.069	0.001	0.229	1.979


Problem 205	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	21	20	36	20	22	28	32
N.S.	1	1.00	0.92	0.88	0.83	1.50	0.83	0.92	1.17	1.33
time (sec)	N/A	0.021	0.010	0.079	0.348	0.343	0.070	0.001	0.044	1.807


Problem 206	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	26	19	18	18	19	25	10	18
N.S.	1	1.00	1.86	1.36	1.29	1.29	1.36	1.79	0.71	1.29
time (sec)	N/A	0.003	0.003	0.054	0.345	0.340	0.063	0.001	0.056	1.768


Problem 207	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	29	25	24	24	29	35	51	24
N.S.	1	1.00	1.00	0.86	0.83	0.83	1.00	1.21	1.76	0.83
time (sec)	N/A	0.072	0.009	0.059	0.348	0.329	0.099	0.001	0.075	1.837


Problem 208	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	19	21	33	17
N.S.	1	1.00	1.00	0.78	0.74	0.74	0.83	0.91	1.43	0.74
time (sec)	N/A	0.019	0.007	0.017	0.349	0.360	0.093	0.001	0.186	1.785


Problem 209	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	35	32	39	41	42	36	39
N.S.	1	1.00	1.00	0.90	0.82	1.00	1.05	1.08	0.92	1.00
time (sec)	N/A	0.009	0.016	0.137	0.345	0.355	0.062	0.001	0.041	1.994


Problem 210	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.004	0.000	0.260	0.330	0.047	0.001	0.155	1.666


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

grade	A	A	B	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	26	12	11	15	12	13	11	11
N.S.	1	1.00	2.36	1.09	1.00	1.36	1.09	1.18	1.00	1.00
time (sec)	N/A	0.029	0.060	0.057	0.312	0.352	0.092	0.002	0.087	1.768


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

grade	A	A	B	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	82	18	17	17	19	22	17	17
N.S.	1	1.00	4.10	0.90	0.85	0.85	0.95	1.10	0.85	0.85
time (sec)	N/A	0.032	0.113	0.044	0.349	0.363	0.156	0.001	0.060	1.868


Problem 213	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	12	18	8	13
N.S.	1	1.00	1.00	0.74	0.68	0.68	0.63	0.95	0.42	0.68
time (sec)	N/A	0.003	0.002	0.063	0.257	0.319	0.047	0.000	0.076	1.839


Problem 214	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	12	11	11	10	16	6	11
N.S.	1	1.00	1.00	0.71	0.65	0.65	0.59	0.94	0.35	0.65
time (sec)	N/A	0.001	0.002	0.053	0.258	0.334	0.046	0.000	0.097	1.667


Problem 215	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	17	22	13	13
N.S.	1	1.00	1.00	0.86	0.81	0.81	0.81	1.05	0.62	0.62
time (sec)	N/A	0.004	0.003	0.065	0.257	0.329	0.052	0.001	0.205	1.848


Problem 216	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	44	27	37	44	46	47	36	35
N.S.	1	1.00	0.90	0.55	0.76	0.90	0.94	0.96	0.73	0.71
time (sec)	N/A	0.008	0.013	0.086	0.357	0.356	0.053	0.000	0.177	1.968


Problem 217	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	63	63	57	51	50	50	68	68	58	44
N.S.	1	1.00	0.90	0.81	0.79	0.79	1.08	1.08	0.92	0.70
time (sec)	N/A	0.055	0.018	0.026	0.344	0.355	0.210	0.002	0.280	2.222


Problem 218	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	86	86	67	54	59	103	65	75	71	71
N.S.	1	1.00	0.78	0.63	0.69	1.20	0.76	0.87	0.83	0.83
time (sec)	N/A	0.061	0.032	0.026	0.349	0.371	0.114	0.002	0.128	2.243


Problem 219	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	24	24	24	29	28	28	42	36	18	45
N.S.	1	1.00	1.00	1.21	1.17	1.17	1.75	1.50	0.75	1.88
time (sec)	N/A	0.004	0.013	0.056	0.261	0.331	0.433	0.001	0.036	2.277


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

grade	A	A	C	A	B	B	F	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	200	200	126	172	272	638	0	229	223	258
N.S.	1	1.00	0.63	0.86	1.36	3.19	0.00	1.14	1.12	1.29
time (sec)	N/A	0.253	0.045	0.053	0.431	1.024	0.000	0.072	0.240	68.037


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

grade	A	A	B	A	B	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	41	22	30	27	20	30	11	21
N.S.	1	1.00	2.28	1.22	1.67	1.50	1.11	1.67	0.61	1.17
time (sec)	N/A	0.008	0.013	0.059	0.265	0.348	0.141	0.004	0.488	1.995


Problem 222	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	27	15	14	15	17	14	14
N.S.	1	1.00	1.00	1.50	0.83	0.78	0.83	0.94	0.78	0.78
time (sec)	N/A	0.004	0.008	0.043	0.263	0.341	0.058	0.000	0.056	1.692


Problem 223	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	28	21	28	20	26	33	20	20
N.S.	1	1.00	0.88	0.66	0.88	0.62	0.81	1.03	0.62	0.62
time (sec)	N/A	0.009	0.012	0.069	0.255	0.339	0.061	0.000	0.027	1.750


Problem 224	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	14	15	12	12
N.S.	1	1.00	1.00	0.81	0.75	0.75	0.88	0.94	0.75	0.75
time (sec)	N/A	0.002	0.010	0.084	0.347	0.335	0.074	0.001	0.031	1.674


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

grade	A	A	A	A	B	B	A	B	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	10	9	19	19	26	31	8	25
N.S.	1	1.00	1.00	0.90	1.90	1.90	2.60	3.10	0.80	2.50
time (sec)	N/A	0.002	0.010	0.056	0.246	0.331	0.290	0.001	0.159	1.908


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

grade	A	A	A	B	A	A	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	14	14	25	50	17	8	22	27	8	17
N.S.	1	1.00	1.79	3.57	1.21	0.57	1.57	1.93	0.57	1.21
time (sec)	N/A	0.003	0.010	0.100	0.253	0.331	0.082	0.001	0.150	1.847


Problem 227	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	31	31	29	54	21	21	36	31	25	31
N.S.	1	1.00	0.94	1.74	0.68	0.68	1.16	1.00	0.81	1.00
time (sec)	N/A	0.015	0.012	0.077	0.257	0.337	1.000	0.001	0.192	2.887


Problem 228	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	32	32	21	23	22	17	76	39	19	56
N.S.	1	1.00	0.66	0.72	0.69	0.53	2.38	1.22	0.59	1.75
time (sec)	N/A	0.004	0.011	0.053	0.275	0.339	0.611	0.000	0.033	2.333


Problem 229	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	31	25	24	24	75	34	24	66
N.S.	1	1.00	1.00	0.81	0.77	0.77	2.42	1.10	0.77	2.13
time (sec)	N/A	0.005	0.019	0.089	0.352	0.332	0.621	0.001	0.159	2.446


Problem 230	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	29	29	22	20	19	14	117	36	12	57
N.S.	1	1.00	0.76	0.69	0.66	0.48	4.03	1.24	0.41	1.97
time (sec)	N/A	0.004	0.010	0.041	0.251	0.329	0.444	0.001	0.236	2.977


Problem 231	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	7	8	6	6
N.S.	1	1.00	1.00	0.88	0.75	0.75	0.88	1.00	0.75	0.75
time (sec)	N/A	0.003	0.009	0.076	0.354	0.338	0.121	0.001	0.243	1.677


Problem 232	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	19	16	15	15	17	20	15	15
N.S.	1	1.00	0.90	0.76	0.71	0.71	0.81	0.95	0.71	0.71
time (sec)	N/A	0.008	0.010	0.049	0.273	0.313	0.067	0.001	0.172	1.671


Problem 233	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	23	22	22	26	33	22	22
N.S.	1	1.00	0.93	0.77	0.73	0.73	0.87	1.10	0.73	0.73
time (sec)	N/A	0.011	0.014	0.070	0.252	0.355	0.074	0.001	0.039	1.760


Problem 234	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	20	16	19	16	26	39	16	16
N.S.	1	1.00	0.74	0.59	0.70	0.59	0.96	1.44	0.59	0.59
time (sec)	N/A	0.007	0.012	0.036	0.303	0.325	0.449	0.000	0.262	2.049


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

grade	A	A	C	A	B	B	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	201	201	127	166	293	547	0	224	208	0
N.S.	1	1.00	0.63	0.83	1.46	2.72	0.00	1.11	1.03	0.00
time (sec)	N/A	0.147	0.044	0.050	0.342	1.061	0.000	0.075	0.062	0.000


Problem 236	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	62	46	45	47	68	65	73	47
N.S.	1	1.00	1.00	0.74	0.73	0.76	1.10	1.05	1.18	0.76
time (sec)	N/A	0.024	0.037	0.042	0.343	0.348	0.188	0.004	0.171	2.153


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

grade	A	A	A	A	A	A	F	A	B	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	130	130	117	83	82	76	0	178	82	0
N.S.	1	1.00	0.90	0.64	0.63	0.58	0.00	1.37	0.63	0.00
time (sec)	N/A	0.030	0.038	0.061	0.262	0.358	0.000	0.005	0.143	0.000


Problem 238	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	24	24	24	40	37	26	0	31	20	0
N.S.	1	1.00	1.00	1.67	1.54	1.08	0.00	1.29	0.83	0.00
time (sec)	N/A	0.006	0.018	0.083	0.338	0.345	0.000	0.004	0.157	0.000


Problem 239	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	13	10	11	9	11
N.S.	1	1.00	1.00	1.09	1.00	1.18	0.91	1.00	0.82	1.00
time (sec)	N/A	0.013	0.006	0.061	0.264	0.348	0.084	0.001	0.143	1.800


Problem 240	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	16	15	15	14	14	15	17
N.S.	1	1.00	1.00	0.94	0.88	0.88	0.82	0.82	0.88	1.00
time (sec)	N/A	0.020	0.024	0.023	0.262	0.359	0.064	0.001	0.213	1.788


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

grade	A	A	A	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	12	10	21	21	26	32	9	23
N.S.	1	1.00	1.00	0.83	1.75	1.75	2.17	2.67	0.75	1.92
time (sec)	N/A	0.005	0.016	0.023	0.251	0.344	0.683	0.001	0.030	2.905


Problem 242	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	36	35	35	32	38	40	38
N.S.	1	1.00	1.00	1.29	1.25	1.25	1.14	1.36	1.43	1.36
time (sec)	N/A	0.008	0.020	0.022	0.247	0.334	0.795	0.001	0.190	2.792


Problem 243	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	43	43	43	22	30	27	20	30	11	21
N.S.	1	1.00	1.00	0.51	0.70	0.63	0.47	0.70	0.26	0.49
time (sec)	N/A	0.012	0.009	0.031	0.254	0.335	0.114	0.002	0.392	1.975


Problem 244	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.016	0.000	0.352	0.376	0.225	0.006	0.373	2.258


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

grade	A	A	B	A	B	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	24	16	25	17	14	26	11	15
N.S.	1	1.00	2.18	1.45	2.27	1.55	1.27	2.36	1.00	1.36
time (sec)	N/A	0.007	0.013	0.053	0.253	0.375	0.120	0.002	0.068	1.903


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

grade	A	A	B	A	B	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	43	22	30	27	20	30	11	21
N.S.	1	1.00	2.39	1.22	1.67	1.50	1.11	1.67	0.61	1.17
time (sec)	N/A	0.008	0.012	0.057	0.260	0.342	0.127	0.002	0.480	2.043


Problem 247	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	24	24	35	24	25	35	0	32	16	0
N.S.	1	1.00	1.46	1.00	1.04	1.46	0.00	1.33	0.67	0.00
time (sec)	N/A	0.031	0.014	0.063	0.271	0.358	0.000	0.001	0.300	0.000


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

grade	A	A	A	A	B	B	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	39	24	220	35	0	31	16	0
N.S.	1	1.00	1.62	1.00	9.17	1.46	0.00	1.29	0.67	0.00
time (sec)	N/A	0.017	0.022	0.093	0.270	0.343	0.000	0.001	0.338	0.000


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

grade	A	A	A	A	A	B	F	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	18	24	23	33	0	28	22	55
N.S.	1	1.00	1.00	1.33	1.28	1.83	0.00	1.56	1.22	3.06
time (sec)	N/A	0.021	0.013	0.050	0.254	0.388	0.000	0.001	0.128	4.479


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

grade	A	A	A	A	A	B	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	38	35	61	98	0	75	31	0
N.S.	1	1.00	1.06	0.97	1.69	2.72	0.00	2.08	0.86	0.00
time (sec)	N/A	0.015	0.031	0.092	0.354	0.341	0.000	0.006	0.728	0.000


Problem 251	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.016	0.032	0.000	0.346	0.359	0.000	0.002	0.499	0.000


Problem 252	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	10	14	8	8	7	10	8	8
N.S.	1	1.00	0.83	1.17	0.67	0.67	0.58	0.83	0.67	0.67
time (sec)	N/A	0.001	0.002	0.049	0.274	0.324	0.035	0.000	0.042	1.630


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

grade	A	A	A	A	B	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	17	12	26	11	12	17	11	11
N.S.	1	1.00	1.00	0.71	1.53	0.65	0.71	1.00	0.65	0.65
time (sec)	N/A	0.002	0.002	0.010	0.254	0.338	0.061	0.000	0.028	1.728


Problem 254	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	8	9	10	10	7	11	6	8
N.S.	1	1.00	0.67	0.75	0.83	0.83	0.58	0.92	0.50	0.67
time (sec)	N/A	0.007	0.007	0.015	0.270	0.344	0.170	0.001	0.196	1.834


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

grade	A	A	A	A	B	B	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	24	27	34	27	34	30	23
N.S.	1	1.00	1.00	1.50	1.69	2.12	1.69	2.12	1.88	1.44
time (sec)	N/A	0.009	0.006	0.015	0.259	0.361	0.058	0.004	0.002	2.044


Problem 256	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	17	17	17	42	14	14	14	17	13	14
N.S.	1	1.00	1.00	2.47	0.82	0.82	0.82	1.00	0.76	0.82
time (sec)	N/A	0.015	0.013	0.020	0.263	0.362	0.048	0.001	0.002	1.763


Problem 257	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.005	0.006	0.000	0.305	0.319	0.078	0.000	0.002	1.747


Problem 258	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	42	42	42	31	30	30	36	43	30	30
N.S.	1	1.00	1.00	0.74	0.71	0.71	0.86	1.02	0.71	0.71
time (sec)	N/A	0.025	0.005	0.017	0.257	0.331	0.076	0.001	0.184	1.940


Problem 259	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	7	8	6	6
N.S.	1	1.00	1.00	0.88	0.75	0.75	0.88	1.00	0.75	0.75
time (sec)	N/A	0.008	0.002	0.009	0.263	0.326	0.127	0.000	0.069	1.933


Problem 260	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.004	0.002	0.049	0.270	0.329	0.034	0.000	0.031	1.663


Problem 261	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	5	5	5	4	3	3	3	3	3	4
N.S.	1	1.00	1.00	0.80	0.60	0.60	0.60	0.60	0.60	0.80
time (sec)	N/A	0.003	0.004	0.010	0.272	0.327	0.335	0.000	0.031	1.833


Problem 262	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	14	19	10	19	14	13	18	10
N.S.	1	1.00	0.58	0.79	0.42	0.79	0.58	0.54	0.75	0.42
time (sec)	N/A	0.017	0.005	0.016	0.255	0.342	0.032	0.000	0.002	1.719


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

grade	A	A	A	A	A	A	A	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	9	8	11	8	23	32	14
N.S.	1	1.00	1.00	1.12	1.00	1.38	1.00	2.88	4.00	1.75
time (sec)	N/A	0.014	0.016	0.062	0.259	0.357	0.062	0.007	0.420	1.753


Problem 264	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.044	0.263	0.330	0.063	0.000	0.002	1.831


Problem 265	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.004	0.002	0.005	0.260	0.323	0.044	0.000	0.188	1.690


Problem 266	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	24	24	24	19	18	18	109	24	18	111
N.S.	1	1.00	1.00	0.79	0.75	0.75	4.54	1.00	0.75	4.62
time (sec)	N/A	0.004	0.013	0.099	0.380	0.319	0.603	0.001	0.039	2.816


Problem 267	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	13	12	16	8	12	12	16
N.S.	1	1.00	1.00	1.08	1.00	1.33	0.67	1.00	1.00	1.33
time (sec)	N/A	0.003	0.003	0.041	0.262	0.333	0.038	0.000	0.034	1.650


Problem 268	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	17	16	16	15	17	16	16
N.S.	1	1.00	1.00	1.06	1.00	1.00	0.94	1.06	1.00	1.00
time (sec)	N/A	0.003	0.002	0.023	0.355	0.353	0.057	0.001	0.180	1.695


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

grade	A	A	A	A	A	A	A	F	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	22	30	29	29	32	0	18	29
N.S.	1	1.00	1.00	1.36	1.32	1.32	1.45	0.00	0.82	1.32
time (sec)	N/A	0.033	0.024	0.011	0.252	0.358	0.990	0.000	0.254	3.135


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

grade	A	A	B	B	A	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	56	43	19	46	54	79	42	42
N.S.	1	1.00	2.07	1.59	0.70	1.70	2.00	2.93	1.56	1.56
time (sec)	N/A	0.004	0.012	0.039	0.252	0.362	0.152	0.001	0.032	1.915


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

grade	A	A	A	A	B	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	17	17	17	22	30	14	14	17	14	14
N.S.	1	1.00	1.00	1.29	1.76	0.82	0.82	1.00	0.82	0.82
time (sec)	N/A	0.015	0.008	0.031	0.263	0.372	0.050	0.002	0.187	1.740


Problem 272	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	15	18	16	16
N.S.	1	1.00	1.00	0.77	0.73	0.73	0.68	0.82	0.73	0.73
time (sec)	N/A	0.005	0.003	0.090	0.355	0.349	0.050	0.001	0.162	1.741


Problem 273	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	28	25	24	24	24	32	24	24
N.S.	1	1.00	0.88	0.78	0.75	0.75	0.75	1.00	0.75	0.75
time (sec)	N/A	0.007	0.007	0.004	0.338	0.341	0.078	0.002	0.028	1.774


Problem 274	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	30	30	30	25	35	28	66	46	30	67
N.S.	1	1.00	1.00	0.83	1.17	0.93	2.20	1.53	1.00	2.23
time (sec)	N/A	0.010	0.017	0.057	0.347	0.353	0.642	0.001	0.063	2.695


Problem 275	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	14	13	13	10	14	13	13
N.S.	1	1.00	1.00	1.08	1.00	1.00	0.77	1.08	1.00	1.00
time (sec)	N/A	0.002	0.002	0.057	0.248	0.326	0.046	0.001	0.050	1.698


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

grade	A	A	A	A	B	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	14	17	44	14	17	30	16	16
N.S.	1	1.00	0.88	1.06	2.75	0.88	1.06	1.88	1.00	1.00
time (sec)	N/A	0.016	0.011	0.016	0.272	0.336	0.103	0.000	0.180	1.832


Problem 277	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	20	14	15	15	14	20	13	13
N.S.	1	1.00	1.18	0.82	0.88	0.88	0.82	1.18	0.76	0.76
time (sec)	N/A	0.006	0.004	0.010	0.257	0.333	0.047	0.004	0.070	1.719


Problem 278	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	3	3	3
N.S.	1	1.00	1.00	1.33	1.00	1.00	1.00	1.00	1.00	1.00
time (sec)	N/A	0.011	0.004	0.036	0.350	0.351	0.090	0.001	0.073	1.603


Problem 279	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	20	21	16	16
N.S.	1	1.00	1.00	0.77	0.73	0.73	0.91	0.95	0.73	0.73
time (sec)	N/A	0.007	0.011	0.011	0.251	0.350	0.104	0.001	0.225	1.852


Problem 280	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.002	0.003	0.013	0.257	0.383	0.026	0.000	0.018	1.645


Problem 281	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	9	10	12
N.S.	1	1.00	1.00	0.92	0.83	0.83	0.67	0.75	0.83	1.00
time (sec)	N/A	0.012	0.002	0.007	0.304	0.336	0.043	0.000	0.046	1.823


Problem 282	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	22	22	19	21	26	23	19	20
N.S.	1	1.00	0.81	0.81	0.70	0.78	0.96	0.85	0.70	0.74
time (sec)	N/A	0.006	0.021	0.027	0.252	0.337	0.105	0.001	0.028	1.888


Problem 283	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	17	17	17	14	13	22	26	15	13	13
N.S.	1	1.00	1.00	0.82	0.76	1.29	1.53	0.88	0.76	0.76
time (sec)	N/A	0.005	0.008	0.063	0.251	0.357	0.142	0.001	0.058	1.968


Problem 284	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	20	19	19	19	24	25	19
N.S.	1	1.00	1.00	0.80	0.76	0.76	0.76	0.96	1.00	0.76
time (sec)	N/A	0.009	0.004	0.013	0.355	0.334	0.063	0.001	0.176	1.855


Problem 285	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	28	50	29	25	29	52	25	29
N.S.	1	1.00	0.72	1.28	0.74	0.64	0.74	1.33	0.64	0.74
time (sec)	N/A	0.010	0.008	0.023	0.263	0.347	0.054	0.002	0.041	1.847


Problem 286	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.016	0.017	0.012	0.254	0.331	0.043	0.001	0.050	1.762


Problem 287	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	18	15	10	10	12	10	10	10
N.S.	1	1.00	1.50	1.25	0.83	0.83	1.00	0.83	0.83	0.83
time (sec)	N/A	0.003	0.007	0.013	0.339	0.335	0.031	0.027	0.178	1.771


Problem 288	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	25	25	24	30	22	20	0	26	20	0
N.S.	1	1.00	0.96	1.20	0.88	0.80	0.00	1.04	0.80	0.00
time (sec)	N/A	0.004	0.043	0.080	0.346	0.352	0.000	0.002	0.273	0.000


Problem 289	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	23	22	21	21	20	30	21	21
N.S.	1	1.00	0.85	0.81	0.78	0.78	0.74	1.11	0.78	0.78
time (sec)	N/A	0.010	0.004	0.030	0.299	0.362	0.110	0.002	0.168	1.826


Problem 290	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	12	11	11	15	26	12	11
N.S.	1	1.00	1.00	0.63	0.58	0.58	0.79	1.37	0.63	0.58
time (sec)	N/A	0.002	0.002	0.017	0.249	0.348	0.770	0.002	0.026	2.519


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

grade	A	A	A	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	6	6	6	6	19	15	19	19	15	17
N.S.	1	1.00	1.00	1.00	3.17	2.50	3.17	3.17	2.50	2.83
time (sec)	N/A	0.006	0.020	0.009	0.263	0.337	0.054	0.001	0.099	1.801


Problem 292	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.009	0.004	0.011	0.348	0.335	0.048	0.001	0.186	1.768


Problem 293	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	12	12	12	9	8	8	10	52	8	8
N.S.	1	1.00	1.00	0.75	0.67	0.67	0.83	4.33	0.67	0.67
time (sec)	N/A	0.002	0.010	0.126	0.337	0.324	0.085	0.003	0.219	1.716


Problem 294	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	26	18	25	31	28	26	30
N.S.	1	1.00	0.88	0.76	0.53	0.74	0.91	0.82	0.76	0.88
time (sec)	N/A	0.020	0.010	0.027	0.255	0.368	0.029	0.002	0.039	1.879


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

grade	A	A	A	A	A	B	F	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	23	7	8	29	0	7	6	0
N.S.	1	1.00	1.92	0.58	0.67	2.42	0.00	0.58	0.50	0.00
time (sec)	N/A	0.005	0.050	0.092	0.334	0.326	0.000	0.002	0.163	0.000


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

grade	A	A	A	B	A	A	B	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	59	14	21	44	14	21	44
N.S.	1	1.00	1.00	3.69	0.88	1.31	2.75	0.88	1.31	2.75
time (sec)	N/A	0.030	0.013	0.042	0.256	0.357	1.918	0.001	0.134	4.269


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

grade	A	A	B	A	A	A	B	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	7	7	20	6	5	7	12	6	5	19
N.S.	1	1.00	2.86	0.86	0.71	1.00	1.71	0.86	0.71	2.71
time (sec)	N/A	0.009	0.006	0.027	0.280	0.357	1.056	0.001	0.049	1.935


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

grade	A	A	A	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	6	6	6	6	15	15	15	19	15	17
N.S.	1	1.00	1.00	1.00	2.50	2.50	2.50	3.17	2.50	2.83
time (sec)	N/A	0.011	0.001	0.010	0.271	0.402	0.054	0.000	0.027	1.771


Problem 299	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	43	43	43	35	32	32	41	81	46	32
N.S.	1	1.00	1.00	0.81	0.74	0.74	0.95	1.88	1.07	0.74
time (sec)	N/A	0.013	0.006	0.052	0.337	0.365	0.066	0.000	0.088	1.889


Problem 300	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	37	37	29	38	74	30	42	64	37	37
N.S.	1	1.00	0.78	1.03	2.00	0.81	1.14	1.73	1.00	1.00
time (sec)	N/A	0.047	0.012	0.018	0.270	0.345	0.322	0.001	0.210	2.497


Problem 301	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	9	9	9	8	7	12	0	8	27	0
N.S.	1	1.00	1.00	0.89	0.78	1.33	0.00	0.89	3.00	0.00
time (sec)	N/A	0.013	0.004	0.143	0.269	0.363	0.000	0.002	2.593	0.000


Problem 302	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	17	16	16	12	21	15	14
N.S.	1	1.00	1.00	0.85	0.80	0.80	0.60	1.05	0.75	0.70
time (sec)	N/A	0.002	0.000	0.005	0.265	0.334	0.024	0.000	0.027	1.652


Problem 303	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	13	12	9	9	8	11	9	10
N.S.	1	1.00	1.08	1.00	0.75	0.75	0.67	0.92	0.75	0.83
time (sec)	N/A	0.014	0.013	0.010	0.266	0.357	0.040	0.001	0.181	1.891


Problem 304	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	15	23	17	17
N.S.	1	1.00	1.00	0.86	0.81	0.81	0.71	1.10	0.81	0.81
time (sec)	N/A	0.008	0.003	0.052	0.261	0.337	0.050	0.000	0.053	1.757


Problem 305	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	43	43	43	22	30	27	20	30	11	21
N.S.	1	1.00	1.00	0.51	0.70	0.63	0.47	0.70	0.26	0.49
time (sec)	N/A	0.012	0.009	0.030	0.266	0.340	0.117	0.003	0.396	2.006


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

grade	A	A	A	A	A	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	18	17	16	22	144	72	14	80
N.S.	1	1.00	0.75	0.71	0.67	0.92	6.00	3.00	0.58	3.33
time (sec)	N/A	0.003	0.012	0.057	0.266	0.315	0.500	0.001	0.161	3.212


Problem 307	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	24	26	16	16	34	25	21	17
N.S.	1	1.00	0.63	0.68	0.42	0.42	0.89	0.66	0.55	0.45
time (sec)	N/A	0.012	0.006	0.007	0.266	0.340	0.110	0.001	0.032	1.890


Problem 308	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	37	37	37	93	30	32	39	45	32	30
N.S.	1	1.00	1.00	2.51	0.81	0.86	1.05	1.22	0.86	0.81
time (sec)	N/A	0.024	0.031	0.119	0.346	0.347	0.857	0.001	0.196	2.753


Problem 309	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	16	15	21	14	15	15	15
N.S.	1	1.00	1.00	0.94	0.88	1.24	0.82	0.88	0.88	0.88
time (sec)	N/A	0.018	0.003	0.061	0.260	0.361	0.052	0.000	0.043	1.818


Problem 310	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	29	35	38	26	39	34	34	34
N.S.	1	1.00	0.72	0.88	0.95	0.65	0.98	0.85	0.85	0.85
time (sec)	N/A	0.042	0.030	0.029	0.266	0.371	0.106	0.001	0.200	1.953


Problem 311	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	5	5	5	6	5	20	5	4	5	5
N.S.	1	1.00	1.00	1.20	1.00	4.00	1.00	0.80	1.00	1.00
time (sec)	N/A	0.006	1.666	0.028	0.272	0.380	0.137	0.000	0.219	1.737


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

grade	A	A	B	A	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	6	6	14	5	4	18	3	5	4	4
N.S.	1	1.00	2.33	0.83	0.67	3.00	0.50	0.83	0.67	0.67
time (sec)	N/A	0.001	0.020	0.082	0.358	0.338	0.067	0.001	0.011	1.670


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

grade	A	A	A	A	B	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	37	37	24	30	62	62	61	27	29	62
N.S.	1	1.00	0.65	0.81	1.68	1.68	1.65	0.73	0.78	1.68
time (sec)	N/A	0.008	0.005	0.052	0.261	0.341	0.067	0.001	0.124	2.140


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

grade	A	A	A	B	A	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	21	58	18	36	19	22	18	18
N.S.	1	1.00	1.00	2.76	0.86	1.71	0.90	1.05	0.86	0.86
time (sec)	N/A	0.018	0.017	0.051	0.259	0.331	0.051	0.004	0.377	1.872


Problem 315	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	30	25	24	22	41	31	24	24
N.S.	1	1.00	1.00	0.83	0.80	0.73	1.37	1.03	0.80	0.80
time (sec)	N/A	0.022	0.040	0.032	0.266	0.358	0.077	0.001	0.308	1.956


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

grade	A	A	C	A	A	A	A	A	B	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	4	4	27	4	3	3	3	3	3	4
N.S.	1	1.00	6.75	1.00	0.75	0.75	0.75	0.75	0.75	1.00
time (sec)	N/A	0.012	0.004	0.058	0.260	0.335	0.229	0.000	0.249	1.709


Problem 317	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	15	11	10	18	11	11
N.S.	1	1.00	1.00	0.92	1.15	0.85	0.77	1.38	0.85	0.85
time (sec)	N/A	0.003	0.002	0.051	0.266	0.325	0.049	0.001	0.069	1.806


Problem 318	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	44	44	24	41	21	21	22	26	21	22
N.S.	1	1.00	0.55	0.93	0.48	0.48	0.50	0.59	0.48	0.50
time (sec)	N/A	0.022	0.014	0.016	0.262	0.377	0.044	0.000	0.042	1.812


Problem 319	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	42	28	27	25	37	46	27	27
N.S.	1	1.00	1.02	0.68	0.66	0.61	0.90	1.12	0.66	0.66
time (sec)	N/A	0.008	0.023	0.052	0.363	0.327	1.674	0.001	0.043	3.595


Problem 320	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	25	25	25	20	19	17	114	18	14	21
N.S.	1	1.00	1.00	0.80	0.76	0.68	4.56	0.72	0.56	0.84
time (sec)	N/A	0.019	0.011	0.046	0.259	0.353	1.240	0.001	0.223	3.763


Problem 321	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	7	17	8	8
N.S.	1	1.00	1.00	0.92	0.83	0.83	0.58	1.42	0.67	0.67
time (sec)	N/A	0.001	0.002	0.005	0.259	0.325	0.039	0.000	0.175	1.663


Problem 322	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	41	41	64	41	43	32	0	32	43	0
N.S.	1	1.00	1.56	1.00	1.05	0.78	0.00	0.78	1.05	0.00
time (sec)	N/A	0.008	0.068	0.083	0.344	0.346	0.000	0.005	0.050	0.000


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

grade	A	A	A	C	A	A	A	A	F	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	34	34	27	119	27	27	29	33	-1	0
N.S.	1	1.00	0.79	3.50	0.79	0.79	0.85	0.97	-0.03	0.00
time (sec)	N/A	0.023	0.014	0.054	0.356	0.342	1.389	0.002	0.000	0.000


Problem 324	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	19	19	19	18	17	17	42	17	17	17
N.S.	1	1.00	1.00	0.95	0.89	0.89	2.21	0.89	0.89	0.89
time (sec)	N/A	0.004	0.004	0.044	0.347	0.329	0.053	0.001	0.043	1.858


Problem 325	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	38	38	45	30	39	37	0	39	28	0
N.S.	1	1.00	1.18	0.79	1.03	0.97	0.00	1.03	0.74	0.00
time (sec)	N/A	0.008	0.070	0.135	0.358	0.333	0.000	0.002	0.046	0.000


Problem 326	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	9	8	8	7	10	8	8
N.S.	1	1.00	1.00	0.75	0.67	0.67	0.58	0.83	0.67	0.67
time (sec)	N/A	0.003	0.003	0.055	0.347	0.330	0.058	0.000	0.182	1.649


Problem 327	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	27	26	26	36	32	28	26
N.S.	1	1.00	1.00	0.87	0.84	0.84	1.16	1.03	0.90	0.84
time (sec)	N/A	0.011	0.007	0.177	0.350	0.327	0.056	0.000	0.038	1.849


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

grade	A	A	B	A	B	B	F	B	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	10	10	37	16	121	29	0	169	19	0
N.S.	1	1.00	3.70	1.60	12.10	2.90	0.00	16.90	1.90	0.00
time (sec)	N/A	0.006	0.008	0.045	0.374	0.367	0.000	0.037	0.111	0.000


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

grade	A	A	A	B	B	A	A	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	30	29	26	22	39	13	26
N.S.	1	1.00	1.00	2.00	1.93	1.73	1.47	2.60	0.87	1.73
time (sec)	N/A	0.004	0.004	0.043	0.259	0.363	0.075	0.001	0.059	2.156


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

grade	A	A	A	A	F	A	B	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	21	14	0	13	63	38	21	27
N.S.	1	1.00	1.00	0.67	0.00	0.62	3.00	1.81	1.00	1.29
time (sec)	N/A	0.003	0.057	0.007	0.000	0.315	0.166	0.003	0.199	2.351


Problem 331	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	19	17	19	21	17	17
N.S.	1	1.00	0.78	0.78	0.83	0.74	0.83	0.91	0.74	0.74
time (sec)	N/A	0.011	0.027	0.011	0.277	0.346	0.062	0.001	0.249	1.795


Problem 332	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	17	16	16	17	23	16	16
N.S.	1	1.00	1.00	0.85	0.80	0.80	0.85	1.15	0.80	0.80
time (sec)	N/A	0.005	0.007	0.011	0.261	0.343	0.141	0.001	0.251	1.771


Problem 333	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	16	18	19	14	18	18	18
N.S.	1	1.00	1.00	0.89	1.00	1.06	0.78	1.00	1.00	1.00
time (sec)	N/A	0.005	0.003	0.019	0.260	0.366	0.064	0.000	0.168	1.772


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

grade	A	A	A	A	A	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	12	20	19	25	20	22	19	22
N.S.	1	1.00	1.00	1.67	1.58	2.08	1.67	1.83	1.58	1.83
time (sec)	N/A	0.008	0.025	0.016	0.259	0.346	0.060	0.000	0.232	1.807


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

grade	A	A	A	A	A	A	A	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	8	8	8	13	10	15	12	25	8	16
N.S.	1	1.00	1.00	1.62	1.25	1.88	1.50	3.12	1.00	2.00
time (sec)	N/A	0.023	0.007	0.044	0.357	0.352	0.383	0.003	0.213	2.012


Problem 336	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	18	18	18	13	12	12	44	17	12	31
N.S.	1	1.00	1.00	0.72	0.67	0.67	2.44	0.94	0.67	1.72
time (sec)	N/A	0.002	0.011	0.096	0.347	0.327	0.429	0.000	0.145	2.159


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

grade	A	A	A	A	F	B	F(-2)	A	B	F(-2)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	11	10	0	24	0	9	18	0
N.S.	1	1.00	1.00	0.91	0.00	2.18	0.00	0.82	1.64	0.00
time (sec)	N/A	0.030	0.012	0.085	0.000	0.387	0.000	0.006	0.430	0.000


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

grade	A	A	C	A	A	A	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	30	30	41	23	22	30	27	33	22	22
N.S.	1	1.00	1.37	0.77	0.73	1.00	0.90	1.10	0.73	0.73
time (sec)	N/A	0.004	0.027	0.109	0.353	0.340	0.095	0.003	0.173	1.972


Problem 339	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.022	0.012	0.018	0.280	0.340	0.154	0.000	0.031	1.872


Problem 340	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	50	50	47	42	49	39	0	50	39	0
N.S.	1	1.00	0.94	0.84	0.98	0.78	0.00	1.00	0.78	0.00
time (sec)	N/A	0.009	0.054	0.157	0.346	0.329	0.000	0.006	0.212	0.000


Problem 341	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	11	11	11	10	9	46	51	12	9	45
N.S.	1	1.00	1.00	0.91	0.82	4.18	4.64	1.09	0.82	4.09
time (sec)	N/A	0.001	0.001	0.048	0.262	0.328	0.028	0.000	0.206	1.810


Problem 342	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	31	28	19	19	20	25	19	20
N.S.	1	1.00	1.24	1.12	0.76	0.76	0.80	1.00	0.76	0.80
time (sec)	N/A	0.016	0.013	0.028	0.271	0.369	0.032	0.000	0.172	1.799


Problem 343	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	22	22	19	21	26	24	19	20
N.S.	1	1.00	0.81	0.81	0.70	0.78	0.96	0.89	0.70	0.74
time (sec)	N/A	0.006	0.022	0.027	0.313	0.328	0.195	0.001	0.029	2.003


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

grade	A	A	A	A	A	B	B	B	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	41	24	34	56	36	84	18	37
N.S.	1	1.00	1.71	1.00	1.42	2.33	1.50	3.50	0.75	1.54
time (sec)	N/A	0.005	0.008	0.040	0.266	0.351	0.072	0.002	0.069	2.177


Problem 345	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	35	47	33	35	17	50	32	21
N.S.	1	1.00	1.03	1.38	0.97	1.03	0.50	1.47	0.94	0.62
time (sec)	N/A	0.005	0.026	0.118	0.355	0.328	0.109	0.003	0.516	1.806


Problem 346	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	30	30	30	25	35	28	73	45	37	68
N.S.	1	1.00	1.00	0.83	1.17	0.93	2.43	1.50	1.23	2.27
time (sec)	N/A	0.010	0.017	0.063	0.355	0.353	0.749	0.001	0.107	2.891


Problem 347	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	24	16	16	15	18	16	17
N.S.	1	1.00	0.59	0.75	0.50	0.50	0.47	0.56	0.50	0.53
time (sec)	N/A	0.011	0.011	0.014	0.259	0.324	0.049	0.000	0.033	1.737


Problem 348	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	23	23	31	18	17	12	26	61	12	12
N.S.	1	1.00	1.35	0.78	0.74	0.52	1.13	2.65	0.52	0.52
time (sec)	N/A	0.022	0.015	0.039	0.261	0.320	0.130	0.006	0.103	1.846


Problem 349	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	24	22	21	21	19	22	21	21
N.S.	1	1.00	0.89	0.81	0.78	0.78	0.70	0.81	0.78	0.78
time (sec)	N/A	0.009	0.004	0.005	0.342	0.337	0.087	0.001	0.278	1.949


Problem 350	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	32	31	53	28	29	41	28	30
N.S.	1	1.00	0.84	0.82	1.39	0.74	0.76	1.08	0.74	0.79
time (sec)	N/A	0.015	0.008	0.005	0.351	0.324	0.209	0.002	0.220	1.956


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

grade	A	A	A	A	A	B	F	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	5	5	5	5	4	16	0	6	6	9
N.S.	1	1.00	1.00	1.00	0.80	3.20	0.00	1.20	1.20	1.80
time (sec)	N/A	0.006	0.005	0.012	0.266	0.375	0.000	0.000	0.047	2.063


Problem 352	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	25	24	21	21	27	26	23	23
N.S.	1	1.00	0.86	0.83	0.72	0.72	0.93	0.90	0.79	0.79
time (sec)	N/A	0.015	0.018	0.016	0.269	0.354	0.106	0.001	0.193	1.831


Problem 353	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	36	36	45	29	36	47	0	35	27	0
N.S.	1	1.00	1.25	0.81	1.00	1.31	0.00	0.97	0.75	0.00
time (sec)	N/A	0.006	0.059	0.093	0.348	0.322	0.000	0.002	0.176	0.000


Problem 354	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	31	23	22	22	24	30	22	22
N.S.	1	1.00	1.11	0.82	0.79	0.79	0.86	1.07	0.79	0.79
time (sec)	N/A	0.013	0.007	0.066	0.364	0.310	0.065	0.001	0.056	1.793


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

grade	A	A	B	A	B	B	A	A	B	A
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	26	26	58	25	42	43	46	47	29	38
N.S.	1	1.00	2.23	0.96	1.62	1.65	1.77	1.81	1.12	1.46
time (sec)	N/A	0.009	0.085	0.081	0.264	0.402	0.072	0.002	0.058	2.358


Problem 356	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	46	46	30	32	24	33	46	32	22	34
N.S.	1	1.00	0.65	0.70	0.52	0.72	1.00	0.70	0.48	0.74
time (sec)	N/A	0.011	0.007	0.033	0.264	0.332	0.030	0.001	0.207	2.053


Problem 357	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	15	17	16	24	17	19	11	13
N.S.	1	1.00	0.75	0.85	0.80	1.20	0.85	0.95	0.55	0.65
time (sec)	N/A	0.022	0.012	0.138	0.264	0.340	0.860	0.001	0.248	2.515


Problem 358	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	24	22	16	24	14	18	19	19
N.S.	1	1.00	1.14	1.05	0.76	1.14	0.67	0.86	0.90	0.90
time (sec)	N/A	0.016	0.019	0.013	0.273	0.391	0.049	0.001	0.069	1.796


Problem 359	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	37	37	33	31	47	58	0	68	-1	0
N.S.	1	1.00	0.89	0.84	1.27	1.57	0.00	1.84	-0.03	0.00
time (sec)	N/A	0.024	0.014	0.046	0.384	0.415	0.000	0.004	0.000	0.000


Problem 360	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	28	28	42	26	29	27	0	34	23	0
N.S.	1	1.00	1.50	0.93	1.04	0.96	0.00	1.21	0.82	0.00
time (sec)	N/A	0.005	0.040	0.062	0.266	0.355	0.000	0.002	0.152	0.000


Problem 361	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	23	17	15	18	17	19	21	15
N.S.	1	1.00	1.21	0.89	0.79	0.95	0.89	1.00	1.11	0.79
time (sec)	N/A	0.005	0.002	0.064	0.274	0.330	0.029	0.000	0.035	1.747


Problem 362	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	46	46	26	42	24	24	22	26	24	26
N.S.	1	1.00	0.57	0.91	0.52	0.52	0.48	0.57	0.52	0.57
time (sec)	N/A	0.024	0.012	0.029	0.285	0.335	0.043	0.000	0.027	1.854


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

grade	A	A	A	A	B	A	A	A	F	C
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	18	15	33	16	32	20	-1	31
N.S.	1	1.00	1.00	0.83	1.83	0.89	1.78	1.11	-0.06	1.72
time (sec)	N/A	0.005	0.111	0.109	0.264	0.327	0.462	0.002	0.000	2.123


Problem 364	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	22	22	19	21	24	24	19	20
N.S.	1	1.00	0.81	0.81	0.70	0.78	0.89	0.89	0.70	0.74
time (sec)	N/A	0.006	0.031	0.031	0.277	0.343	0.101	0.001	0.200	1.883


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

grade	A	A	A	A	A	A	F(-1)	A	B	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD	TBD
size	18	22	18	17	16	15	0	15	18	0
N.S.	1	1.22	1.00	0.94	0.89	0.83	0.00	0.83	1.00	0.00
time (sec)	N/A	0.019	0.005	0.010	0.274	0.332	0.000	0.000	0.235	0.000


Problem 366	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	23	22	21	21	20	30	21	21
N.S.	1	1.00	0.85	0.81	0.78	0.78	0.74	1.11	0.78	0.78
time (sec)	N/A	0.010	0.004	0.004	0.268	0.335	0.112	0.001	0.002	1.878


Problem 367	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	26	26	26	21	20	20	24	23	31	30
N.S.	1	1.00	1.00	0.81	0.77	0.77	0.92	0.88	1.19	1.15
time (sec)	N/A	0.008	0.018	0.043	0.358	0.342	0.597	0.001	0.257	2.533


Problem 368	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	11	14	9	9	15	9	9	10
N.S.	1	1.00	0.73	0.93	0.60	0.60	1.00	0.60	0.60	0.67
time (sec)	N/A	0.011	0.013	0.049	0.281	0.342	0.963	0.000	0.274	2.729


Problem 369	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	47	47	42	35	34	37	121	37	30	98
N.S.	1	1.00	0.89	0.74	0.72	0.79	2.57	0.79	0.64	2.09
time (sec)	N/A	0.007	0.030	0.082	0.347	0.350	1.653	0.003	0.037	3.785


Problem 370	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	36	10	9	26	27	12	26	25
N.S.	1	1.00	3.27	0.91	0.82	2.36	2.45	1.09	2.36	2.27
time (sec)	N/A	0.001	0.001	0.041	0.263	0.339	0.026	0.000	0.024	1.754


Problem 371	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	13	13	12	19	14	12
N.S.	1	1.00	1.00	1.06	0.76	0.76	0.71	1.12	0.82	0.71
time (sec)	N/A	0.014	0.008	0.026	0.273	0.367	0.030	0.000	0.050	1.776


Problem 372	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	17	17	27	22	13	20	29	15	13	17
N.S.	1	1.00	1.59	1.29	0.76	1.18	1.71	0.88	0.76	1.00
time (sec)	N/A	0.014	0.012	0.019	0.267	0.344	0.033	0.001	0.190	1.961


Problem 373	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	17	36	84	14	17
N.S.	1	1.00	0.67	0.74	0.70	0.63	1.33	3.11	0.52	0.63
time (sec)	N/A	0.003	0.007	0.040	0.260	0.331	0.517	0.001	0.035	2.289


Problem 374	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.006	0.002	0.000	0.283	0.360	0.029	0.000	0.032	1.866


Problem 375	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	17	20	18	12	16	16	10
N.S.	1	1.00	1.00	1.42	1.67	1.50	1.00	1.33	1.33	0.83
time (sec)	N/A	0.004	0.003	0.005	0.279	0.342	0.057	0.001	0.019	1.819


Problem 376	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	35	34	26	53	58	25	26
N.S.	1	1.00	0.75	0.88	0.85	0.65	1.32	1.45	0.62	0.65
time (sec)	N/A	0.009	0.012	0.107	0.353	0.322	0.361	0.001	0.025	2.265

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