Sequentialized programs from the pthread* directories. Contributed by the CSeq team.