FQL query that removes some goals.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13082 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
FQL query that restricts the number of test goals by a union of smaller goals.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13101 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Rudimentary per test goal timeout functionality.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13117 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Fix: use timeout value from configuration.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13118 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Storing timed out test goals in separate data structure and print them in testsuite file.

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

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13123 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Set of product lines benchmarks.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13124 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Changed pReachedSet to properly print statistics.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13125 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Removed unused code.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13131 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Added support for predicate reuse in TigerAlgorithm.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13135 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Configuration with timeout per test goal.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13136 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Made TigerAlgorithm a statistics provider and statistics (not all relevant data is provided yet).

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13137 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
More statistics from TigerAlgorithm run.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13138 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Modified product line benchmarks to read non-deterministic values from input().

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13139 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Configuration for verification cloud.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13140 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Adapted benchmarks from product lines to read non-deterministic values from input().

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13141 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
Replace by newly generated product lines.

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/branches/tiger2checker@13164 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c
New list of benchmarks.

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