A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | solsimp + exp | exp + simpsol | both together | Exp Collection | Exp Collection | |||||||||||||||||||||
2 | (with expand_mul) | (without expand_mul) | ||||||||||||||||||||||||
3 | 1727 | 3705 | 3716 | 1857 | 1581 | |||||||||||||||||||||
4 | 25739 | 5795 | 11416 | 25739 | 2235 | |||||||||||||||||||||
5 | 3880 | 3358 | 3705 | 4076 | 1722 | |||||||||||||||||||||
6 | 19 | 23 | 19 | 19 | 23 | |||||||||||||||||||||
7 | 16 | 16 | 16 | 16 | 22 | |||||||||||||||||||||
8 | 13 | 17 | 13 | 13 | 17 | |||||||||||||||||||||
9 | 13 | 13 | 13 | 13 | 12 | |||||||||||||||||||||
10 | 47 | 118 | 42 | 47 | 86 | |||||||||||||||||||||
11 | 22 | 22 | 23 | 21 | 21 | |||||||||||||||||||||
12 | 11 | 13 | 11 | 11 | 14 | |||||||||||||||||||||
13 | 30 | 30 | 30 | 30 | 34 | |||||||||||||||||||||
14 | 89 | 360 | 89 | 191 | 189 | |||||||||||||||||||||
15 | ||||||||||||||||||||||||||
16 | 7(small) | 3(small) | 8(small) | 6(small) | 2(small), 3(large) | Scores | ||||||||||||||||||||
17 | ||||||||||||||||||||||||||
18 | Only one v. large. | Small solutions exp. | Smaller sols | Simplifies solutions | Simplifies all the | Notes - Line 1 | ||||||||||||||||||||
19 | solution | for small eqs | of smaller ODEs | large solutions | Line 2 | |||||||||||||||||||||
20 | ||||||||||||||||||||||||||
21 | 61s | 71s | 110s | 56s | 55s | Total Time | ||||||||||||||||||||
22 | ||||||||||||||||||||||||||
23 | ||||||||||||||||||||||||||
24 | ||||||||||||||||||||||||||
25 | ||||||||||||||||||||||||||
26 | ||||||||||||||||||||||||||
27 | ||||||||||||||||||||||||||
28 | ||||||||||||||||||||||||||
29 | ||||||||||||||||||||||||||
30 | ||||||||||||||||||||||||||
31 | ||||||||||||||||||||||||||
32 | ||||||||||||||||||||||||||
33 | ||||||||||||||||||||||||||
34 | ||||||||||||||||||||||||||
35 | ||||||||||||||||||||||||||
36 | ||||||||||||||||||||||||||
37 | ||||||||||||||||||||||||||
38 | ||||||||||||||||||||||||||
39 | ||||||||||||||||||||||||||
40 | ||||||||||||||||||||||||||
41 | ||||||||||||||||||||||||||
42 | ||||||||||||||||||||||||||
43 | ||||||||||||||||||||||||||
44 | ||||||||||||||||||||||||||
45 | ||||||||||||||||||||||||||
46 | ||||||||||||||||||||||||||
47 | ||||||||||||||||||||||||||
48 | ||||||||||||||||||||||||||
49 | ||||||||||||||||||||||||||
50 | ||||||||||||||||||||||||||
51 | ||||||||||||||||||||||||||
52 | ||||||||||||||||||||||||||
53 | ||||||||||||||||||||||||||
54 | ||||||||||||||||||||||||||
55 | ||||||||||||||||||||||||||
56 | ||||||||||||||||||||||||||
57 | ||||||||||||||||||||||||||
58 | ||||||||||||||||||||||||||
59 | ||||||||||||||||||||||||||
60 | ||||||||||||||||||||||||||
61 | ||||||||||||||||||||||||||
62 | ||||||||||||||||||||||||||
63 | ||||||||||||||||||||||||||
64 | ||||||||||||||||||||||||||
65 | ||||||||||||||||||||||||||
66 | ||||||||||||||||||||||||||
67 | ||||||||||||||||||||||||||
68 | ||||||||||||||||||||||||||
69 | ||||||||||||||||||||||||||
70 | ||||||||||||||||||||||||||
71 | ||||||||||||||||||||||||||
72 | ||||||||||||||||||||||||||
73 | ||||||||||||||||||||||||||
74 | ||||||||||||||||||||||||||
75 | ||||||||||||||||||||||||||
76 | ||||||||||||||||||||||||||
77 | ||||||||||||||||||||||||||
78 | ||||||||||||||||||||||||||
79 | ||||||||||||||||||||||||||
80 | ||||||||||||||||||||||||||
81 | ||||||||||||||||||||||||||
82 | ||||||||||||||||||||||||||
83 | ||||||||||||||||||||||||||
84 | ||||||||||||||||||||||||||
85 | ||||||||||||||||||||||||||
86 | ||||||||||||||||||||||||||
87 | ||||||||||||||||||||||||||
88 | ||||||||||||||||||||||||||
89 | ||||||||||||||||||||||||||
90 | ||||||||||||||||||||||||||
91 | ||||||||||||||||||||||||||
92 | ||||||||||||||||||||||||||
93 | ||||||||||||||||||||||||||
94 | ||||||||||||||||||||||||||
95 | ||||||||||||||||||||||||||
96 | ||||||||||||||||||||||||||
97 | ||||||||||||||||||||||||||
98 | ||||||||||||||||||||||||||
99 | ||||||||||||||||||||||||||
100 |