|
4ti2
|
|
1.6.15+ds-1
|
0
|
pass | pass | pass
|
1.6.15
|
|
antic
|
|
0.2.5+ds-1
|
0
|
fail | pass | pass
|
0.2.5
|
|
bergman
|
|
1.001+dfsg-2
|
0
|
pass | pass | tmpfail
|
1.001
|
|
blitz++
|
|
1:1.0.2+ds-6
|
0
|
pass | pass | tmpfail
|
1.0.2
|
|
calcium
|
|
0.4.1-3
|
0
|
|
0.4.1
|
|
cddlib
|
|
094m-1.1
|
2
|
|
0.94n
|
|
cohomcalg
|
|
0.32+ds-7
|
0
|
pass | pass | tmpfail
|
0.32
|
|
coinor-csdp
|
|
6.2.0-6
|
3
|
pass | pass | pass
|
6.2.0
|
|
e-antic
|
|
2.1.0+ds-2
|
1
|
|
2.1.0
|
|
eclib
|
|
20250627-1
|
0
|
|
20260501
|
|
eprover
|
|
3.2.5+ds-1
|
1
|
|
3.2.5
|
|
exprtk
|
|
0.0.3-4
|
0
|
|
0.0.3
|
|
fflas-ffpack
|
|
2.5.0-3
|
0
|
pass | pass | pass
|
2.5.0
|
|
flint
|
|
3.4.0-1
|
0
|
pass | pass | pass
|
3.5.0
|
|
flint-arb
|
|
1:2.23.0-1
|
0
|
|
2.23.0
|
|
fplll
|
|
5.5.0-1.2
|
0
|
|
5.5.0
|
|
fractgen
|
|
3.0.7-1
|
2 (2 RC)
|
pass | pass
|
3.0.8
|
|
frobby
|
|
0.9.7-1
|
0
|
pass | pass | tmpfail
|
0.9.7
|
|
gappa
|
|
1.6.0-1
|
0
|
pass | pass | tmpfail
|
1.7.0
|
|
geneagrapher
|
|
2.0.0-2
|
0
|
pass | pass | pass
|
2.0.0
|
|
gfan
|
|
0.7-4
|
2
|
pass | pass | tmpfail
|
0.7
|
|
givaro
|
|
4.2.1-1
|
0
|
pass | pass | pass
|
4.2.1
|
|
gmp-ecm
|
|
7.0.6+ds-2
|
0
|
pass | pass | pass
|
7.0.6
|
|
iisignature
|
|
0.23+git20260216.b56bc38+ds-1
|
0
|
|
0.23+git20260216.b56bc38
|
|
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.2
|
|
linbox
|
|
1.7.1-2
|
1
|
pass | pass | tmpfail
|
1.7.1
|
|
lp-solve
|
|
5.5.2.14-5
|
5
|
|
5.5.2.14
|
|
macaulay2
|
|
1.25.11+ds-4
|
3
|
pass | pass | pass
|
1.25.11
|
|
macaulay2-jupyter-kernel
|
|
0.8.0-1
|
0
|
pass
|
0.8.0
|
|
mathic
|
|
1.2-1
|
0
|
pass | pass | pass
|
1.2
|
|
mathicgb
|
|
1.2-1
|
0
|
pass | pass | pass
|
1.2
|
|
maxima-sage
|
|
5.45.1-2
|
2
|
|
5.49.0
|
|
memtailor
|
|
1.3-1
|
0
|
pass | pass | pass
|
1.3
|
|
mpfrc++
|
|
3.7.2+ds-1
|
0
|
pass | pass | pass
|
3.7.2
|
|
mpsolve
|
|
3.2.3-1
|
0
|
pass | pass | tmpfail
|
3.2.3
|
|
msolve
|
|
0.9.5-1
|
0
|
pass | pass | tmpfail
|
0.9.5
|
|
nauty
|
|
2.9.3-3
|
0
|
pass | fail | tmpfail
|
2_9_3
|
|
normaliz
|
|
3.11.1+ds-1
|
1
|
pass | pass | pass
|
3.11.1
|
|
ojalgo
|
|
56.2.1+ds-1
|
0
|
|
56.2.1
|
|
papilo
|
|
3.0.0+ds1-5
|
0
|
|
3.0.0
|
|
phcpack
|
|
2.4.94+dfsg-1
|
0
|
pass | pass | pass
|
2.4.94
|
|
primecount
|
|
8.4+ds-1
|
0
|
pass | pass | pass
|
8.4
|
|
primecountpy
|
|
0.1.1-1.1
|
0
|
|
0.2.1
|
|
primesieve
|
|
12.13+ds-1
|
0
|
pass | pass | pass
|
12.13
|
|
proofgeneral
|
|
4.5-3
|
5
|
|
4.5
|
|
python-isosurfaces
|
|
0.1.2-1
|
1
|
|
0.1.2
|
|
python-mapbox-earcut
|
|
2.0.0-1
|
1 (1 RC)
|
pass | pass | pass
|
2.0.0
|
|
python-pulp
|
|
2.7.0+dfsg-5
|
0
|
pass | pass | pass
|
3.3.0
|
|
qepcad
|
|
1.74+ds-5
|
0
|
pass | pass | pass
|
1.74
|
|
saclib
|
|
2.2.8-6.1
|
1
|
pass | pass | tmpfail
|
2.2.8
|
|
sagemath
|
|
9.5-6
|
23 (7 RC)
|
fail | pass | neutral
|
|
|
sc-im
|
|
0.8.5+ds-2
|
0
|
|
0.8.5
|
|
scip
|
|
10.0.2+ds-1
|
0
|
pass
|
10.0.2
|
|
singular
|
|
1:4.4.1.5+ds-2
|
1
|
|
4.4.1p5
|
|
sollya
|
|
8.0+ds-3
|
0
|
|
8.0
|
|
soplex
|
|
7.1.6+dfsg-1
|
0
|
|
716
|
|
spectra
|
|
1.2.0-1
|
0
|
|
1.2.0
|
|
stopt
|
|
6.1+dfsg-3
|
0
|
pass | pass | pass
|
6.3
|
|
symmetrica
|
|
3.1.0+ds-2
|
0
|
pass | pass | pass
|
3.1.0
|
|
topcom
|
|
1.1.2+ds-1.1
|
0
|
pass | pass | tmpfail
|
1_2_0_gamma
|
|
zimpl
|
|
3.7.1+ds-1
|
0
|
|
3.7.1
|