 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
313 |
F4SAT-31.res
|
|
- |
rw-r--r-- |
325 |
F4SAT-byone-31.res
|
|
- |
rw-r--r-- |
17,313 |
bug-2nd-prime-bad.res
|
|
- |
rw-r--r-- |
431,064 |
bug-empty-tracer.res
|
|
- |
rw-r--r-- |
16 |
bug_68.res
|
|
- |
rw-r--r-- |
223,472 |
cp_d_3_n_4_p_2.res
|
|
- |
rw-r--r-- |
1,648 |
cyclic5-16.res
|
|
- |
rw-r--r-- |
1,936 |
cyclic5-31.res
|
|
- |
rw-r--r-- |
2,517 |
cyclic5-qq.g2.e1.res
|
|
- |
rw-r--r-- |
2,249 |
cyclic5-qq.g2.e2.res
|
|
- |
rw-r--r-- |
2,538 |
cyclic5-qq.g2.res
|
|
- |
rw-r--r-- |
3,706 |
cyclic5-qq.res
|
|
- |
rw-r--r-- |
31,172 |
eco10-31.res
|
|
- |
rw-r--r-- |
67,673 |
eco11-31.res
|
|
- |
rw-r--r-- |
809 |
eco6-16.res
|
|
- |
rw-r--r-- |
1,209 |
eco6-31.res
|
|
- |
rw-r--r-- |
1,369 |
eco6-qq.res
|
|
- |
rw-r--r-- |
377 |
elim-31.e2.res
|
|
- |
rw-r--r-- |
374 |
elim-31.res
|
|
- |
rw-r--r-- |
189 |
elim-qq.e2.res
|
|
- |
rw-r--r-- |
278 |
elim-qq.res
|
|
- |
rw-r--r-- |
211 |
f4sat-field-char.res
|
|
- |
rw-r--r-- |
0 |
f4sat-is-saturated-check.res
|
|
- |
rw-r--r-- |
0 |
f4sat-zero-input.res
|
|
- |
rw-r--r-- |
3,207,098 |
groebner-g2.g2.res
|
|
- |
rw-r--r-- |
41,782 |
henrion5-qq.g2.e1.res
|
|
- |
rw-r--r-- |
36,494 |
henrion5-qq.g2.e2.res
|
|
- |
rw-r--r-- |
41,822 |
henrion5-qq.g2.res
|
|
- |
rw-r--r-- |
203,070 |
henrion5-qq.res
|
|
- |
rw-r--r-- |
129 |
input-overflow-16.res
|
|
- |
rw-r--r-- |
572 |
issue_230.res
|
|
- |
rw-r--r-- |
573 |
issue_230_squared.res
|
|
- |
rw-r--r-- |
2,243 |
kat6-31.res
|
|
- |
rw-r--r-- |
28,203 |
kat7-qq.res
|
|
- |
rw-r--r-- |
851 |
kat8-qq-truncate.res
|
|
- |
rw-r--r-- |
150 |
linear-qq.res
|
|
- |
rw-r--r-- |
16 |
maxbitsize-bug.res
|
|
- |
rw-r--r-- |
70 |
mq_2_1.res
|
|
- |
rw-r--r-- |
109 |
multy-16.res
|
|
- |
rw-r--r-- |
124 |
multy-31.res
|
|
- |
rw-r--r-- |
109 |
multy-qq.res
|
|
- |
rw-r--r-- |
318 |
nf-16.res
|
|
- |
rw-r--r-- |
414 |
nf-31.res
|
|
- |
rw-r--r-- |
246 |
nf-8.res
|
|
- |
rw-r--r-- |
53 |
nf-lm-bug.res
|
|
- |
rw-r--r-- |
118 |
nonradical_radicalshape-31.res
|
|
- |
rw-r--r-- |
0 |
nonradical_radicalshape-no-square-31.c0.res
|
|
- |
rw-r--r-- |
82 |
nonradical_radicalshape-no-square-qq.p3.res
|
|
- |
rw-r--r-- |
190 |
nonradical_radicalshape-no-square-qq.res
|
|
- |
rw-r--r-- |
31 |
nonradical_radicalshape-qq.p3.res
|
|
- |
rw-r--r-- |
90 |
nonradical_radicalshape-qq.res
|
|
- |
rw-r--r-- |
587 |
nonradical_shape-31.res
|
|
- |
rw-r--r-- |
7,008 |
nonradical_shape-qq.p1024.res
|
|
- |
rw-r--r-- |
487 |
nonradical_shape-qq.res
|
|
- |
rw-r--r-- |
6 |
one-16.res
|
|
- |
rw-r--r-- |
187 |
one-31.g1.res
|
|
- |
rw-r--r-- |
6 |
one-31.res
|
|
- |
rw-r--r-- |
187 |
one-qq.g2.res
|
|
- |
rw-r--r-- |
6 |
one-qq.res
|
|
- |
rw-r--r-- |
231 |
radical_shape-31.res
|
|
- |
rw-r--r-- |
166 |
radical_shape-qq.res
|
|
- |
rw-r--r-- |
209 |
realroot-extraction-exact-root.p256.res
|
|
- |
rw-r--r-- |
209 |
realroot-extraction-exact-root.res
|
|
- |
rw-r--r-- |
6,866 |
realroot1.p256.res
|
|
- |
rw-r--r-- |
3,281 |
realroot1.res
|
|
- |
rw-r--r-- |
13,559 |
reals_dim0-chgvar.p256.res
|
|
- |
rw-r--r-- |
4,059 |
reals_dim0-chgvar.res
|
|
- |
rw-r--r-- |
4,228 |
reals_dim0-extract.p256.res
|
|
- |
rw-r--r-- |
1,859 |
reals_dim0-extract.res
|
|
- |
rw-r--r-- |
67 |
reals_dim0-swapvar.p256.res
|
|
- |
rw-r--r-- |
67 |
reals_dim0-swapvar.res
|
|
- |
rw-r--r-- |
3,023 |
reals_dim0.p256.res
|
|
- |
rw-r--r-- |
943 |
reals_dim0.res
|
|
- |
rw-r--r-- |
1,068 |
test-lifting2.res
|
|
- |
rw-r--r-- |
88 |
xy-qq.res
|
