# |
ODE |
CAS classification |
Solved? |
time (sec) |
|
[_Bernoulli] |
✓ |
3.711 |
|
|
[[_homogeneous, ‘class D‘], _Riccati] |
✓ |
9.037 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
2.223 |
|
|
[‘y=_G(x,y’)‘] |
✗ |
24.866 |
|
|
[‘y=_G(x,y’)‘] |
✗ |
53.222 |
|
|
[_rational] |
✗ |
3.481 |
|
|
[‘y=_G(x,y’)‘] |
✗ |
47.092 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
217.693 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
3.110 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✗ |
6.970 |
|
|
[[_1st_order, _with_linear_symmetries], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
2.652 |
|
|
[_Bernoulli] |
✓ |
4.264 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✗ |
6.349 |
|
|
[_rational] |
✗ |
39.999 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✓ |
3.028 |
|
|
[_Abel] |
✓ |
2.198 |
|
|
[_Bernoulli] |
✓ |
5.811 |
|
|
[‘y=_G(x,y’)‘] |
✗ |
38.181 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
4.546 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘], [_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
2.519 |
|
|
[[_1st_order, _with_linear_symmetries]] |
✓ |
1.573 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘], [_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
2.454 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
5.490 |
|
|
[[_1st_order, _with_linear_symmetries], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
2.414 |
|
|
[‘x=_G(y,y’)‘] |
✗ |
3.044 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
1.768 |
|
|
[_rational] |
✓ |
1.419 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✗ |
7.917 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
2.853 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✗ |
7.483 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✗ |
148.818 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
3.165 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘], [_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
2.911 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
3.172 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], [_Abel, ‘2nd type‘, ‘class A‘]] |
✗ |
2.372 |
|
|
[‘y=_G(x,y’)‘] |
✓ |
2.942 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
2.489 |
|
|
[_rational] |
✗ |
3.217 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(y)]‘]] |
✗ |
4.476 |
|
|
unknown |
✗ |
56.113 |
|
|
[_rational] |
✗ |
1.327 |
|
|
[_rational] |
✗ |
3.166 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(y)]‘], [_Abel, ‘2nd type‘, ‘class C‘]] |
✓ |
2.823 |
|
|
[_rational] |
✗ |
1.184 |
|
|
[_Bernoulli] |
✓ |
38.051 |
|
|
[_rational] |
✓ |
1.413 |
|
|
[_rational] |
✗ |
2.667 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
1.579 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
2.635 |
|
|
unknown |
✗ |
83.054 |
|
|
[‘x=_G(y,y’)‘] |
✗ |
3.315 |
|
|
[[_homogeneous, ‘class D‘], _rational, _Abel] |
✓ |
1.486 |
|
|
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
2.805 |
|
|
[_rational, _Abel] |
✗ |
2.586 |
|
|
[[_1st_order, _with_linear_symmetries], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
1.370 |
|
|
[‘x=_G(y,y’)‘] |
✗ |
5.696 |
|
|
[_rational] |
✗ |
1.438 |
|
|
[_rational] |
✗ |
3.497 |
|
|
[[_1st_order, _with_linear_symmetries], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
1.372 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
3.388 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
2.422 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
3.271 |
|
|
[_Bernoulli] |
✓ |
14.410 |
|
|
[_Bernoulli] |
✓ |
5.464 |
|
|
[[_1st_order, _with_linear_symmetries], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
1.387 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘], [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
2.015 |
|
|
[_rational] |
✗ |
1.414 |
|
|
[_rational] |
✓ |
3.112 |
|
|
[[_1st_order, _with_linear_symmetries], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
1.738 |
|
|
[‘x=_G(y,y’)‘] |
✗ |
3.571 |
|
|
[[_homogeneous, ‘class D‘], _rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
3.056 |
|
|
[[_1st_order, _with_linear_symmetries], _rational, [_Abel, ‘2nd type‘, ‘class A‘]] |
✓ |
1.342 |
|
|
[[_1st_order, _with_linear_symmetries], _rational] |
✓ |
1.636 |
|
|
[_Bernoulli] |
✓ |
9.670 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x)*G(y),0]‘]] |
✓ |
3.047 |
|
|
[_rational, _Abel] |
✗ |
2.612 |
|
|
[[_homogeneous, ‘class D‘], _rational, _Abel] |
✓ |
2.677 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✗ |
11.822 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)*y+H(x)]‘]] |
✓ |
1.901 |
|
|
[_Bernoulli] |
✓ |
42.867 |
|
|
[_Bernoulli] |
✓ |
44.745 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
31.436 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
68.936 |
|
|
[[_homogeneous, ‘class D‘], _Riccati] |
✓ |
47.458 |
|
|
[_rational, [_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], [_Abel, ‘2nd type‘, ‘class B‘]] |
✗ |
2.293 |
|
|
[_Bernoulli] |
✓ |
42.121 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✓ |
186.936 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✗ |
352.082 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘], _Riccati] |
✗ |
192.754 |
|
|
[_Bernoulli] |
✓ |
9.704 |
|
|
[_rational, [_Abel, ‘2nd type‘, ‘class B‘]] |
✓ |
2.097 |
|
|
[_rational] |
✗ |
7.414 |
|
|
[[_homogeneous, ‘class C‘], _rational, _Abel] |
✓ |
74.847 |
|
|
[[_Abel, ‘2nd type‘, ‘class C‘]] |
✗ |
4.434 |
|
|
[_Bernoulli] |
✓ |
13.204 |
|
|
[_rational] |
✗ |
2.683 |
|
|
[_Bernoulli] |
✓ |
5.106 |
|
|
[[_homogeneous, ‘class C‘], _rational, _Abel] |
✓ |
76.034 |
|
|
[_Abel] |
✓ |
3.511 |
|
|
[[_1st_order, ‘_with_symmetry_[F(x),G(x)]‘]] |
✗ |
2.659 |
|