==Summary==
{| align=center | border=5 | cellpadding="8"
|- bgcolor="lightblue"
! Models !! Hard-Capable? !! Parameters !! Java !! C# !! C (PThread) !! JPF !! ConTest !! CalFuzzer !! Chess
|- align="center"
| [[AccountDeadlock]] ||  || 1 || X || X || X || X || X ||  || X
|- align="center"
| [[AccountException]] ||  || 1 || X ||  ||  ||  ||  ||  ||
|- align="center"
| [[AccountSubtype]] || X || 2 || X || X ||  || X || X || X || X
|- align="center"
| [[Airline]] || X || 2 || X || X ||  || X || X || X || X
|- align="center"
| [[AlarmClock]] ||  || 1 || X || X ||  || X ||  ||  || X
|- align="center"
| [[AllocationVector]] ||  || 4 || X || X ||  || X ||  ||  || X
|- align="center"
| [[Clean]] ||  || 3 || X || X ||  || X || X || NA || X
|- align="center"
| [[Deadlock]] ||  || 1 || X || X ||  || X ||  ||  || X
|- align="center"
| [[DEOS]] ||  || 0 || X || X ||  || X ||  ||  ||
|- align="center"
| [[LinkedList]] ||  || 2 || X || X ||  || X ||  ||  || X
|- align="center"
| [[Piper]] || X || 3 || X || X ||  || X || X || NA || X
|- align="center"
| [[ProducerConsumer]] ||  || 3 || X || X ||  || X ||  ||  ||
|- align="center"
| [[RaxExtended]] ||  || 2 || X || X ||  || X ||  ||  ||
|- align="center"
| [[ReadersWriters]] || X || 3 || X || X ||  || X ||  ||  || X
|- align="center"
| [[Reorder]] ||  || 2 || X || X || X || X || X || X || X
|- align="center"
| [[Replicated]] ||  || 5 || X || X ||  || X ||  ||  || X
|- align="center"
| [[Two Stage]] || X || 2 || X || X || X || X || X || NA || X
|- align="center"
| [[Wronglock]] ||  || 2 || X || X || X || X || X || X || X
|- align="center"

|}

==Access==
===Access to the Multi-threaded programs===

A set of multi-threaded Java, C# and C programs are publicly available from our SVN repository. All the examples can be obtained by running the svn checkout command shown below. Enter the password <i>anonymous</i> when prompted for one.

* For all examples\\ '''svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks'''
* To only obtain the Java benchmarks\\ '''svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks/Java'''
* To only obtain the C# benchmarks\\ '''svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks/CSharp'''
* To only obtain the C programs using the Pthread library\\ '''svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks/pthreads'''

===Getting the Raw Data===
7-1-2009

The raw data from JPF-RandomizedDFS, JPF-RandomWalk, and abstraction-guided-data is now publicly available from our SVN repository. As above, use the password "anonymous" (without quotes).

* Abstraction Guided Data (3.3KB):\\ '''svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks-data/abstraction-guided-data.7z'''
* JPF Random Walk (17.8MB):\\ '''svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks-data/JPF-RandomWalk.7z'''
* JPF Randomized DFS (1.29GB):\\ '''svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks-data/JPF-RandomizedDFS.7z'''

These all use the 7z archive format. The official 7-zip archive tool can be downloaded for Windows (GUI & command-line versions) or Linux (command-line version only) here: http://7-zip.org/download.html In addition, the 7z format is supported by the following tools: WinRAR, PowerArchiver, TUGZip, IZArc.

Please note that the RandomizedDFS archive will take some time to both download and decompress due to its size, and the RandomWalk archive will also take some time to decompress; despite its relatively small size, it contains over 600,000 files.

Email us at: neharungta@gmail.com