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	C	F	B	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	42	42	49	245	0	205	0	0	-1
N.S.	1	1.00	1.17	5.83	0.00	4.88	0.00	0.00	-0.02
time (sec)	N/A	0.079	1.648	0.972	0.000	0.478	0.000	0.000	0.000


Problem 102	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	B	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	46	46	49	243	0	207	0	0	-1
N.S.	1	1.00	1.07	5.28	0.00	4.50	0.00	0.00	-0.02
time (sec)	N/A	0.077	1.627	0.886	0.000	0.436	0.000	0.000	0.000


Problem 103	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	A	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	44	44	47	245	0	50	0	0	-1
N.S.	1	1.00	1.07	5.57	0.00	1.14	0.00	0.00	-0.02
time (sec)	N/A	0.069	1.617	0.958	0.000	0.367	0.000	0.000	0.000


Problem 104	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	A	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	44	44	51	247	0	59	0	0	-1
N.S.	1	1.00	1.16	5.61	0.00	1.34	0.00	0.00	-0.02
time (sec)	N/A	0.065	1.631	0.896	0.000	0.379	0.000	0.000	0.000


Problem 105	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	A	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	69	69	84	0	0	1240	0	0	-1
N.S.	1	1.00	1.22	0.00	0.00	17.97	0.00	0.00	-0.01
time (sec)	N/A	0.148	7.180	0.051	0.000	1.154	0.000	0.000	0.000


Problem 106	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	B	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	71	71	84	0	0	1294	0	0	-1
N.S.	1	1.00	1.18	0.00	0.00	18.23	0.00	0.00	-0.01
time (sec)	N/A	0.133	7.236	0.048	0.000	1.065	0.000	0.000	0.000


Problem 107	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	A	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	72	72	85	0	0	1245	0	0	-1
N.S.	1	1.00	1.18	0.00	0.00	17.29	0.00	0.00	-0.01
time (sec)	N/A	0.129	7.192	0.048	0.000	1.079	0.000	0.000	0.000


Problem 108	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	B	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	72	72	87	0	0	1303	0	0	-1
N.S.	1	1.00	1.21	0.00	0.00	18.10	0.00	0.00	-0.01
time (sec)	N/A	0.117	7.143	0.052	0.000	1.092	0.000	0.000	0.000


Problem 109	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	A	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	73	73	82	0	0	1273	0	0	-1
N.S.	1	1.00	1.12	0.00	0.00	17.44	0.00	0.00	-0.01
time (sec)	N/A	0.141	7.421	0.044	0.000	0.779	0.000	0.000	0.000


Problem 110	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	B	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	75	75	84	0	0	1330	0	0	-1
N.S.	1	1.00	1.12	0.00	0.00	17.73	0.00	0.00	-0.01
time (sec)	N/A	0.140	7.349	0.052	0.000	0.752	0.000	0.000	0.000


Problem 111	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	A	F	F(-2)	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	76	76	85	0	0	1278	0	0	-1
N.S.	1	1.00	1.12	0.00	0.00	16.82	0.00	0.00	-0.01
time (sec)	N/A	0.136	7.215	0.044	0.000	0.770	0.000	0.000	0.000


Problem 112	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	B	F	F(-2)	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	76	76	85	0	0	1339	0	0	-1
N.S.	1	1.00	1.12	0.00	0.00	17.62	0.00	0.00	-0.01
time (sec)	N/A	0.124	7.042	0.045	0.000	0.783	0.000	0.000	0.000


Problem 113	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	A	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	42	42	49	245	0	50	0	0	-1
N.S.	1	1.00	1.17	5.83	0.00	1.19	0.00	0.00	-0.02
time (sec)	N/A	0.069	1.581	0.792	0.000	0.383	0.000	0.000	0.000


Problem 114	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	A	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	46	46	49	247	0	59	0	0	-1
N.S.	1	1.00	1.07	5.37	0.00	1.28	0.00	0.00	-0.02
time (sec)	N/A	0.072	1.537	0.753	0.000	0.372	0.000	0.000	0.000


Problem 115	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	B	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	44	44	47	245	0	204	0	0	-1
N.S.	1	1.00	1.07	5.57	0.00	4.64	0.00	0.00	-0.02
time (sec)	N/A	0.068	1.510	0.810	0.000	0.381	0.000	0.000	0.000


Problem 116	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	B	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	44	44	51	243	0	206	0	0	-1
N.S.	1	1.00	1.16	5.52	0.00	4.68	0.00	0.00	-0.02
time (sec)	N/A	0.063	1.556	0.717	0.000	0.396	0.000	0.000	0.000


Problem 117	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	A	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	69	69	84	0	0	1236	0	0	-1
N.S.	1	1.00	1.22	0.00	0.00	17.91	0.00	0.00	-0.01
time (sec)	N/A	0.129	7.010	0.048	0.000	1.155	0.000	0.000	0.000


Problem 118	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	B	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	71	71	84	0	0	1288	0	0	-1
N.S.	1	1.00	1.18	0.00	0.00	18.14	0.00	0.00	-0.01
time (sec)	N/A	0.124	7.052	0.052	0.000	1.089	0.000	0.000	0.000


Problem 119	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	A	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	72	72	85	0	0	1239	0	0	-1
N.S.	1	1.00	1.18	0.00	0.00	17.21	0.00	0.00	-0.01
time (sec)	N/A	0.127	7.180	0.049	0.000	1.114	0.000	0.000	0.000


Problem 120	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	B	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	72	72	87	0	0	1299	0	0	-1
N.S.	1	1.00	1.21	0.00	0.00	18.04	0.00	0.00	-0.01
time (sec)	N/A	0.117	7.213	0.047	0.000	1.109	0.000	0.000	0.000


Problem 121	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	A	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	73	73	86	0	0	1270	0	0	-1
N.S.	1	1.00	1.18	0.00	0.00	17.40	0.00	0.00	-0.01
time (sec)	N/A	0.124	7.382	0.045	0.000	0.782	0.000	0.000	0.000


Problem 122	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	B	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	75	75	88	0	0	1324	0	0	-1
N.S.	1	1.00	1.17	0.00	0.00	17.65	0.00	0.00	-0.01
time (sec)	N/A	0.132	7.284	0.046	0.000	0.756	0.000	0.000	0.000


Problem 123	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	A	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	76	76	89	0	0	1273	0	0	-1
N.S.	1	1.00	1.17	0.00	0.00	16.75	0.00	0.00	-0.01
time (sec)	N/A	0.125	7.295	0.046	0.000	0.782	0.000	0.000	0.000


Problem 124	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	B	F	F(-2)	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	76	76	89	0	0	1335	0	0	-1
N.S.	1	1.00	1.17	0.00	0.00	17.57	0.00	0.00	-0.01
time (sec)	N/A	0.120	7.140	0.045	0.000	0.784	0.000	0.000	0.000


Problem 125	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	C	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	145	145	269	245	0	55	0	0	-1
N.S.	1	1.00	1.86	1.69	0.00	0.38	0.00	0.00	-0.01
time (sec)	N/A	0.134	20.310	0.825	0.000	0.124	0.000	0.000	0.000


Problem 126	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	C	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	145	145	267	245	0	210	0	0	-1
N.S.	1	1.00	1.84	1.69	0.00	1.45	0.00	0.00	-0.01
time (sec)	N/A	0.151	20.287	0.763	0.000	0.119	0.000	0.000	0.000


Problem 127	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	C	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	173	173	291	260	0	746	0	0	-1
N.S.	1	1.00	1.68	1.50	0.00	4.31	0.00	0.00	-0.01
time (sec)	N/A	0.174	20.359	0.286	0.000	0.172	0.000	0.000	0.000


Problem 128	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	A	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	187	187	291	264	0	714	0	0	-1
N.S.	1	1.00	1.56	1.41	0.00	3.82	0.00	0.00	-0.01
time (sec)	N/A	0.196	20.387	0.275	0.000	0.202	0.000	0.000	0.000


Problem 129	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	C	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	190	190	289	262	0	748	0	0	-1
N.S.	1	1.00	1.52	1.38	0.00	3.94	0.00	0.00	-0.01
time (sec)	N/A	0.169	20.288	0.283	0.000	0.167	0.000	0.000	0.000


Problem 130	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	A	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	183	183	293	258	0	708	0	0	-1
N.S.	1	1.00	1.60	1.41	0.00	3.87	0.00	0.00	-0.01
time (sec)	N/A	0.168	20.275	0.275	0.000	0.223	0.000	0.000	0.000


Problem 131	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	C	F	F(-1)	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	332	332	438	0	0	6491	0	0	-1
N.S.	1	1.00	1.32	0.00	0.00	19.55	0.00	0.00	-0.00
time (sec)	N/A	0.395	11.259	0.053	0.000	43.684	0.000	0.000	0.000


Problem 132	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-2)	F	F(-1)	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	336	336	466	0	0	0	0	0	-1
N.S.	1	1.00	1.39	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.379	11.100	0.049	0.000	0.000	0.000	0.000	0.000


Problem 133	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	C	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	345	345	467	0	0	6499	0	0	-1
N.S.	1	1.00	1.35	0.00	0.00	18.84	0.00	0.00	-0.00
time (sec)	N/A	0.376	10.415	0.050	0.000	38.134	0.000	0.000	0.000


Problem 134	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	C	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	345	345	441	0	0	6561	0	0	-1
N.S.	1	1.00	1.28	0.00	0.00	19.02	0.00	0.00	-0.00
time (sec)	N/A	0.363	11.018	0.050	0.000	44.147	0.000	0.000	0.000


Problem 135	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	C	F	F	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	136	136	209	255	0	58	0	0	-1
N.S.	1	1.00	1.54	1.88	0.00	0.43	0.00	0.00	-0.01
time (sec)	N/A	0.153	10.327	0.791	0.000	0.109	0.000	0.000	0.000


Problem 136	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	A	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	152	152	232	257	0	55	0	0	-1
N.S.	1	1.00	1.53	1.69	0.00	0.36	0.00	0.00	-0.01
time (sec)	N/A	0.157	10.458	0.734	0.000	0.129	0.000	0.000	0.000


Problem 137	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	C	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	164	164	230	255	0	213	0	0	-1
N.S.	1	1.00	1.40	1.55	0.00	1.30	0.00	0.00	-0.01
time (sec)	N/A	0.152	10.256	0.760	0.000	0.122	0.000	0.000	0.000


Problem 138	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	A	F	F(-2)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	156	156	211	253	0	203	0	0	-1
N.S.	1	1.00	1.35	1.62	0.00	1.30	0.00	0.00	-0.01
time (sec)	N/A	0.144	10.121	0.696	0.000	0.122	0.000	0.000	0.000


Problem 139	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	C	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	147	147	225	255	0	214	0	0	-1
N.S.	1	1.00	1.53	1.73	0.00	1.46	0.00	0.00	-0.01
time (sec)	N/A	0.156	10.409	0.813	0.000	0.114	0.000	0.000	0.000


Problem 140	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	C	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	278	278	427	0	0	1288	0	0	-1
N.S.	1	1.00	1.54	0.00	0.00	4.63	0.00	0.00	-0.00
time (sec)	N/A	0.310	10.814	0.054	0.000	0.852	0.000	0.000	0.000


Problem 141	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	C	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	286	286	454	0	0	1354	0	0	-1
N.S.	1	1.00	1.59	0.00	0.00	4.73	0.00	0.00	-0.00
time (sec)	N/A	0.309	10.841	0.049	0.000	0.848	0.000	0.000	0.000


Problem 142	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	C	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	282	282	455	0	0	1295	0	0	-1
N.S.	1	1.00	1.61	0.00	0.00	4.59	0.00	0.00	-0.00
time (sec)	N/A	0.299	10.220	0.050	0.000	0.857	0.000	0.000	0.000


Problem 143	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	C	F	F(-1)	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	278	278	430	0	0	1348	0	0	-1
N.S.	1	1.00	1.55	0.00	0.00	4.85	0.00	0.00	-0.00
time (sec)	N/A	0.299	10.320	0.049	0.000	0.882	0.000	0.000	0.000


Problem 144	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	317	317	214	275	0	0	0	0	-1
N.S.	1	1.00	0.68	0.87	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.897	10.405	0.293	0.000	0.000	0.000	0.000	0.000


Problem 145	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-1)	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	329	329	235	264	0	0	0	0	-1
N.S.	1	1.00	0.71	0.80	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.918	10.517	0.281	0.000	0.000	0.000	0.000	0.000


Problem 146	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-1)	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	325	325	233	273	0	0	0	0	-1
N.S.	1	1.00	0.72	0.84	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.659	10.138	0.284	0.000	0.000	0.000	0.000	0.000


Problem 147	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	321	321	233	266	0	0	0	0	-1
N.S.	1	1.00	0.73	0.83	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.748	10.507	0.281	0.000	0.000	0.000	0.000	0.000


Problem 148	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	358	358	213	275	0	0	0	0	-1
N.S.	1	1.00	0.59	0.77	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.763	10.327	0.267	0.000	0.000	0.000	0.000	0.000


Problem 149	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-1)	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	346	346	235	268	0	0	0	0	-1
N.S.	1	1.00	0.68	0.77	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.778	10.451	0.257	0.000	0.000	0.000	0.000	0.000


Problem 150	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-1)	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	342	342	233	277	0	0	0	0	-1
N.S.	1	1.00	0.68	0.81	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.625	10.124	0.257	0.000	0.000	0.000	0.000	0.000


Problem 151	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F(-1)
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	362	362	233	266	0	0	0	0	-1
N.S.	1	1.00	0.64	0.73	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.644	10.407	0.254	0.000	0.000	0.000	0.000	0.000


Problem 152	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	C	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	125	125	149	132	0	33	56	0	334
N.S.	1	1.00	1.19	1.06	0.00	0.26	0.45	0.00	2.67
time (sec)	N/A	0.034	10.291	0.414	0.000	0.094	2.515	0.000	0.139


Problem 153	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	139	139	157	125	0	29	99	0	373
N.S.	1	1.00	1.13	0.90	0.00	0.21	0.71	0.00	2.68
time (sec)	N/A	0.039	10.340	0.427	0.000	0.104	4.235	0.000	3.637


Problem 154	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	C	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	142	142	150	132	0	52	94	0	334
N.S.	1	1.00	1.06	0.93	0.00	0.37	0.66	0.00	2.35
time (sec)	N/A	0.035	10.383	0.691	0.000	0.103	4.219	0.000	2.716


Problem 155	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	136	136	155	125	0	54	61	0	376
N.S.	1	1.00	1.14	0.92	0.00	0.40	0.45	0.00	2.76
time (sec)	N/A	0.039	10.380	0.705	0.000	0.132	2.658	0.000	4.451


Problem 156	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	C	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	127	127	149	132	0	33	56	0	334
N.S.	1	1.00	1.17	1.04	0.00	0.26	0.44	0.00	2.63
time (sec)	N/A	0.031	10.188	0.265	0.000	0.095	2.532	0.000	2.647


Problem 157	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	141	141	158	125	0	29	99	0	373
N.S.	1	1.00	1.12	0.89	0.00	0.21	0.70	0.00	2.65
time (sec)	N/A	0.040	10.365	0.283	0.000	0.110	4.227	0.000	3.242


Problem 158	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	C	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	144	144	151	132	0	51	94	0	334
N.S.	1	1.00	1.05	0.92	0.00	0.35	0.65	0.00	2.32
time (sec)	N/A	0.032	10.309	0.547	0.000	0.122	4.233	0.000	2.702


Problem 159	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	138	138	156	125	0	53	61	0	376
N.S.	1	1.00	1.13	0.91	0.00	0.38	0.44	0.00	2.72
time (sec)	N/A	0.038	10.304	0.518	0.000	0.130	2.577	0.000	4.099


Problem 160	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F	F	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	332	332	194	240	0	0	0	0	207
N.S.	1	1.00	0.58	0.72	0.00	0.00	0.00	0.00	0.62
time (sec)	N/A	0.437	10.166	0.257	0.000	0.000	0.000	0.000	0.225


Problem 161	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F	F	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	377	377	195	240	0	0	0	0	224
N.S.	1	1.00	0.52	0.64	0.00	0.00	0.00	0.00	0.59
time (sec)	N/A	0.489	10.179	0.255	0.000	0.000	0.000	0.000	2.742


Problem 162	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F	F	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	373	373	193	240	0	0	0	0	208
N.S.	1	1.00	0.52	0.64	0.00	0.00	0.00	0.00	0.56
time (sec)	N/A	0.405	10.091	0.254	0.000	0.000	0.000	0.000	2.647


Problem 163	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F	F	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	341	341	196	240	0	0	0	0	223
N.S.	1	1.00	0.57	0.70	0.00	0.00	0.00	0.00	0.65
time (sec)	N/A	0.400	10.142	0.248	0.000	0.000	0.000	0.000	2.611


Problem 164	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F	F	F	B
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	450	450	211	274	0	0	0	0	356
N.S.	1	1.00	0.47	0.61	0.00	0.00	0.00	0.00	0.79
time (sec)	N/A	0.925	10.376	0.261	0.000	0.000	0.000	0.000	0.128


Problem 165	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-1)	F	F	B
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	474	474	233	265	0	0	0	0	387
N.S.	1	1.00	0.49	0.56	0.00	0.00	0.00	0.00	0.82
time (sec)	N/A	1.033	10.469	0.256	0.000	0.000	0.000	0.000	0.093


Problem 166	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-1)	F	F	B
veriﬁed	N/A	NO	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	475	475	231	274	0	0	0	0	355
N.S.	1	1.00	0.49	0.58	0.00	0.00	0.00	0.00	0.75
time (sec)	N/A	0.878	10.195	0.276	0.000	0.000	0.000	0.000	2.675


Problem 167	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F	F	F	B
veriﬁed	N/A	NO	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	463	463	213	265	0	0	0	0	388
N.S.	1	1.00	0.46	0.57	0.00	0.00	0.00	0.00	0.84
time (sec)	N/A	0.924	10.294	0.254	0.000	0.000	0.000	0.000	0.097


Problem 168	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	C	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	120	120	134	129	0	31	42	0	207
N.S.	1	1.00	1.12	1.08	0.00	0.26	0.35	0.00	1.72
time (sec)	N/A	0.032	10.244	0.250	0.000	0.108	1.448	0.000	2.637


Problem 169	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	134	134	140	122	0	26	65	0	223
N.S.	1	1.00	1.04	0.91	0.00	0.19	0.49	0.00	1.66
time (sec)	N/A	0.040	10.250	0.247	0.000	0.105	1.530	0.000	0.065


Problem 170	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	C	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	137	137	136	129	0	27	60	0	207
N.S.	1	1.00	0.99	0.94	0.00	0.20	0.44	0.00	1.51
time (sec)	N/A	0.040	10.197	0.261	0.000	0.101	1.442	0.000	2.617


Problem 171	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	131	131	138	122	0	28	46	0	223
N.S.	1	1.00	1.05	0.93	0.00	0.21	0.35	0.00	1.70
time (sec)	N/A	0.042	10.176	0.242	0.000	0.102	1.611	0.000	2.656


Problem 172	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	159	0	0	0	0	0	-1
N.S.	1	1.00	1.67	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.081	1.240	0.045	0.000	0.000	0.000	0.000	0.000


Problem 173	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	F	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	234	234	0	0	0	0	0	0	-1
N.S.	1	1.00	0.00	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.159	10.116	0.043	0.000	0.000	0.000	0.000	0.000


Problem 174	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	160	160	133	415	253	490	6397	835	495
N.S.	1	1.00	0.83	2.59	1.58	3.06	39.98	5.22	3.09
time (sec)	N/A	0.075	0.126	0.214	0.287	0.519	2.091	3.969	3.204


Problem 175	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	126	126	104	283	184	348	3704	577	363
N.S.	1	1.00	0.83	2.25	1.46	2.76	29.40	4.58	2.88
time (sec)	N/A	0.050	0.090	0.240	0.295	0.441	1.298	4.879	2.950


Problem 176	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	94	94	95	167	122	222	1906	361	247
N.S.	1	1.00	1.01	1.78	1.30	2.36	20.28	3.84	2.63
time (sec)	N/A	0.031	0.085	0.204	0.278	0.353	0.779	3.989	2.946


Problem 177	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	99	99	94	0	0	0	741	0	-1
N.S.	1	1.00	0.95	0.00	0.00	0.00	7.48	0.00	-0.01
time (sec)	N/A	0.043	0.075	0.023	0.000	0.000	2.987	0.000	0.000


Problem 178	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	294	294	252	1565	601	1565	26746	2660	1410
N.S.	1	1.00	0.86	5.32	2.04	5.32	90.97	9.05	4.80
time (sec)	N/A	0.143	0.235	0.246	0.300	0.364	9.821	4.660	3.734


Problem 179	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	248	248	211	893	474	1216	18328	2034	1136
N.S.	1	1.00	0.85	3.60	1.91	4.90	73.90	8.20	4.58
time (sec)	N/A	0.111	0.185	0.250	0.300	0.357	6.595	3.755	3.392


Problem 180	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	A	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	203	203	297	700	359	893	11851	1477	878
N.S.	1	1.00	1.46	3.45	1.77	4.40	58.38	7.28	4.33
time (sec)	N/A	0.078	0.177	0.247	0.297	0.374	3.790	4.124	3.192


Problem 181	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	209	209	188	0	0	0	4760	0	-1
N.S.	1	1.00	0.90	0.00	0.00	0.00	22.78	0.00	-0.00
time (sec)	N/A	0.089	0.161	0.037	0.000	0.000	4.822	0.000	0.000


Problem 182	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	B	B	B	F(-2)	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	459	459	402	3780	1153	3564	75191	0	2500
N.S.	1	1.00	0.88	8.24	2.51	7.76	163.81	0.00	5.45
time (sec)	N/A	0.224	0.371	0.293	0.312	0.404	87.439	0.000	7.140


Problem 183	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	396	396	345	2972	953	2919	56151	4934	2500
N.S.	1	1.00	0.87	7.51	2.41	7.37	141.80	12.46	6.31
time (sec)	N/A	0.193	0.321	0.279	0.304	0.433	37.089	4.116	5.598


Problem 184	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	337	337	706	2280	770	2313	40536	3874	2001
N.S.	1	1.00	2.09	6.77	2.28	6.86	120.28	11.50	5.94
time (sec)	N/A	0.147	0.438	0.258	0.307	0.455	68.294	4.464	4.338


Problem 185	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	358	358	332	0	0	0	17258	0	-1
N.S.	1	1.00	0.93	0.00	0.00	0.00	48.21	0.00	-0.00
time (sec)	N/A	0.153	0.299	0.037	0.000	0.000	14.403	0.000	0.000


Problem 186	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	324	324	284	0	0	0	0	0	-1
N.S.	1	1.00	0.88	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.627	0.487	0.057	0.000	0.000	0.000	0.000	0.000


Problem 187	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	332	332	292	0	0	0	0	0	-1
N.S.	1	1.00	0.88	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.616	0.539	0.055	0.000	0.000	0.000	0.000	0.000


Problem 188	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	293	293	239	0	0	0	0	0	-1
N.S.	1	1.00	0.82	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.377	0.235	0.053	0.000	0.000	0.000	0.000	0.000


Problem 189	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	253	253	213	0	0	0	0	0	-1
N.S.	1	1.00	0.84	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.260	0.164	0.050	0.000	0.000	0.000	0.000	0.000


Problem 190	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	288	288	237	0	0	0	0	0	-1
N.S.	1	1.00	0.82	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.211	0.185	0.049	0.000	0.000	0.000	0.000	0.000


Problem 191	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	263	263	222	0	0	0	0	0	-1
N.S.	1	1.00	0.84	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.129	0.126	0.059	0.000	0.000	0.000	0.000	0.000


Problem 192	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	300	300	244	0	0	0	0	0	-1
N.S.	1	1.00	0.81	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.455	0.287	0.042	0.000	0.000	0.000	0.000	0.000


Problem 193	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	326	326	273	0	0	0	0	0	-1
N.S.	1	1.00	0.84	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.477	0.261	0.052	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	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	253	253	213	0	0	0	0	0	-1
N.S.	1	1.00	0.84	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.407	0.309	0.051	0.000	0.000	0.000	0.000	0.000


Problem 195	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	F	F	F	F	F(-1)	F	F
veriﬁed	N/A	Yes	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	211	211	0	0	0	0	0	0	-1
N.S.	1	1.00	0.00	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.391	0.155	0.052	0.000	0.000	0.000	0.000	0.000


Problem 196	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-1)	F	F	F
veriﬁed	N/A	NO	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	1480	1480	820	1126	0	0	0	0	-1
N.S.	1	1.00	0.55	0.76	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	1.982	6.413	0.643	0.000	0.000	0.000	0.000	0.000


Problem 197	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	F	F	F	F	F	B	F	F
veriﬁed	N/A	N/A	N/A	TBD	TBD	TBD	TBD	TBD	TBD
size	135	0	0	0	0	0	636	0	-1
N.S.	1	0.00	0.00	0.00	0.00	0.00	4.71	0.00	-0.01
time (sec)	N/A	0.055	0.619	0.044	0.000	0.000	27.233	0.000	0.000


Problem 198	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	A	F	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	23	1640	0	19	0	0	273
N.S.	1	1.00	1.44	102.50	0.00	1.19	0.00	0.00	17.06
time (sec)	N/A	0.042	0.882	0.410	0.000	0.478	0.000	0.000	0.201


Problem 199	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	A	F	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	23	732	0	28	0	0	292
N.S.	1	1.00	1.15	36.60	0.00	1.40	0.00	0.00	14.60
time (sec)	N/A	0.050	0.907	0.398	0.000	0.500	0.000	0.000	2.831


Problem 200	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	A	F	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	18	18	21	1656	0	25	0	0	276
N.S.	1	1.00	1.17	92.00	0.00	1.39	0.00	0.00	15.33
time (sec)	N/A	0.041	0.925	0.365	0.000	0.506	0.000	0.000	2.771

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