Table summary of progress report


#	test ﬁle #	integral #	Maxima 5.46 SBCL 2.0.1.debian via sagemath 9.6	Maxima 5.44 via sagemath 9.3

1	2	21	1 (pass)	-1 (time out)
2	14	910	1 (pass)	0 (not solved)
3	14	911	1 (pass)	0 (not solved)
4	14	912	1 (pass)	0 (not solved)
5	21	1093	1 (pass)	0 (not solved)
6	21	1094	1 (pass)	0 (not solved)
7	21	1095	1 (pass)	0 (not solved)
8	21	1096	1 (pass)	0 (not solved)
9	21	1097	1 (pass)	0 (not solved)
10	21	1098	1 (pass)	0 (not solved)
11	21	1105	1 (pass)	0 (not solved)
12	21	1106	1 (pass)	0 (not solved)
13	21	1107	1 (pass)	0 (not solved)
14	21	1108	1 (pass)	0 (not solved)
15	21	1109	1 (pass)	0 (not solved)
16	21	1116	1 (pass)	0 (not solved)
17	21	1117	1 (pass)	0 (not solved)
18	21	1118	1 (pass)	0 (not solved)
19	21	1119	1 (pass)	0 (not solved)
20	21	1120	1 (pass)	0 (not solved)
21	21	1126	1 (pass)	0 (not solved)
22	21	1127	1 (pass)	0 (not solved)
23	21	1128	1 (pass)	0 (not solved)
24	21	1129	1 (pass)	0 (not solved)
25	21	1130	1 (pass)	0 (not solved)
26	21	1131	1 (pass)	0 (not solved)
27	27	516	1 (pass)	0 (not solved)
28	27	519	1 (pass)	0 (not solved)
29	27	522	1 (pass)	0 (not solved)
30	27	527	1 (pass)	0 (not solved)
31	27	530	1 (pass)	0 (not solved)
32	27	533	1 (pass)	0 (not solved)
33	27	535	1 (pass)	0 (not solved)
34	27	538	1 (pass)	0 (not solved)
35	27	541	1 (pass)	0 (not solved)
36	27	543	1 (pass)	0 (not solved)
37	27	546	1 (pass)	0 (not solved)
38	27	549	1 (pass)	0 (not solved)
39	27	551	1 (pass)	0 (not solved)
40	27	554	1 (pass)	0 (not solved)
41	27	557	1 (pass)	0 (not solved)
42	27	559	1 (pass)	0 (not solved)
43	27	562	1 (pass)	0 (not solved)
44	27	565	1 (pass)	0 (not solved)
45	38	99	1 (pass)	-1 (time out)
46	54	46	1 (pass)	0 (not solved)
47	54	47	1 (pass)	0 (not solved)
48	54	52	1 (pass)	0 (not solved)
49	54	53	1 (pass)	0 (not solved)
50	54	58	1 (pass)	0 (not solved)
51	54	59	1 (pass)	0 (not solved)
52	55	17	1 (pass)	0 (not solved)
53	60	83	1 (pass)	-1 (time out)
54	62	182	1 (pass)	0 (not solved)
55	64	128	1 (pass)	0 (not solved)
56	66	209	1 (pass)	-1 (time out)
57	84	6	1 (pass)	-1 (time out)
58	84	7	1 (pass)	-1 (time out)
59	89	111	1 (pass)	-1 (time out)
60	89	117	1 (pass)	-1 (time out)
61	89	122	1 (pass)	-1 (time out)
62	89	123	1 (pass)	-1 (time out)
63	89	124	1 (pass)	-1 (time out)
64	89	125	1 (pass)	-1 (time out)
65	89	128	1 (pass)	-1 (time out)
66	89	134	1 (pass)	-1 (time out)
67	89	135	1 (pass)	-1 (time out)
68	89	137	1 (pass)	-1 (time out)
69	89	143	1 (pass)	-1 (time out)
70	89	785	1 (pass)	-1 (time out)
71	92	89	1 (pass)	-1 (time out)
72	92	90	1 (pass)	-1 (time out)
73	92	96	1 (pass)	-1 (time out)
74	92	100	1 (pass)	-1 (time out)
75	92	101	1 (pass)	-1 (time out)
76	92	102	1 (pass)	-1 (time out)
77	92	103	1 (pass)	-1 (time out)
78	92	105	1 (pass)	-1 (time out)
79	92	106	1 (pass)	-1 (time out)
80	92	111	1 (pass)	-1 (time out)
81	92	112	1 (pass)	-1 (time out)
82	92	113	1 (pass)	-1 (time out)
83	92	120	1 (pass)	-1 (time out)
84	92	182	1 (pass)	-1 (time out)
85	92	519	1 (pass)	-1 (time out)
86	94	89	1 (pass)	-1 (time out)
87	94	98	1 (pass)	-1 (time out)
88	94	100	1 (pass)	-1 (time out)
89	94	103	1 (pass)	-1 (time out)
90	94	104	1 (pass)	-1 (time out)
91	94	105	1 (pass)	-1 (time out)
92	94	106	1 (pass)	-1 (time out)
93	94	107	1 (pass)	-1 (time out)
94	94	108	1 (pass)	-1 (time out)
95	94	115	1 (pass)	-1 (time out)
96	94	116	1 (pass)	-1 (time out)
97	94	188	1 (pass)	-1 (time out)
98	94	280	1 (pass)	-1 (time out)
99	94	388	1 (pass)	-1 (time out)
100	94	389	1 (pass)	-1 (time out)
101	94	396	1 (pass)	-1 (time out)
102	94	397	1 (pass)	-1 (time out)
103	94	402	1 (pass)	-1 (time out)
104	94	403	1 (pass)	-1 (time out)
105	94	404	1 (pass)	-1 (time out)
106	94	405	1 (pass)	-1 (time out)
107	94	406	1 (pass)	-1 (time out)
108	94	407	1 (pass)	-1 (time out)
109	94	414	1 (pass)	-1 (time out)
110	94	415	1 (pass)	-1 (time out)
111	94	476	1 (pass)	-1 (time out)
112	94	484	1 (pass)	-1 (time out)
113	94	485	1 (pass)	-1 (time out)
114	94	493	1 (pass)	-1 (time out)
115	94	494	1 (pass)	-1 (time out)
116	94	495	1 (pass)	-1 (time out)
117	94	1230	1 (pass)	-1 (time out)
118	94	1317	1 (pass)	-1 (time out)
119	94	1325	1 (pass)	-1 (time out)
120	94	1326	1 (pass)	-1 (time out)
121	94	1334	1 (pass)	-1 (time out)
122	94	1335	1 (pass)	-1 (time out)
123	94	1336	1 (pass)	-1 (time out)
124	101	313	1 (pass)	-1 (time out)
125	118	236	1 (pass)	-1 (time out)
126	118	253	1 (pass)	-1 (time out)
127	118	256	1 (pass)	-1 (time out)
128	118	260	1 (pass)	-1 (time out)
129	118	263	1 (pass)	-1 (time out)
130	118	264	1 (pass)	-1 (time out)
131	118	416	1 (pass)	-1 (time out)
132	118	428	1 (pass)	-1 (time out)
133	118	431	1 (pass)	-1 (time out)
134	118	434	1 (pass)	-1 (time out)
135	118	435	1 (pass)	-1 (time out)
136	118	438	1 (pass)	-1 (time out)
137	123	242	1 (pass)	-1 (time out)
138	123	243	1 (pass)	-1 (time out)
139	123	255	1 (pass)	-1 (time out)
140	123	257	1 (pass)	-1 (time out)
141	123	258	1 (pass)	-1 (time out)
142	123	260	1 (pass)	-1 (time out)
143	123	262	1 (pass)	-1 (time out)
144	123	263	1 (pass)	-1 (time out)
145	123	264	1 (pass)	-1 (time out)
146	123	266	1 (pass)	-1 (time out)
147	123	267	1 (pass)	-1 (time out)
148	123	268	1 (pass)	-1 (time out)
149	123	537	1 (pass)	-1 (time out)
150	123	549	1 (pass)	-1 (time out)
151	123	554	1 (pass)	-1 (time out)
152	123	555	1 (pass)	-1 (time out)
153	123	556	1 (pass)	-1 (time out)
154	123	557	1 (pass)	-1 (time out)
155	123	561	1 (pass)	-1 (time out)
156	125	270	1 (pass)	-1 (time out)
157	125	272	1 (pass)	-1 (time out)
158	125	284	1 (pass)	-1 (time out)
159	125	286	1 (pass)	-1 (time out)
160	125	287	1 (pass)	-1 (time out)
161	125	289	1 (pass)	-1 (time out)
162	125	291	1 (pass)	-1 (time out)
163	125	292	1 (pass)	-1 (time out)
164	125	293	1 (pass)	-1 (time out)
165	125	294	1 (pass)	-1 (time out)
166	125	490	1 (pass)	-1 (time out)
167	125	586	1 (pass)	-1 (time out)
168	125	595	1 (pass)	-1 (time out)
169	125	596	1 (pass)	-1 (time out)
170	125	597	1 (pass)	-1 (time out)
171	125	598	1 (pass)	-1 (time out)
172	125	599	1 (pass)	-1 (time out)
173	125	600	1 (pass)	-1 (time out)
174	125	613	1 (pass)	-1 (time out)
175	125	614	1 (pass)	-1 (time out)
176	125	615	1 (pass)	-1 (time out)
177	125	616	1 (pass)	-1 (time out)
178	125	617	1 (pass)	-1 (time out)
179	125	619	1 (pass)	-1 (time out)
180	125	620	1 (pass)	-1 (time out)
181	125	621	1 (pass)	-1 (time out)
182	125	622	1 (pass)	-1 (time out)
183	125	623	1 (pass)	-1 (time out)
184	125	624	1 (pass)	-1 (time out)
185	125	1150	1 (pass)	-1 (time out)
186	125	1158	1 (pass)	-1 (time out)
187	125	1162	1 (pass)	-1 (time out)
188	125	1163	1 (pass)	-1 (time out)
189	125	1165	1 (pass)	-1 (time out)
190	125	1166	1 (pass)	-1 (time out)
191	125	1167	1 (pass)	-1 (time out)
192	125	1168	1 (pass)	-1 (time out)
193	125	1169	1 (pass)	-1 (time out)
194	125	1261	1 (pass)	-1 (time out)
195	125	1268	1 (pass)	-1 (time out)
196	125	1269	1 (pass)	-1 (time out)
197	125	1270	1 (pass)	-1 (time out)
198	125	1271	1 (pass)	-1 (time out)
199	125	1276	1 (pass)	-1 (time out)
200	125	1281	1 (pass)	-1 (time out)
201	125	1282	1 (pass)	-1 (time out)
202	125	1285	1 (pass)	-1 (time out)
203	125	1286	1 (pass)	-1 (time out)
204	125	1287	1 (pass)	-1 (time out)
205	125	1288	1 (pass)	-1 (time out)
206	125	1290	1 (pass)	-1 (time out)
207	137	171	1 (pass)	-1 (time out)
208	139	70	1 (pass)	-1 (time out)
209	139	71	1 (pass)	-1 (time out)
210	141	197	1 (pass)	-1 (time out)
211	141	198	1 (pass)	-1 (time out)
212	196	459	1 (pass)	-1 (time out)
213	197	54	1 (pass)	-1 (time out)
214	199	359	1 (pass)	0 (not solved)
215	199	360	1 (pass)	0 (not solved)
216	199	361	1 (pass)	0 (not solved)
217	205	1	1 (pass)	0 (not solved)
218	205	2	1 (pass)	0 (not solved)
219	205	3	1 (pass)	0 (not solved)
220	205	4	1 (pass)	0 (not solved)
221	205	5	1 (pass)	0 (not solved)
222	205	6	1 (pass)	0 (not solved)
223	205	7	1 (pass)	0 (not solved)
224	205	8	1 (pass)	0 (not solved)
225	205	10	1 (pass)	0 (not solved)
226	205	11	1 (pass)	0 (not solved)
227	205	12	1 (pass)	0 (not solved)
228	205	13	1 (pass)	0 (not solved)
229	205	14	1 (pass)	0 (not solved)
230	205	15	1 (pass)	0 (not solved)
231	205	16	1 (pass)	0 (not solved)
232	205	17	1 (pass)	0 (not solved)
233	205	18	1 (pass)	0 (not solved)
234	205	22	1 (pass)	0 (not solved)
235	205	25	1 (pass)	0 (not solved)
236	205	26	1 (pass)	0 (not solved)
237	205	27	1 (pass)	0 (not solved)
238	205	28	1 (pass)	0 (not solved)
239	205	57	1 (pass)	0 (not solved)
240	205	65	1 (pass)	0 (not solved)
241	205	66	1 (pass)	0 (not solved)
242	205	67	1 (pass)	0 (not solved)
243	205	68	1 (pass)	0 (not solved)
244	205	69	1 (pass)	0 (not solved)
245	205	79	1 (pass)	0 (not solved)
246	205	110	1 (pass)	0 (not solved)
247	205	111	1 (pass)	0 (not solved)
248	205	112	1 (pass)	0 (not solved)
249	205	113	1 (pass)	0 (not solved)
250	205	114	1 (pass)	0 (not solved)
251	205	115	1 (pass)	0 (not solved)
252	205	116	1 (pass)	0 (not solved)
253	205	117	1 (pass)	0 (not solved)
254	205	119	1 (pass)	0 (not solved)
255	205	120	1 (pass)	0 (not solved)
256	205	121	1 (pass)	0 (not solved)
257	205	122	1 (pass)	0 (not solved)
258	205	123	1 (pass)	0 (not solved)
259	205	124	1 (pass)	0 (not solved)
260	205	125	1 (pass)	0 (not solved)
261	205	126	1 (pass)	0 (not solved)
262	205	127	1 (pass)	0 (not solved)
263	205	131	1 (pass)	0 (not solved)
264	205	134	1 (pass)	0 (not solved)
265	205	135	1 (pass)	0 (not solved)
266	205	136	1 (pass)	0 (not solved)
267	205	137	1 (pass)	0 (not solved)
268	205	166	1 (pass)	0 (not solved)
269	205	174	1 (pass)	0 (not solved)
270	205	175	1 (pass)	0 (not solved)
271	205	176	1 (pass)	0 (not solved)
272	205	177	1 (pass)	0 (not solved)
273	205	178	1 (pass)	0 (not solved)
274	205	188	1 (pass)	0 (not solved)
275	206	2	1 (pass)	0 (not solved)
276	206	3	1 (pass)	0 (not solved)
277	206	4	1 (pass)	0 (not solved)
278	206	5	1 (pass)	0 (not solved)
279	206	7	1 (pass)	0 (not solved)
280	206	8	1 (pass)	0 (not solved)
281	206	18	1 (pass)	0 (not solved)
282	206	19	1 (pass)	0 (not solved)
283	206	20	1 (pass)	0 (not solved)
284	206	21	1 (pass)	0 (not solved)
285	206	35	1 (pass)	0 (not solved)
286	206	41	1 (pass)	0 (not solved)
287	206	70	1 (pass)	0 (not solved)
288	206	71	1 (pass)	0 (not solved)
289	206	72	1 (pass)	0 (not solved)
290	206	73	1 (pass)	0 (not solved)
291	206	75	1 (pass)	0 (not solved)
292	206	76	1 (pass)	0 (not solved)
293	206	86	1 (pass)	0 (not solved)
294	206	87	1 (pass)	0 (not solved)
295	206	88	1 (pass)	0 (not solved)
296	206	89	1 (pass)	0 (not solved)
297	206	103	1 (pass)	0 (not solved)
298	210	595	1 (pass)	-1 (time out)
299	210	3948	1 (pass)	-1 (time out)
300	210	6099	1 (pass)	-1 (time out)

1 Table summary of progress report