added a first test from the sv comp archive at https://svn.sosy-lab.org/software/sv-benchmarks/tags/svcomp14/pthread/bigshot_p_false.c
customized for smack and spthreads as installed on my machine here
recording benchmark output from this test case
added a thought