 |
|
|
|
.. (parent) |
 |
- |
rw-r--r-- |
17,313 |
bug-2nd-prime-bad.g2.res
|
|
- |
rw-r--r-- |
16 |
bug-68.res
|
|
- |
rw-r--r-- |
431,064 |
bug-empty-tracer.g2.res
|
|
- |
rw-r--r-- |
320 |
choice-linear-form-qq.P2.d0.res
|
|
- |
rw-r--r-- |
163 |
choice-linear-form-qq.p1024.res
|
|
- |
rw-r--r-- |
163 |
choice-linear-form-qq.p128.res
|
|
- |
rw-r--r-- |
223,472 |
cp-d3-n4-p2.P2.d0.res
|
|
- |
rw-r--r-- |
1,648 |
cyclic5-16.P2.d4.res
|
|
- |
rw-r--r-- |
1,936 |
cyclic5-31.P2.d4.res
|
|
- |
rw-r--r-- |
3,706 |
cyclic5-qq.P2.d4.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-- |
31,172 |
eco10-31.P2.d0.res
|
|
- |
rw-r--r-- |
809 |
eco6-16.P2.d4.res
|
|
- |
rw-r--r-- |
1,209 |
eco6-31.P2.d4.res
|
|
- |
rw-r--r-- |
1,369 |
eco6-qq.P2.d4.res
|
|
- |
rw-r--r-- |
374 |
elim-31.g2.e1.res
|
|
- |
rw-r--r-- |
377 |
elim-31.g2.e2.res
|
|
- |
rw-r--r-- |
278 |
elim-qq.g2.e1.res
|
|
- |
rw-r--r-- |
189 |
elim-qq.g2.e2.res
|
|
- |
rw-r--r-- |
313 |
f4sat-31.res
|
|
- |
rw-r--r-- |
325 |
f4sat-byone-31.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-- |
203,070 |
henrion5-qq.P2.d0.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-- |
129 |
input-overflow-a-16.P2.d0.res
|
|
- |
rw-r--r-- |
0 |
input-overflow-b-16.res
|
|
- |
rw-r--r-- |
573 |
issue-230-squared.P1.d0.p1024.res
|
|
- |
rw-r--r-- |
573 |
issue-230-squared.P1.d0.p128.res
|
|
- |
rw-r--r-- |
572 |
issue-230.P1.d0.p1024.res
|
|
- |
rw-r--r-- |
572 |
issue-230.P1.d0.p128.res
|
|
- |
rw-r--r-- |
2,243 |
kat6-31.P2.d0.res
|
|
- |
rw-r--r-- |
28,203 |
kat7-qq.P2.d0.res
|
|
- |
rw-r--r-- |
851 |
kat8-qq-truncate.res
|
|
- |
rw-r--r-- |
88 |
linear0-qq.P2.d0.res
|
|
- |
rw-r--r-- |
150 |
linear1-qq.P2.d0.res
|
|
- |
rw-r--r-- |
120 |
linear2-qq.P2.d0.res
|
|
- |
rw-r--r-- |
16 |
maxbitsize-bug.res
|
|
- |
rw-r--r-- |
70 |
mq-2-1.res
|
|
- |
rw-r--r-- |
109 |
multy-16.P2.d0.res
|
|
- |
rw-r--r-- |
124 |
multy-31.P2.d0.res
|
|
- |
rw-r--r-- |
109 |
multy-qq.P2.d0.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-- |
3,947 |
nonradical-radicalshape-no-square-qq.P1.d0.p1024.res
|
|
- |
rw-r--r-- |
701 |
nonradical-radicalshape-no-square-qq.P1.d0.p128.res
|
|
- |
rw-r--r-- |
115 |
nonradical-radicalshape-qq.P1.d0.p1024.res
|
|
- |
rw-r--r-- |
115 |
nonradical-radicalshape-qq.P1.d0.p128.res
|
|
- |
rw-r--r-- |
475 |
nonradical-shape-31.P2.d0.res
|
|
- |
rw-r--r-- |
7,489 |
nonradical-shape-qq.P1.d0.p1024.res
|
|
- |
rw-r--r-- |
1,542 |
nonradical-shape-qq.P1.d0.p128.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-- |
109 |
quadratic-nonradical-qq.P2.d0.res
|
|
- |
rw-r--r-- |
31 |
quadratic-nonradical-qq.p1024.res
|
|
- |
rw-r--r-- |
31 |
quadratic-nonradical-qq.p128.res
|
|
- |
rw-r--r-- |
231 |
radical-shape-31.P2.d0.res
|
|
- |
rw-r--r-- |
166 |
radical-shape-qq.P2.d0.res
|
|
- |
rw-r--r-- |
209 |
realroot-extraction-exact-root.p1024.res
|
|
- |
rw-r--r-- |
209 |
realroot-extraction-exact-root.p128.res
|
|
- |
rw-r--r-- |
24,312 |
realroot1.p1024.res
|
|
- |
rw-r--r-- |
4,474 |
realroot1.p128.res
|
|
- |
rw-r--r-- |
51,087 |
reals-dim0-chgvar.p1024.res
|
|
- |
rw-r--r-- |
7,315 |
reals-dim0-chgvar.p128.res
|
|
- |
rw-r--r-- |
16,329 |
reals-dim0-extract.p1024.res
|
|
- |
rw-r--r-- |
2,662 |
reals-dim0-extract.p128.res
|
|
- |
rw-r--r-- |
67 |
reals-dim0-swapvar.p1024.res
|
|
- |
rw-r--r-- |
67 |
reals-dim0-swapvar.p128.res
|
|
- |
rw-r--r-- |
11,367 |
reals-dim0.p1024.res
|
|
- |
rw-r--r-- |
1,633 |
reals-dim0.p128.res
|
|
- |
rw-r--r-- |
1,068 |
test-lifting2.P2.d0.res
|
