package info (click to toggle)
msolve 0.9.5-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 8,320 kB
  • sloc: ansic: 41,925; sh: 1,373; makefile: 205

Folder: output_files

d .. (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