4ti2
|
|
1.6.10+ds-1.1
|
1
|
pass | pass | pass
|
1.6.10
|
antic
|
|
0.2.5+ds-1
|
0
|
pass | 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
|
|
094m
|
cohomcalg
|
|
0.32+ds-6
|
0
|
pass | pass | pass
|
0.32
|
coinor-csdp
|
|
6.2.0-5
|
3
|
pass | pass | pass
|
6.2.0
|
e-antic
|
|
2.0.2+ds-2
|
0
|
|
2.0.2
|
eclib
|
|
20240408-1
|
1 (1 RC)
|
|
20241112
|
eprover
|
|
3.2.5+ds-1
|
0
|
|
3.2.5
|
fflas-ffpack
|
|
2.5.0-3
|
0
|
pass | pass | pass
|
2.5.0
|
flint
|
|
3.1.3-1
|
0
|
pass | pass | pass
|
3.1.3
|
flint-arb
|
|
1:2.23.0-1
|
0
|
|
2.23.0
|
fplll
|
|
5.4.5-1.1
|
0
|
|
5.5.0
|
fractgen
|
|
2.1.13-1
|
0
|
|
2.1.14
|
frobby
|
|
0.9.5-4
|
0
|
pass | pass | pass
|
0.9.5
|
gappa
|
|
1.4.1-2
|
0
|
pass | pass | pass
|
1.4.1
|
geneagrapher
|
|
2.0.0-1
|
0
|
pass | pass | pass
|
2.0.0
|
gfan
|
|
0.7-2
|
1
|
pass | pass | pass
|
0.7
|
givaro
|
|
4.2.0-6
|
0
|
pass | pass | pass
|
4.2.0
|
gmp-ecm
|
|
7.0.6+ds-1
|
0
|
pass | pass | pass
|
7.0.6
|
latte-int
|
|
1.7.6+ds-3
|
0
|
pass | pass
|
1.7.6
|
lcalc
|
|
2.0.5-1.1
|
0
|
|
|
libbraiding
|
|
1.1-1.1
|
0
|
|
1.3.1
|
linbox
|
|
1.7.0-5
|
1
|
pass | pass | pass
|
1.7.0
|
macaulay2
|
|
1.24.11+ds-3
|
1
|
pass | fail | pass
|
1.24.11
|
macaulay2-jupyter-kernel
|
|
0.6.7~beta-3
|
0
|
|
0.6.7~beta
|
mathic
|
|
1.0~git20230916-1
|
0
|
pass | pass | pass
|
1.0~git20230916
|
mathicgb
|
|
1.0~git20240206-1.1
|
0
|
pass | pass | pass
|
1.0~git20240206
|
maxima-sage
|
|
5.45.1-2
|
2
|
|
5.47.0
|
memtailor
|
|
1.0~git20230916-1
|
0
|
pass | pass | pass
|
1.0~git20230916
|
mpfrc++
|
|
3.7.1+ds-1
|
0
|
pass | pass | pass
|
3.7.1
|
mpsolve
|
|
3.2.1-10.1
|
0
|
pass | pass | pass
|
3.2.1
|
msolve
|
|
0.7.3-1
|
1
|
pass | pass
|
0.7.3
|
nauty
|
|
2.8.9+ds-1
|
2
|
pass | pass | pass
|
2.8.9
|
normaliz
|
|
3.10.4+ds-1
|
0
|
pass | pass | pass
|
3.10.4
|
ojalgo
|
|
55.0.0+ds-1
|
0
|
|
55.0.1
|
phcpack
|
|
2.4.90+dfsg-1
|
1
|
pass | pass | pass
|
2.4.90
|
primecount
|
|
7.14+ds-1
|
0
|
pass | pass | pass
|
7.14
|
primecountpy
|
|
0.1.0-3
|
0
|
|
0.1.0
|
primesieve
|
|
12.5+ds-1
|
0
|
pass | pass | pass
|
12.6
|
proofgeneral
|
|
4.5-2
|
6 (1 RC)
|
|
4.5
|
python-isosurfaces
|
|
0.1.1-1
|
1
|
|
0.1.1
|
python-mapbox-earcut
|
|
1.0.2-1
|
0
|
pass | pass | pass
|
1.0.2
|
python-pulp
|
|
2.7.0+dfsg-4
|
1
|
pass | pass | pass
|
2.9.0
|
qepcad
|
|
1.74+ds-5
|
0
|
pass | pass | pass
|
1.74
|
saclib
|
|
2.2.8-6.1
|
0
|
pass | pass | pass
|
2.2.8
|
sagemath
|
|
9.5-6
|
22 (7 RC)
|
pass | pass | neutral
|
10.4
|
sc-im
|
|
0.8.4+ds-1
|
0
|
|
0.8.4
|
singular
|
|
1:4.4.0-p6+ds-1
|
2
|
|
4.4.0-p7
|
sollya
|
|
8.0+ds-2
|
0
|
|
8.0
|
soplex
|
|
7.1.2+dfsg-1
|
0
|
|
7.1.2
|
spectra
|
|
1.0.1-3
|
0
|
|
1.0.1
|
stopt
|
|
5.12+dfsg-2
|
2 (2 RC)
|
pass | pass | pass
|
5.12
|
symmetrica
|
|
3.0.1+ds-3
|
1
|
pass | pass | pass
|
3.0.1
|
topcom
|
|
1.1.2+ds-1.1
|
0
|
pass | pass | pass
|
1.2.0.beta
|