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	B	F	B	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	99	733	0	442	0	107	-1
N.S.	1	1.00	1.25	9.28	0.00	5.59	0.00	1.35	-0.01
time (sec)	N/A	0.030	0.256	0.127	0.000	3.944	0.000	0.811	0.000


Problem 102	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	B	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	100	100	122	822	0	459	0	225	-1
N.S.	1	1.00	1.22	8.22	0.00	4.59	0.00	2.25	-0.01
time (sec)	N/A	0.036	0.326	0.065	0.000	1.710	0.000	0.942	0.000


Problem 103	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	B	F	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	149	149	151	4155	0	698	0	487	-1
N.S.	1	1.00	1.01	27.89	0.00	4.68	0.00	3.27	-0.01
time (sec)	N/A	0.055	0.969	0.076	0.000	2.099	0.000	2.766	0.000


Problem 104	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	B	F(-1)	B	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	199	199	179	12958	0	972	0	919	-1
N.S.	1	1.00	0.90	65.12	0.00	4.88	0.00	4.62	-0.01
time (sec)	N/A	0.075	15.217	0.092	0.000	1.981	0.000	1.620	0.000


Problem 105	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	20	19	0	27	0	18	18
N.S.	1	1.00	1.00	0.95	0.00	1.35	0.00	0.90	0.90
time (sec)	N/A	0.003	0.034	0.072	0.000	1.085	0.000	0.940	4.771


Problem 106	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	25	25	25	28	0	23	0	51	79
N.S.	1	1.00	1.00	1.12	0.00	0.92	0.00	2.04	3.16
time (sec)	N/A	0.005	0.062	0.125	0.000	1.014	0.000	0.769	0.368


Problem 107	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	F	B	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	49	49	70	306	0	241	0	70	-1
N.S.	1	1.00	1.43	6.24	0.00	4.92	0.00	1.43	-0.02
time (sec)	N/A	0.014	0.105	0.066	0.000	0.939	0.000	0.599	0.000


Problem 108	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	15	15	25	14	13	44	31	25	27
N.S.	1	1.00	1.67	0.93	0.87	2.93	2.07	1.67	1.80
time (sec)	N/A	0.003	0.040	0.098	0.490	0.868	2.339	0.578	0.039


Problem 109	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	648	648	99	0	0	0	136	0	-1
N.S.	1	1.00	0.15	0.00	0.00	0.00	0.21	0.00	-0.00
time (sec)	N/A	0.495	12.205	0.011	0.000	0.000	2.217	0.000	0.000


Problem 110	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	617	617	176	0	0	0	99	0	-1
N.S.	1	1.00	0.29	0.00	0.00	0.00	0.16	0.00	-0.00
time (sec)	N/A	0.378	9.521	0.007	0.000	0.000	1.779	0.000	0.000


Problem 111	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	588	588	62	0	0	0	63	0	-1
N.S.	1	1.00	0.11	0.00	0.00	0.00	0.11	0.00	-0.00
time (sec)	N/A	0.311	6.844	0.003	0.000	0.000	1.288	0.000	0.000


Problem 112	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	740	740	162	0	0	0	0	0	-1
N.S.	1	1.00	0.22	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.245	7.186	0.029	0.000	0.000	0.000	0.000	0.000


Problem 113	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	584	584	86	0	0	0	0	0	-1
N.S.	1	1.00	0.15	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.307	10.061	0.033	0.000	0.000	0.000	0.000	0.000


Problem 114	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	818	818	252	0	0	0	0	0	-1
N.S.	1	1.00	0.31	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.457	10.286	0.031	0.000	0.000	0.000	0.000	0.000


Problem 115	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	849	849	265	0	0	0	0	0	-1
N.S.	1	1.00	0.31	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.537	10.150	0.034	0.000	0.000	0.000	0.000	0.000


Problem 116	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	668	668	110	0	0	0	139	0	-1
N.S.	1	1.00	0.16	0.00	0.00	0.00	0.21	0.00	-0.00
time (sec)	N/A	0.498	13.802	0.010	0.000	0.000	2.902	0.000	0.000


Problem 117	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	637	637	173	0	0	0	131	0	-1
N.S.	1	1.00	0.27	0.00	0.00	0.00	0.21	0.00	-0.00
time (sec)	N/A	0.438	10.635	0.007	0.000	0.000	2.587	0.000	0.000


Problem 118	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	608	608	68	0	0	0	100	0	-1
N.S.	1	1.00	0.11	0.00	0.00	0.00	0.16	0.00	-0.00
time (sec)	N/A	0.368	8.119	0.004	0.000	0.000	2.038	0.000	0.000


Problem 119	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	765	765	231	0	0	0	0	0	-1
N.S.	1	1.00	0.30	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.372	8.728	0.012	0.000	0.000	0.000	0.000	0.000


Problem 120	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	775	775	235	0	0	0	0	0	-1
N.S.	1	1.00	0.30	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.353	10.111	0.028	0.000	0.000	0.000	0.000	0.000


Problem 121	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	815	815	252	0	0	0	0	0	-1
N.S.	1	1.00	0.31	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.520	10.193	0.030	0.000	0.000	0.000	0.000	0.000


Problem 122	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	659	659	98	0	0	0	165	0	-1
N.S.	1	1.00	0.15	0.00	0.00	0.00	0.25	0.00	-0.00
time (sec)	N/A	0.441	15.058	0.013	0.000	0.000	3.086	0.000	0.000


Problem 123	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	628	628	88	0	0	0	129	0	-1
N.S.	1	1.00	0.14	0.00	0.00	0.00	0.21	0.00	-0.00
time (sec)	N/A	0.384	15.047	0.008	0.000	0.000	2.464	0.000	0.000


Problem 124	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	597	597	158	0	0	0	94	0	-1
N.S.	1	1.00	0.26	0.00	0.00	0.00	0.16	0.00	-0.00
time (sec)	N/A	0.306	13.135	0.007	0.000	0.000	1.911	0.000	0.000


Problem 125	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	568	568	62	0	0	0	60	0	-1
N.S.	1	1.00	0.11	0.00	0.00	0.00	0.11	0.00	-0.00
time (sec)	N/A	0.254	10.027	0.005	0.000	0.000	1.146	0.000	0.000


Problem 126	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	204	204	162	0	0	0	0	0	-1
N.S.	1	1.00	0.79	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.021	5.941	0.024	0.000	0.000	0.000	0.000	0.000


Problem 127	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	787	787	234	0	0	0	0	0	-1
N.S.	1	1.00	0.30	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.357	10.115	0.030	0.000	0.000	0.000	0.000	0.000


Problem 128	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	818	818	255	0	0	0	0	0	-1
N.S.	1	1.00	0.31	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.472	10.129	0.030	0.000	0.000	0.000	0.000	0.000


Problem 129	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	623	623	76	0	0	0	0	0	-1
N.S.	1	1.00	0.12	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.368	15.054	0.011	0.000	0.000	0.000	0.000	0.000


Problem 130	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	592	592	168	0	0	0	0	0	-1
N.S.	1	1.00	0.28	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.314	14.400	0.007	0.000	0.000	0.000	0.000	0.000


Problem 131	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	561	561	53	0	0	0	60	0	-1
N.S.	1	1.00	0.09	0.00	0.00	0.00	0.11	0.00	-0.00
time (sec)	N/A	0.248	10.027	0.012	0.000	0.000	3.167	0.000	0.000


Problem 132	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	776	776	226	0	0	0	0	0	-1
N.S.	1	1.00	0.29	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.364	7.343	0.027	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	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	807	807	236	0	0	0	0	0	-1
N.S.	1	1.00	0.29	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.463	10.142	0.032	0.000	0.000	0.000	0.000	0.000


Problem 134	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	849	849	256	0	0	0	0	0	-1
N.S.	1	1.00	0.30	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.553	10.169	0.030	0.000	0.000	0.000	0.000	0.000


Problem 135	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	653	653	96	0	0	0	0	0	-1
N.S.	1	1.00	0.15	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.455	15.077	0.013	0.000	0.000	0.000	0.000	0.000


Problem 136	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	596	596	83	0	0	0	0	0	-1
N.S.	1	1.00	0.14	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.367	15.059	0.006	0.000	0.000	0.000	0.000	0.000


Problem 137	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	F	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	44	44	24	24	33	42	0	0	27
N.S.	1	1.00	0.55	0.55	0.75	0.95	0.00	0.00	0.61
time (sec)	N/A	0.013	15.043	0.066	0.327	1.231	0.000	0.000	4.785


Problem 138	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	590	590	74	0	0	0	60	0	-1
N.S.	1	1.00	0.13	0.00	0.00	0.00	0.10	0.00	-0.00
time (sec)	N/A	0.309	10.028	0.012	0.000	0.000	5.618	0.000	0.000


Problem 139	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	796	796	248	0	0	0	0	0	-1
N.S.	1	1.00	0.31	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.449	8.699	0.027	0.000	0.000	0.000	0.000	0.000


Problem 140	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	827	827	259	0	0	0	0	0	-1
N.S.	1	1.00	0.31	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.538	10.185	0.031	0.000	0.000	0.000	0.000	0.000


Problem 141	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	252	252	163	0	0	0	0	0	-1
N.S.	1	1.00	0.65	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.045	6.185	0.027	0.000	0.000	0.000	0.000	0.000


Problem 142	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	202	202	166	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.019	6.021	0.033	0.000	0.000	0.000	0.000	0.000


Problem 143	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	204	204	153	0	0	0	0	0	-1
N.S.	1	1.00	0.75	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.030	6.148	0.028	0.000	0.000	0.000	0.000	0.000


Problem 144	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	204	204	162	0	0	0	0	0	-1
N.S.	1	1.00	0.79	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.020	0.029	0.000	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	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	204	204	156	0	0	0	0	0	-1
N.S.	1	1.00	0.76	0.00	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.020	6.161	0.028	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	C	F	B	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	113	113	118	938	0	1943	0	0	-1
N.S.	1	1.00	1.04	8.30	0.00	17.19	0.00	0.00	-0.01
time (sec)	N/A	0.010	4.628	20.491	0.000	1.794	0.000	0.000	0.000


Problem 147	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	B	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	109	109	124	0	0	1685	0	0	-1
N.S.	1	1.00	1.14	0.00	0.00	15.46	0.00	0.00	-0.01
time (sec)	N/A	0.009	4.845	83.581	0.000	1.429	0.000	0.000	0.000


Problem 148	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	B	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	96	96	155	1033	0	285	0	0	-1
N.S.	1	1.00	1.61	10.76	0.00	2.97	0.00	0.00	-0.01
time (sec)	N/A	0.013	0.232	8.692	0.000	10.189	0.000	0.000	0.000


Problem 149	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	B	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	151	1042	0	315	0	0	-1
N.S.	1	1.00	1.59	10.97	0.00	3.32	0.00	0.00	-0.01
time (sec)	N/A	0.011	0.200	8.490	0.000	9.401	0.000	0.000	0.000


Problem 150	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	151	151	169	0	0	0	0	0	-1
N.S.	1	1.00	1.12	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.019	6.841	0.029	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	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	153	153	167	0	0	0	0	0	-1
N.S.	1	1.00	1.09	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.018	6.926	0.029	0.000	0.000	0.000	0.000	0.000


Problem 152	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	151	151	168	0	0	0	0	0	-1
N.S.	1	1.00	1.11	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.020	6.934	0.024	0.000	0.000	0.000	0.000	0.000


Problem 153	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	153	153	172	0	0	0	0	0	-1
N.S.	1	1.00	1.12	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.019	6.906	0.026	0.000	0.000	0.000	0.000	0.000


Problem 154	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	151	151	148	0	0	0	0	0	-1
N.S.	1	1.00	0.98	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.022	6.286	0.026	0.000	0.000	0.000	0.000	0.000


Problem 155	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	147	147	148	0	0	0	0	0	-1
N.S.	1	1.00	1.01	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.017	5.660	0.029	0.000	0.000	0.000	0.000	0.000


Problem 156	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	C	F	B	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	123	123	136	548	0	2961	0	0	-1
N.S.	1	1.00	1.11	4.46	0.00	24.07	0.00	0.00	-0.01
time (sec)	N/A	0.013	5.291	76.529	0.000	51.456	0.000	0.000	0.000


Problem 157	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	C	F	B	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	123	123	136	1064	0	2831	0	0	-1
N.S.	1	1.00	1.11	8.65	0.00	23.02	0.00	0.00	-0.01
time (sec)	N/A	0.011	4.856	72.683	0.000	49.516	0.000	0.000	0.000


Problem 158	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	C	F	B	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	119	119	136	723	0	2681	0	0	-1
N.S.	1	1.00	1.14	6.08	0.00	22.53	0.00	0.00	-0.01
time (sec)	N/A	0.012	4.861	98.377	0.000	46.323	0.000	0.000	0.000


Problem 159	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	C	F	B	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	119	119	136	726	0	3109	0	0	-1
N.S.	1	1.00	1.14	6.10	0.00	26.13	0.00	0.00	-0.01
time (sec)	N/A	0.012	5.394	90.711	0.000	49.087	0.000	0.000	0.000


Problem 160	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	C	F	B	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	70	70	124	616	0	1395	0	0	-1
N.S.	1	1.00	1.77	8.80	0.00	19.93	0.00	0.00	-0.01
time (sec)	N/A	0.006	4.725	6.441	0.000	3.999	0.000	0.000	0.000


Problem 161	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	F	F	F(-1)	F	F	F
veriﬁed	N/A	Yes	NO	TBD	TBD	TBD	TBD	TBD	TBD
size	104	104	137	0	0	0	0	0	-1
N.S.	1	1.00	1.32	0.00	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.010	5.655	0.029	0.000	0.000	0.000	0.000	0.000


Problem 162	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	C	F	B	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	74	74	125	365	0	269	0	0	-1
N.S.	1	1.00	1.69	4.93	0.00	3.64	0.00	0.00	-0.01
time (sec)	N/A	0.007	9.750	2.610	0.000	1.485	0.000	0.000	0.000


Problem 163	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	91	57	94	70	315	0	0	-1
N.S.	1	1.15	0.72	1.19	0.89	3.99	0.00	0.00	-0.01
time (sec)	N/A	0.012	0.020	0.082	0.302	1.084	0.000	0.000	0.000


Problem 164	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	74	91	54	94	0	303	0	0	-1
N.S.	1	1.23	0.73	1.27	0.00	4.09	0.00	0.00	-0.01
time (sec)	N/A	0.012	0.014	0.072	0.000	1.357	0.000	0.000	0.000


Problem 165	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	76	91	57	94	0	314	0	0	-1
N.S.	1	1.20	0.75	1.24	0.00	4.13	0.00	0.00	-0.01
time (sec)	N/A	0.012	0.021	0.076	0.000	1.189	0.000	0.000	0.000


Problem 166	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	328	328	243	543	0	0	0	0	-1
N.S.	1	1.00	0.74	1.66	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.190	2.384	0.117	0.000	0.000	0.000	0.000	0.000


Problem 167	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	249	249	198	328	0	0	0	0	-1
N.S.	1	1.00	0.80	1.32	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.095	1.139	0.078	0.000	0.000	0.000	0.000	0.000


Problem 168	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	204	204	86	101	0	0	0	0	-1
N.S.	1	1.00	0.42	0.50	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.058	0.917	0.069	0.000	0.000	0.000	0.000	0.000


Problem 169	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	84	84	133	181	0	0	0	0	-1
N.S.	1	1.00	1.58	2.15	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.011	2.133	0.080	0.000	0.000	0.000	0.000	0.000


Problem 170	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	237	237	243	617	0	0	0	0	-1
N.S.	1	1.00	1.03	2.60	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.080	2.909	0.093	0.000	0.000	0.000	0.000	0.000


Problem 171	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	309	309	285	1411	0	0	0	0	-1
N.S.	1	1.00	0.92	4.57	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.150	3.118	0.094	0.000	0.000	0.000	0.000	0.000


Problem 172	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	410	410	302	780	0	0	0	0	-1
N.S.	1	1.00	0.74	1.90	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.287	4.393	0.103	0.000	0.000	0.000	0.000	0.000


Problem 173	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	336	336	246	545	0	0	0	0	-1
N.S.	1	1.00	0.73	1.62	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.182	2.462	0.083	0.000	0.000	0.000	0.000	0.000


Problem 174	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	273	273	199	330	0	0	0	0	-1
N.S.	1	1.00	0.73	1.21	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.106	2.160	0.082	0.000	0.000	0.000	0.000	0.000


Problem 175	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	267	267	191	332	0	0	0	0	-1
N.S.	1	1.00	0.72	1.24	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.103	3.910	0.080	0.000	0.000	0.000	0.000	0.000


Problem 176	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	229	229	232	607	0	0	0	0	-1
N.S.	1	1.00	1.01	2.65	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.083	4.730	0.089	0.000	0.000	0.000	0.000	0.000


Problem 177	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	315	315	285	1410	0	0	0	0	-1
N.S.	1	1.00	0.90	4.48	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.184	4.934	0.094	0.000	0.000	0.000	0.000	0.000


Problem 178	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	235	235	127	303	0	0	0	0	-1
N.S.	1	1.00	0.54	1.29	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.085	0.958	0.111	0.000	0.000	0.000	0.000	0.000


Problem 179	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	B	F	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	38	38	22	75	0	21	0	0	-1
N.S.	1	1.00	0.58	1.97	0.00	0.55	0.00	0.00	-0.03
time (sec)	N/A	0.006	0.077	0.135	0.000	0.240	0.000	0.000	0.000


Problem 180	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	C	F	B	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	15	38	0	38	17	17	-1
N.S.	1	1.00	0.75	1.90	0.00	1.90	0.85	0.85	-0.05
time (sec)	N/A	0.003	0.002	0.062	0.000	0.630	1.430	1.135	0.000


Problem 181	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	182	182	37	37	0	0	0	0	-1
N.S.	1	1.00	0.20	0.20	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.053	0.728	0.072	0.000	0.000	0.000	0.000	0.000


Problem 182	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	91	91	60	78	0	0	0	0	-1
N.S.	1	1.00	0.66	0.86	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.039	0.627	0.094	0.000	0.000	0.000	0.000	0.000


Problem 183	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	150	150	60	53	0	0	0	0	-1
N.S.	1	1.00	0.40	0.35	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.038	0.642	0.080	0.000	0.000	0.000	0.000	0.000


Problem 184	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	F(-2)	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	20	23	0	0	34	0	-1
N.S.	1	1.00	1.00	1.15	0.00	0.00	1.70	0.00	-0.05
time (sec)	N/A	0.005	0.279	0.099	0.000	0.000	1.490	0.000	0.000


Problem 185	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	F(-2)	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	21	18	0	0	36	0	-1
N.S.	1	1.00	1.00	0.86	0.00	0.00	1.71	0.00	-0.05
time (sec)	N/A	0.005	0.289	0.098	0.000	0.000	1.691	0.000	0.000


Problem 186	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	F(-2)	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	20	29	0	0	34	0	-1
N.S.	1	1.00	1.00	1.45	0.00	0.00	1.70	0.00	-0.05
time (sec)	N/A	0.005	0.329	0.099	0.000	0.000	1.428	0.000	0.000


Problem 187	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	B	B	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	4	4	4	5	0	21	10	0	-1
N.S.	1	1.00	1.00	1.25	0.00	5.25	2.50	0.00	-0.25
time (sec)	N/A	0.004	0.275	0.095	0.000	0.240	1.313	0.000	0.000


Problem 188	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	20	19	0	21	36	0	-1
N.S.	1	1.00	1.00	0.95	0.00	1.05	1.80	0.00	-0.05
time (sec)	N/A	0.005	0.270	0.090	0.000	0.228	1.561	0.000	0.000


Problem 189	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	21	21	21	19	0	21	37	0	-1
N.S.	1	1.00	1.00	0.90	0.00	1.00	1.76	0.00	-0.05
time (sec)	N/A	0.005	0.303	0.092	0.000	0.270	1.622	0.000	0.000


Problem 190	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	A	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	20	20	20	19	0	23	36	0	-1
N.S.	1	1.00	1.00	0.95	0.00	1.15	1.80	0.00	-0.05
time (sec)	N/A	0.005	0.317	0.091	0.000	0.220	1.605	0.000	0.000


Problem 191	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	12	14	0	20	0	0	-1
N.S.	1	1.00	0.92	1.08	0.00	1.54	0.00	0.00	-0.08
time (sec)	N/A	0.010	0.281	0.080	0.000	0.310	0.000	0.000	0.000


Problem 192	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	31	31	27	27	0	23	0	0	-1
N.S.	1	1.00	0.87	0.87	0.00	0.74	0.00	0.00	-0.03
time (sec)	N/A	0.013	0.287	0.090	0.000	0.227	0.000	0.000	0.000


Problem 193	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	35	35	27	31	0	23	0	0	-1
N.S.	1	1.00	0.77	0.89	0.00	0.66	0.00	0.00	-0.03
time (sec)	N/A	0.014	0.305	0.087	0.000	0.346	0.000	0.000	0.000


Problem 194	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	35	35	27	31	0	23	0	0	-1
N.S.	1	1.00	0.77	0.89	0.00	0.66	0.00	0.00	-0.03
time (sec)	N/A	0.013	0.296	0.095	0.000	0.153	0.000	0.000	0.000


Problem 195	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	131	131	27	30	0	0	0	0	-1
N.S.	1	1.00	0.21	0.23	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.027	0.276	0.076	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(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	136	136	27	26	0	0	0	0	-1
N.S.	1	1.00	0.20	0.19	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.030	0.283	0.075	0.000	0.000	0.000	0.000	0.000


Problem 197	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	C	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	148	148	27	20	0	0	0	0	-1
N.S.	1	1.00	0.18	0.14	0.00	0.00	0.00	0.00	-0.01
time (sec)	N/A	0.034	0.279	0.074	0.000	0.000	0.000	0.000	0.000


Problem 198	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	F	A	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	40	40	35	32	0	23	0	0	-1
N.S.	1	1.00	0.88	0.80	0.00	0.58	0.00	0.00	-0.02
time (sec)	N/A	0.010	0.297	0.100	0.000	0.146	0.000	0.000	0.000


Problem 199	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	423	423	321	852	0	0	0	0	-1
N.S.	1	1.00	0.76	2.01	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.294	3.971	0.097	0.000	0.000	0.000	0.000	0.000


Problem 200	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	C	A	F	F(-2)	F	F	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	344	344	260	615	0	0	0	0	-1
N.S.	1	1.00	0.76	1.79	0.00	0.00	0.00	0.00	-0.00
time (sec)	N/A	0.182	2.914	0.102	0.000	0.000	0.000	0.000	0.000

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