benchmarklist.txt

--regression tests
testarrays2
testbarrier
testerror
testsimple
testls1
testls2
testls3
testls4
testfrompaper



---Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal, Pavel Parizek and Pavel Jancik-spin14:
cache4j-2t-1
cache4j-2t-2
linkedlist-2t-6
linkedlist-4t-20
prodcons-1-1-4
prodcons-2-2-4
repworkers-2t-2
repworkers-8t-8


---con_tool_comp
(First 5 could be listed as fasttrack/pjbenchmark. Pavel also used some. )
elevator-2t
philo-2t
philo-4t
tsp-2t
tsp-4t
alarmclock-3t
account-2
account-5
accountsubtype-3t-2-1
airline-3-1
allocatevector-2t
boundedbuffer-2t
boundedbuffer-4t
clean-1-1-2
clean-3-3-1
deadlock1
deadlock2
diningphil-3
diningphil-5
losenotify-1-1-1
losenotify-2-2-2
nestedmonitor-2
nestedmonitor-5
piper-1-2-2
piper-6-3-2
raxextended-1-3-3
raxextended-2-3-3
raxextendedenvfirst-1-3-3
raxextendedenvfirst-2-3-3
readerswriters-1-1-1
readerswriters-2-1-2
reorder-1-1
reorder-2-2
sleepbarber-3-3-1
sleepbarber-6-6-2
stringbuffer
stringbuffer2
twostage-1-1
twostage-3-3
wronglock-1-1
wronglock-3-3


---jgf:
crypt-2t
crypt-4t
jgf-raytracer-4t
motecarlo-2t-3
motecarlo-4t-3
moldyn-2t
lufact-2t
series-2t
sor-2t
sor-4t
sparsematmult-2t

http://plg.uwaterloo.ca/~olhotak/pubs/ase11.pdf
---"Model Checking of Concurrent Programs with Static Analysis of Field Accesses":
cocome-2t
credemo-2t
diasyfs-2t
papabench
pjcd



--rhino
rhino-bug1
rhino-bug2
rhino-arrays-2
rhino-arrays-4

--stringutils bug
stringutilsbug-2t