new, updated version of the results for RERS'14; many more results for Problems 17 to 19;  rerun of Problems 1 to 9 to not done yet; no new results for Problems 10 to 12, maybe rerun with even more RAM ...

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/rers2014@13954 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c