Database of integer edge lengths that can form tetrahedrons Is there a collection of lists of six integer edge lengths that form a tetrahedron?  Is there a computer program for generating such lists?  I need to find approximately thirty such tetrahedral combinations.
 A: Here is an example of what you can do in your head.
Tabulate some triples representing edge lengths of small triangles. I have y,x,x for y less than 2x, 
x,x,x , and 2,3,4.  Now consider configurations of four edges x and two non adjacent edges given by y,z.
We get (1,1,1), (2,2,1), (2,2,2), (3,y,z) for $4 \geq y \geq z \geq 1$, and similarly for (4,y,z), and we have already 23 examples.  One gets at least seven more examples by having three equal edges at a point and smaller edges forming a triangle.  This should meet the requirements.
Gerhard "And Not One Determinant Computation" Paseman, 2017.09.28.
A: It was a mildly entertaining exercise to write an iPython notebook to do this (thanks to Gerhard Paseman and Stefan Kohl for helping me fix a few bugs). (Assuming no more bugs) this answers your request for "software". Included in the output at the link above is one explicit list of integer 6-vectors that are valid lengths of tetrahedra (I suppose you could call this a database). More explanation below.
I used the paper Wirth and Dreiding, Edge lengths determining tetrahedrons, Elem. Math. 64 (2009) 160-170 as a reference.
Note that unlike the "SSS theorem" for triangles, giving a list of 6 lengths does not specify a unique tetrahedron (up to congruence). Wirth and Dreiding thus define a convention that a vector of 6 lengths $(x,y,z,\bar x,\bar y,\bar z)$ corresponds to a tetrahedron where $x,y,z$ are the lengths of edges coming out of a fixed vertex of the tetrahedron, and $\bar x,\bar y,\bar z$ are the 3 edges opposite $x,y,z$, respectively.
Given such a tuple, Wirth and Dreiding include formulas for the Cayley-Menger determinant one needs to check in section 3 of their paper. They seem to claim that one just needs to check the 3D Cayley-Menger determinant and one 2D Cayley-Menger determinant for a face (see remark 5 of section 3), but Gerhard Paseman gives an example where this fails. 
Given a set of 6 distinct lengths $l_1>l_2>\cdots>l_6$, there are 30 nonisometric tetrahedra with these edge lengths (assuming existence). One way to find representatives (essentially explained in the above paper in section 6)  is to let $x=l_1$, let any other $l_i$ be $\bar x$ (5 choices), then let $y$ be the maximum of the remaining $l_i$, then include all permutations for the remaining 3 lengths (6 choices).
My very naïve code thus does the following. I first generate all non-increasing sequences of 6 integers with entries bounded between 1 and $m$ (in the version of the code linked to above, $m=7$).  Next, for each such non-increasing sequence, I generate the 30 permutations of those sequences described above. The third step checks all of these permutations with the 3D Cayley-Menger determinant and the 4 2D Cayley-Menger determinants corresponding to each of the faces, using the expressions from Wirth and Dreiding.
The result (assuming no bugs!) is that there are 445 distinct sets of 6 integers, all bounded between 1 and 7 that are the lengths of edges of (nondegenerate) tetrahedra. 
These 445 6-tuples are listed in the output at the end of the link to my code.  Just for fun, I also include a table showing the numbers of integer tetrahedron edge length sets with maximum entry $m$ for $m=1$ to 25. The results up to 20 agree with those of Stefan Kohl.
Aside: One can also use these functions to list tetrahedra which realize these edge lengths, but to enumerate them up to congruence, one would need to write a routine that deals more carefully with symmetric tetrahedra. In any case, that problem has been discussed in this paper of Sascha Kurz who also gives an amazing explicit polynomial formula for the number of symmetric $4\times 4$ matrices of nonnegative integers bounded by $d$ satisfying the triangle inequalities. This can be done because the 2D Cayley-Menger determinant is reducible. Unfortunately this is no longer true in higher dimensions.
A: I can confirm j.c.'s list of 6-tuples of integers less than or equal to 7
which are edge lengths of tetrahedra -- up to the tuple (6,6,6,5,3,2),
for which I obtain a negative Cayley-Menger determinant.
The other 445 tuples appear to be correct. The numbers of such tuples of
integers $\leq n$ for $n$ from 1 to 20 are 1, 5, 18, 48, 112, 231, 445,
799, 1362, 2214, 3476, 5283, 7818, 11278, 15939, 22083, 30111, 40395,
53484, 69895. This is the result of a five-minute-computation with the
following GAP function:
AllIntegerEdgeLengthsTetrahedra := function ( maxedge )

  local  tetrahedra, M, a, b, c, d, e, f;

  tetrahedra := [];
  for a in [1..maxedge] do
    for b in [1..a] do
      for c in [1..b] do
        if b + c <= a then continue; fi; 
        for d in [1..maxedge] do
          for e in [1..maxedge] do
            if d + e <= a or d + a <= e or a + e <= d then continue; fi; 
            for f in [1..maxedge] do
              if    e + f <= b or e + b <= f or b + f <= e
                 or d + f <= c or d + c <= f or c + f <= d
              then continue; fi;
              M := [[0,  1,  1,  1,  1],
                    [1,  0,a^2,c^2,d^2],
                    [1,a^2,  0,b^2,e^2],
                    [1,c^2,b^2,  0,f^2],
                    [1,d^2,e^2,f^2,  0]];
              if DeterminantMat(M) > 0 then Add(tetrahedra,[a,b,c,d,e,f]); fi;
            od;
          od;
        od;
      od;
    od;
  od;
  return Set(tetrahedra,t->Reversed(AsSortedList(t)));
end;

A: Fifteen such tetrahedra can be found in the answer to this MSE question.. Mathematica code to generate Heronian Tetrahedra is given in this OEIS article https://oeis.org/A272388 (which has some explicit examples. An explicit infinite family is given in R. H. Buchholz, Perfect Pyramids.
Buchholz, Ralph Heiner, Perfect pyramids, Bull. Aust. Math. Soc. 45, No.3, 353-368 (1992). ZBL0747.52008.
A: There is a way to build axis parallel tetrahedrons using Euler bricks. Three of the edges are given by vectors $(a,0,0), (0,b,0),(0,0,c)$ so that $$a^2+b^2=d^2,\quad b^2+c^2=e^2,\quad a^2+c^2=f^2$$ for $a,b,c,d,e,f\in\Bbb N$. There are infinitely many solutions in several parametric families given in the link above. This can be turned into an algorithm. The link itself has a small list of examples.
A: There is a very simple way to find infinitely many such tetrahedra $ABCD$. Take $A=(0,0,0), B=(1,0,0),C=(\frac 1 2,\frac {\sqrt 3} 2,0)$ and $D=(\frac 1 2,\frac 1 { 2 \sqrt 3 }, z)$ for suitable $z$.
Added in response to comments below: Here is a geometrical version of the above which provides a fourfold infinity of examples.  Take a triangle $ABC$ whose side lengths $a,b,c$ are integers, then $D$ at its circumcentre.  Now move $D$ along the axis perpendicular to the triangle. It forms a family of tetrahedra three of whose side lengths are always integers. The other three coincide and go continuously to infinity. Hence they take on all integer values greater than the circumradius of the triangle.
One can do this explicitly by using the triangle with vertices $(0,0)$, $(c,0)$ and $(p,q)$ where $$p=\frac 1{2 c}(b^2+c^2-a^2)$$
and $$q^2=\frac 1 {4 c^2}(a^4+b^4+c^4-2 b^2c^2 -2 c^2a^2-2a^2b^2).$$
A: On what has been mentioned so far
Many partial answers have been given already. This is another partial answer.
Let us first consider what the OP is actually asking.

*

*The answer to the question in the title is practically-certain to be negative. There does not exist anything worthy of the name 'database' for these 6-tuples. There do exist scattered results. The whole topic seems frustratingly difficult. There seems to be a controversy around whether it has been proved that a perfect parallelepiped with all angles right angles does not exist.


*The answer to the first question in the body of the OP

Is there a collection of lists of six integer edge lengths that form a tetrahedron?

is positive.  An answer of Igor Rivin has identified such a 'collection'. An answer of M. Winter has identified another way to obtain some such 6-tuples.
So-far unmentioned, very relevant aspect: perfect parallelepipeds
No one so far has mentioned (though M. Winter did make a step in this direction when they mentioned 'Euler bricks')

*

*the widely known fact that any parallelepiped in Euclidean three-space can be 'partitioned'(terminology) into six tetrahedra. A pictorial representation of such a 'partition' is


(constructed with Geogebra and GIMP )

*

*the fact that this can be combined with recent discoveries of what is called(terminological suggestion) 'perfect parallelepipeds'$=$
'non-cube parallelepipeds such that all three edge-lengths, and all three minor-face-diagonal-lengths, and all three major-face-diagonal-lengths, and all four  body diagonal-lengths  are positive integers.'

The first published specification of such a perfect parallelepiped appears to be:

Jorge F. Sawyer, Clifford A. Reiter: Perfect parallelepipeds exist. Mathematics of Computation Vol. 80 (2010), Number 274, 1037-1040

wherein one finds

and I would like to point out to the OP that

because of the above-mentioned 'partition' of perfect parallelepipeds into integer-edge-length tetrahedra, each perfect parallelepiped  is  a source of 6-tuples of the kind you are requesting.

To make the central argument of the present suggestion explicit:

The property that all edges and diagonals of a perfect parallelepiped have integer lengths implies that the above decomposition into tetrahedra does not incur any tetrahedron with a non-integer edge-length.

For example, the theorem of Sawyer and Reiter reproduced and color-coded above seems to correspond to a perfect parallelepiped of which the following picture is a not-to-scale representation

( The colors in the above picture correspond to the color-coding in the excerpt further above. )
Moreover, it seems that you will be able to obtain infinitely-more than the "thirty" 6-tuples you request by

*

*studying


Benjamin D. Sokolowsky, Amy G. VanHooft, Rachel M. Volkert and Clifford A. Reiter: An infinite family of perfect parallelepipeds.Math. Comp. 83 (2014), 2441-2454


*

*using the decomposition I mentioned above


*making it very clear in whatever you are writing that the notion of 'dissimilar' used in op. cit. suitably translates into a notion of 'dissimilarity' among the tetrahedra my proposal gives you (I did not look into that)
Please note that the opening sentence

A rational parallelepiped is determined by three edge vectors $\vec{u}$, $\vec{v}$, $\vec{W}$. [emphasis added]

of the second section of op. cit. would be flat-out wrong (to see this: flatten the skeleton) if the word 'rational' were erased, since the skeleton of a cube is not even a locally-rigid framework, let alone a globally-rigid one(further reading on frameworks)
More precisely, the first sentence in the second section of op. cit. implies that

if you have a parallelepiped with all its edge-lengths, all its face-diagonal-lengths and all its body-diagonal-lengths rational (and infinitely-many dissimilar such exist), then each and every of its (evidently existing) 'rigid-motions' will necessarily cause at least one of the aforementioned lengths to become irrational.

which I find quite surprising. It is a sense of 'higher rigidity of parallelepipeds' (though only of a very special subclass of such parallelepipeds): while the structure is not rigid at all, a naturally associated 'configuration space' which has all the aforementioned lengths built into it explicitly would, when intersected with the rational numbers, be rigid.
Finally, facile(facile) skepticist warnings

*

*the verification of whether the parallelepipeds specified by  Sokolowsky--VanHooft--Volkert--Reiter actually do have all the properties claimed neither seems to have been done by any human being, nor seems to be doable in reasonable time by a human being,


*said verification seems to have been delegated to Mathematica,


*only few people seem to be allowed to look under the hood of the marvellous machine that is Mathematica,


*even if one is allowed to look under hoods of large machines, it is very very difficult to be sure whether they work as expected


*so in the unlikely case that you are thinking about using these 6-tuples for some critical application, you should think twice.
To summarize,

*

*this answer suggests to the OP to make use of the fact that currently more thought and energy is going into finding someting stronger than what they are asking for (namely: stepparallelepipeds),


*this answer suggests that the OP could usefully try to contact the authors of op. cit. about their problem,


*I do not know 'how complete' the method is that I am proposing here (i.e.: to procure the integer-edge-length-tetrahedra from steppable parallelepipeds), i.e., whether any integer-edge-lenght tetrahedron can be so obtained, but I strongly doubt it and expect it to be trivial to show that not all can be so obtained, but will have to leave the subject now.


*While personally I would prefer not to even know what you need these 6-tuples for, I would very much like to understand what 'stance' you are planning to take towards the 6-tuples you get from various sources. How, if at all, do you plan to verify whether a given integer 6-tuple is indeed realization by a tetrahedron in Euclidean 3-space? Also: what is known about the complexity-theoretic status of this problem in general, i.e., how complex is it to decide, given $a\in\omega^6$, whether there exists a perfect parallelepiped with these edge-lengths?
(facile)  It is facile because it is so easy to simply doubt anything, and since I know what an extremely well-discussed topic this is, for decades already. I am mentioning this to remind the OP that the references I give seem (0) not to contain humanly comprehensible proofs (more technically: a relevant satisfaction-relation seems not be checkable by human intuition), (1) seem to have  only be checked with a software which is amazingly good, yet not formally verified. To be fair to both op. cit. and Mathematica, one should point out that, in a sense, they don't need each other: the kind of computations in op. cit. could easily be implemented in many other systems; the power of the mentioned package resides elsewhere.
Moreover, I know the 'but-there-may-equally-well-be-a-bug-in-one's-mind' objection to insistence on intuitive surveyability, and I don't have an answer to that. Moreover, I do not mean to imply that op. cit. is not a proof, but I think it is not a traditional proof relative to any of the respected proof systems; more technically speaking, these proofs contain atomic sentences involving a new-fangled equality symbol $=_{\scriptsize\text{CAS}}$, in addition to the usual $=_{\scriptsize{\text{HumanIntuition}}}$, with 'CAS' standing for 'computer algebra system', and for which the satisfaction-relation $\vDash$ becomes interestingly problematic in the sense that a claim of the form ' $\mathrm{World}$ $\vDash (A=_{\scriptsize\mathrm{CAS}}B) $ ' cannot be checked by human intuition. 
(further reading on frameworks) The most recent publication on the topic of rigid frameworks, at least spiritually relevant to the OP, is: Jessica Sidman, Audrey St. John: The Rigidity of Frameworks: Theory and Applications. Notices of the AMS, October 2017. 
(terminology)  Needless to say, saying 'partitioned' here is not quite rigorous, since there are issues about sets of Lebesgue-measure zero, which are of course irrelevant to this context. Of course, the OP did not even mention whether their 'tetrahedra' are open or closed point-sets. I will gloss over this. 
(terminological suggestion) Personally I find the term  'perfect parallelepiped' very unfortunate and unimaginative. In particular, it seems to have nothing to do with 'perfect numbers'. My suggestion would be to rename this class of parallelepipeds 'steppable parallelepipeds', maybe even portmanteaued to 'stepparellipiped'. These would make for more neutral and more informative art terms, for obvious reasons: all relevant lengths (i.e. the blue, the yellow, the green, and the red ones in the above picture) of stepparellepipeds can be constructed by a machine which is only allowed (0) arbitrary rotations in space (while staying put), and (1)  unit-length steps. 
A: It seems to me to be of considerable interest to explore the space of 6-tuples that realize tetrahedra in Euclidean 3-space with the tuples (a,b,c,d,e,f) when the points have coordinates with real numbers or more specifically positive integers. Because a set of 6 numbers as edge lengths can be realized by up to 30 incongruent tetrahedra it is indeed important to have a system to identify a sextuple with a particular tetrahedron - a "canonical" version that realizes a given 6-tuple. I have raised the question of finding sets of 6 real numbers (integers) that are such that for i taking on values from 0 to 30 can be realized with exactly i incongruent tetrahedra. See here:
http://www.math.illinois.edu/~ajh/ugresearch/Hildebrand-Calculus-Spring2015-report.pdf though it would be nice to see actual examples of integer 6-tuples that achieve the various values of i. It is also worth noting that there is a simpler determinant (which I refer to as the McCrea determinant) than the Cayley/Menger determinant to find the volume of a tetrahedron, see page 20, of the book  by William McCrea - Analytical Geometry: http://vignette3.wikia.nocookie.net/math/images/0/0d/Analytical_Geometry_of_Three_Dimensions.pdf/revision/latest?cb=20150228044133&path-prefix=ro For teachers it is worth pointing out one has to worry about numerical instability in determinant calculations, so one wants to be certain that the volume calculation for a determinant really yields a positive result. 
A: One can analyze certain situations to generate a number of common examples.  The integrality condition combined with triangle inequalities plus some verification with the Pythagorean theorem are all one needs for these examples.
To start, note  that any triangle with integer aide lengths, one of them being 1, must by the triangle inequality be of the form (1,x,x) for some positive Integer x.  This leads to forms (1,1,1,x,x,x), (1,1,y,y,y,y), and (1,x,x,y,y,z) for certain distinct integers x,y and z which form a triangle in the last instance. If we limit ourselves to edges of length at most 4, this gives us the regular unit tetrahedron and 9 more examples.
We can use some of these patterns for similar examples: (a,a,a,b,b,b) where the a's form a triangle and the b's need only satisfy $\sqrt{3}$b greater than a. Also (a,a,a,a,b,b) can realize a tetrahedron when b's are lengths of opposite (non adjacent edges and a is at least $b/\sqrt{2}$.  If the b's are adjacent edges then b must be greater than half of a and less than $\sqrt{2+\sqrt{3}}$ times a. While these constraints may be equivalent to those found from a Cayley-Manger determinant calculation, only high school analytic geometry is needed to derive the constraints.  For (a,a,a,a,a,b) it should be clear that positive b at most $\sqrt{3}$ times a will do. Similarly, using a rectangle of side lengths a and b gives some constraints on values for (a,a,b,b,c,c), the new one being that the a,b,c triangle must have all acute angles. One can examine the other possibilities for a,b and c to determine additional constraints under different edge arrangements.
While this is not an exhaustive list, it should provide enough examples to populate a small database.  Only when one gets up to four or more different edge lengths should one need to use more than Pythagoras, the triangle inequality, and spatial intuition to verify examples.
Gerhard "Do The Simple Ones First" Paseman, 2017.09.28.
A: Here is what is, perhaps, the simplest construction. Take four reasonably close integers $r_1, r_2, r_3, r_4.$ Then the simplex whose side lengths are the sums of pairs of these numbers is the simplex you seek (such a simplex were called conformal simplices in the paper by Daryl Cooper and myself, and for the exact criterion for "reasonably close" see theorem 4.3 in that paper):
Cooper, Daryl; Rivin, Igor, Combinatorial scalar curvature and rigidity of ball packings, Math. Res. Lett. 3, No.1, 51-60 (1996). ZBL0868.51023.
A: Decided to write down what one gets from the Cayley-Menger determinant mentioned by Noam D. Elkies in one of the comments.
A tetrahedron with sidelengths $a$, $b$, $p$, $c$, $d$, $q$, opposite side pairs corresponding to $(a,c)$, $(b,d)$ and $(p,q)$, exists iff there are triangles with sidelengths respectively $a$, $b$, $p$ and $p$, $c$, $d$, while $q$ satisfies
$$
\frac1p\sqrt{\frac{S-R}2}<q<\frac1p\sqrt{\frac{S+R}2},
$$
where
$$
S=\left(a^2-b^2\right)\left(c^2-d^2\right)+\left(a^2+b^2+c^2+d^2\right)p^2-p^4
$$
and
$$\scriptstyle{R=\sqrt{(-p+a+b) (p-a+b) (p+a-b) (p+a+b) (-p+c+d)(p-c+d) (p+c-d) (p+c+d)}}.$$
I believe from this it is straightforward to generate the list of all integer sidelength tetrahedra up to any given length without omissions. There will be repetitions though; I do not immediately see how to recognize which of these correspond to truly congruent tetrahedra.
