Help

System theme

Docker Suite

jckassing/aprove_solver

•Updated 2 months ago

AProVE versions for the annual termination competition

Image

Security

Developer tools

0

490

Tags for jckassing/aprove_solver

Sort by

TAG

aprove_termcomp26_v3

Last pushed 2 months by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp26_v3

Digest	OS/ARCH	Compressed size
cfd8993faa67	linux/amd64	941.47 MB

TAG

aprove_termcomp26_v2

Last pushed 3 months by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp26_v2

Digest	OS/ARCH	Compressed size
1870befb17a6	linux/amd64	917.55 MB

TAG

aprove_termcomp26

Last pushed 3 months by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp26

Digest	OS/ARCH	Compressed size
58de146c664e	linux/amd64	917.55 MB

TAG

aprove_termcomp25_v8

Last pushed about 1 year by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp25_v8

Digest	OS/ARCH	Compressed size
35f9bdf623a3	linux/amd64	868.65 MB

TAG

aprove_termcomp25_v7

Last pushed about 1 year by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp25_v7

Digest	OS/ARCH	Compressed size
6f1efc0ae6d8	linux/amd64	868.66 MB

TAG

aprove_termcomp25_v6

Last pushed about 1 year by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp25_v6

Digest	OS/ARCH	Compressed size
2f4bf622a636	linux/amd64	792.34 MB

TAG

aprove_termcomp25_v5

Last pushed about 1 year by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp25_v5

Digest	OS/ARCH	Compressed size
ae3d4c3437df	linux/amd64	792.34 MB

TAG

aprove_termcomp25_v4

Last pushed about 1 year by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp25_v4

Digest	OS/ARCH	Compressed size
7ccea42b7275	linux/amd64	791.79 MB

TAG

aprove_termcomp25_v3

Last pushed about 1 year by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp25_v3

Digest	OS/ARCH	Compressed size
192b627055ef	linux/amd64	791.79 MB

TAG

aprove_termcomp25_v2

Last pushed about 1 year by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp25_v2

Digest	OS/ARCH	Compressed size
c22cffd5467a	linux/amd64	791.79 MB

TAG

aprove_termcomp25

Last pushed about 1 year by jckassing

docker pull jckassing/aprove_solver:aprove_termcomp25

Digest	OS/ARCH	Compressed size
256bf254a9cb	linux/amd64	791.79 MB