3 Lookup table of results

Table 5: Breakdown of results for each PDE. Time in seconds

#	PDE	description	Mathematica		Maple		hand solved?
			result	time	result	time
1	General first order PDE’s	Linear PDE, the transport equation	✓	0.011	✓	0.078	Yes
2	General first order PDE’s	Linear PDE	✓	0.003	✓	0.012	Yes
3	General first order PDE’s	Linear PDE, initial value problem	✓	0.013	✓	0.116	Yes
4	General first order PDE’s	Initial-boundary value problem	✓	0.044	✓	0.31	Yes
5	General first order PDE’s	Linear PDE, the transport equation with initial conditions	✓	0.003	✓	0.015	Yes
6	General first order PDE’s	First order wave PDE, with initial conditions (Haberman 12.2.2)	✓	0.002	✓	0.013	Yes
7	General first order PDE’s	First order wave PDE, with initial and boundary conditions (Haberman 12.2.4)	✗	41.83	✓ Solution contains unresolved invlaplace calls	0.182	Yes
8	General first order PDE’s	First order wave PDE, with initial conditions, non homogeneous (Haberman 12.2.5 (a))	✓	0.026	✓	0.029	Yes
9	General first order PDE’s	First order wave PDE, with initial conditions, non homogeneous (Haberman 12.2.5 (d))	✓	0.018	✓	0.046	Yes
10	General first order PDE’s	General solution for a quasilinear first-order PDE	✓	0.031	✓	0.032	Yes
11	General first order PDE’s	quasilinear first-order PDE, scalar conservation law	✓ Implicit solution	0.031	✓	0.011	Yes
12	General first order PDE’s	quasilinear first-order PDE, scalar conservation law with initial value	✓	0.007	✓	0.015	Yes
13	General first order PDE’s	nonlinear first-order PDE, the Clairaut equation	✓	0.023	✓	0.098	Yes
14	General first order PDE’s	nonlinear first-order PDE, the Clairaut equation with initial value	✓	0.009	✓	0.529	No
15	General first order PDE’s	Another example of nonlinear Clairaut equation	✓	0.021	✓	0.006	No
16	General first order PDE’s	Recover a function from its gradient vector	✓	0.013	✓	0.062	No
17	General first order PDE’s	General solution of a first order nonlinear PDE	✗	0.094	✓ Has unresolved integral in the answer	0.031	No
18	General first order PDE’s	Nonlinear first order PDE	✓	0.086	✓	0.486	No
19	General first order PDE’s	first order PDE of three unknowns	✗ (Timed out)	600.	✓	1.612	No
20	Heat PDE in bar (1D)	Haberman 2.3.3 (a)	✓	0.3	✓	1.769	Yes
21	Heat PDE in bar (1D)	Haberman 2.3.3 (b)	✓	0.78	✓	1.771	Yes
22	Heat PDE in bar (1D)	Haberman 2.3.3 (c)	✓ but \(n=3\) should be special case	0.777	✓ handled \(n=3\) case correctly.	3.359	Yes
23	Heat PDE in bar (1D)	Haberman 2.3.3 (d)	✓	0.959	✓	1.831	Yes
24	Heat PDE in bar (1D)	Haberman 2.3.7	✓	0.313	✓	0.665	Yes
25	Heat PDE in bar (1D)	Haberman 2.3.8	✗	0.824	✓	0.622	Yes
26	Heat PDE in bar (1D)	Haberman 2.4.1 (a)	✓	0.44	✓	1.328	No
27	Heat PDE in bar (1D)	Haberman 2.4.1 (b)	✓	0.303	✓	1.766	Yes
28	Heat PDE in bar (1D)	Haberman 2.4.1 (c)	✓	0.665	✓	3.277	Yes
29	Heat PDE in bar (1D)	Haberman 2.4.1 (d)	✓	0.28	✓	1.869	No
30	Heat PDE in bar (1D)	Haberman 2.4.2	✓	0.214	✓	0.872	Yes
31	Heat PDE in bar (1D)	Convection heat loss	✗	30.405	✓	1.768	No
32	Heat PDE in bar (1D)	convection heat loss	✗	31.243	✓	2.771	Yes
33	Heat PDE in bar (1D)	convection heat loss	✗	8.652	✗ (Timed out)	600.	Yes
34	Heat PDE in bar (1D)	Periodic boundary conditions	✗	0.348	✓	4.583	No
35	Heat PDE in bar (1D)	Mixed BC	✗	31.433	✓	3.307	No
36	Heat PDE in bar (1D)	domain -1 to +1	✗	30.528	✓	2.522	No
37	Heat PDE in bar (1D)	non-homogeneous BC	✓	14.303	✓	1.087	No
38	Heat PDE in bar (1D)	Haberman 8.2.1 (a)	✗	0.659	✓	2.095	Yes
39	Heat PDE in bar (1D)	Haberman 8.2.1 (d)	✗	46.008	✓	1.28	Yes
40	Heat PDE in bar (1D)	Internal source	✗	0.742	✓	1.976	Yes
41	Heat PDE in bar (1D)	Internal source	✓	0.409	✓	1.369	No
42	Heat PDE in bar (1D)	IC hat function	✓	18.782	✓	3.005	No
43	Heat PDE in bar (1D)	homogeneous BC	✓	5.378	✓	1.063	No
44	Heat PDE in bar (1D)	BC depends on time	✓	6.514	✓	1.331	No
45	Heat PDE in bar (1D)	Haberman 8.2.1 (f)	✗	0.38	✓	3.777	No
46	Heat PDE in bar (1D)	Pinchover and Rubinstein 6.25	✗	0.828	✓	7.329	No
47	Heat PDE in bar (1D)	external source	✗	0.402	✓	22.746	No
48	Heat PDE in bar (1D)	Math 4567 Exam	✓	10.412	✓	2.304	No
49	Heat PDE in bar (1D)	Pinchover and Rubinstein 6.17	✗	1.442	✓	3.806	No
50	Heat PDE in bar (1D)	nonhomogeneous BC	✗	0.29	✓	7.17	No
51	Heat PDE in bar (1D)	Pinchover and Rubinstein 6.23	✓	0.899	✓	37.384	No
52	Heat PDE in bar (1D)	Pinchover and Rubinstein 6.21	✓	0.274	✓	4.076	No
53	Heat PDE in bar (1D)	nonhomogeneous BC	✗	30.606	✓	6.369	No
54	Heat PDE in bar (1D)	With source	✗	1.536	✓	7.043	No
55	Heat PDE in bar (1D)	Haberman 8.3.6	✗	30.682	✓	20.185	Yes
56	Heat PDE in bar (1D)	Haberman 8.2.2. (a)	✗	0.41	✓	7.233	Yes
57	Heat PDE in bar (1D)	Articolo 8.4.1	✓	15.524	✓	1.203	No
58	Heat PDE in bar (1D)	Articolo 8.4.3	✗	30.722	✗ (Timed out)	600.	No
59	Heat PDE in bar (1D)	both ends insulated	✗	14.258	✓	4.159	No
60	Heat PDE in bar (1D)	both ends nonhomogeneous	✗	30.537	✓	10.458	Yes
61	Heat PDE in bar (1D)	nonhomogeneous BC	✗	5.065	✓	0.981	No
62	Heat PDE in bar (1D)	nonhomogeneous BC	✗	32.086	✓	7.175	Yes
63	Heat PDE in bar (1D)	Euler-Cauchy Sturm-Liouville	✗	1.011	✓	136.857	Yes
64	Heat PDE in bar (1D)	special initial condition	✓	2.255	✗ (Timed out)	600.	Yes
65	Heat PDE in bar (1D)	Euler-Cauchy Sturm-Liouville	✗	0.784	✓	1.717	No
66	Heat PDE on semi-infinite domain (1D)	Logan p. 76	✓	0.263	✓	1.542	No
67	Heat PDE on semi-infinite domain (1D)	nonhomogeneous BC	✓	1.545	✓	0.272	No
68	Heat PDE on semi-infinite domain (1D)	I.C. not at zero	✗ due to IC/BC not zero	0.008	✓	1.102	No
69	Heat PDE on semi-infinite domain (1D)	nonhomogeneous BC	✓	2.102	✓	0.297	No
70	Heat PDE on semi-infinite domain (1D)	nonhomogeneous BC	✓	8.042	✓	2.295	No
71	Heat PDE on semi-infinite domain (1D)	nonhomogeneous B.C.	✓	2.294	✓	1.269	No
72	Heat PDE on semi-infinite domain (1D)	Unit triangle I.C.	✓	26.281	✓	1.573	No
73	Heat PDE on semi-infinite domain (1D)	I.C. not at \(t=0\)	✗	0.009	✓	1.185	No
74	Heat PDE on infinite domain, 1D	Inverse exponential I.C.	✓	1.164	✓	0.573	Yes
75	Heat PDE on infinite domain, 1D	Advection term	✓	0.366	✓	0.512	No
76	Heat PDE on infinite domain, 1D	UnitBox I.C.	✓	1.593	✓	0.922	No
77	Heat PDE on infinite domain, 1D	No source	✓	0.153	✓	1.442	No
78	Heat PDE on infinite domain, 1D	constant as source	✓	5.562	✓	0.384	No
79	Heat PDE on infinite domain, 1D	No intial conditions	✗	0.002	✓	0.103	Yes
80	Heat PDE on infinite domain, 1D	piecewise I.C.	✗ due to i.c. not at zero	0.01	✓	2.676	Yes
81	Heat PDE in rectangle	No source	✗	0.004	✓	3.45	No
82	Heat PDE in rectangle	Internal source term	✗	0.003	✓	4.05	No
83	Heat PDE in rectangle	Articolo 6.6.3	✗	0.003	✓	6.08	No
84	Heat PDE inside disk	No \(\theta \) dependency	✓	0.799	✓ But has unresolved inverse Laplace transforms	0.698	No
85	Heat PDE inside disk	Haberman 8.3.5	✗	1.423	✗	1.207	Yes
86	Heat PDE inside disk	Articolo 6.9.1	✗	0.027	✗	0.9	No
87	Heat PDE inside disk	Articolo 6.9.2	✗	0.004	✓	13.496	No
88	Heat PDE inside disk	Haberman 8.2.5	✗	0.025	✗	0.183	Yes
89	Heat PDE inside Sphere	No angle dependencies, zero intial conditions, non zero temperature at surface	✗	1.499	✓ Has unresolved Laplace integrals	0.463	No
90	Diffusion Reaction in 1D	Growth form reaction term	✗	22.672	✓	1.185	Yes
91	Diffusion Reaction in 1D	using logistic form for reaction term	✗	1.172	✗	8.409	No
92	Diffusion Reaction in 1D	using Aleee form for reaction term	✗	2.196	✗	13.396	No
93	Diffusion-advection (convection) in 1D	Semi infinite domain	✗	0.454	✓	1.636	No
94	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle (Haberman 2.5.1 (a))	✓	0.179	✓	20.947	No
95	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle (Haberman 2.5.1 (b))	✓	0.161	✓	19.242	No
96	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle (Haberman 2.5.1 (c))	✗	0.278	✓	21.029	No
97	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle (Haberman 2.5.1 (d))	✗	0.281	✓	19.472	No
98	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle (Haberman 2.5.1 (e))	✗	0.554	✓	29.724	Yes
99	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle, top/bottom edges non-zero	✓	2.153	✓	6.154	No
100	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle, top edge at infinity, left edge nonhomogeneous constant	✗	1.543	✓	2.131	Yes
101	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle, top edge at infinity, right edge nonhomogeneous constant	✗	1.54	✓	2.337	Yes
102	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle, right edge at infinity, bottom edge nonhomogeneous constant	✗	1.547	✗	0.165	Yes
103	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle, right edge at infinity, top edge nonhomogeneous function \(e^{-x}\)	✗	1.546	✓ I need to find out how Maple obtained the above solution. It seems to have unknown constant in it	15.123	Yes
104	Laplace PDE in Cartesian coordinates	Laplace PDE inside rectangle, right edge at infinity, top edge nonhomogeneous function \(f(x)\)	✗	1.458	✗ (Timed out)	600.	No
105	Laplace PDE in Cartesian coordinates	Laplace PDE in 2D Cartessian with boundary condition as Dirac function	✓	0.039	✓	0.793	No
106	Laplace PDE in Cartesian coordinates	Laplace PDE in rectangle, one side homogeneous and 3 sides are not	✓	0.527	✓	29.212	No
107	Laplace PDE in Cartesian coordinates	Laplace on all of the right half plane with \(u=f(y)\) on the \(y\) axes	✓	32.327	✓	0.629	No
108	Laplace PDE in Cartesian coordinates	Laplace PDE in rectangle with infinity in the \(x\) direction with \(u=\sin (y)\) on left edge.	✗	1.422	✓	8.995	No
109	Laplace PDE in Cartesian coordinates	Laplace PDE inside a disk, periodic boundary conditions	✓	0.133	✓	2.859	No
110	Laplace PDE in Cartesian coordinates	Dirichlet problem for the Laplace equation in upper half plan	✓	1.533	✓	3.012	No
111	Laplace PDE in Cartesian coordinates	Dirichlet problem for the Laplace equation in right half-plane:	✓	24.679	✓	0.153	No
112	Laplace PDE in Cartesian coordinates	Dirichlet problem for the Laplace equation in the first quadrant	✓	29.45	✗	3.667	No
113	Laplace PDE in Cartesian coordinates	Neumann problem for the Laplace equation in the upper half-plane	✓	12.711	✓ used convert(sol,Int).	0.948	No
114	Laplace PDE in Cartesian coordinates	Dirichlet problem for the Laplace equation in a rectangle	✓	1.129	✓	2.542	No
115	Laplace PDE in Cartesian coordinates	Cartessian coordinates with boundary conditions on two sides only	✗	0.199	✓	2.504	No
116	Laplace PDE in Cartesian coordinates	in Rectangle, right edge at infinity	✗	1.458	✓	9.607	No
117	Laplace PDE in Cartesian coordinates	Laplace PDE inside quarter disk, Neumann BC at edge	✗	1.485	✓	1.722	No
118	Laplace PDE in Polar coordinates	Laplace PDE inside quarter-circle (Haberman 2.5.5 (c))	✗	1.387	✓	1.114	Yes
119	Laplace PDE in Polar coordinates	Laplace PDE inside semi-circle	✗	1.653	✓	1.378	Yes
120	Laplace PDE in Polar coordinates	Laplace PDE inside circular annulus, Neumann boundary conditions using unspecified functions (Haberman 2.5.8 (b))	✗	0.01	✓ But has unresolved Invfourier and Fourier calls	7.92	No
121	Laplace PDE in Polar coordinates	Laplace PDE inside circular annulus, Dirichlet boundary conditions using specified functions	✓	1.367	✓	1.305	No
122	Laplace PDE in Polar coordinates	Laplace PDE outside a disk, periodic boundary conditions	✗	0.008	✓	2.321	No
123	Laplace PDE in Spherical coordinates	Laplace in a sphere	✗	0.021	✓	0.902	No
124	Poisson PDE in Cartesian coordinates	Poisson equation in a rectangle, all boundaries are zero	✗	0.008	✗	19.357	Yes
125	Poisson PDE in Cartesian coordinates	Dirichlet problem for the Poisson equation in a rectangle	✓	0.176	✓	0.126	No
126	Helmholtz PDE in Cartesian coordinates	Dirichlet problem for the Helmholtz equation in a rectangle	✓	2.226	✓	8.044	No
127	Helmholtz PDE in Cartesian coordinates	With no boundary conditions specified	✗ why? It solved earlier with BC?	0.004	✓	0.064	No
128	Reduced Helmholtz PDE in Cartesian coordinates	Inside square	✗	0.781	✓	30.185	No
129	Helmholtz PDE in 3D Spherical	Chain reaction PDE	✗	0.056	✗ Trivial solution	0.715	Yes
130	Wave PDE on finite length string	Both ends fixed, zero initial position, non-zero initial velocity, with extra term present	✗	28.434	✓	2.362	No
131	Wave PDE on finite length string	One end fixed, another free, both initial conduitions non zero, and source that depends on time and space	✗	0.816	✓	46.266	No
132	Wave PDE on finite length string	Both ends fixed, no initial conduitions give and no source (Logan p. 28)	✗	0.262	✓	0.602	No
133	Wave PDE on finite length string	One end fixed, other free, initial position not zero, initial velocity zero, no source (Logan p. 130)	✗	0.655	✓	6.855	No
134	Wave PDE on finite length string	Both ends fixed end, initial conditions zero, with source as generic function that depends on time and space (Logan p. 149)	✗	0.843	✓	3.249	No
135	Wave PDE on finite length string	Both ends fixed end, initial position given, zero initial velocity, with source that depends on time and space (Haberman 8.5.2 (a))	✗	0.904	✓	12.648	No
136	Wave PDE on finite length string	Both ends fixed end, initial position given, zero initial velocity, with source that depends on time and space (Haberman 8.5.2 (b))	✗	1.154	✓	55.028	Yes
137	Wave PDE on finite length string	Both ends fixed, initial conditions both not zero, No source	✓	36.935	✓	3.322	No
138	Wave PDE on finite length string	Both ends fixed end, initial conditions both not zero, and with constant source	✗	0.668	✓	10.515	No
139	Wave PDE on finite length string	Both ends fixed end, with source (Logan p. 213)	✗	0.657	✓	4.862	No
140	Wave PDE on finite length string	Telegraphy PDE, both ends fixed with damping	✗	31.266	✓ But \(n = 1\) should not be included.	4.07	No
141	Wave PDE on finite length string	Both ends fixed. Initial velocity zero. Dispersion term present	✗ Due to adding dispersion term	31.329	✓	16.619	No
142	Wave PDE on finite length string	Both ends fixed, non-zero initial position	✓ But sum should not include \(n=2\)	31.075	✓ Handled \(n=2\) case correctly	10.53	No
143	Wave PDE on finite length string	Both ends fixed, zero initial position, non zero initial velocity, with source that depends on time and space	✗	29.523	✓	17.288	No
144	Wave PDE on finite length string	Left end fixed, right end oscillates, initially at rest. With source that depends on time and space	✗	30.706	✓	16.13	No
145	Wave PDE on semi-infinite domain	With zero initial position and velocity, and with source term (Logan p. 115)	✓	0.157	✓	0.504	No
146	Wave PDE on semi-infinite domain	Left end having a moving boundary condition	✓	7.054	✓	0.433	No
147	Wave PDE on semi-infinite domain	Initial value with a Dirichlet condition on the half-line	✓	26.435	✓	4.447	No
148	Wave PDE on semi-infinite domain	Initial value problem with a Neumann condition on the half-line	✓	13.48	✓	0.782	No
149	Wave PDE on semi-infinite domain	With initial conditions given at \(t=1\) instead of \(t=0\)	✓	24.048	✓	0.349	No
150	Wave PDE on semi-infinite domain	initial conditions at \(t=0\) but B.C. at \(x=1\)	✗	9.39	✓	0.626	No
151	Wave PDE on semi-infinite domain	initial conditions at \(t=1\) with source that depends on time and space	✗	0.008	✓	3.578	No
152	Wave PDE on semi-infinite domain	Left end free with initial position and velocity given	✓	0.155	✓	0.339	No
153	Wave PDE 1D infinite domain	General solution for a second-order hyperbolic PDE on real line	✓	0.004	✓	0.179	No
154	Wave PDE 1D infinite domain	With initial conditions specified, no source	✓	0.046	✓	0.099	No
155	Wave PDE 1D infinite domain	Wave PDE on infinite domain with initial conditions specified, with source term	✓	0.009	✓	0.112	No
156	Wave PDE 1D infinite domain	non-linear wave PDE (Solitons)	✓	0.048	✓ Returning a solution that is not the most general one	0.173	No
157	Wave PDE 1D infinite domain	Hyperbolic PDE with non-rational coefficients	✓	0.105	✗	0.088	No
158	Wave PDE 1D infinite domain	Inhomogeneous hyperbolic PDE with constant coefficients	✓	0.003	✓	0.11	No
159	Wave PDE 1D infinite domain	system of 2 inhomogeneous linear hyperbolic system with constant coefficients	✓	0.274	✗	0.449	No
160	Wave PDE in 2D Cartesian coordinates	In square, given initial position but with zero initial velocity	✗	0.003	✓	13.325	No
161	Wave PDE in 2D Cartesian coordinates	In square with damping. Given zero initial position but with non-zero initial velocity	✗	0.003	✓	18.152	No
162	Wave PDE in 2D Cartesian coordinates	In rectangle. All 4 edges are fixed and given non-zero initial position with zero initial velocity	✓	0.85	✓	4.921	No
163	Wave PDE in 2D Cartesian coordinates	In rectangle. All 4 edges are fixed and given non-zero initial position with zero initial velocity (Haberman 8.5.5 (a))	✗	0.003	✗	0.187	No
164	Wave PDE in 2D Polar coordinates	In circular disk. fixed edge of disk, no \(\theta \) dependency, with initial position and velocity given	✓	31.049	✓ Has unresolved Invlaplace calls	49.033	No
165	Wave PDE in 2D Polar coordinates	In circular disk. fixed edge of disk, with \(\theta \) dependency, zero initial velocity	✗	0.004	✗	0.24	No
166	Wave PDE in 3D Spherical coordinates	No initial and no boundary conditions given	✗	0.029	✓	1.402	No
167	Wave PDE in 3D Cylindrical coordinates	No initial and no boundary conditions given	✗	0.003	✓	0.269	No
168	Schrodinger PDE	Schrodinger PDE with zero potential (Logan p. 30)	✓	0.267	✓	0.764	No
169	Schrodinger PDE	Schrodinger PDE with initial and boundary conditions. Zero potential	✓	0.011	✓	7.79	No
170	Schrodinger PDE	Initial value problem with Dirichlet boundary conditions. Zero potential	✓	0.572	✓	1.903	No
171	Schrodinger PDE	Solve a Schrodinger equation with potential over the whole real line	✓	0.005	✗ Maple does not support \(\infty \) in boundary conditions	0.	No
172	Schrodinger PDE	Schrodinger equation, with initial conditions. Zero potential (Griffiths p. 47)	✓	35.714	✓	3.929	No
173	Schrodinger PDE	Schrodinger equation, with initial conditions. Infinite square well potential (Griffiths p. 47)	✓	0.01	✓	0.822	No
174	Schrodinger PDE	In 2 space dimensions	✗	0.658	✓	7.776	No
175	Beam PDE	Beam PDE with zero initial velocity	✓	0.19	✓	0.14	No
176	Burger’s PDE	viscous fluid flow with no initial conditions	✓	0.02	✓	0.169	No
177	Burger’s PDE	viscous fluid flow with initial conditions	✓	8.474	✗	0.956	No
178	Burger’s PDE	viscous fluid flow with initial conditions as UnitBox	✓	11.585	✗	1.228	No
179	Black Scholes PDE	classic Black Scholes model from finance, European call version	✓	2.984	✓	1.056	No
180	Black Scholes PDE	Boundary value problem for the Black Scholes equation	✓	1.097	✓	3.356	No
181	Korteweg-deVries PDE	Korteweg-deVries (waves on shallow water surfaces) with no initial conditions	✓	0.028	✓	0.187	No
182	Tricomi PDE	Boundary value problem for the Tricomi equation	✓	5.167	✓	5.729	No
183	Cauchy Riemann PDE’s	Cauchy Riemann PDE with Prescribe the values of \(u\) and \(v\) on the \(x\) axis	✓	0.003	✓	0.384	No
184	Cauchy Riemann PDE’s	Cauchy Riemann PDE With extra term on right side	✗	0.001	✓	0.143	No
185	Hamilton-Jacobi PDE	Hamilton-Jacobi type PDE	✗	0.007	✓	0.408	No
186	miscellaneous PDE’s	A second order PDE	✗	0.035	✓	0.081	No
187	miscellaneous PDE’s	second order PDE in Polar coordinates	✗	0.011	✓	0.804	No
188	miscellaneous PDE’s	Laplace like PDE with polynomial solution	✓	4.514	✓	2.437	No
189	miscellaneous PDE’s	Third oder PDE	✗	0.268	✓	21.509	No
190	miscellaneous PDE’s	PDE solved by Laplace transform	✗	0.181	✓	0.487	No
191	miscellaneous PDE’s	Linear PDE, initial conditions at \(t=1\)	✗	0.003	✓	0.633	No
192	miscellaneous PDE’s	Linear PDE, initial conditions at \(t=t_0\)	✗	0.003	✓	0.478	No
193	miscellaneous PDE’s	second order in time, Linear PDE, initial conditions at \(t=t_0\)	✗	0.003	✓	0.538	No
194	miscellaneous PDE’s	Einstein-Weiner PDE	✗	0.003	✓	0.344	No
195	Nonlinear PDE’s	Bateman-Burgers equation	✓	0.019	✓	0.178	No
196	Nonlinear PDE’s	Benjamin Bona Mahony	✓	0.029	✓	0.186	No
197	Nonlinear PDE’s	Benjamin Ono	✓	0.019	✓	0.172	No
198	Nonlinear PDE’s	Born Infeld	✓	0.007	✓	0.376	No
199	Nonlinear PDE’s	Boussinesq	✓	0.04	✓	0.192	No
200	Nonlinear PDE’s	Boussinesq type PDE	✓	0.039	✓	0.204	No
201	Nonlinear PDE’s	Buckmaster	✗	0.065	✓ Answer in terms of RootOf.	0.971	No
202	Nonlinear PDE’s	Camassa Holm	✗	0.17	✓ Answer in terms of RootOf.	3.623	No
203	Nonlinear PDE’s	Chaffee Infante equation	✗	0.09	✓	0.393	No
204	Nonlinear PDE’s	Clarke’s equation	✗	0.009	✗	0.038	No
205	Nonlinear PDE’s	Degasperis Procesi	✗	0.167	✓ But still has unresolved ODE’s in solution	0.769	No
206	Nonlinear PDE’s	Dym equation	✗	0.08	✓ has RootOf	0.834	No
207	Nonlinear PDE’s	Estevez Mansfield Clarkson equation	✓	0.031	✓	0.259	No
208	Nonlinear PDE’s	Fisher’s equation	✓	0.047	✓	0.372	No
209	Nonlinear PDE’s	Hunter Saxton	✗	0.044	✓ with RootOf	0.203	No
210	Nonlinear PDE’s	Kadomtsev Petviashvili	✓	0.066	✓	0.243	No
211	Nonlinear PDE’s	Klein Gordon (nonlinear)	✗	0.004	✗	0.072	No
212	Nonlinear PDE’s	special case Klein Gordon (nonlinear)	✗	0.208	✓	1.001	No
213	Nonlinear PDE’s	Khokhlov Zabolotskaya	✗	0.056	✓	0.668	No
214	Nonlinear PDE’s	Korteweg de Vries (KdV)	✓	0.013	✓	0.109	No
215	Nonlinear PDE’s	Lin Tsien equation	✗	0.071	✓	0.637	No
216	Nonlinear PDE’s	Liouville equation	✗	0.004	✗	0.062	No
217	Nonlinear PDE’s	Plateau	✗	0.031	✓	0.416	No
218	Nonlinear PDE’s	Rayleigh	✗	0.075	✓ Has RootOf	0.269	No
219	Nonlinear PDE’s	Sawada Kotera	✓	0.079	✓	0.355	No
220	Nonlinear PDE’s	Sine Gordon	✗	0.007	✗	0.011	No
221	Nonlinear PDE’s	Sinh Gordon	✗	0.007	✗	0.011	No
222	Nonlinear PDE’s	Sinh Poisson	✗	0.006	✗	0.011	No
223	Nonlinear PDE’s	Thomas equation	✗	0.061	✓	0.803	No
224	Nonlinear PDE’s	phi equation	✓	0.041	✓	0.352	No
225	HFOPDE, chapter 1	problem number 1	✓	0.02	✓	0.02	No
226	HFOPDE, chapter 1	problem number 2	✓	0.021	✓	0.004	No
227	HFOPDE, chapter 1	problem number 3	✓	0.02	✓	0.004	No
228	HFOPDE, chapter 1	problem number 4	✓	0.019	✓	0.003	No
229	HFOPDE, chapter 1	problem number 5	✓	0.319	✓	0.011	No
230	HFOPDE, chapter 1	problem number 6	✓	0.316	✓	0.01	No
231	HFOPDE, chapter 2.2.1	problem number 1	✓	0.004	✓ Solution missing \(a,b\) compared to book, but technically still correct.	0.002	Yes
232	HFOPDE, chapter 2.2.1	problem number 2	✓	0.005	✓	0.024	Yes
233	HFOPDE, chapter 2.2.1	problem number 3	✓	0.018	✓	0.031	Yes
234	HFOPDE, chapter 2.2.1	problem number 4	✓	0.005	✓	0.029	Yes
235	HFOPDE, chapter 2.2.1	problem number 5	✓	0.008	✓	0.111	No
236	HFOPDE, chapter 2.2.1	problem number 6	✓	0.059	✓	0.122	No
237	HFOPDE, chapter 2.2.1	problem number 7	✓	0.02	✓ But Mathematica solution is simpler, both verified correct	1.498	No
238	HFOPDE, chapter 2.2.1	problem number 8	✗	1.822	✓	2.112	No
239	HFOPDE, chapter 2.2.2	problem number 1	✓	0.005	✓	0.008	No
240	HFOPDE, chapter 2.2.2	problem number 2	✓	0.091	✓	0.164	No
241	HFOPDE, chapter 2.2.2	problem number 3	✓	0.027	✓	0.016	No
242	HFOPDE, chapter 2.2.2	problem number 4	✓	0.187	✓	0.143	No
243	HFOPDE, chapter 2.2.2	problem number 5	✓	0.073	✓	0.196	No
244	HFOPDE, chapter 2.2.2	problem number 6	✓	0.136	✓	0.151	No
245	HFOPDE, chapter 2.2.2	problem number 7	✓	0.15	✓	0.256	No
246	HFOPDE, chapter 2.2.2	problem number 8	✓	0.223	✓	0.184	No
247	HFOPDE, chapter 2.2.2	problem number 9	✓	0.071	✓	0.257	No
248	HFOPDE, chapter 2.2.2	problem number 10	✓	0.045	✓	0.137	No
249	HFOPDE, chapter 2.2.2	problem number 11	✓	0.121	✓	0.084	No
250	HFOPDE, chapter 2.2.2	problem number 12	✓	0.28	✓	0.343	No
251	HFOPDE, chapter 2.2.2	problem number 13	✓	0.009	✓	0.037	No
252	HFOPDE, chapter 2.2.2	problem number 14	✓	0.027	✓	0.526	No
253	HFOPDE, chapter 2.2.2	problem number 15	✓	0.166	✓	0.323	No
254	HFOPDE, chapter 2.2.2	problem number 16	✓	0.804	✓	0.216	No
255	HFOPDE, chapter 2.2.2	problem number 17	✓	0.519	✓	0.397	No
256	HFOPDE, chapter 2.2.2	problem number 18	✓	0.022	✓	0.086	No
257	HFOPDE, chapter 2.2.2	problem number 19	✓	0.068	✓	0.183	No
258	HFOPDE, chapter 2.2.2	problem number 20	✗	0.05	✓	0.339	No
259	HFOPDE, chapter 2.2.2	problem number 21	✓	0.05	✓	0.207	No
260	HFOPDE, chapter 2.2.2	problem number 22	✓	0.095	✓	0.639	No
261	HFOPDE, chapter 2.2.2	problem number 23	✓	0.032	✓	0.354	No
262	HFOPDE, chapter 2.2.2	problem number 24	✗	0.062	✓	0.261	No
263	HFOPDE, chapter 2.2.2	problem number 25	✗ (Timed out)	600.	✗ (Timed out)	600.	No
264	HFOPDE, chapter 2.2.2	problem number 26	✗	261.077	✗	29.987	No
265	HFOPDE, chapter 2.2.2	problem number 27	✗	101.416	✗	1.723	No
266	HFOPDE, chapter 2.2.2	problem number 28	✗	0.067	✓ solution contains RootOf	0.155	No
267	HFOPDE, chapter 2.2.2	problem number 29	✗	101.016	✗	2.472	No
268	HFOPDE, chapter 2.2.2	problem number 30	✗	0.063	✓	0.276	No
269	HFOPDE, chapter 2.2.2	problem number 31, Hesse’s equation	✗	235.248	✓	8.362	No
270	HFOPDE, chapter 2.2.3	problem number 1	✓ But it can’t solve it when assuming \(b>0\) which is strange.	0.066	✓ Mathematica solution is much simpler	1.557	No
271	HFOPDE, chapter 2.2.3	problem number 2	✓	0.092	✓	0.15	No
272	HFOPDE, chapter 2.2.3	problem number 3	✓	0.055	✓	1.085	No
273	HFOPDE, chapter 2.2.3	problem number 4	✗	0.087	✓	1.449	No
274	HFOPDE, chapter 2.2.3	problem number 5	✗	0.364	✓ Answer contains RootOf	0.158	No
275	HFOPDE, chapter 2.2.3	problem number 6	✗	0.07	✓ Answer contains RootOf	0.067	No
276	HFOPDE, chapter 2.2.3	problem number 7	✓	0.038	✓	0.157	No
277	HFOPDE, chapter 2.2.3	problem number 8	✓	0.017	✓	0.067	No
278	HFOPDE, chapter 2.2.3	problem number 9	✗ (Timed out)	600.	✓	0.046	No
279	HFOPDE, chapter 2.2.4	problem number 1	✓	0.016	✓	0.017	No
280	HFOPDE, chapter 2.2.4	problem number 2	✓	0.111	✓	0.312	No
281	HFOPDE, chapter 2.2.4	problem number 3	✓	0.217	✓	0.312	No
282	HFOPDE, chapter 2.2.4	problem number 4	✓	0.182	✓	1.805	No
283	HFOPDE, chapter 2.2.4	problem number 5	✗	0.186	✗ (Timed out)	600.	No
284	HFOPDE, chapter 2.2.4	problem number 6	✓	1.665	✓	0.591	No
285	HFOPDE, chapter 2.2.4	problem number 7	✗	1.085	✓	2.272	No
286	HFOPDE, chapter 2.2.5	problem number 1	✓	0.028	✓	0.15	No
287	HFOPDE, chapter 2.2.5	problem number 2	✓	0.092	✓	0.348	No
288	HFOPDE, chapter 2.2.5	problem number 3	✓	0.028	✓	0.128	No
289	HFOPDE, chapter 2.2.5	problem number 4	✗	19.143	✓	1.51	No
290	HFOPDE, chapter 2.2.5	problem number 5	✓	0.308	✓	0.431	No
291	HFOPDE, chapter 2.2.5	problem number 6	✗ (Timed out)	600.	✓	2.524	No
292	HFOPDE, chapter 2.2.5	problem number 7	✓	0.098	✓	0.187	No
293	HFOPDE, chapter 2.2.5	problem number 8	✗	22.627	✓	3.532	No
294	HFOPDE, chapter 2.2.5	problem number 9	✗	0.806	✓	6.244	No
295	HFOPDE, chapter 2.2.5	problem number 10	✗ (Timed out)	600.	✓	5.292	No
296	HFOPDE, chapter 2.2.5	problem number 11	✗	24.757	✗	6.035	No
297	HFOPDE, chapter 2.2.5	problem number 12	✗	24.269	✗	4.593	No
298	HFOPDE, chapter 2.2.5	problem number 13	✗	28.83	✗	11.215	No
299	HFOPDE, chapter 2.2.5	problem number 14	✗	1.518	✓ Solution contains RootOf	0.216	No
300	HFOPDE, chapter 2.2.5	problem number 15	✓	0.304	✓	1.568	No
301	HFOPDE, chapter 2.2.5	problem number 16	✗	75.081	✗	34.908	No
302	HFOPDE, chapter 2.2.5	problem number 17	✗	135.405	✓	1.063	No
303	HFOPDE, chapter 2.2.5	problem number 18	✗	81.147	✓	1.179	No
304	HFOPDE, chapter 2.2.5	problem number 19	✗ (Timed out)	600.	✓	1.106	No
305	HFOPDE, chapter 2.2.5	problem number 20	✓	0.052	✓	0.309	No
306	HFOPDE, chapter 2.2.5	problem number 21	✓	0.274	✓	0.252	No
307	HFOPDE, chapter 2.2.5	problem number 22	✓	0.157	✓	0.175	No
308	HFOPDE, chapter 2.2.5	problem number 23	✗	25.898	✓	0.178	No
309	HFOPDE, chapter 2.2.5	problem number 24	✓	0.086	✓	0.122	No
310	HFOPDE, chapter 2.2.5	problem number 25	✓	0.292	✓	0.089	No
311	HFOPDE, chapter 2.2.5	problem number 26	✓	0.427	✓	0.198	No
312	HFOPDE, chapter 2.2.5	problem number 27	✓	0.092	✓	0.219	No
313	HFOPDE, chapter 2.2.5	problem number 28	✗	0.1	✓ Solution contains RootOf	0.149	No
314	HFOPDE, chapter 2.2.5	problem number 29	✗	0.08	✓ Solution contains RootOf	0.116	No
315	HFOPDE, chapter 2.2.5	problem number 30	✗	0.29	✓	5.364	No
316	HFOPDE, chapter 2.2.5	problem number 31	✗	18.564	✓	1.899	No
317	HFOPDE, chapter 2.2.5	problem number 32	✗	130.256	✗	23.403	No
318	HFOPDE, chapter 2.2.5	problem number 33	✓	0.071	✓	0.428	No
319	HFOPDE, chapter 2.2.5	problem number 34	✓	0.025	✓	0.207	No
320	HFOPDE, chapter 2.2.5	problem number 35	✓	0.05	✓	0.315	No
321	HFOPDE, chapter 2.2.5	problem number 36	✓	0.163	✓	0.355	No
322	HFOPDE, chapter 2.2.5	problem number 37	✗ (Timed out)	600.	✓	0.747	No
323	HFOPDE, chapter 2.2.5	problem number 38	✓	1.367	✓	0.47	No
324	HFOPDE, chapter 2.2.5	problem number 39	✓	0.076	✓	0.328	No
325	HFOPDE, chapter 2.2.5	problem number 40	✗	140.71	✗	22.523	No
326	HFOPDE, chapter 2.2.5	problem number 41	✓	0.142	✓	0.511	No
327	HFOPDE, chapter 2.2.5	problem number 42	✗	3.386	✓	1.907	No
328	HFOPDE, chapter 2.2.5	problem number 43	✗	2.488	✓	3.795	No
329	HFOPDE, chapter 2.2.5	problem number 44	✗	144.693	✗	20.276	No
330	HFOPDE, chapter 2.2.5	problem number 45	✗	145.087	✗	30.301	No
331	HFOPDE, chapter 2.2.5	problem number 46	✗ (Timed out)	600.	✓	11.662	No
332	HFOPDE, chapter 2.2.5	problem number 47	✓	39.504	✓	1.469	No
333	HFOPDE, chapter 2.2.5	problem number 48	✗	37.35	✓	1.152	No
334	HFOPDE, chapter 2.2.5	problem number 49	✗	24.756	✗	14.524	No
335	HFOPDE, chapter 2.2.5	problem number 50	✗	114.766	✗	75.018	No
336	HFOPDE, chapter 2.2.5	problem number 51	✗	0.146	✓	2.389	No
337	HFOPDE, chapter 2.2.5	problem number 52	✗	9.411	✗	3.317	No
338	HFOPDE, chapter 2.2.5	problem number 53	✗	0.263	✓	1.75	No
339	HFOPDE, chapter 2.2.5	problem number 54	✗	0.171	✗	3.12	No
340	HFOPDE, chapter 2.2.5	problem number 55	✗	26.304	✗	9.84	No
341	HFOPDE, chapter 2.2.5	problem number 56	✗ Timed out	423.057	✓	3.039	No
342	HFOPDE, chapter 2.3.1	problem number 1	✓	0.011	✓	0.028	No
343	HFOPDE, chapter 2.3.1	problem number 2	✓	0.015	✓	0.008	No
344	HFOPDE, chapter 2.3.1	problem number 3	✓	0.035	✓	1.733	No
345	HFOPDE, chapter 2.3.1	problem number 4	✓	0.124	✓	1.608	No
346	HFOPDE, chapter 2.3.1	problem number 5	✗	24.09	✓	0.563	No
347	HFOPDE, chapter 2.3.1	problem number 6	✓	0.029	✓	0.125	No
348	HFOPDE, chapter 2.3.1	problem number 7	✓	0.097	✓	0.054	No
349	HFOPDE, chapter 2.3.1	problem number 8	✓	0.151	✓ Has RootOf	2.723	No
350	HFOPDE, chapter 2.3.1	problem number 9	✓	0.086	✓	0.515	No
351	HFOPDE, chapter 2.3.1	problem number 10	✗	0.125	✓	4.404	No
352	HFOPDE, chapter 2.3.1	problem number 11	✗	1.975	✗	3.162	No
353	HFOPDE, chapter 2.3.2	problem number 1	✓	0.429	✓	0.673	No
354	HFOPDE, chapter 2.3.2	problem number 2	✓	0.679	✓	0.259	No
355	HFOPDE, chapter 2.3.2	problem number 3	✓	0.215	✓	0.079	No
356	HFOPDE, chapter 2.3.2	problem number 4	✗	36.55	✓	0.393	No
357	HFOPDE, chapter 2.3.2	problem number 5	✓	0.116	✓	0.155	No
358	HFOPDE, chapter 2.3.2	problem number 6	✗	22.289	✗	6.686	No
359	HFOPDE, chapter 2.3.2	problem number 7	✓	0.148	✓	0.215	No
360	HFOPDE, chapter 2.3.2	problem number 8	✗ kernel error generated	0.444	✓	0.09	No
361	HFOPDE, chapter 2.3.2	problem number 9	✓	0.818	✓	0.839	No
362	HFOPDE, chapter 2.3.2	problem number 10	✓	0.8	✓	0.805	No
363	HFOPDE, chapter 2.3.2	problem number 11	✗	21.559	✓	1.039	No
364	HFOPDE, chapter 2.3.2	problem number 12	✓	1.627	✓	0.254	No
365	HFOPDE, chapter 2.3.2	problem number 13	✓	0.058	✓	0.121	No
366	HFOPDE, chapter 2.3.2	problem number 14	✗	23.365	✗	7.268	No
367	HFOPDE, chapter 2.3.2	problem number 15	✗ (Timed out)	600.	✓	2.228	No
368	HFOPDE, chapter 2.3.2	problem number 16	✗	22.075	✗	5.836	No
369	HFOPDE, chapter 2.3.2	problem number 17	✗	222.015	✓	1.382	No
370	HFOPDE, chapter 2.3.2	problem number 18	✗	22.431	✗	5.848	No
371	HFOPDE, chapter 2.3.2	problem number 19	✓	0.1	✓	0.304	No
372	HFOPDE, chapter 2.3.2	problem number 20	✗	22.241	✗	3.298	No
373	HFOPDE, chapter 2.3.2	problem number 21	✗	23.959	✗	4.204	No
374	HFOPDE, chapter 2.3.2	problem number 22	✓	1.723	✓	0.229	No
375	HFOPDE, chapter 2.3.2	problem number 23	✓	0.109	✓	0.215	No
376	HFOPDE, chapter 2.3.2	problem number 24	✗	21.281	✗	4.447	No
377	HFOPDE, chapter 2.3.2	problem number 25	✓	0.131	✓	0.169	No
378	HFOPDE, chapter 2.3.2	problem number 26	✓	0.153	✓	0.157	No
379	HFOPDE, chapter 2.3.2	problem number 27	✗	0.598	✓ Solution contains RootOf	0.263	No
380	HFOPDE, chapter 2.3.2	problem number 28	✓	7.115	✓	0.273	No
381	HFOPDE, chapter 2.3.2	problem number 29	✓	0.079	✓	0.283	No
382	HFOPDE, chapter 2.3.2	problem number 30	✓	2.549	✓	0.228	No
383	HFOPDE, chapter 2.3.2	problem number 31	✗	47.506	✓	12.006	No
384	HFOPDE, chapter 2.3.2	problem number 32	✓	0.043	✓	0.288	No
385	HFOPDE, chapter 2.3.2	problem number 33	✗	0.076	✓	0.38	No
386	HFOPDE, chapter 2.3.2	problem number 34	✗ (Timed out)	600.	✓	5.816	No
387	HFOPDE, chapter 2.3.2	problem number 35	✗ (Timed out)	600.	✓	7.093	No
388	HFOPDE, chapter 2.3.2	problem number 36	✗ (Timed out)	600.	✓	5.601	No
389	HFOPDE, chapter 2.4.1	problem number 1	✓	0.014	✓	0.051	No
390	HFOPDE, chapter 2.4.1	problem number 2	✓	0.048	✓	0.5	No
391	HFOPDE, chapter 2.4.1	problem number 3	✓	59.45	✓	3.309	No
392	HFOPDE, chapter 2.4.1	problem number 4	✗	42.013	✓	0.58	No
393	HFOPDE, chapter 2.4.1	problem number 5	✗	54.629	✓	3.659	No
394	HFOPDE, chapter 2.4.1	problem number 6	✓	0.179	✓	0.124	No
395	HFOPDE, chapter 2.4.1	problem number 7	✓	0.023	✓	0.072	No
396	HFOPDE, chapter 2.4.2	problem number 1	✓	0.011	✓	0.009	No
397	HFOPDE, chapter 2.4.2	problem number 2	✓	0.031	✓	0.489	No
398	HFOPDE, chapter 2.4.2	problem number 3	✗	58.587	✓	4.575	No
399	HFOPDE, chapter 2.4.2	problem number 4	✗	59.346	✓	3.601	No
400	HFOPDE, chapter 2.4.2	problem number 5	✗ (Timed out)	600.	✓	2.323	No
401	HFOPDE, chapter 2.4.2	problem number 6	✗ (Timed out)	600.	✓	6.564	No
402	HFOPDE, chapter 2.4.2	problem number 7	✗ (Timed out)	600.	✓	1.892	No
403	HFOPDE, chapter 2.4.2	problem number 8	✓	0.038	✓	0.106	No
404	HFOPDE, chapter 2.4.3	problem number 1	✓	0.021	✓	0.009	No
405	HFOPDE, chapter 2.4.3	problem number 2	✓	0.031	✓	0.002	No
406	HFOPDE, chapter 2.4.3	problem number 3	✓	2.293	✓	1.063	No
407	HFOPDE, chapter 2.4.3	problem number 4	✗	42.704	✓	2.809	No
408	HFOPDE, chapter 2.4.3	problem number 5	✗ (Timed out)	600.	✓	2.029	No
409	HFOPDE, chapter 2.4.3	problem number 6	✗ (Timed out)	600.	✓	5.6	No
410	HFOPDE, chapter 2.4.3	problem number 7	✗ (Timed out)	600.	✓	2.028	No
411	HFOPDE, chapter 2.4.3	problem number 8	✓	290.451	✓	0.154	No
412	HFOPDE, chapter 2.4.4	problem number 1	✓	0.021	✓	0.046	No
413	HFOPDE, chapter 2.4.4	problem number 2	✓	0.034	✓	1.662	No
414	HFOPDE, chapter 2.4.4	problem number 3	✓	2.07	✓	1.081	No
415	HFOPDE, chapter 2.4.4	problem number 4	✗	4.003	✓	0.972	No
416	HFOPDE, chapter 2.4.5	problem number 1	✓	0.066	✓	0.492	No
417	HFOPDE, chapter 2.4.5	problem number 2	✓	0.168	✓	0.113	No
418	HFOPDE, chapter 2.4.5	problem number 3	✓	1.733	✓	0.858	No
419	HFOPDE, chapter 2.4.5	problem number 4	✗	13.322	✓	5.756	No
420	HFOPDE, chapter 2.4.5	problem number 5	✓	0.035	✓	0.068	No
421	HFOPDE, chapter 2.4.5	problem number 6	✗ (Timed out)	600.	✓	5.398	No
422	HFOPDE, chapter 2.5.1	problem number 1	✓	0.033	✓	0.053	No
423	HFOPDE, chapter 2.5.1	problem number 3	✓	579.252	✓	0.045	No
424	HFOPDE, chapter 2.5.1	problem number 4	✗ (Timed out)	600.	✓	0.149	No
425	HFOPDE, chapter 2.5.2	problem number 1	✓	0.065	✓	0.361	No
426	HFOPDE, chapter 2.5.2	problem number 2	✓	0.077	✓	0.122	No
427	HFOPDE, chapter 2.5.2	problem number 3	✗ (Timed out)	600.	✓	0.508	No
428	HFOPDE, chapter 2.5.2	problem number 4	✗	22.035	✓	0.455	No
429	HFOPDE, chapter 2.5.2	problem number 5	✗	22.658	✗	2.791	No
430	HFOPDE, chapter 2.5.2	problem number 6	✗	26.279	✓	1.699	No
431	HFOPDE, chapter 2.5.2	problem number 7	✗	26.548	✗	3.14	No
432	HFOPDE, chapter 2.5.2	problem number 8	✗	23.418	✗	2.414	No
433	HFOPDE, chapter 2.5.2	problem number 9	✓	0.214	✓	0.224	No
434	HFOPDE, chapter 2.5.2	problem number 10	✗ (Timed out)	600.	✓	1.339	No
435	HFOPDE, chapter 2.5.2	problem number 11	✓	0.067	✓	0.195	No
436	HFOPDE, chapter 2.5.2	problem number 12	✗	20.671	✗	1.861	No
437	HFOPDE, chapter 2.5.2	problem number 13	✗	22.799	✗	2.928	No
438	HFOPDE, chapter 2.5.2	problem number 14	✗	21.894	✗	1.266	No
439	HFOPDE, chapter 2.5.2	problem number 15	✓	0.15	✓	0.351	No
440	HFOPDE, chapter 2.5.2	problem number 16	✓	0.057	✓	0.1	No
441	HFOPDE, chapter 2.5.2	problem number 17	✓	0.653	✓	0.304	No
442	HFOPDE, chapter 2.5.2	problem number 18	✗ (Timed out)	600.	✓	0.641	No
443	HFOPDE, chapter 2.5.2	problem number 19	✗ (Timed out)	600.	✓	3.634	No
444	HFOPDE, chapter 2.5.2	problem number 20	✗ (Timed out)	600.	✓	1.818	No
445	HFOPDE, chapter 2.5.2	problem number 21	✗	26.139	✓	0.13	No
446	HFOPDE, chapter 2.5.2	problem number 22	✗ (Timed out)	600.	✓	0.841	No
447	HFOPDE, chapter 2.5.2	problem number 23	✗ (Timed out)	600.	✓	0.372	No
448	HFOPDE, chapter 2.6.1	problem number 1	✓	0.234	✓ contains unresolved integral	0.427	No
449	HFOPDE, chapter 2.6.1	problem number 2	✓ contains unresolved integral	397.433	✓ contains unresolved integral	0.699	No
450	HFOPDE, chapter 2.6.1	problem number 3	✓	0.542	✓ contains unresolved integral	0.972	No
451	HFOPDE, chapter 2.6.1	problem number 4	✗ (Timed out)	600.	✓ contains unresolved integral	1.257	No
452	HFOPDE, chapter 2.6.1	problem number 5	✗	41.582	✓	4.007	No
453	HFOPDE, chapter 2.6.1	problem number 6	✗	44.148	✓ contains unresolved integrals	0.251	No
454	HFOPDE, chapter 2.6.1	problem number 7	✗	29.002	✓ contains unresolved integrals	2.789	No
455	HFOPDE, chapter 2.6.1	problem number 8	✗	41.969	✓	0.51	No
456	HFOPDE, chapter 2.6.1	problem number 9	✗	43.284	✓	9.662	No
457	HFOPDE, chapter 2.6.1	problem number 10	✗	43.956	✓	3.33	No
458	HFOPDE, chapter 2.6.1	problem number 11	✗ (Timed out)	600.	✗ (Timed out)	600.	No
459	HFOPDE, chapter 2.6.1	problem number 12	✗ (Timed out)	600.	✗ (Timed out)	600.	No
460	HFOPDE, chapter 2.6.1	problem number 13	✓	87.181	✓	0.555	No
461	HFOPDE, chapter 2.6.1	problem number 14	✗ (Timed out)	600.	✓	2.141	No
462	HFOPDE, chapter 2.6.2	problem number 1	✓	0.294	✓ Contains unresolved integral	0.246	No
463	HFOPDE, chapter 2.6.2	problem number 2	✓	265.927	✓	0.362	No
464	HFOPDE, chapter 2.6.2	problem number 3	✓	361.65	✓	1.932	No
465	HFOPDE, chapter 2.6.2	problem number 4	✗ (Timed out)	600.	✓	0.655	No
466	HFOPDE, chapter 2.6.2	problem number 5	✗	41.454	✓	5.51	No
467	HFOPDE, chapter 2.6.2	problem number 6	✗	41.875	✓	1.083	No
468	HFOPDE, chapter 2.6.2	problem number 7	✗	44.553	✓	3.308	No
469	HFOPDE, chapter 2.6.2	problem number 8	✗	44.042	✓	3.188	No
470	HFOPDE, chapter 2.6.2	problem number 9	✗ (Timed out)	600.	✓	2.986	No
471	HFOPDE, chapter 2.6.2	problem number 10	✗ (Timed out)	600.	✓	2.531	No
472	HFOPDE, chapter 2.6.2	problem number 11	✗ (Timed out)	600.	✓	8.403	No
473	HFOPDE, chapter 2.6.2	problem number 12	✗ (Timed out)	600.	✓	3.097	No
474	HFOPDE, chapter 2.6.3	problem number 1	✓	0.038	✓	0.01	No
475	HFOPDE, chapter 2.6.3	problem number 2	✓	0.146	✓	0.349	No
476	HFOPDE, chapter 2.6.3	problem number 3	✓	0.351	✓ Has unresolved integrals	0.543	No
477	HFOPDE, chapter 2.6.3	problem number 4	✗	42.712	✓	0.928	No
478	HFOPDE, chapter 2.6.3	problem number 5	✗	44.286	✓	0.959	No
479	HFOPDE, chapter 2.6.3	problem number 6	✗ Timed out	587.818	✓	0.885	No
480	HFOPDE, chapter 2.6.3	problem number 7	✗	228.29	✗ (Timed out)	600.	No
481	HFOPDE, chapter 2.6.3	problem number 8	✗	39.916	✗ (Timed out)	600.	No
482	HFOPDE, chapter 2.6.3	problem number 9	✗ (Timed out)	600.	✗ (Timed out)	600.	No
483	HFOPDE, chapter 2.6.3	problem number 10	✓	280.079	✓	0.593	No
484	HFOPDE, chapter 2.6.3	problem number 11	✗ (Timed out)	600.	✓	15.673	No
485	HFOPDE, chapter 2.6.3	problem number 12	✗	570.242	✓	3.002	No
486	HFOPDE, chapter 2.6.3	problem number 13	✗ (Timed out)	600.	✓	2.551	No
487	HFOPDE, chapter 2.6.3	problem number 14	✗ (Timed out)	600.	✓	4.09	No
488	HFOPDE, chapter 2.6.3	problem number 15	✗ Timed out	599.573	✓	2.529	No
489	HFOPDE, chapter 2.6.4	problem number 1	✓	0.191	✓ Has unresolved integral	0.186	No
490	HFOPDE, chapter 2.6.4	problem number 2	✓	350.572	✓	0.218	No
491	HFOPDE, chapter 2.6.4	problem number 3	✗ (Timed out)	600.	✓	0.49	No
492	HFOPDE, chapter 2.6.4	problem number 4	✗	42.808	✓	0.678	No
493	HFOPDE, chapter 2.6.4	problem number 5	✗	44.48	✓	0.614	No
494	HFOPDE, chapter 2.6.4	problem number 6	✓	0.287	✓	0.188	No
495	HFOPDE, chapter 2.6.4	problem number 7	✓	0.134	✓	3.713	No
496	HFOPDE, chapter 2.6.4	problem number 8	✓	0.118	✓	2.015	No
497	HFOPDE, chapter 2.6.4	problem number 9	✓	0.827	✓	1.06	No
498	HFOPDE, chapter 2.6.4	problem number 10	✓	1.309	✓	3.888	No
499	HFOPDE, chapter 2.6.4	problem number 11	✓	0.112	✓	1.902	No
500	HFOPDE, chapter 2.6.4	problem number 12	✗ (Timed out)	600.	✓	1.997	No
501	HFOPDE, chapter 2.6.5	problem number 1	✓	0.656	✓ Has unresolved integrals	0.494	No
502	HFOPDE, chapter 2.6.5	problem number 2	✓	1.035	✓	0.755	No
503	HFOPDE, chapter 2.6.5	problem number 3	✓	0.558	✓ Mathematica answer is simpler	1.629	No
504	HFOPDE, chapter 2.6.5	problem number 4	✗	24.028	✗ (Timed out)	600.	No
505	HFOPDE, chapter 2.6.5	problem number 5	✗	42.449	✓	0.922	No
506	HFOPDE, chapter 2.6.5	problem number 6	✗	61.038	✓	1.597	No
507	HFOPDE, chapter 2.6.5	problem number 7	✗ (Timed out)	600.	✗ (Timed out)	600.	No
508	HFOPDE, chapter 2.6.5	problem number 8	✗	24.566	✓	0.762	No
509	HFOPDE, chapter 2.6.5	problem number 9	✗	23.482	✓	0.001	No
510	HFOPDE, chapter 2.6.5	problem number 10	✗	40.018	✓	1.532	No
511	HFOPDE, chapter 2.6.5	problem number 11	✗ (Timed out)	600.	✗	233.706	No
512	HFOPDE, chapter 2.7.1	problem number 1	✓	0.095	✓	0.355	No
513	HFOPDE, chapter 2.7.1	problem number 2	✗ (Timed out)	600.	✓	0.403	No
514	HFOPDE, chapter 2.7.1	problem number 3	✗	275.58	✓	0.626	No
515	HFOPDE, chapter 2.7.1	problem number 4	✓	0.24	✓	0.398	No
516	HFOPDE, chapter 2.7.1	problem number 5	✗	248.175	✓	1.037	No
517	HFOPDE, chapter 2.7.1	problem number 6	✗	22.526	✓	1.524	No
518	HFOPDE, chapter 2.7.1	problem number 7	✗	26.795	✓	2.119	No
519	HFOPDE, chapter 2.7.1	problem number 8	✗	255.775	✓	0.844	No
520	HFOPDE, chapter 2.7.1	problem number 9	✗	277.172	✗	24.08	No
521	HFOPDE, chapter 2.7.1	problem number 10	✗	35.916	✗	29.175	No
522	HFOPDE, chapter 2.7.1	problem number 11	✗ (Timed out)	600.	✓	0.33	No
523	HFOPDE, chapter 2.7.1	problem number 12	✓	63.637	✓	0.46	No
524	HFOPDE, chapter 2.7.2	problem number 1	✓	0.093	✓	0.233	No
525	HFOPDE, chapter 2.7.2	problem number 2	✗ (Timed out)	600.	✓	0.277	No
526	HFOPDE, chapter 2.7.2	problem number 3	✗ (Timed out)	600.	✓	0.479	No
527	HFOPDE, chapter 2.7.2	problem number 4	✓	0.196	✓	0.43	No
528	HFOPDE, chapter 2.7.2	problem number 5	✗ (Timed out)	600.	✓	11.32	No
529	HFOPDE, chapter 2.7.2	problem number 6	✗	28.865	✗	8.537	No
530	HFOPDE, chapter 2.7.2	problem number 7	✗	257.983	✓	2.021	No
531	HFOPDE, chapter 2.7.2	problem number 8	✗ (Timed out)	600.	✓	12.982	No
532	HFOPDE, chapter 2.7.2	problem number 9	✗	250.287	✗	21.616	No
533	HFOPDE, chapter 2.7.2	problem number 10	✗	36.604	✗	34.822	No
534	HFOPDE, chapter 2.7.2	problem number 11	✗ (Timed out)	600.	✓	0.409	No
535	HFOPDE, chapter 2.7.2	problem number 12	✓	60.083	✓	0.532	No
536	HFOPDE, chapter 2.7.3	problem number 1	✗ (Timed out)	600.	✓	0.162	No
537	HFOPDE, chapter 2.7.3	problem number 2	✗ (Timed out)	600.	✓	0.516	No
538	HFOPDE, chapter 2.7.3	problem number 3	✗ (Timed out)	600.	✓	0.821	No
539	HFOPDE, chapter 2.7.3	problem number 4	✗ (Timed out)	600.	✓	0.319	No
540	HFOPDE, chapter 2.7.3	problem number 5	✗ (Timed out)	600.	✓	1.29	No
541	HFOPDE, chapter 2.7.3	problem number 6	✗	519.759	✓	0.816	No
542	HFOPDE, chapter 2.7.3	problem number 7	✗ (Timed out)	600.	✓	2.124	No
543	HFOPDE, chapter 2.7.3	problem number 8	✗ (Timed out)	600.	✓	0.086	No
544	HFOPDE, chapter 2.7.3	problem number 9	✗ (Timed out)	600.	✗	10.06	No
545	HFOPDE, chapter 2.7.3	problem number 10	✗	40.797	✗	551.92	No
546	HFOPDE, chapter 2.7.3	problem number 11	✗ (Timed out)	600.	✓	0.482	No
547	HFOPDE, chapter 2.7.3	problem number 12	✗ (Timed out)	600.	✓	0.6	No
548	HFOPDE, chapter 2.7.4	problem number 1	✗ (Timed out)	600.	✓	0.241	No
549	HFOPDE, chapter 2.7.4	problem number 2	✗ (Timed out)	600.	✓	0.153	No
550	HFOPDE, chapter 2.7.4	problem number 3	✗	530.186	✓	0.445	No
551	HFOPDE, chapter 2.7.4	problem number 4	✗ (Timed out)	600.	✓	0.588	No
552	HFOPDE, chapter 2.7.4	problem number 5	✗ (Timed out)	600.	✓	1.581	No
553	HFOPDE, chapter 2.7.4	problem number 6	✗ (Timed out)	600.	✓	0.798	No
554	HFOPDE, chapter 2.7.4	problem number 7	✗ (Timed out)	600.	✓	2.91	No
555	HFOPDE, chapter 2.7.4	problem number 8	✗	34.288	✗	10.886	No
556	HFOPDE, chapter 2.7.4	problem number 9	✗ (Timed out)	600.	✗	24.059	No
557	HFOPDE, chapter 2.7.4	problem number 10	✗	40.911	✗	409.914	No
558	HFOPDE, chapter 2.7.4	problem number 11	✗ (Timed out)	600.	✓	0.406	No
559	HFOPDE, chapter 2.7.4	problem number 12	✗ (Timed out)	600.	✓	0.918	No
560	HFOPDE, chapter 2.8.1	problem number 1	✓	0.643	✓	0.057	No
561	HFOPDE, chapter 2.8.1	problem number 2	✓	1.045	✓	0.247	No
562	HFOPDE, chapter 2.8.1	problem number 3	✗	124.092	✓	0.179	No
563	HFOPDE, chapter 2.8.1	problem number 4	✗	20.458	✓	0.335	No
564	HFOPDE, chapter 2.8.1	problem number 5	✗	24.544	✓	0.888	No
565	HFOPDE, chapter 2.8.1	problem number 6	✗	149.5	✓	0.197	No
566	HFOPDE, chapter 2.8.1	problem number 7	✗	23.637	✗	2.512	No
567	HFOPDE, chapter 2.8.1	problem number 8	✗	23.572	✗	2.713	No
568	HFOPDE, chapter 2.8.1	problem number 9	✗	39.714	✓	0.107	No
569	HFOPDE, chapter 2.8.1	problem number 10	✗	28.036	✗	8.516	No
570	HFOPDE, chapter 2.8.1	problem number 11	✗	27.505	✗	7.729	No
571	HFOPDE, chapter 2.8.1	problem number 12	✓	0.182	✓	0.295	No
572	HFOPDE, chapter 2.8.1	problem number 13	✗ (Timed out)	600.	✓	0.261	No
573	HFOPDE, chapter 2.8.2	problem number 1	✗	21.569	✓	1.178	No
574	HFOPDE, chapter 2.8.2	problem number 2	✗	21.565	✗	2.682	No
575	HFOPDE, chapter 2.8.2	problem number 3	✗	21.449	✗	3.266	No
576	HFOPDE, chapter 2.8.2	problem number 4	✓	0.22	✓	0.303	No
577	HFOPDE, chapter 2.8.2	problem number 5	✗	23.23	✗	3.064	No
578	HFOPDE, chapter 2.8.2	problem number 6	✗	1.441	✓	0.169	No
579	HFOPDE, chapter 2.8.2	problem number 7	✗	26.151	✗	6.43	No
580	HFOPDE, chapter 2.8.2	problem number 8	✗	27.161	✗	8.501	No
581	HFOPDE, chapter 2.8.2	problem number 9	✗	23.006	✗	4.595	No
582	HFOPDE, chapter 2.8.2	problem number 10	✓	0.232	✓	0.377	No
583	HFOPDE, chapter 2.8.2	problem number 11	✗	27.578	✓	0.408	No
584	HFOPDE, chapter 2.8.3	problem number 1	✗	26.63	✗	15.364	No
585	HFOPDE, chapter 2.8.3	problem number 2	✗	29.805	✗	28.755	No
586	HFOPDE, chapter 2.8.3	problem number 3	✗	29.649	✗	13.559	No
587	HFOPDE, chapter 2.8.4	problem number 1	✗	21.65	✓	1.262	No
588	HFOPDE, chapter 2.8.4	problem number 2	✗	21.019	✗	2.229	No
589	HFOPDE, chapter 2.8.4	problem number 3	✗	20.837	✗	1.218	No
590	HFOPDE, chapter 2.8.4	problem number 4	✓	0.168	✓	0.059	No
591	HFOPDE, chapter 2.8.5	problem number 1	✗	26.506	✓	2.769	No
592	HFOPDE, chapter 2.8.5	problem number 2	✗	25.856	✗	15.4	No
593	HFOPDE, chapter 2.8.5	problem number 3	✗	25.859	✗	9.21	No
594	HFOPDE, chapter 2.8.5	problem number 4	✗	28.685	✗	25.725	No
595	HFOPDE, chapter 2.8.5	problem number 5	✗	28.855	✗	11.957	No
596	HFOPDE, chapter 2.8.6	problem number 1	✗	20.647	✗	2.816	No
597	HFOPDE, chapter 2.8.6	problem number 2	✗	20.756	✓	0.538	No
598	HFOPDE, chapter 2.8.6	problem number 3	✓	0.092	✓	0.033	No
599	HFOPDE, chapter 2.8.6	problem number 4	✗	21.239	✓	0.307	No
600	HFOPDE, chapter 2.8.6	problem number 5	✗	21.02	✗	1.527	No
601	HFOPDE, chapter 2.8.6	problem number 6	✗	12.025	✓	0.081	No
602	HFOPDE, chapter 2.8.6	problem number 7	✗	0.153	✓	0.167	No
603	HFOPDE, chapter 2.8.6	problem number 8	✓	0.865	✓	0.237	No
604	HFOPDE, chapter 2.8.6	problem number 9	✗	0.122	✓	0.229	No
605	HFOPDE, chapter 2.8.6	problem number 10	✗	0.53	✓	0.222	No
606	HFOPDE, chapter 2.8.6	problem number 11	✓	0.239	✓	0.291	No
607	HFOPDE, chapter 2.8.6	problem number 12	✗	22.291	✓	1.062	No
608	HFOPDE, chapter 2.9.1	problem number 1	✓	0.089	✓	0.023	No
609	HFOPDE, chapter 2.9.1	problem number 2	✗	0.108	✓	0.143	No
610	HFOPDE, chapter 2.9.1	problem number 3	✗	2.718	✓	0.696	No
611	HFOPDE, chapter 2.9.1	problem number 4	✗	544.98	✗	2.433	No
612	HFOPDE, chapter 2.9.1	problem number 5	✗	2.312	✗	3.157	No
613	HFOPDE, chapter 2.9.2	problem number 1	✗	6.911	✓	0.091	No
614	HFOPDE, chapter 2.9.2	problem number 2	✗	0.074	✓	0.128	No
615	HFOPDE, chapter 2.9.2	problem number 3	✗	211.96	✓	0.413	No
616	HFOPDE, chapter 2.9.2	problem number 4	✗	455.453	✓	0.392	No
617	HFOPDE, chapter 2.9.2	problem number 5	✗	210.073	✗	7.911	No
618	HFOPDE, chapter 2.9.2	problem number 6	✗	20.316	✓	3.192	No
619	HFOPDE, chapter 2.9.2	problem number 7	✗	16.696	✓	0.349	No
620	HFOPDE, chapter 2.9.2	problem number 8	✗	208.019	✓	0.42	No
621	HFOPDE, chapter 2.9.2	problem number 9	✗ (Timed out)	600.	✓	0.417	No
622	HFOPDE, chapter 2.9.2	problem number 10	✗	31.533	✓	1.897	No
623	HFOPDE, chapter 2.9.2	problem number 11	✗	15.515	✓	0.603	No
624	HFOPDE, chapter 2.9.2	problem number 12	✗	1.358	✗	3.595	No
625	HFOPDE, chapter 2.9.2	problem number 13	✗	2.087	✗	2.786	No
626	HFOPDE, chapter 2.9.2	problem number 14	✗	24.929	✓	0.604	No
627	HFOPDE, chapter 2.9.2	problem number 15	✗	170.966	✓	0.608	No
628	HFOPDE, chapter 2.9.2	problem number 16	✗	25.345	✓	0.339	No
629	HFOPDE, chapter 2.9.3	problem number 1	✗	5.711	✓	9.172	No
630	HFOPDE, chapter 2.9.3	problem number 2	✗	181.699	✗	5.062	No
631	HFOPDE, chapter 2.9.3	problem number 3	✗	13.005	✗	8.059	No
632	HFOPDE, chapter 2.9.3	problem number 4	✗	2.543	✗	8.122	No
633	HFOPDE, chapter 2.9.3	problem number 5	✗	2.902	✗	7.008	No
634	HFOPDE, chapter 2.9.3	problem number 6	✗	25.16	✗	12.945	No
635	HFOPDE, chapter 2.9.3	problem number 7	✗	24.621	✗	10.392	No
636	HFOPDE, chapter 2.9.3	problem number 8	✗	13.313	✗	18.041	No
637	HFOPDE, chapter 2.9.3	problem number 9	✓	0.008	✓	0.053	No
638	HFOPDE, chapter 2.9.3	problem number 11	✗ (Timed out)	600.	✓	0.575	No
639	HFOPDE, chapter 2.9.3	problem number 12	✗	4.103	✓	7.826	No
640	HFOPDE, chapter 2.9.3	problem number 13	✗	11.982	✗	4.325	No
641	HFOPDE, chapter 2.9.3	problem number 14	✗	12.146	✗	3.544	No
642	HFOPDE, chapter 2.9.3	problem number 15	✗	19.498	✗	5.996	No
643	HFOPDE, chapter 2.9.3	problem number 16	✗	18.803	✗	6.034	No
644	HFOPDE, chapter 2.9.3	problem number 17	✗	4.474	✗	5.01	No
645	HFOPDE, chapter 2.9.3	problem number 18	✗	26.726	✗	7.478	No
646	HFOPDE, chapter 2.9.3	problem number 19	✗	26.007	✗	6.549	No
647	HFOPDE, chapter 2.9.3	problem number 20	✗	257.6	✗	27.366	No
648	HFOPDE, chapter 2.9.3	problem number 21	✗	77.934	✗	17.318	No
649	HFOPDE, chapter 2.9.3	problem number 22	✗	11.81	✗	8.803	No
650	HFOPDE, chapter 2.9.3	problem number 23	✗	7.111	✗	19.373	No
651	HFOPDE, chapter 3 examples	Example 1	✓	0.006	✓	0.065	No
652	HFOPDE, chapter 3 examples	Example 2	✓	0.022	✓	0.105	No
653	HFOPDE, chapter 3 examples	Example 3	✓	0.004	✓	0.008	No
654	HFOPDE, chapter 3.2.1	Problem 1	✓	0.004	✓	0.009	No
655	HFOPDE, chapter 3.2.1	Problem 2	✓	0.012	✓	0.045	No
656	HFOPDE, chapter 3.2.1	Problem 3	✓	0.009	✓	0.016	No
657	HFOPDE, chapter 3.2.1	Problem 4	✓	0.005	✓	0.008	No
658	HFOPDE, chapter 3.2.1	Problem 5	✓	0.067	✓	0.143	No
659	HFOPDE, chapter 3.2.1	Problem 6	✓	0.151	✓	0.259	No
660	HFOPDE, chapter 3.2.1	Problem 7	✓	0.026	✓	0.037	No
661	HFOPDE, chapter 3.2.1	Problem 8	✓	0.05	✓	0.051	No
662	HFOPDE, chapter 3.2.2	Problem 1	✓	0.061	✓	0.046	No
663	HFOPDE, chapter 3.2.2	Problem 2	✓	0.171	✓	0.035	No
664	HFOPDE, chapter 3.2.2	Problem 3	✓	0.063	✓	0.051	No
665	HFOPDE, chapter 3.2.2	Problem 4	✓	0.284	✓	0.11	No
666	HFOPDE, chapter 3.2.2	Problem 5	✓	0.01	✓	0.019	No
667	HFOPDE, chapter 3.2.2	Problem 6	✓	0.095	✓ Contains unresolved integral with RootOf	0.281	No
668	HFOPDE, chapter 3.2.2	Problem 7	✓	0.052	✓	0.078	No
669	HFOPDE, chapter 3.2.3	Problem 1	✓	0.011	✓	0.148	No
670	HFOPDE, chapter 3.2.3	Problem 2	✓	0.118	✓	0.067	No
671	HFOPDE, chapter 3.2.3	Problem 3	✓	0.104	✓	0.028	No
672	HFOPDE, chapter 3.2.3	Problem 4	✓	0.145	✓	0.068	No
673	HFOPDE, chapter 3.2.3	Problem 5	✓	0.006	✓	0.014	No
674	HFOPDE, chapter 3.2.3	Problem 6	✓	0.017	✓	0.167	No
675	HFOPDE, chapter 3.2.4	Problem 1	✓	0.068	✓	0.048	No
676	HFOPDE, chapter 3.2.4	Problem 2	✓	0.024	✓	0.045	No
677	HFOPDE, chapter 3.2.4	Problem 3	✓	0.012	✓	0.042	No
678	HFOPDE, chapter 3.2.4	Problem 4	✓	0.018	✓	0.071	No
679	HFOPDE, chapter 3.2.4	Problem 5	✓	0.056	✓ Result has unresolved integral	0.125	No
680	HFOPDE, chapter 3.2.4	Problem 6	✓	0.051	✓ Result has unresolved integral	0.1	No
681	HFOPDE, chapter 3.2.4	Problem 7	✓	0.65	✓ Result has unresolved integral	4.959	No
682	HFOPDE, chapter 3.2.4	Problem 8	✓	1.067	✓ Result has unresolved integral	0.686	No
683	HFOPDE, chapter 3.2.4	Problem 9	✗ (Timed out)	600.	✓	0.382	No
684	HFOPDE, chapter 3.2.4	Problem 10	✗ (Timed out)	600.	✓	7.752	No
685	HFOPDE, chapter 3.2.4	Problem 11	✓	0.404	✓	1.792	No
686	HFOPDE, chapter 3.3.1	Problem 1	✓	0.04	✓	0.144	No
687	HFOPDE, chapter 3.3.1	Problem 2	✓	0.027	✓	0.094	No
688	HFOPDE, chapter 3.3.1	Problem 3	✓	0.035	✓	0.207	No
689	HFOPDE, chapter 3.3.1	Problem 4	✓	0.046	✓	0.166	No
690	HFOPDE, chapter 3.3.1	Problem 5	✓	0.086	✓	0.419	No
691	HFOPDE, chapter 3.3.1	Problem 6	✓	0.096	✓	0.03	No
692	HFOPDE, chapter 3.3.1	Problem 7	✓	0.329	✓	0.335	No
693	HFOPDE, chapter 3.3.1	Problem 8	✗	133.129	✓	2.998	No
694	HFOPDE, chapter 3.3.1	Problem 9	✗	122.412	✓	0.736	No
695	HFOPDE, chapter 3.3.1	Problem 10	✓	0.971	✓	0.571	No
696	HFOPDE, chapter 3.3.1	Problem 11	✓	348.564	✓	0.625	No
697	HFOPDE, chapter 3.3.2	Problem 1	✓	0.112	✓	0.048	No
698	HFOPDE, chapter 3.3.2	Problem 2	✓	0.02	✓	0.144	No
699	HFOPDE, chapter 3.3.2	Problem 3	✓	0.034	✓	0.123	No
700	HFOPDE, chapter 3.3.2	Problem 4	✓	10.732	✓	0.368	No
701	HFOPDE, chapter 3.3.2	Problem 5	✓	0.332	✓	1.601	No
702	HFOPDE, chapter 3.3.2	Problem 6	✓	0.014	✓	0.073	No
703	HFOPDE, chapter 3.3.2	Problem 7	✓	0.021	✓	0.044	No
704	HFOPDE, chapter 3.3.2	Problem 8	✓	0.098	✓	0.695	No
705	HFOPDE, chapter 3.3.2	Problem 9	✓	0.248	✓	1.054	No
706	HFOPDE, chapter 3.3.2	Problem 10	✓	0.09	✓	0.118	No
707	HFOPDE, chapter 3.3.2	Problem 11	✗ (Timed out)	600.	✓	0.645	No
708	HFOPDE, chapter 3.4.1	Problem 1	✓	0.049	✓	0.024	No
709	HFOPDE, chapter 3.4.1	Problem 2	✓	0.066	✓	0.047	No
710	HFOPDE, chapter 3.4.1	Problem 3	✗ (Timed out)	600.	✓	0.022	No
711	HFOPDE, chapter 3.4.1	Problem 4	✗ (Timed out)	600.	✓	6.399	No
712	HFOPDE, chapter 3.4.1	Problem 5	✗ (Timed out)	600.	✓	1.854	No
713	HFOPDE, chapter 3.4.2	Problem 1	✓	0.046	✓	0.023	No
714	HFOPDE, chapter 3.4.2	Problem 2	✓	0.063	✓	0.021	No
715	HFOPDE, chapter 3.4.2	Problem 3	✓	0.187	✓	0.023	No
716	HFOPDE, chapter 3.4.2	Problem 4	✗ (Timed out)	600.	✓	1.135	No
717	HFOPDE, chapter 3.4.2	Problem 5	✗ (Timed out)	600.	✓	2.39	No
718	HFOPDE, chapter 3.4.3	Problem 1	✓	0.172	✓	0.023	No
719	HFOPDE, chapter 3.4.3	Problem 2	✓	0.12	✓	0.018	No
720	HFOPDE, chapter 3.4.3	Problem 3	✓	0.036	✓	0.019	No
721	HFOPDE, chapter 3.4.3	Problem 4	✗ (Timed out)	600.	✓	1.079	No
722	HFOPDE, chapter 3.4.3	Problem 5	✗ (Timed out)	600.	✓	1.013	No
723	HFOPDE, chapter 3.4.4	Problem 1	✓	0.171	✓	0.029	No
724	HFOPDE, chapter 3.4.4	Problem 2	✓	0.12	✓	0.017	No
725	HFOPDE, chapter 3.4.4	Problem 3	✓	0.035	✓	0.016	No
726	HFOPDE, chapter 3.4.4	Problem 4	✗ (Timed out)	600.	✓	0.967	No
727	HFOPDE, chapter 3.4.4	Problem 5	✗ (Timed out)	600.	✓	0.899	No
728	HFOPDE, chapter 3.4.5	Problem 1	✓	0.054	✓	0.019	No
729	HFOPDE, chapter 3.4.5	Problem 2	✓	0.155	✓	0.185	No
730	HFOPDE, chapter 3.4.5	Problem 3	✓	0.102	✓	0.059	No
731	HFOPDE, chapter 3.4.5	Problem 4	✓	0.046	✓	0.804	No
732	HFOPDE, chapter 3.4.5	Problem 5	✓	0.074	✓	0.158	No
733	HFOPDE, chapter 3.5.1	Problem 1	✓	0.03	✓	0.077	No
734	HFOPDE, chapter 3.5.1	Problem 2	✓	0.014	✓	0.048	No
735	HFOPDE, chapter 3.5.1	Problem 3	✓	0.122	✓	1.326	No
736	HFOPDE, chapter 3.5.1	Problem 4	✗ (Timed out)	600.	✓	0.569	No
737	HFOPDE, chapter 3.5.1	Problem 5	✗ (Timed out)	600.	✓	0.561	No
738	HFOPDE, chapter 3.5.1	Problem 6	✗	0.126	✓	0.297	No
739	HFOPDE, chapter 3.5.2	Problem 1	✓	0.097	✓	0.048	No
740	HFOPDE, chapter 3.5.2	Problem 2	✓	0.148	✓ Result has unresolved integrals	1.02	No
741	HFOPDE, chapter 3.5.2	Problem 3	✗ (Timed out)	600.	✓	0.536	No
742	HFOPDE, chapter 3.5.3	Problem 4	✓	0.04	✓ Result has unresolved integrals	0.133	No
743	HFOPDE, chapter 3.5.3	Problem 5	✓	0.036	✓	0.237	No
744	HFOPDE, chapter 3.5.3	Problem 6	✗ (Timed out)	600.	✓	2.775	No
745	HFOPDE, chapter 3.6.1	Problem 1	✓	0.052	✓	0.023	No
746	HFOPDE, chapter 3.6.1	Problem 2	✓	0.069	✓	0.019	No
747	HFOPDE, chapter 3.6.1	Problem 3	✓	0.025	✓	0.018	No
748	HFOPDE, chapter 3.6.1	Problem 4	✗ (Timed out)	600.	✓	2.713	No
749	HFOPDE, chapter 3.6.1	Problem 5	✓	0.424	✓ Result has unresolved integrals	4.733	No
750	HFOPDE, chapter 3.6.2	Problem 1	✓	0.05	✓	0.024	No
751	HFOPDE, chapter 3.6.2	Problem 2	✓	0.066	✓	0.023	No
752	HFOPDE, chapter 3.6.2	Problem 3	✓	0.023	✓	0.02	No
753	HFOPDE, chapter 3.6.2	Problem 4	✗ (Timed out)	600.	✓	1.329	No
754	HFOPDE, chapter 3.6.2	Problem 5	✗ (Timed out)	600.	✓	2.454	No
755	HFOPDE, chapter 3.6.3	Problem 1	✓	0.186	✓	0.022	No
756	HFOPDE, chapter 3.6.3	Problem 2	✓	0.131	✓	0.017	No
757	HFOPDE, chapter 3.6.3	Problem 3	✓	0.04	✓	0.016	No
758	HFOPDE, chapter 3.6.3	Problem 4	✗ (Timed out)	600.	✓	1.246	No
759	HFOPDE, chapter 3.6.3	Problem 5	✗ (Timed out)	600.	✓	1.76	No
760	HFOPDE, chapter 3.6.4	Problem 1	✓	0.192	✓	0.029	No
761	HFOPDE, chapter 3.6.4	Problem 2	✓	0.135	✓	0.017	No
762	HFOPDE, chapter 3.6.4	Problem 3	✓	0.041	✓	0.017	No
763	HFOPDE, chapter 3.6.4	Problem 4	✗ (Timed out)	600.	✓	1.205	No
764	HFOPDE, chapter 3.6.4	Problem 5	✗ (Timed out)	600.	✓	1.631	No
765	HFOPDE, chapter 3.6.5	Problem 1	✓	0.057	✓	0.02	No
766	HFOPDE, chapter 3.6.5	Problem 2	✓	0.085	✓	0.198	No
767	HFOPDE, chapter 3.6.5	Problem 3	✓	0.304	✓	0.033	No
768	HFOPDE, chapter 3.6.5	Problem 4	✓	0.085	✓	0.442	No
769	HFOPDE, chapter 3.6.5	Problem 5	✓	0.094	✓	2.492	No
770	HFOPDE, chapter 3.6.5	Problem 6	✓	0.112	✓	0.832	No
771	HFOPDE, chapter 3.7.1	Problem 1	✓	0.992	✓	0.104	No
772	HFOPDE, chapter 3.7.1	Problem 2	✓	0.408	✓	0.127	No
773	HFOPDE, chapter 3.7.1	Problem 3	✓	0.041	✓	0.044	No
774	HFOPDE, chapter 3.7.1	Problem 4	✗ (Timed out)	600.	✓	1.096	No
775	HFOPDE, chapter 3.7.1	Problem 5	✗ (Timed out)	600.	✓	0.814	No
776	HFOPDE, chapter 3.7.2	Problem 1	✓	0.975	✓	0.019	No
777	HFOPDE, chapter 3.7.2	Problem 2	✓	0.754	✓	0.017	No
778	HFOPDE, chapter 3.7.2	Problem 3	✓	0.042	✓	0.016	No
779	HFOPDE, chapter 3.7.2	Problem 4	✗ (Timed out)	600.	✓	0.622	No
780	HFOPDE, chapter 3.7.2	Problem 5	✗ (Timed out)	600.	✓	0.437	No
781	HFOPDE, chapter 3.7.3	Problem 1	✓	0.045	✓	0.223	No
782	HFOPDE, chapter 3.7.3	Problem 2	✓	0.075	✓	0.173	No
783	HFOPDE, chapter 3.7.3	Problem 3	✓	0.02	✓	0.116	No
784	HFOPDE, chapter 3.7.3	Problem 4	✗ (Timed out)	600.	✓	0.265	No
785	HFOPDE, chapter 3.7.3	Problem 5	✗ (Timed out)	600.	✓	0.666	No
786	HFOPDE, chapter 3.7.4	Problem 1	✓	0.038	✓	0.023	No
787	HFOPDE, chapter 3.7.4	Problem 2	✓	0.081	✓	0.019	No
788	HFOPDE, chapter 3.7.4	Problem 3	✓	0.02	✓	0.027	No
789	HFOPDE, chapter 3.7.4	Problem 4	✗ (Timed out)	600.	✓	0.326	No
790	HFOPDE, chapter 3.7.4	Problem 5	✗ (Timed out)	600.	✓	0.75	No
791	HFOPDE, chapter 3.8.1	Problem 1	✓	0.028	✓	0.011	No
792	HFOPDE, chapter 3.8.1	Problem 2	✓	0.178	✓	0.049	No
793	HFOPDE, chapter 3.8.1	Problem 3	✓	0.276	✓	0.029	No
794	HFOPDE, chapter 3.8.1	Problem 4	✓	0.147	✓	0.43	No
795	HFOPDE, chapter 3.8.1	Problem 5	✓	0.128	✓	0.08	No
796	HFOPDE, chapter 3.8.1	Problem 6	✓	0.137	✓	0.014	No
797	HFOPDE, chapter 3.8.1	Problem 7	✓	1.633	✓	0.309	No
798	HFOPDE, chapter 3.8.1	Problem 8	✓	0.128	✓	3.382	No
799	HFOPDE, chapter 3.8.1	Problem 9	✓	0.198	✓	0.116	No
800	HFOPDE, chapter 3.8.1	Problem 10	✓	0.765	✓	0.011	No
801	HFOPDE, chapter 3.8.1	Problem 11	✓	36.48	✓	0.742	No
802	HFOPDE, chapter 3.8.1	Problem 12	✓	1.861	✓	0.31	No
803	HFOPDE, chapter 3.8.1	Problem 13	✗	37.252	✓	0.548	No
804	HFOPDE, chapter 3.8.1	Problem 14	✓	1.65	✓	0.722	No
805	HFOPDE, chapter 3.8.1	Problem 15	✓	37.217	✓	0.56	No
806	HFOPDE, chapter 3.8.1	Problem 16	✓	0.274	✓	0.017	No
807	HFOPDE, chapter 3.8.2	Problem 1	✓	0.103	✓	0.048	No
808	HFOPDE, chapter 3.8.2	Problem 2	✓	0.093	✓	0.075	No
809	HFOPDE, chapter 3.8.2	Problem 3	✓	1.55	✓	0.085	No
810	HFOPDE, chapter 3.8.2	Problem 4	✗	0.078	✓	0.151	No
811	HFOPDE, chapter 3.8.2	Problem 5	✓	1.977	✓	0.326	No
812	HFOPDE, chapter 3.8.2	Problem 6	✓	0.254	✓	0.014	No
813	HFOPDE, chapter 3.8.2	Problem 7	✗	0.211	✓	0.062	No
814	HFOPDE, chapter 3.8.3	Problem 1	✓	0.098	✓	0.076	No
815	HFOPDE, chapter 3.8.3	Problem 2	✓	0.004	✓	0.01	No
816	HFOPDE, chapter 3.8.3	Problem 3	✓	0.108	✓	0.043	No
817	HFOPDE, chapter 3.8.3	Problem 4	✓	0.252	✓	0.023	No
818	HFOPDE, chapter 3.8.3	Problem 5	✓	0.114	✓	0.248	No
819	HFOPDE, chapter 3.8.3	Problem 6	✓	0.136	✓	0.195	No
820	HFOPDE, chapter 3.8.3	Problem 7	✓	0.166	✓	0.078	No
821	HFOPDE, chapter 3.8.3	Problem 8	✓	0.269	✓	3.738	No
822	HFOPDE, chapter 3.8.4	Problem 1	✓	0.044	✓	0.019	No
823	HFOPDE, chapter 3.8.4	Problem 2	✓	0.18	✓	0.022	No
824	HFOPDE, chapter 3.8.4	Problem 3	✓	1.445	✓	0.067	No
825	HFOPDE, chapter 3.8.4	Problem 4	✓	19.499	✓	0.157	No
826	HFOPDE, chapter 3.8.4	Problem 5	✓	35.412	✓	0.326	No
827	HFOPDE, chapter 3.8.4	Problem 6	✗	38.127	✓	1.043	No
828	HFOPDE, chapter 3.8.4	Problem 7	✗	0.218	✓ Contains RootOf	0.037	No
829	HFOPDE, chapter 4.1.1	Example 1	✓	0.014	✓	0.099	No
830	HFOPDE, chapter 4.1.1	Example 2	✓	0.02	✓	0.072	No
831	HFOPDE, chapter 4.1.1	Example 3	✓	0.004	✓	0.035	No
832	HFOPDE, chapter 4.2.1	Problem 1	✓	0.005	✓	0.036	No
833	HFOPDE, chapter 4.2.1	Problem 2	✓	0.013	✓	0.012	No
834	HFOPDE, chapter 4.2.1	Problem 3	✓	0.005	✓	0.008	No
835	HFOPDE, chapter 4.2.1	Problem 4	✓	0.006	✓	0.093	No
836	HFOPDE, chapter 4.2.1	Problem 5	✓	0.005	✓	0.007	No
837	HFOPDE, chapter 4.2.1	Problem 6	✓	0.009	✓	0.011	No
838	HFOPDE, chapter 4.2.1	Problem 7	✗	0.113	✗	96.38	No
839	HFOPDE, chapter 4.2.2	Problem 1	✓	0.014	✓	0.083	No
840	HFOPDE, chapter 4.2.2	Problem 2	✓	0.01	✓	0.046	No
841	HFOPDE, chapter 4.2.2	Problem 3	✓	0.031	✓	0.1	No
842	HFOPDE, chapter 4.2.2	Problem 4	✓	0.044	✓	0.119	No
843	HFOPDE, chapter 4.2.2	Problem 5	✓	0.076	✓	0.062	No
844	HFOPDE, chapter 4.2.2	Problem 6	✓	0.033	✓	0.148	No
845	HFOPDE, chapter 4.2.2	Problem 7	✗ (Timed out)	600.	✓	3.963	No
846	HFOPDE, chapter 4.2.2	Problem 8	✗	1.481	✓	2.108	No
847	HFOPDE, chapter 4.2.3	Problem 1	✓	0.014	✓	0.117	No
848	HFOPDE, chapter 4.2.3	Problem 2	✓	0.012	✓	0.021	No
849	HFOPDE, chapter 4.2.3	Problem 3	✓	0.007	✓	0.055	No
850	HFOPDE, chapter 4.2.3	Problem 4	✓	0.086	✓	0.255	No
851	HFOPDE, chapter 4.2.3	Problem 5	✓	0.033	✓	0.119	No
852	HFOPDE, chapter 4.2.3	Problem 6	✓	0.051	✓	0.069	No
853	HFOPDE, chapter 4.2.4	Problem 1	✓	0.072	✓	0.052	No
854	HFOPDE, chapter 4.2.4	Problem 2 case \(n\neq -1, n\neq -2\)	✓	0.023	✓	0.152	No
855	HFOPDE, chapter 4.2.4	Problem 2 case \(n = -1\)	✓	0.013	✓	0.147	No
856	HFOPDE, chapter 4.2.4	Problem 2 case \(n = -2\)	✓	0.014	✓	0.128	No
857	HFOPDE, chapter 4.2.4	Problem 3	✓	0.012	✓	0.073	No
858	HFOPDE, chapter 4.2.4	Problem 4	✓	0.02	✓	0.049	No
859	HFOPDE, chapter 4.2.4	Problem 5	✓	0.055	✓	0.045	No
860	HFOPDE, chapter 4.2.4	Problem 6	✓	0.055	✓	0.07	No
861	HFOPDE, chapter 4.2.4	Problem 7	✓	0.69	✓	2.412	No
862	HFOPDE, chapter 4.2.4	Problem 8	✓	1.138	✓	0.532	No
863	HFOPDE, chapter 4.2.4	Problem 9	✗ (Timed out)	600.	✓	2.689	No
864	HFOPDE, chapter 4.2.4	Problem 10	✗ (Timed out)	600.	✓	5.491	No
865	HFOPDE, chapter 4.2.4	Problem 11	✓	0.296	✓	1.656	No
866	HFOPDE, chapter 4.2.4	Problem 12	✗	0.07	✓	1.219	No
867	HFOPDE, chapter 4.2.4	Problem 13	✗	0.083	✗ (Timed out)	600.	No
868	HFOPDE, chapter 4.3.1	Problem 1	✓	0.041	✓	0.101	No
869	HFOPDE, chapter 4.3.1	Problem 2	✓	0.043	✓	0.053	No
870	HFOPDE, chapter 4.3.1	Problem 3	✓	0.036	✓	0.209	No
871	HFOPDE, chapter 4.3.1	Problem 4	✓	0.058	✓	0.199	No
872	HFOPDE, chapter 4.3.1	Problem 5	✓	42.318	✓	0.717	No
873	HFOPDE, chapter 4.3.1	Problem 6	✓	3.807	✓	0.308	No
874	HFOPDE, chapter 4.3.1	Problem 7	✗	137.505	✓	1.77	No
875	HFOPDE, chapter 4.3.1	Problem 8	✗	126.728	✓	1.387	No
876	HFOPDE, chapter 4.3.1	Problem 9	✓	1.035	✓	1.044	No
877	HFOPDE, chapter 4.3.1	Problem 10	✓	0.06	✓	0.042	No
878	HFOPDE, chapter 4.3.2	Problem 1	✓	0.141	✓	0.024	No
879	HFOPDE, chapter 4.3.2	Problem 2	✓	0.015	✓	0.045	No
880	HFOPDE, chapter 4.3.2	Problem 3	✓	0.021	✓	0.044	No
881	HFOPDE, chapter 4.3.2	Problem 4	✓	0.098	✓	0.732	No
882	HFOPDE, chapter 4.3.2	Problem 5	✓	0.256	✓	0.47	No
883	HFOPDE, chapter 4.3.2	Problem 6	✓	0.089	✓	0.078	No
884	HFOPDE, chapter 4.3.2	Problem 7	✗ (Timed out)	600.	✓	0.165	No
885	HFOPDE, chapter 4.4.1	Problem 1	✓	0.049	✓	0.022	No
886	HFOPDE, chapter 4.4.1	Problem 2	✓	0.066	✓	0.048	No
887	HFOPDE, chapter 4.4.1	Problem 3	✓	0.023	✓	0.017	No
888	HFOPDE, chapter 4.4.1	Problem 4	✗ (Timed out)	600.	✓	1.034	No
889	HFOPDE, chapter 4.4.1	Problem 5	✓	0.394	✓	0.966	No
890	HFOPDE, chapter 4.4.2	Problem 1	✓	0.05	✓	0.02	No
891	HFOPDE, chapter 4.4.2	Problem 2	✓	0.067	✓	0.017	No
892	HFOPDE, chapter 4.4.2	Problem 3	✓	0.023	✓	0.021	No
893	HFOPDE, chapter 4.4.2	Problem 4	✗ (Timed out)	600.	✓	0.413	No
894	HFOPDE, chapter 4.4.2	Problem 5	✗ (Timed out)	600.	✓	0.602	No
895	HFOPDE, chapter 4.4.3	Problem 1	✓	0.178	✓	0.149	No
896	HFOPDE, chapter 4.4.3	Problem 2	✓	0.121	✓	0.171	No
897	HFOPDE, chapter 4.4.3	Problem 3	✓	0.037	✓	0.102	No
898	HFOPDE, chapter 4.4.3	Problem 4	✗ (Timed out)	600.	✓	0.48	No
899	HFOPDE, chapter 4.4.3	Problem 5	✗ (Timed out)	600.	✓	0.618	No
900	HFOPDE, chapter 4.4.4	Problem 1	✓	0.181	✓	0.071	No
901	HFOPDE, chapter 4.4.4	Problem 2	✓	0.122	✓	0.054	No
902	HFOPDE, chapter 4.4.4	Problem 3	✓	0.037	✓	0.041	No
903	HFOPDE, chapter 4.4.4	Problem 4	✗ (Timed out)	600.	✓	0.469	No
904	HFOPDE, chapter 4.4.4	Problem 5	✗ (Timed out)	600.	✓	0.558	No
905	HFOPDE, chapter 4.4.5	Problem 1	✓	0.055	✓	0.019	No
906	HFOPDE, chapter 4.4.5	Problem 2	✓	0.167	✓	0.14	No
907	HFOPDE, chapter 4.4.5	Problem 3	✓	0.066	✓	0.696	No
908	HFOPDE, chapter 4.4.5	Problem 4	✓	0.068	✓	0.058	No
909	HFOPDE, chapter 4.4.5	Problem 5	✓	0.072	✓	0.424	No
910	HFOPDE, chapter 4.4.5	Problem 6	✓	0.206	✓	6.505	No
911	HFOPDE, chapter 4.5.1	Problem 1	✓	0.033	✓	0.064	No
912	HFOPDE, chapter 4.5.1	Problem 2	✓	0.018	✓	0.103	No
913	HFOPDE, chapter 4.5.1	Problem 3	✗ (Timed out)	600.	✓	0.436	No
914	HFOPDE, chapter 4.5.1	Problem 4	✗ (Timed out)	600.	✓	0.488	No
915	HFOPDE, chapter 4.5.1	Problem 5	✓	0.107	✓	1.656	No
916	HFOPDE, chapter 4.5.1	Problem 6	✗	0.142	✓	0.327	No
917	HFOPDE, chapter 4.5.2	Problem 1	✓	0.063	✓	1.302	No
918	HFOPDE, chapter 4.5.2	Problem 2	✓	0.197	✓	0.222	No
919	HFOPDE, chapter 4.5.2	Problem 3	✗ (Timed out)	600.	✓	0.066	No
920	HFOPDE, chapter 4.5.2	Problem 4	✓	0.042	✓	0.128	No
921	HFOPDE, chapter 4.5.2	Problem 5	✓	0.038	✓	0.619	No
922	HFOPDE, chapter 4.5.2	Problem 6	✗ (Timed out)	600.	✓	1.914	No
923	HFOPDE, chapter 4.6.1	Problem 1	✓	0.073	✓	0.045	No
924	HFOPDE, chapter 4.6.1	Problem 2	✓	0.054	✓	0.021	No
925	HFOPDE, chapter 4.6.1	Problem 3	✓	0.025	✓	0.014	No
926	HFOPDE, chapter 4.6.1	Problem 4	✗ (Timed out)	600.	✓	0.9	No
927	HFOPDE, chapter 4.6.1	Problem 5	✓	0.422	✓	0.798	No
928	HFOPDE, chapter 4.6.2	Problem 1	✓	0.068	✓	0.017	No
929	HFOPDE, chapter 4.6.2	Problem 2	✓	0.05	✓	0.016	No
930	HFOPDE, chapter 4.6.2	Problem 3	✓	0.025	✓	0.015	No
931	HFOPDE, chapter 4.6.2	Problem 4	✗ (Timed out)	600.	✓	0.537	No
932	HFOPDE, chapter 4.6.2	Problem 5	✗ (Timed out)	600.	✓	0.775	No
933	HFOPDE, chapter 4.6.3	Problem 1	✓	0.143	✓	0.038	No
934	HFOPDE, chapter 4.6.3	Problem 2	✓	0.201	✓	0.068	No
935	HFOPDE, chapter 4.6.3	Problem 3	✓	0.044	✓	0.031	No
936	HFOPDE, chapter 4.6.3	Problem 4	✗ (Timed out)	600.	✓	0.566	No
937	HFOPDE, chapter 4.6.3	Problem 5	✗ (Timed out)	600.	✓	0.64	No
938	HFOPDE, chapter 4.6.4	Problem 1	✓	0.14	✓	0.038	No
939	HFOPDE, chapter 4.6.4	Problem 2	✓	0.199	✓	0.051	No
940	HFOPDE, chapter 4.6.4	Problem 3	✓	0.044	✓	0.03	No
941	HFOPDE, chapter 4.6.4	Problem 4	✗ (Timed out)	600.	✓	0.859	No
942	HFOPDE, chapter 4.6.4	Problem 5	✗ (Timed out)	600.	✓	0.88	No
943	HFOPDE, chapter 4.6.5	Problem 1	✓	0.036	✓	0.024	No
944	HFOPDE, chapter 4.6.5	Problem 2	✓	0.084	✓	0.246	No
945	HFOPDE, chapter 4.6.5	Problem 3	✓	0.089	✓	0.371	No
946	HFOPDE, chapter 4.6.5	Problem 4	✓	0.073	✓	2.873	No
947	HFOPDE, chapter 4.6.5	Problem 5	✓	0.155	✓	0.087	No
948	HFOPDE, chapter 4.6.5	Problem 6	✓	0.122	✓	0.15	No
949	HFOPDE, chapter 4.7.1	Problem 1	✓	0.781	✓	0.118	No
950	HFOPDE, chapter 4.7.1	Problem 2	✓	0.415	✓	0.128	No
951	HFOPDE, chapter 4.7.1	Problem 3	✓	0.229	✓	0.065	No
952	HFOPDE, chapter 4.7.1	Problem 4	✗ (Timed out)	600.	✓	2.179	No
953	HFOPDE, chapter 4.7.1	Problem 5	✗ (Timed out)	600.	✓	1.862	No
954	HFOPDE, chapter 4.7.2	Problem 1	✓	0.824	✓	0.02	No
955	HFOPDE, chapter 4.7.2	Problem 2	✓	0.665	✓	0.019	No
956	HFOPDE, chapter 4.7.2	Problem 3	✓	0.221	✓	0.024	No
957	HFOPDE, chapter 4.7.2	Problem 4	✗ (Timed out)	600.	✓	1.176	No
958	HFOPDE, chapter 4.7.2	Problem 5	✗ (Timed out)	600.	✓	1.286	No
959	HFOPDE, chapter 4.7.3	Problem 1	✓	0.056	✓	0.305	No
960	HFOPDE, chapter 4.7.3	Problem 2	✓	0.072	✓	0.211	No
961	HFOPDE, chapter 4.7.3	Problem 3	✓	0.104	✓	0.243	No
962	HFOPDE, chapter 4.7.3	Problem 4	✗ (Timed out)	600.	✓	0.807	No
963	HFOPDE, chapter 4.7.3	Problem 5	✗ (Timed out)	600.	✓	0.753	No
964	HFOPDE, chapter 4.7.4	Problem 1	✓	0.047	✓	0.117	No
965	HFOPDE, chapter 4.7.4	Problem 2	✓	0.078	✓	0.024	No
966	HFOPDE, chapter 4.7.4	Problem 3	✓	0.109	✓	0.07	No
967	HFOPDE, chapter 4.7.4	Problem 4	✗ (Timed out)	600.	✓	0.774	No
968	HFOPDE, chapter 4.7.4	Problem 5	✗ (Timed out)	600.	✓	0.625	No
969	HFOPDE, chapter 4.8.1	Problem 1	✓	0.029	✓	0.036	No
970	HFOPDE, chapter 4.8.1	Problem 2	✓	0.182	✓	0.071	No
971	HFOPDE, chapter 4.8.1	Problem 3	✓	0.277	✓	0.013	No
972	HFOPDE, chapter 4.8.1	Problem 4	✓	0.15	✓	0.063	No
973	HFOPDE, chapter 4.8.1	Problem 5	✓	0.13	✓	0.066	No
974	HFOPDE, chapter 4.8.1	Problem 6	✓	0.142	✓	0.011	No
975	HFOPDE, chapter 4.8.1	Problem 7	✓	1.638	✓	0.076	No
976	HFOPDE, chapter 4.8.1	Problem 8	✓	0.128	✓	0.059	No
977	HFOPDE, chapter 4.8.1	Problem 9	✓	0.183	✓	0.1	No
978	HFOPDE, chapter 4.8.1	Problem 10	✓	0.764	✓	0.061	No
979	HFOPDE, chapter 4.8.1	Problem 11	✓	36.512	✓	0.148	No
980	HFOPDE, chapter 4.8.1	Problem 12	✓	1.865	✓	0.222	No
981	HFOPDE, chapter 4.8.1	Problem 13	✗	23.885	✗	11.288	No
982	HFOPDE, chapter 4.8.1	Problem 14	✓	1.613	✓	0.37	No
983	HFOPDE, chapter 4.8.1	Problem 15	✓	1.51	✓	0.121	No
984	HFOPDE, chapter 4.8.2	Problem 1	✓	0.105	✓	0.067	No
985	HFOPDE, chapter 4.8.2	Problem 2	✓	0.095	✓	0.039	No
986	HFOPDE, chapter 4.8.2	Problem 3	✓	1.546	✓	0.099	No
987	HFOPDE, chapter 4.8.2	Problem 4	✗	0.077	✓ contains RootOf	0.137	No
988	HFOPDE, chapter 4.8.2	Problem 5	✗	21.913	✗	2.278	No
989	HFOPDE, chapter 4.8.2	Problem 6	✗	0.206	✓ has RootOf	0.102	No
990	HFOPDE, chapter 4.8.2	Problem 7	✗	0.207	✓ has RootOf	0.039	No
991	HFOPDE, chapter 4.8.3	Problem 1	✓	0.101	✓	0.064	No
992	HFOPDE, chapter 4.8.3	Problem 2	✓	0.004	✓	0.041	No
993	HFOPDE, chapter 4.8.3	Problem 3	✓	0.107	✓	0.037	No
994	HFOPDE, chapter 4.8.3	Problem 4	✓	0.336	✓	0.349	No
995	HFOPDE, chapter 4.8.3	Problem 5	✓	0.307	✓	0.1	No
996	HFOPDE, chapter 4.8.3	Problem 6	✓	0.168	✓	0.068	No
997	HFOPDE, chapter 4.8.3	Problem 7	✓	2.052	✓	4.83	No
998	HFOPDE, chapter 4.8.4	Problem 1	✓	0.043	✓	0.01	No
999	HFOPDE, chapter 4.8.4	Problem 2	✓	0.18	✓	0.013	No
1000	HFOPDE, chapter 4.8.4	Problem 3	✓	1.439	✓	0.015	No
1001	HFOPDE, chapter 4.8.4	Problem 4	✓	19.257	✓	0.049	No
1002	HFOPDE, chapter 4.8.4	Problem 5	✓	34.135	✓	0.268	No
1003	HFOPDE, chapter 4.8.4	Problem 6	✗	24.08	✗	3.18	No
1004	HFOPDE, chapter 4.8.4	Problem 7	✗	0.208	✓ has RootOf	0.055	No
1005	HFOPDE, chapter 5.2.1	Problem 1	✓	0.008	✓	0.038	No
1006	HFOPDE, chapter 5.2.1	Problem 2	✓	0.01	✓	0.011	No
1007	HFOPDE, chapter 5.2.1	Problem 3	✓	0.026	✓	0.101	No
1008	HFOPDE, chapter 5.2.1	Problem 4	✓	0.023	✓	0.042	No
1009	HFOPDE, chapter 5.2.1	Problem 5	✓	0.125	✓	0.15	No
1010	HFOPDE, chapter 5.2.1	Problem 6	✓	0.04	✓	0.05	No
1011	HFOPDE, chapter 5.2.1	Problem 7	✗ (Timed out)	600.	✗ (Timed out)	600.	No
1012	HFOPDE, chapter 5.2.1	Problem 8	✗ (Timed out)	600.	✓	5.948	No
1013	HFOPDE, chapter 5.2.2	Problem 1	✓	0.033	✓	0.123	No
1014	HFOPDE, chapter 5.2.2	Problem 2	✓	0.043	✓	0.052	No
1015	HFOPDE, chapter 5.2.2	Problem 3	✓	0.009	✓	0.046	No
1016	HFOPDE, chapter 5.2.2	Problem 4	✓	0.204	✓	0.08	No
1017	HFOPDE, chapter 5.2.2	Problem 5	✗ (Timed out)	600.	✓	14.365	No
1018	HFOPDE, chapter 5.2.2	Problem 6	✗ (Timed out)	600.	✓	2.185	No
1019	HFOPDE, chapter 5.2.2	Problem 7	✗	42.231	✓	2.844	No
1020	HFOPDE, chapter 5.2.2	Problem 8	✗	35.565	✓	73.979	No
1021	HFOPDE, chapter 5.2.3	Problem 1	✓	0.238	✓	0.707	No
1022	HFOPDE, chapter 5.2.3	Problem 2	✗ (Timed out)	600.	✓	0.167	No
1023	HFOPDE, chapter 5.2.3	Problem 3	✗ (Timed out)	600.	✓	0.589	No
1024	HFOPDE, chapter 5.2.3	Problem 4	✗ (Timed out)	600.	✓	0.001	No
1025	HFOPDE, chapter 5.2.3	Problem 5	✓	0.176	✓	0.432	No
1026	HFOPDE, chapter 5.2.3	Problem 6	✓	0.036	✓	0.27	No
1027	HFOPDE, chapter 5.2.3	Problem 7	✗ (Timed out)	600.	✓ contains RootOf	1.327	No
1028	HFOPDE, chapter 5.2.4	Problem 1	✓	247.813	✓	0.63	No
1029	HFOPDE, chapter 5.2.4	Problem 2	✓	0.047	✗ (Timed out)	600.	No
1030	HFOPDE, chapter 5.2.4	Problem 3	✓	0.014	✓	0.485	No
1031	HFOPDE, chapter 5.2.4	Problem 4	✓	29.47	✓	0.252	No
1032	HFOPDE, chapter 5.2.4	Problem 5	✓	128.19	✓	1.27	No
1033	HFOPDE, chapter 5.2.4	Problem 6	✓	131.327	✓	1.077	No
1034	HFOPDE, chapter 5.2.4	Problem 7	✓	0.087	✓	0.239	No
1035	HFOPDE, chapter 5.2.4	Problem 8	✓	0.073	✓	0.197	No
1036	HFOPDE, chapter 5.2.4	Problem 9	✗ (Timed out)	600.	✓	7.057	No
1037	HFOPDE, chapter 5.2.4	Problem 10	✗ (Timed out)	600.	✓	1.4	No
1038	HFOPDE, chapter 5.2.4	Problem 11	✗ (Timed out)	600.	✓	3.192	No
1039	HFOPDE, chapter 5.2.4	Problem 12	✓	477.189	✓	2.918	No
1040	HFOPDE, chapter 5.3.1	Problem 1	✓	38.665	✓	0.504	No
1041	HFOPDE, chapter 5.3.1	Problem 2	✓	50.115	✓	0.504	No
1042	HFOPDE, chapter 5.3.1	Problem 3	✓	387.237	✓	0.567	No
1043	HFOPDE, chapter 5.3.1	Problem 4	✗	118.14	✓	1.442	No
1044	HFOPDE, chapter 5.3.1	Problem 5	✗	118.354	✓	1.708	No
1045	HFOPDE, chapter 5.3.1	Problem 6	✗ (Timed out)	600.	✓	1.088	No
1046	HFOPDE, chapter 5.3.1	Problem 7	✓	4.909	✓	0.091	No
1047	HFOPDE, chapter 5.3.1	Problem 8	✗ (Timed out)	600.	✓	0.166	No
1048	HFOPDE, chapter 5.3.2	Problem 1	✗ (Timed out)	600.	✓	0.209	No
1049	HFOPDE, chapter 5.3.2	Problem 2	✓	3.29	✓	0.061	No
1050	HFOPDE, chapter 5.3.2	Problem 3	✓	2.62	✓	0.063	No
1051	HFOPDE, chapter 5.3.2	Problem 4	✓	0.323	✓	1.493	No
1052	HFOPDE, chapter 5.3.2	Problem 5	✓	34.072	✓	0.418	No
1053	HFOPDE, chapter 5.3.2	Problem 6	✓	28.929	✓	0.307	No
1054	HFOPDE, chapter 5.3.2	Problem 7	✓	394.427	✓	0.718	No
1055	HFOPDE, chapter 5.3.2	Problem 8	✓	0.031	✓	0.05	No
1056	HFOPDE, chapter 5.3.2	Problem 9	✓	576.304	✓	1.851	No
1057	HFOPDE, chapter 5.3.2	Problem 10	✓	240.653	✓	0.396	No
1058	HFOPDE, chapter 5.4.1	Problem 1	✓	304.655	✓	10.399	No
1059	HFOPDE, chapter 5.4.1	Problem 2	✗ (Timed out)	600.	✓	0.219	No
1060	HFOPDE, chapter 5.4.1	Problem 3	✗ (Timed out)	600.	✓	5.414	No
1061	HFOPDE, chapter 5.4.1	Problem 4	✗ (Timed out)	600.	✓	8.879	No
1062	HFOPDE, chapter 5.4.1	Problem 5	✗ (Timed out)	600.	✓	1.858	No
1063	HFOPDE, chapter 5.4.2	Problem 1	✓	312.306	✓	6.746	No
1064	HFOPDE, chapter 5.4.2	Problem 2	✗ (Timed out)	600.	✓	0.194	No
1065	HFOPDE, chapter 5.4.2	Problem 3	✗ (Timed out)	600.	✓	6.734	No
1066	HFOPDE, chapter 5.4.2	Problem 4	✓	0.068	✓	0.18	No
1067	HFOPDE, chapter 5.4.2	Problem 5	✗ (Timed out)	600.	✓	6.064	No
1068	HFOPDE, chapter 5.4.2	Problem 6	✗ (Timed out)	600.	✓	1.581	No
1069	HFOPDE, chapter 5.4.3	Problem 1	✓	556.053	✓	3.36	No
1070	HFOPDE, chapter 5.4.3	Problem 2	✗ (Timed out)	600.	✓	0.236	No
1071	HFOPDE, chapter 5.4.3	Problem 3	✗ (Timed out)	600.	✓	2.543	No
1072	HFOPDE, chapter 5.4.3	Problem 4	✗ (Timed out)	600.	✓	2.692	No
1073	HFOPDE, chapter 5.4.3	Problem 5	✗ (Timed out)	600.	✓	1.555	No
1074	HFOPDE, chapter 5.4.4	Problem 1	✓	532.391	✓	3.234	No
1075	HFOPDE, chapter 5.4.4	Problem 2	✗ (Timed out)	600.	✓	0.129	No
1076	HFOPDE, chapter 5.4.4	Problem 3	✗ (Timed out)	600.	✓	1.551	No
1077	HFOPDE, chapter 5.4.4	Problem 4	✗ (Timed out)	600.	✓	2.108	No
1078	HFOPDE, chapter 5.4.4	Problem 5	✗ (Timed out)	600.	✓	1.29	No
1079	HFOPDE, chapter 5.4.5	Problem 1	✓	2.84	✓	6.946	No
1080	HFOPDE, chapter 5.4.5	Problem 2	✓	302.713	✓	7.021	No
1081	HFOPDE, chapter 5.4.5	Problem 3	✓	1.384	✓	0.536	No
1082	HFOPDE, chapter 5.4.5	Problem 4	✓	300.138	✓	0.505	No
1083	HFOPDE, chapter 5.4.5	Problem 5	✗ (Timed out)	600.	✓	7.285	No
1084	HFOPDE, chapter 5.4.5	Problem 6	✗ (Timed out)	600.	✓	2.78	No
1085	HFOPDE, chapter 5.5.1	Problem 1	✗ (Timed out)	600.	✓	0.512	No
1086	HFOPDE, chapter 5.5.1	Problem 2	✗ (Timed out)	600.	✓	0.067	No
1087	HFOPDE, chapter 5.5.1	Problem 3	✗ (Timed out)	600.	✓	1.251	No
1088	HFOPDE, chapter 5.5.1	Problem 4	✗	0.037	✓	1.086	No
1089	HFOPDE, chapter 5.5.1	Problem 5	✗ (Timed out)	600.	✓	204.409	No
1090	HFOPDE, chapter 5.5.1	Problem 6	✗ (Timed out)	600.	✓	63.249	No
1091	HFOPDE, chapter 5.5.2	Problem 1	✓	0.728	✓	0.493	No
1092	HFOPDE, chapter 5.5.2	Problem 2	✓	0.587	✓	0.119	No
1093	HFOPDE, chapter 5.5.2	Problem 3	✓	0.24	✓	0.307	No
1094	HFOPDE, chapter 5.5.2	Problem 4	✓	0.457	✓	0.519	No
1095	HFOPDE, chapter 5.5.2	Problem 5	✓	0.196	✓	0.218	No
1096	HFOPDE, chapter 5.5.2	Problem 6	✓	1.4	✓	1.203	No
1097	HFOPDE, chapter 5.5.2	Problem 7	✓	1.208	✓	3.628	No
1098	HFOPDE, chapter 5.6.1	Problem 1	✓	0.382	✓	0.088	No
1099	HFOPDE, chapter 5.6.1	Problem 2	✓	1.036	✓	14.427	No
1100	HFOPDE, chapter 5.6.1	Problem 3	✓	3.831	✓	17.877	No
1101	HFOPDE, chapter 5.6.1	Problem 4	✓	2.044	✓	0.479	No
1102	HFOPDE, chapter 5.6.1	Problem 5	✓	71.741	✓	0.637	No
1103	HFOPDE, chapter 5.6.1	Problem 6	✗ (Timed out)	600.	✓	25.934	No
1104	HFOPDE, chapter 5.6.1	Problem 7	✗ (Timed out)	600.	✓	5.616	No
1105	HFOPDE, chapter 5.6.2	Problem 1	✓	0.241	✓	0.094	No
1106	HFOPDE, chapter 5.6.2	Problem 2	✓	2.181	✓	7.437	No
1107	HFOPDE, chapter 5.6.2	Problem 3	✓	342.327	✓	7.448	No
1108	HFOPDE, chapter 5.6.2	Problem 4	✓	97.152	✓	0.3	No
1109	HFOPDE, chapter 5.6.2	Problem 5	✓	73.216	✓	0.58	No
1110	HFOPDE, chapter 5.6.2	Problem 6	✗ (Timed out)	600.	✓	9.912	No
1111	HFOPDE, chapter 5.6.3	Problem 1	✓	1.329	✓	0.244	No
1112	HFOPDE, chapter 5.6.3	Problem 2	✗ (Timed out)	600.	✓	0.673	No
1113	HFOPDE, chapter 5.6.3	Problem 3	✓	467.661	✓	1.023	No
1114	HFOPDE, chapter 5.6.3	Problem 4	✓	164.461	✓	3.459	No
1115	HFOPDE, chapter 5.6.3	Problem 5	✓	193.425	✓	0.326	No
1116	HFOPDE, chapter 5.6.3	Problem 6	✗ (Timed out)	600.	✓	4.862	No
1117	HFOPDE, chapter 5.6.3	Problem 7	✗ (Timed out)	600.	✓	12.317	No
1118	HFOPDE, chapter 5.6.4	Problem 1	✓	1.96	✓	0.276	No
1119	HFOPDE, chapter 5.6.4	Problem 2	✗ (Timed out)	600.	✓	0.843	No
1120	HFOPDE, chapter 5.6.4	Problem 3	✓	348.768	✓	1.036	No
1121	HFOPDE, chapter 5.6.4	Problem 4	✓	283.629	✓	4.418	No
1122	HFOPDE, chapter 5.6.4	Problem 5	✓	196.426	✓	0.204	No
1123	HFOPDE, chapter 5.6.4	Problem 6	✗ (Timed out)	600.	✓	5.19	No
1124	HFOPDE, chapter 5.6.4	Problem 7	✗ (Timed out)	600.	✓	8.783	No
1125	HFOPDE, chapter 5.6.5	Problem 1	✓	2.124	✓	9.03	No
1126	HFOPDE, chapter 5.6.5	Problem 2	✓	364.206	✓	8.324	No
1127	HFOPDE, chapter 5.6.5	Problem 3	✓	18.895	✓	0.457	No
1128	HFOPDE, chapter 5.6.5	Problem 4	✓	198.191	✓	0.091	No
1129	HFOPDE, chapter 5.6.5	Problem 5	✗ (Timed out)	600.	✓	2.755	No
1130	HFOPDE, chapter 5.6.5	Problem 6	✗ (Timed out)	600.	✓	9.767	No
1131	HFOPDE, chapter 5.6.5	Problem 7	✗ (Timed out)	600.	✓	0.987	No
1132	HFOPDE, chapter 5.7.1	Problem 1	✗ (Timed out)	600.	✓	0.189	No
1133	HFOPDE, chapter 5.7.1	Problem 2	✗ (Timed out)	600.	✓	0.033	No
1134	HFOPDE, chapter 5.7.1	Problem 3	✗ (Timed out)	600.	✓	0.557	No
1135	HFOPDE, chapter 5.7.1	Problem 4	✗ (Timed out)	600.	✓	2.384	No
1136	HFOPDE, chapter 5.7.1	Problem 5	✗ (Timed out)	600.	✓	1.951	No
1137	HFOPDE, chapter 5.7.2	Problem 1	✗ (Timed out)	600.	✓	0.048	No
1138	HFOPDE, chapter 5.7.2	Problem 2	✗ (Timed out)	600.	✓	0.034	No
1139	HFOPDE, chapter 5.7.2	Problem 3	✗ (Timed out)	600.	✓	0.091	No
1140	HFOPDE, chapter 5.7.2	Problem 4	✗ (Timed out)	600.	✓	0.921	No
1141	HFOPDE, chapter 5.7.2	Problem 5	✗ (Timed out)	600.	✓	1.288	No
1142	HFOPDE, chapter 5.7.3	Problem 1	✗ (Timed out)	600.	✓	0.486	No
1143	HFOPDE, chapter 5.7.3	Problem 2	✓	529.032	✓	91.485	No
1144	HFOPDE, chapter 5.7.3	Problem 3	✗ (Timed out)	600.	✓	3.04	No
1145	HFOPDE, chapter 5.7.3	Problem 4	✗ (Timed out)	600.	✓	1.579	No
1146	HFOPDE, chapter 5.7.3	Problem 5	✗ (Timed out)	600.	✓	0.927	No
1147	HFOPDE, chapter 5.7.4	Problem 1	✗ (Timed out)	600.	✓	0.407	No
1148	HFOPDE, chapter 5.7.4	Problem 2	✗ (Timed out)	600.	✓	61.295	No
1149	HFOPDE, chapter 5.7.4	Problem 3	✗ (Timed out)	600.	✓	2.405	No
1150	HFOPDE, chapter 5.7.4	Problem 4	✗ (Timed out)	600.	✓	1.546	No
1151	HFOPDE, chapter 5.7.4	Problem 5	✗ (Timed out)	600.	✓	0.822	No
1152	HFOPDE, chapter 5.8.1	Problem 1	✓	0.387	✓	0.023	No
1153	HFOPDE, chapter 5.8.1	Problem 2	✓	0.298	✓	0.166	No
1154	HFOPDE, chapter 5.8.1	Problem 3	✓	2.007	✓	0.167	No
1155	HFOPDE, chapter 5.8.1	Problem 4	✓	0.757	✓	0.052	No
1156	HFOPDE, chapter 5.8.1	Problem 5	✓	0.545	✓	0.074	No
1157	HFOPDE, chapter 5.8.1	Problem 6	✓	0.82	✓	0.023	No
1158	HFOPDE, chapter 5.8.1	Problem 7	✓	1.86	✓	0.03	No
1159	HFOPDE, chapter 5.8.1	Problem 8	✓	19.89	✓	0.5	No
1160	HFOPDE, chapter 5.8.1	Problem 9	✓	28.832	✓	0.665	No
1161	HFOPDE, chapter 5.8.1	Problem 10	✗	33.908	✓	0.881	No
1162	HFOPDE, chapter 5.8.1	Problem 11	✓	16.916	✓	1.5	No
1163	HFOPDE, chapter 5.8.1	Problem 12	✓	26.893	✓	0.336	No
1164	HFOPDE, chapter 5.8.2	Problem 1	✓	0.122	✓	0.046	No
1165	HFOPDE, chapter 5.8.2	Problem 2	✓	0.373	✓	0.09	No
1166	HFOPDE, chapter 5.8.2	Problem 3	✓	0.388	✓	0.019	No
1167	HFOPDE, chapter 5.8.2	Problem 4	✓	1.912	✓	0.078	No
1168	HFOPDE, chapter 5.8.2	Problem 5	✓	0.203	✓	0.028	No
1169	HFOPDE, chapter 5.8.2	Problem 6	✗	0.068	✓	0.18	No
1170	HFOPDE, chapter 5.8.3	Problem 1	✓	0.159	✓	0.06	No
1171	HFOPDE, chapter 5.8.3	Problem 2	✓	1.714	✓	0.049	No
1172	HFOPDE, chapter 5.8.3	Problem 3	✓	16.05	✓	0.15	No
1173	HFOPDE, chapter 5.8.3	Problem 4	✓	257.546	✓	0.728	No
1174	HFOPDE, chapter 5.8.3	Problem 5	✗ (Timed out)	600.	✓	0.778	No
1175	HFOPDE, chapter 5.8.3	Problem 6	✗	24.064	✗	1.849	No
1176	HFOPDE, chapter 6.2.1	Problem 1	✓	0.005	✓	0.012	No
1177	HFOPDE, chapter 6.2.1	Problem 2	✓	0.019	✓	0.018	No
1178	HFOPDE, chapter 6.2.1	Problem 3	✓	0.022	✓	0.016	No
1179	HFOPDE, chapter 6.2.1	Problem 4	✓	0.072	✓	0.251	No
1180	HFOPDE, chapter 6.2.1	Problem 5	✓	0.006	✓	0.043	No
1181	HFOPDE, chapter 6.2.1	Problem 6	✓	0.019	✓	0.077	No
1182	HFOPDE, chapter 6.2.1	Problem 7	✓	0.045	✓	0.137	No
1183	HFOPDE, chapter 6.2.1	Problem 8	✗	0.027	✓	0.024	No
1184	HFOPDE, chapter 6.2.1	Problem 9	✗	0.021	✓	2.574	No
1185	HFOPDE, chapter 6.2.1	Problem 10	✓	0.072	✓	0.101	No
1186	HFOPDE, chapter 6.2.1	Problem 11	✗	5.944	✗	14.265	No
1187	HFOPDE, chapter 6.2.1	Problem 12	✗	3.196	✗	0.15	No
1188	HFOPDE, chapter 6.2.1	Problem 13	✓	0.011	✓	0.014	No
1189	HFOPDE, chapter 6.2.1	Problem 14	✗ (Timed out)	600.	✗	1.685	No
1190	HFOPDE, chapter 6.2.1	Problem 15	✗ (Timed out)	600.	✓	25.037	No
1191	HFOPDE, chapter 6.2.1	Problem 16	✗ (Timed out)	600.	✓	13.992	No
1192	HFOPDE, chapter 6.2.1	Problem 17	✗ (Timed out)	600.	✗	3.72	No
1193	HFOPDE, chapter 6.2.1	Problem 18	✗ (Timed out)	600.	✗	11.068	No
1194	HFOPDE, chapter 6.2.1	Problem 19	✗	1.44	✗	0.515	No
1195	HFOPDE, chapter 6.2.1	Problem 20	✗	231.524	✗	0.591	No
1196	HFOPDE, chapter 6.2.1	Problem 21	✗	0.195	✗	0.689	No
1197	HFOPDE, chapter 6.2.2	Problem 1	✓	0.232	✓	0.309	No
1198	HFOPDE, chapter 6.2.2	Problem 2	✓	0.115	✓	0.173	No
1199	HFOPDE, chapter 6.2.2	Problem 3	✗ (Timed out)	600.	✓	1.644	No
1200	HFOPDE, chapter 6.2.2	Problem 4	✓	0.055	✓	0.277	No
1201	HFOPDE, chapter 6.2.2	Problem 5	✓	0.008	✓	0.427	No
1202	HFOPDE, chapter 6.2.2	Problem 6	✓	0.012	✓	0.048	No
1203	HFOPDE, chapter 6.2.2	Problem 7	✓	0.019	✓	0.051	No
1204	HFOPDE, chapter 6.2.2	Problem 8	✓	0.012	✓	0.018	No
1205	HFOPDE, chapter 6.2.2	Problem 9	✓	0.014	✓	0.134	No
1206	HFOPDE, chapter 6.2.2	Problem 10	✓	0.011	✓	0.018	No
1207	HFOPDE, chapter 6.2.2	Problem 11	✓	0.015	✓	0.177	No
1208	HFOPDE, chapter 6.2.2	Problem 12	✓	0.011	✓	0.271	No
1209	HFOPDE, chapter 6.2.2	Problem 13	✓	0.011	✓	0.047	No
1210	HFOPDE, chapter 6.2.2	Problem 14	✓	0.023	✓	0.044	No
1211	HFOPDE, chapter 6.2.2	Problem 15	✓	0.014	✓	0.019	No
1212	HFOPDE, chapter 6.2.2	Problem 16	✓	0.013	✓	0.127	No
1213	HFOPDE, chapter 6.2.2	Problem 17	✓	0.02	✓	0.109	No
1214	HFOPDE, chapter 6.2.2	Problem 18	✓	0.019	✓	0.039	No
1215	HFOPDE, chapter 6.2.2	Problem 19	✓	0.028	✓	0.247	No
1216	HFOPDE, chapter 6.2.2	Problem 20	✓	0.019	✓	0.04	No
1217	HFOPDE, chapter 6.2.2	Problem 21	✓	0.016	✓	0.09	No
1218	HFOPDE, chapter 6.2.2	Problem 22	✓	0.029	✗	0.285	No
1219	HFOPDE, chapter 6.2.2	Problem 23	✗	19.43	✓	4.861	No
1220	HFOPDE, chapter 6.2.2	Problem 24	✓	0.056	✓	1.734	No
1221	HFOPDE, chapter 6.2.2	Problem 25	✓	0.033	✓	1.633	No
1222	HFOPDE, chapter 6.2.2	Problem 26	✗	54.235	✗	0.308	No
1223	HFOPDE, chapter 6.2.2	Problem 27	✗	0.113	✓	2.544	No
1224	HFOPDE, chapter 6.2.2	Problem 28	✓	1.258	✓	0.409	No
1225	HFOPDE, chapter 6.2.2	Problem 29	✗	0.841	✗	1.372	No
1226	HFOPDE, chapter 6.2.3	Problem 1	✗	50.123	✗	0.338	No
1227	HFOPDE, chapter 6.2.3	Problem 2	✓	0.034	✓	0.117	No
1228	HFOPDE, chapter 6.2.3	Problem 3	✓	0.024	✓	0.116	No
1229	HFOPDE, chapter 6.2.3	Problem 4	✗	0.025	✓	1.295	No
1230	HFOPDE, chapter 6.2.3	Problem 5	✗	25.608	✗	0.311	No
1231	HFOPDE, chapter 6.2.3	Problem 6	✗	0.171	✓	3.454	No
1232	HFOPDE, chapter 6.2.3	Problem 7	✗ (Timed out)	600.	✓	3.548	No
1233	HFOPDE, chapter 6.2.3	Problem 8	✓	0.16	✗	0.413	No
1234	HFOPDE, chapter 6.2.3	Problem 9	✗	0.029	✓	1.278	No
1235	HFOPDE, chapter 6.2.3	Problem 10	✓	0.016	✓	0.018	No
1236	HFOPDE, chapter 6.2.3	Problem 11	✓	0.201	✓	0.616	No
1237	HFOPDE, chapter 6.2.3	Problem 12	✗	0.047	✗	2.533	No
1238	HFOPDE, chapter 6.2.3	Problem 13	✗	1.234	✗ (Timed out)	600.	No
1239	HNPDE, chapter 1.1.1	Problem 1	✗	0.276	✗	5.378	No
1240	HNPDE, chapter 1.1.1	Problem 2	✓	0.075	✓	0.702	No
1241	HNPDE, chapter 1.1.2	Problem 1	✗	0.071	✗	6.234	No
1242	HNPDE, chapter 1.1.2	Problem 2	✗	0.082	✓	0.684	No
1243	HNPDE, chapter 1.1.2	Problem 3	✗	0.162	✓	0.655	No
1244	HNPDE, chapter 1.1.2	Problem 4	✗	0.139	✓	0.899	No
1245	HNPDE, chapter 1.1.2	Problem 5	✗	0.797	✓	1.515	No
1246	HNPDE, chapter 1.1.3	Problem 1	✗	0.005	✗	0.093	No
1247	HNPDE, chapter 1.1.3	Problem 2	✗	0.005	✗	0.011	No
1248	HNPDE, chapter 1.1.3	Problem 3	✗	0.009	✗	0.217	No
1249	HNPDE, chapter 1.1.3	Problem 4	✗	0.009	✗	0.015	No
1250	HNPDE, chapter 1.1.4	Problem 1	✗	0.007	✗	0.011	No