This chapter defines the basic tests used to verify some of the options in the Abaqus procedures library and documents the results of the tests. Some of these tests also verify the capability to extract output from the restart (.res) file and to write new results to output files using a postprocessing analysis procedure—see the problem descriptions for details.