The verification examples are simple examples suitable to test distinct features. They can be used to check whether the installation of CalculiX is correct, or to find examples when using a new feature. Here, they are listed alphabetically with a short description of what is being tested. For the input files, append ".inp", for the result file, append ".dat.ref". All files are contained in the distribution.