package info (click to toggle)
msolve 0.7.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 4,908 kB
  • sloc: ansic: 41,717; sh: 1,768; makefile: 202

Folder: input_files

d .. (parent)
d d rwxr-xr-x 4,096 line_endings
- - rw-r--r-- 47 F4SAT-31.ms
- - rw-r--r-- 47 F4SAT-byone-31.ms
- - rw-r--r-- 174,312 bug-2nd-prime-bad.ms
- - rw-r--r-- 430,779 bug-empty-tracer.ms
- - rw-r--r-- 39 bug_68.ms
- - rw-r--r-- 3,382 cp_d_3_n_4_p_2.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-- 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-- 397 henrion5-qq.ms
- - rw-r--r-- 37 input-overflow-16.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-- 79 linear-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-- 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
- - rw-r--r-- 11 xy-qq.ms