Integrals 101 to 200

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

2.2.2 Integrals 101 to 200

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 101	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	25	25	16	20	22	29	17	18	22
N.S.	1	1.00	0.64	0.80	0.88	1.16	0.68	0.72	0.88
time (sec)	N/A	0.008	0.007	0.052	0.995	0.931	0.026	0.579	0.168


Problem 102	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	36	33	32	39	31	45	32
N.S.	1	1.00	1.00	0.92	0.89	1.08	0.86	1.25	0.89
time (sec)	N/A	0.012	0.011	0.046	3.217	0.864	0.023	0.547	0.029


Problem 103	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	37	28	30	45	31	27	30
N.S.	1	1.00	0.90	0.68	0.73	1.10	0.76	0.66	0.73
time (sec)	N/A	0.027	0.015	0.015	5.262	0.670	0.049	0.542	0.064


Problem 104	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	27	28	29	45	26	37	29
N.S.	1	1.00	1.00	1.04	1.07	1.67	0.96	1.37	1.07
time (sec)	N/A	0.024	0.013	0.056	2.095	0.605	0.046	0.538	0.191


Problem 105	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	39	39	47	32	29	45	32	35	31
N.S.	1	1.00	1.21	0.82	0.74	1.15	0.82	0.90	0.79
time (sec)	N/A	0.024	0.013	0.071	3.327	0.535	0.055	0.621	0.047


Problem 106	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	46	46	40	35	40	65	37	40	40
N.S.	1	1.00	0.87	0.76	0.87	1.41	0.80	0.87	0.87
time (sec)	N/A	0.015	0.011	0.017	3.793	0.484	0.061	0.501	0.183


Problem 107	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	29	29	29	24	23	23	22	24	29
N.S.	1	1.00	1.00	0.83	0.79	0.79	0.76	0.83	1.00
time (sec)	N/A	0.021	0.007	0.016	4.320	0.469	0.043	0.521	0.049


Problem 108	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	27	22	21	21	22	23	27
N.S.	1	1.00	1.00	0.81	0.78	0.78	0.81	0.85	1.00
time (sec)	N/A	0.016	0.006	0.066	3.740	0.496	0.071	0.510	0.049


Problem 109	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	32	26	25	25	29	27	17
N.S.	1	1.00	1.33	1.08	1.04	1.04	1.21	1.12	0.71
time (sec)	N/A	0.007	0.008	0.018	2.688	0.484	0.056	0.474	0.059


Problem 110	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	41	33	32	44	39	33	49
N.S.	1	1.00	1.00	0.80	0.78	1.07	0.95	0.80	1.20
time (sec)	N/A	0.057	0.017	0.020	2.011	0.546	0.058	0.793	0.252


Problem 111	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	46	46	40	37	36	57	37	62	38
N.S.	1	1.00	0.87	0.80	0.78	1.24	0.80	1.35	0.83
time (sec)	N/A	0.139	0.016	0.062	2.220	0.517	0.088	0.776	0.190


Problem 112	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	47	47	37	34	36	59	36	32	42
N.S.	1	1.00	0.79	0.72	0.77	1.26	0.77	0.68	0.89
time (sec)	N/A	0.030	0.021	0.063	2.429	0.471	0.064	0.825	0.043


Problem 113	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	67	67	73	54	53	53	70	53	47
N.S.	1	1.00	1.09	0.81	0.79	0.79	1.04	0.79	0.70
time (sec)	N/A	0.029	0.044	0.007	2.600	0.472	0.077	0.645	0.094


Problem 114	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	48	48	67	46	54	58	306	64	73
N.S.	1	1.00	1.40	0.96	1.12	1.21	6.38	1.33	1.52
time (sec)	N/A	0.035	0.013	0.076	1.532	0.451	0.305	0.622	0.167


Problem 115	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	58	58	46	41	43	66	46	39	44
N.S.	1	1.00	0.79	0.71	0.74	1.14	0.79	0.67	0.76
time (sec)	N/A	0.039	0.020	0.109	1.709	0.476	0.071	0.936	0.203


Problem 116	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	51	51	47	36	35	35	44	35	35
N.S.	1	1.00	0.92	0.71	0.69	0.69	0.86	0.69	0.69
time (sec)	N/A	0.186	0.018	0.083	2.815	0.434	0.190	0.796	0.242


Problem 117	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	41	34	33	33	32	33	33
N.S.	1	1.00	1.00	0.83	0.80	0.80	0.78	0.80	0.80
time (sec)	N/A	0.206	0.007	0.073	3.615	0.390	0.069	0.819	0.056


Problem 118	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	56	56	52	51	49	45	73	50	64
N.S.	1	1.00	0.93	0.91	0.88	0.80	1.30	0.89	1.14
time (sec)	N/A	0.023	0.009	0.064	2.241	0.403	0.048	0.925	0.440


Problem 119	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	56	56	50	51	49	43	71	50	68
N.S.	1	1.00	0.89	0.91	0.88	0.77	1.27	0.89	1.21
time (sec)	N/A	0.021	0.005	0.046	2.543	0.362	0.042	0.803	0.118


Problem 120	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	12	11	10	10	8	11	10
N.S.	1	1.00	1.00	0.92	0.83	0.83	0.67	0.92	0.83
time (sec)	N/A	0.002	0.003	0.046	2.768	0.405	0.028	0.925	0.030


Problem 121	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	22	34	23	18	19	22	18
N.S.	1	1.00	1.00	1.55	1.05	0.82	0.86	1.00	0.82
time (sec)	N/A	0.006	0.004	0.046	3.019	0.376	0.085	0.871	0.249


Problem 122	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	63	63	60	60	57	53	83	58	88
N.S.	1	1.00	0.95	0.95	0.90	0.84	1.32	0.92	1.40
time (sec)	N/A	0.027	0.011	0.053	2.600	0.384	0.062	0.842	0.249


Problem 123	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	65	65	68	60	57	62	80	58	86
N.S.	1	1.00	1.05	0.92	0.88	0.95	1.23	0.89	1.32
time (sec)	N/A	0.026	0.013	0.052	2.919	0.368	0.073	1.005	0.252


Problem 124	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	33	33	33	43	31	33	29	40	29
N.S.	1	1.00	1.00	1.30	0.94	1.00	0.88	1.21	0.88
time (sec)	N/A	0.014	0.004	0.049	2.463	0.385	0.111	1.000	0.073


Problem 125	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	73	73	74	66	66	68	90	67	99
N.S.	1	1.00	1.01	0.90	0.90	0.93	1.23	0.92	1.36
time (sec)	N/A	0.032	0.010	0.054	3.185	0.413	0.088	0.947	0.104


Problem 126	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	46	46	45	0	0	0	92	0	-1
N.S.	1	1.00	0.98	0.00	0.00	0.00	2.00	0.00	-0.02
time (sec)	N/A	0.008	0.100	0.023	0.000	0.000	1.229	0.000	0.000


Problem 127	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	38	33	32	26	37	34	18
N.S.	1	1.00	1.41	1.22	1.19	0.96	1.37	1.26	0.67
time (sec)	N/A	0.006	0.004	0.052	2.769	0.408	0.054	1.199	0.070


Problem 128	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	B	A	A	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	30	29	26	24	30	13
N.S.	1	1.00	1.00	2.00	1.93	1.73	1.60	2.00	0.87
time (sec)	N/A	0.005	0.004	0.126	2.977	0.415	0.057	1.143	0.048


Problem 129	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	24	41	25	20	19	26	20
N.S.	1	1.00	1.00	1.71	1.04	0.83	0.79	1.08	0.83
time (sec)	N/A	0.008	0.005	0.056	1.804	0.392	0.108	0.945	0.275


Problem 130	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	35	35	46	41	40	36	44	42	31
N.S.	1	1.00	1.31	1.17	1.14	1.03	1.26	1.20	0.89
time (sec)	N/A	0.009	0.006	0.062	2.086	0.382	0.078	0.822	0.223


Problem 131	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	26	26	50	43	37	41	34	38	22
N.S.	1	1.00	1.92	1.65	1.42	1.58	1.31	1.46	0.85
time (sec)	N/A	0.008	0.006	0.052	1.735	0.392	0.088	1.137	0.200


Problem 132	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	37	37	48	41	40	45	48	42	31
N.S.	1	1.00	1.30	1.11	1.08	1.22	1.30	1.14	0.84
time (sec)	N/A	0.008	0.006	0.053	3.108	0.363	0.089	1.349	0.080


Problem 133	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	45	45	44	0	0	0	95	0	-1
N.S.	1	1.00	0.98	0.00	0.00	0.00	2.11	0.00	-0.02
time (sec)	N/A	0.007	0.161	0.026	0.000	0.000	0.442	0.000	0.000


Problem 134	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	15	14	13	13	29	13	13
N.S.	1	1.00	1.00	0.93	0.87	0.87	1.93	0.87	0.87
time (sec)	N/A	0.004	0.003	0.055	1.765	0.355	0.052	0.764	0.185


Problem 135	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	109	109	79	85	98	199	19	114	33
N.S.	1	1.00	0.72	0.78	0.90	1.83	0.17	1.05	0.30
time (sec)	N/A	0.045	0.020	0.045	3.432	0.416	0.048	0.613	0.100


Problem 136	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	A	C	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	201	201	204	101	180	11094	39	177	174
N.S.	1	1.00	1.01	0.50	0.90	55.19	0.19	0.88	0.87
time (sec)	N/A	0.233	0.099	0.053	5.056	1.290	0.051	0.573	0.588


Problem 137	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	A	C	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	201	201	204	97	160	18781	41	177	182
N.S.	1	1.00	1.01	0.48	0.80	93.44	0.20	0.88	0.91
time (sec)	N/A	0.191	0.033	0.049	3.011	1.295	0.048	0.522	0.591


Problem 138	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	A	C	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	201	201	204	101	160	12656	41	177	202
N.S.	1	1.00	1.01	0.50	0.80	62.97	0.20	0.88	1.00
time (sec)	N/A	0.245	0.039	0.049	1.545	1.469	0.055	0.601	0.797


Problem 139	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	A	C	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	201	201	204	97	180	17865	39	177	202
N.S.	1	1.00	1.01	0.48	0.90	88.88	0.19	0.88	1.00
time (sec)	N/A	0.237	0.023	0.052	2.398	2.345	0.053	0.584	0.410


Problem 140	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	12	12	12	11	10	10	8	11	10
N.S.	1	1.00	1.00	0.92	0.83	0.83	0.67	0.92	0.83
time (sec)	N/A	0.002	0.002	0.049	2.389	0.763	0.034	0.545	0.184


Problem 141	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	22	49	23	18	19	22	18
N.S.	1	1.00	1.00	2.23	1.05	0.82	0.86	1.00	0.82
time (sec)	N/A	0.008	0.003	0.141	1.284	0.934	0.113	0.502	0.268


Problem 142	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	A	C	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	209	209	172	109	192	15275	48	185	210
N.S.	1	1.00	0.82	0.52	0.92	73.09	0.23	0.89	1.00
time (sec)	N/A	0.259	0.107	0.052	2.099	1.742	0.074	0.636	0.394


Problem 143	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	A	C	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	211	211	174	105	173	15499	51	185	210
N.S.	1	1.00	0.82	0.50	0.82	73.45	0.24	0.88	1.00
time (sec)	N/A	0.260	0.096	0.056	2.019	1.463	0.083	0.477	0.782


Problem 144	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	A	C	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	211	211	175	109	172	15501	51	185	214
N.S.	1	1.00	0.83	0.52	0.82	73.46	0.24	0.88	1.01
time (sec)	N/A	0.208	0.078	0.051	3.747	1.371	0.082	0.460	0.692


Problem 145	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	C	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	46	46	45	0	0	0	92	0	-1
N.S.	1	1.00	0.98	0.00	0.00	0.00	2.00	0.00	-0.02
time (sec)	N/A	0.007	0.184	0.026	0.000	0.000	8.502	0.000	0.000


Problem 146	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	35	35	21	28	27	9	8	27	9
N.S.	1	1.00	0.60	0.80	0.77	0.26	0.23	0.77	0.26
time (sec)	N/A	0.307	0.006	0.056	3.615	0.542	0.041	0.451	0.034


Problem 147	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	60	60	51	52	54	71	63	44	45
N.S.	1	1.00	0.85	0.87	0.90	1.18	1.05	0.73	0.75
time (sec)	N/A	0.017	0.020	0.180	7.133	0.545	0.061	0.499	0.079


Problem 148	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	43	43	30	28	38	52	36	28	27
N.S.	1	1.00	0.70	0.65	0.88	1.21	0.84	0.65	0.63
time (sec)	N/A	0.010	0.009	0.051	7.242	0.538	0.049	0.454	0.182


Problem 149	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F(-2)	B	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	90	90	88	103	0	448	323	92	159
N.S.	1	1.00	0.98	1.14	0.00	4.98	3.59	1.02	1.77
time (sec)	N/A	0.051	0.061	0.151	0.000	0.530	0.539	0.462	0.287


Problem 150	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	38	38	38	35	33	50	31	33	41
N.S.	1	1.00	1.00	0.92	0.87	1.32	0.82	0.87	1.08
time (sec)	N/A	0.019	0.011	0.086	3.404	0.502	0.045	0.501	0.202


Problem 151	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	57	57	49	53	42	58	53	43	60
N.S.	1	1.00	0.86	0.93	0.74	1.02	0.93	0.75	1.05
time (sec)	N/A	0.018	0.016	0.058	3.915	0.481	0.058	0.443	0.082


Problem 152	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	33	29	31	40	32	28	29
N.S.	1	1.00	0.92	0.81	0.86	1.11	0.89	0.78	0.81
time (sec)	N/A	0.016	0.012	0.049	2.937	0.426	0.049	0.503	0.180


Problem 153	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	49	49	78	41	40	40	46	40	52
N.S.	1	1.00	1.59	0.84	0.82	0.82	0.94	0.82	1.06
time (sec)	N/A	0.029	0.011	0.052	5.424	0.469	0.051	0.468	0.086


Problem 154	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	13	20	13	14	14	13	14	0	14
N.S.	1	1.54	1.00	1.08	1.08	1.00	1.08	0.00	1.08
time (sec)	N/A	0.033	0.018	0.072	1.503	0.442	0.788	0.000	0.322


Problem 155	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	38	35	34	34	42	34	34
N.S.	1	1.00	0.93	0.85	0.83	0.83	1.02	0.83	0.83
time (sec)	N/A	0.028	0.008	0.016	5.190	0.478	0.040	0.569	0.202


Problem 156	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	32	32	32	25	24	24	24	25	22
N.S.	1	1.00	1.00	0.78	0.75	0.75	0.75	0.78	0.69
time (sec)	N/A	0.017	0.004	0.016	2.304	0.425	0.041	0.511	0.086


Problem 157	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	25	25	25	18	17	17	15	19	16
N.S.	1	1.00	1.00	0.72	0.68	0.68	0.60	0.76	0.64
time (sec)	N/A	0.013	0.004	0.016	1.901	0.371	0.034	0.479	0.584


Problem 158	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	24	27	32	46	29	23	22
N.S.	1	1.00	0.67	0.75	0.89	1.28	0.81	0.64	0.61
time (sec)	N/A	0.018	0.009	0.057	2.147	0.398	0.036	0.445	0.039


Problem 159	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	B	B	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	45	45	24	30	72	72	70	22	29
N.S.	1	1.00	0.53	0.67	1.60	1.60	1.56	0.49	0.64
time (sec)	N/A	0.010	0.005	0.057	2.895	0.383	0.061	0.477	0.099


Problem 160	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	55	55	41	46	48	67	42	55	43
N.S.	1	1.00	0.75	0.84	0.87	1.22	0.76	1.00	0.78
time (sec)	N/A	0.030	0.009	0.051	2.141	0.396	0.043	0.504	0.048


Problem 161	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	38	35	38	59	41	43	31
N.S.	1	1.00	1.06	0.97	1.06	1.64	1.14	1.19	0.86
time (sec)	N/A	0.012	0.017	0.133	1.793	0.389	0.049	0.469	0.039


Problem 162	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	35	35	31	28	31	48	29	40	34
N.S.	1	1.00	0.89	0.80	0.89	1.37	0.83	1.14	0.97
time (sec)	N/A	0.011	0.012	0.076	1.779	0.381	0.045	0.523	0.220


Problem 163	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	61	61	46	42	50	85	51	42	45
N.S.	1	1.00	0.75	0.69	0.82	1.39	0.84	0.69	0.74
time (sec)	N/A	0.010	0.017	0.073	3.435	0.397	0.061	0.531	0.123


Problem 164	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	51	51	36	44	44	62	42	34	39
N.S.	1	1.00	0.71	0.86	0.86	1.22	0.82	0.67	0.76
time (sec)	N/A	0.011	0.013	0.125	3.185	0.350	0.059	0.465	0.203


Problem 165	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	54	54	54	49	60	105	58	47	55
N.S.	1	1.00	1.00	0.91	1.11	1.94	1.07	0.87	1.02
time (sec)	N/A	0.019	0.015	0.052	2.766	0.385	0.065	0.491	0.051


Problem 166	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	42	53	32	40	53	49	48	33
N.S.	1	1.17	1.47	0.89	1.11	1.47	1.36	1.33	0.92
time (sec)	N/A	0.010	0.024	0.084	2.771	0.371	0.035	0.494	0.252


Problem 167	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	58	58	40	32	41	59	39	31	40
N.S.	1	1.00	0.69	0.55	0.71	1.02	0.67	0.53	0.69
time (sec)	N/A	0.012	0.014	0.050	2.926	0.397	0.052	0.508	0.074


Problem 168	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	43	43	43	37	36	45	42	36	36
N.S.	1	1.00	1.00	0.86	0.84	1.05	0.98	0.84	0.84
time (sec)	N/A	0.016	0.024	0.186	2.287	0.364	0.049	0.483	0.191


Problem 169	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	43	43	62	37	47	68	58	51	34
N.S.	1	1.00	1.44	0.86	1.09	1.58	1.35	1.19	0.79
time (sec)	N/A	0.018	0.028	0.110	3.233	0.440	0.051	0.474	0.215


Problem 170	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	37	37	25	28	30	38	24	40	32
N.S.	1	1.00	0.68	0.76	0.81	1.03	0.65	1.08	0.86
time (sec)	N/A	0.012	0.009	0.049	2.782	0.413	0.053	0.611	0.037


Problem 171	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	32	39	26	29	28	38	26	32	28
N.S.	1	1.22	0.81	0.91	0.88	1.19	0.81	1.00	0.88
time (sec)	N/A	0.019	0.011	0.045	2.083	0.506	0.045	0.710	0.189


Problem 172	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	13	12	11	19	20	11	11
N.S.	1	1.00	1.00	0.92	0.85	1.46	1.54	0.85	0.85
time (sec)	N/A	0.002	0.003	0.046	1.990	0.488	0.109	0.526	0.199


Problem 173	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	54	54	46	52	57	81	51	56	52
N.S.	1	1.00	0.85	0.96	1.06	1.50	0.94	1.04	0.96
time (sec)	N/A	0.023	0.021	0.056	2.456	0.473	0.214	0.494	0.106


Problem 174	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	157	157	134	124	147	338	66	150	76
N.S.	1	1.00	0.85	0.79	0.94	2.15	0.42	0.96	0.48
time (sec)	N/A	0.074	0.072	0.053	3.735	0.454	0.189	0.528	0.114


Problem 175	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	C	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	64	64	75	53	60	78	78	50	53
N.S.	1	1.00	1.17	0.83	0.94	1.22	1.22	0.78	0.83
time (sec)	N/A	0.022	0.034	0.056	1.988	0.481	0.211	0.481	0.222


Problem 176	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	39	39	33	34	34	45	27	30	29
N.S.	1	1.00	0.85	0.87	0.87	1.15	0.69	0.77	0.74
time (sec)	N/A	0.018	0.010	0.051	1.765	0.395	0.060	0.564	0.050


Problem 177	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	C	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	319	319	293	354	335	1751	37	250	285
N.S.	1	1.00	0.92	1.11	1.05	5.49	0.12	0.78	0.89
time (sec)	N/A	0.424	0.221	0.104	2.637	3.724	0.120	0.649	1.604


Problem 178	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	59	59	65	39	56	73	58	55	41
N.S.	1	1.00	1.10	0.66	0.95	1.24	0.98	0.93	0.69
time (sec)	N/A	0.015	0.048	0.062	3.244	0.473	0.060	0.518	0.243


Problem 179	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	33	29	31	40	32	28	29
N.S.	1	1.00	0.92	0.81	0.86	1.11	0.89	0.78	0.81
time (sec)	N/A	0.017	0.005	0.045	2.975	0.456	0.049	0.481	0.002


Problem 180	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	38	38	32	31	38	65	36	35	33
N.S.	1	1.00	0.84	0.82	1.00	1.71	0.95	0.92	0.87
time (sec)	N/A	0.043	0.018	0.031	1.120	0.438	0.046	0.501	0.065


Problem 181	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	64	64	65	61	50	73	60	60	63
N.S.	1	1.00	1.02	0.95	0.78	1.14	0.94	0.94	0.98
time (sec)	N/A	0.050	0.025	0.062	1.939	0.489	0.094	0.494	0.105


Problem 182	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	63	63	63	54	59	97	68	72	73
N.S.	1	1.00	1.00	0.86	0.94	1.54	1.08	1.14	1.16
time (sec)	N/A	0.102	0.027	0.108	2.242	0.439	0.075	0.532	0.254


Problem 183	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	43	43	46	36	36	55	34	33	25
N.S.	1	1.00	1.07	0.84	0.84	1.28	0.79	0.77	0.58
time (sec)	N/A	0.014	0.013	0.061	2.899	0.401	0.054	0.924	0.054


Problem 184	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	27	27	20	24	43	43	39	18	18
N.S.	1	1.00	0.74	0.89	1.59	1.59	1.44	0.67	0.67
time (sec)	N/A	0.014	0.007	0.056	1.681	0.381	0.066	1.298	0.112


Problem 185	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	46	46	44	39	39	55	36	40	34
N.S.	1	1.00	0.96	0.85	0.85	1.20	0.78	0.87	0.74
time (sec)	N/A	0.023	0.011	0.051	1.688	0.435	0.044	1.494	0.187


Problem 186	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	44	50	39	35	37	56	34	43	33
N.S.	1	1.14	0.89	0.80	0.84	1.27	0.77	0.98	0.75
time (sec)	N/A	0.014	0.016	0.068	1.460	0.376	0.051	0.990	0.048


Problem 187	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	54	54	54	49	60	105	58	47	55
N.S.	1	1.00	1.00	0.91	1.11	1.94	1.07	0.87	1.02
time (sec)	N/A	0.014	0.013	0.000	1.796	0.392	0.064	0.761	0.002


Problem 188	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	36	33	32	39	31	45	32
N.S.	1	1.00	1.00	0.92	0.89	1.08	0.86	1.25	0.89
time (sec)	N/A	0.012	0.010	0.043	1.356	0.369	0.021	0.704	0.002


Problem 189	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	44	44	41	39	38	38	39	39	37
N.S.	1	1.00	0.93	0.89	0.86	0.86	0.89	0.89	0.84
time (sec)	N/A	0.028	0.010	0.030	2.012	0.382	0.008	0.626	0.049


Problem 190	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	96	96	91	95	91	91	100	98	88
N.S.	1	1.00	0.95	0.99	0.95	0.95	1.04	1.02	0.92
time (sec)	N/A	0.077	0.020	0.098	1.524	0.379	0.015	0.828	0.190


Problem 191	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	167	237	171	171	189	188	164
N.S.	1	1.00	1.00	1.42	1.02	1.02	1.13	1.13	0.98
time (sec)	N/A	0.139	0.023	0.082	1.420	0.380	0.021	1.309	0.216


Problem 192	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	263	263	263	363	273	273	313	307	263
N.S.	1	1.00	1.00	1.38	1.04	1.04	1.19	1.17	1.00
time (sec)	N/A	0.254	0.044	0.085	1.326	0.399	0.030	1.424	0.258


Problem 193	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	159	159	267	0	0	0	0	0	-1
N.S.	1	1.00	1.68	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.060	0.479	0.061	0.000	0.000	0.000	0.000	0.000


Problem 194	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F(-2)	A	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	65	65	66	63	0	203	246	60	155
N.S.	1	1.00	1.02	0.97	0.00	3.12	3.78	0.92	2.38
time (sec)	N/A	0.033	0.030	0.135	0.000	0.418	0.396	1.483	0.271


Problem 195	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F(-2)	B	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	89	89	88	103	0	447	323	92	159
N.S.	1	1.00	0.99	1.16	0.00	5.02	3.63	1.03	1.79
time (sec)	N/A	0.035	0.057	0.102	0.000	0.440	0.532	1.193	0.283


Problem 196	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F(-2)	B	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	130	130	127	155	0	1104	622	194	360
N.S.	1	1.00	0.98	1.19	0.00	8.49	4.78	1.49	2.77
time (sec)	N/A	0.058	0.096	0.109	0.000	0.430	0.991	1.184	0.505


Problem 197	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F(-2)	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	173	173	168	206	0	1950	1027	363	640
N.S.	1	1.00	0.97	1.19	0.00	11.27	5.94	2.10	3.70
time (sec)	N/A	0.081	0.147	0.115	0.000	0.443	1.607	1.345	0.706


Problem 198	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	169	169	264	0	0	0	0	0	-1
N.S.	1	1.00	1.56	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.056	0.551	0.059	0.000	0.000	0.000	0.000	0.000


Problem 199	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	49	49	44	31	41	52	46	46	36
N.S.	1	1.00	0.90	0.63	0.84	1.06	0.94	0.94	0.73
time (sec)	N/A	0.013	0.015	0.080	1.573	0.397	0.038	1.238	0.171


Problem 200	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	61	61	70	56	67	97	76	61	53
N.S.	1	1.00	1.15	0.92	1.10	1.59	1.25	1.00	0.87
time (sec)	N/A	0.017	0.033	0.069	4.998	0.389	0.060	1.456	0.209

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