|
4ti2
|
|
1.6.13+ds-1
|
0
|
pass | pass | pass
|
1.6.13
|
|
antic
|
|
0.2.5+ds-1
|
0
|
fail | pass | pass
|
0.2.5
|
|
bergman
|
|
1.001+dfsg-2
|
0
|
pass | pass | pass
|
1.001
|
|
blitz++
|
|
1:1.0.2+ds-4.1
|
0
|
pass | pass | pass
|
1.0.2
|
|
calcium
|
|
0.4.1-3
|
0
|
|
0.4.1
|
|
cddlib
|
|
094m-1.1
|
2
|
|
0.94m
|
|
cohomcalg
|
|
0.32+ds-6
|
0
|
pass | pass | pass
|
0.32
|
|
coinor-csdp
|
|
6.2.0-6
|
3
|
pass | pass | pass
|
6.2.0
|
|
e-antic
|
|
2.1.0+ds-2
|
0
|
|
2.1.0
|
|
eclib
|
|
20250122-2
|
0
|
|
20250627
|
|
eprover
|
|
3.2.5+ds-1
|
0
|
|
3.2.5
|
|
exprtk
|
|
0.0.3-3
|
0
|
|
0.0.3
|
|
fflas-ffpack
|
|
2.5.0-3
|
0
|
pass | pass | pass
|
2.5.0
|
|
flint
|
|
3.3.1-2
|
0
|
pass | pass | pass
|
3.3.1
|
|
flint-arb
|
|
1:2.23.0-1
|
0
|
|
2.23.0
|
|
fplll
|
|
5.5.0-1.2
|
0
|
|
5.5.0
|
|
fractgen
|
|
2.1.13-1
|
1
|
|
3.0.5
|
|
frobby
|
|
0.9.5-4
|
0
|
pass | pass | pass
|
0.9.5
|
|
gappa
|
|
1.6.0-1
|
0
|
pass | pass | pass
|
1.6.0
|
|
geneagrapher
|
|
2.0.0-1
|
1 (1 RC)
|
pass | pass | fail
|
2.0.0
|
|
gfan
|
|
0.7-3
|
2
|
pass | pass | pass
|
0.7
|
|
givaro
|
|
4.2.1-1
|
0
|
pass | pass | pass
|
4.2.1
|
|
gmp-ecm
|
|
7.0.6+ds-1
|
0
|
pass | pass | pass
|
7.0.6
|
|
latte-int
|
|
1.7.6+ds-3
|
0
|
pass | pass | pass
|
1.7.6
|
|
lcalc
|
|
2.0.5-1.1
|
0
|
|
|
|
libbraiding
|
|
1.1-1.1
|
0
|
|
1.3.1
|
|
linbox
|
|
1.7.1-2
|
1
|
pass | pass | pass
|
1.7.1
|
|
lp-solve
|
|
5.5.2.14-4.1
|
5
|
|
5.5.2.14
|
|
macaulay2
|
|
1.25.06+ds-8
|
3
|
pass | pass | pass
|
1.25.06
|
|
macaulay2-jupyter-kernel
|
|
0.6.7~beta-4
|
0
|
|
0.6.7-beta
|
|
mathic
|
|
1.0~git20250513-1
|
0
|
pass | pass | pass
|
1.0~git20250513
|
|
mathicgb
|
|
1.0~git20250513-1
|
0
|
pass | pass | pass
|
1.0~git20250513
|
|
maxima-sage
|
|
5.45.1-2
|
3 (1 RC)
|
|
5.48.1
|
|
memtailor
|
|
1.0~git20250513-1
|
0
|
pass | pass | pass
|
1.0~git20250513
|
|
mpfrc++
|
|
3.7.1+ds-1
|
0
|
pass | pass | pass
|
3.7.1
|
|
mpsolve
|
|
3.2.3-1
|
0
|
pass | pass | pass
|
3.2.3
|
|
msolve
|
|
0.9.0-2
|
1
|
pass | pass | pass
|
0.9.0
|
|
nauty
|
|
2.8.9+ds-1
|
1
|
pass | pass | pass
|
2_9_1
|
|
normaliz
|
|
3.10.5+ds-3
|
0
|
pass | pass | pass
|
3.10.5
|
|
ojalgo
|
|
55.0.0+ds-1
|
0
|
|
56.0.0
|
|
papilo
|
|
2.4.3+ds-1
|
0
|
|
2.4.3
|
|
phcpack
|
|
2.4.90+dfsg-2
|
1 (1 RC)
|
pass | pass | pass
|
2.4.90
|
|
primecount
|
|
7.19+ds-2
|
0
|
pass | pass | pass
|
7.19
|
|
primecountpy
|
|
0.1.0-3
|
0
|
|
0.1.1
|
|
primesieve
|
|
12.9+ds-2
|
0
|
pass | pass | pass
|
12.9
|
|
proofgeneral
|
|
4.5-3
|
5
|
|
4.5
|
|
python-isosurfaces
|
|
0.1.2-1
|
1
|
|
0.1.2
|
|
python-mapbox-earcut
|
|
1.0.3-1
|
0
|
pass | pass | pass
|
1.0.3
|
|
python-pulp
|
|
2.7.0+dfsg-4
|
1
|
pass | pass | pass
|
3.2.2
|
|
qepcad
|
|
1.74+ds-5
|
0
|
pass | pass | pass
|
1.74
|
|
saclib
|
|
2.2.8-6.1
|
1
|
pass | pass | pass
|
2.2.8
|
|
sagemath
|
|
9.5-6
|
23 (7 RC)
|
fail | pass | neutral
|
|
|
sc-im
|
|
0.8.5+ds-1
|
0
|
|
0.8.5
|
|
singular
|
|
1:4.4.1-p3+ds-1
|
1
|
|
4.4.1p3
|
|
sollya
|
|
8.0+ds-3
|
0
|
|
8.0
|
|
soplex
|
|
7.1.5+dfsg-1
|
0
|
|
715
|
|
spectra
|
|
1.1.0-1
|
1
|
|
1.2.0
|
|
stopt
|
|
5.16+dfsg-2
|
0
|
pass | pass | pass
|
5.16
|
|
symmetrica
|
|
3.1.0+ds-2
|
0
|
pass | pass | pass
|
3.1.0
|
|
topcom
|
|
1.1.2+ds-1.1
|
0
|
pass | pass | pass
|
1_2_0_beta
|
