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: input_files

d .. (parent)
d d rwxr-xr-x 4,096 line_endings
- - rw-r--r-- 174,312 bug-2nd-prime-bad.ms
- - rw-r--r-- 39 bug-68.ms
- - rw-r--r-- 430,779 bug-empty-tracer.ms
- - rw-r--r-- 334 choice-linear-form-qq.ms
- - rw-r--r-- 3,382 cp-d3-n4-p2.ms
- - rw-r--r-- 192 cyclic5-16.ms
- - rw-r--r-- 197 cyclic5-31.ms
- - rw-r--r-- 188 cyclic5-qq.ms
- - rw-r--r-- 475 eco10-31.ms
- - rw-r--r-- 628 eco11-31.ms
- - rw-r--r-- 176 eco6-16.ms
- - rw-r--r-- 181 eco6-31.ms
- - rw-r--r-- 172 eco6-qq.ms
- - rw-r--r-- 54 elim-31.ms
- - rw-r--r-- 45 elim-qq.ms
- - rw-r--r-- 47 f4sat-31.ms
- - rw-r--r-- 47 f4sat-byone-31.ms
- - rw-r--r-- 27 f4sat-field-char.ms
- - rw-r--r-- 44,496 f4sat-is-saturated-check.ms
- - rw-r--r-- 27 f4sat-zero-input.ms
- - rw-r--r-- 10,358 groebner-g2.ms
- - rw-r--r-- 397 henrion5-qq.ms
- - rw-r--r-- 37 input-overflow-a-16.ms
- - rw-r--r-- 50,011 input-overflow-b-16.ms
- - rw-r--r-- 795 issue-230-squared.ms
- - rw-r--r-- 140 issue-230.ms
- - rw-r--r-- 10 issue-310.ms
- - rw-r--r-- 257 kat6-31.ms
- - rw-r--r-- 331 kat7-qq.ms
- - rw-r--r-- 427 kat8-qq-truncate.ms
- - rw-r--r-- 11 linear0-qq.ms
- - rw-r--r-- 79 linear1-qq.ms
- - rw-r--r-- 47 linear2-qq.ms
- - rw-r--r-- 70 maxbitsize-bug.ms
- - rw-r--r-- 41 mq-2-1.ms
- - rw-r--r-- 23 multy-16.ms
- - rw-r--r-- 28 multy-31.ms
- - rw-r--r-- 19 multy-qq.ms
- - rw-r--r-- 180 nf-16.ms
- - rw-r--r-- 185 nf-31.ms
- - rw-r--r-- 178 nf-8.ms
- - rw-r--r-- 74 nf-lm-bug.ms
- - rw-r--r-- 125 nonradical-radicalshape-31.ms
- - rw-r--r-- 249 nonradical-radicalshape-no-square-31.ms
- - rw-r--r-- 240 nonradical-radicalshape-no-square-qq.ms
- - rw-r--r-- 78 nonradical-radicalshape-qq.ms
- - rw-r--r-- 688 nonradical-shape-31.ms
- - rw-r--r-- 721 nonradical-shape-qq.ms
- - rw-r--r-- 154 one-16.ms
- - rw-r--r-- 159 one-31.ms
- - rw-r--r-- 150 one-qq.ms
- - rw-r--r-- 15 quadratic-nonradical-qq.ms
- - rw-r--r-- 172 radical-shape-31.ms
- - rw-r--r-- 66 radical-shape-qq.ms
- - rw-r--r-- 90 realroot-extraction-exact-root.ms
- - rw-r--r-- 1,492 realroot1.ms
- - rw-r--r-- 262 reals-dim0-chgvar.ms
- - rw-r--r-- 3,265 reals-dim0-extract.ms
- - rw-r--r-- 26 reals-dim0-swapvar.ms
- - rw-r--r-- 54 reals-dim0.ms
- - rw-r--r-- 4,829 test-lifting2.ms