PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution)

This is the artifact for PeSCo 2.1 as part of our contribution for SVCOMP 2024.

PeSCo 2.1 is a tool for dynamic selection of software verifiers and
their subsequent execution. Similar to last year's contribution, PeSCo 2.1
combines algorithm selection with sequential portfolios.
To this end, PeSCo first runs a pre-solver to provide initial insights
into the verification tasks. Based on the results of the pre-solver and
a set of features extracted from the task itself, PeSCo then predicts a sequential
portfolio of software verifiers that are likely to solve the given verification task.

After unzipping the archive, PeSCo can be easily executed as follows:

````

bin/pesco [ --spec <SPEC_FILE> ] <SOURCE_FILE>

````

Here, a specification file needs to be given. Note that PeSCo unfolds its full potential only for reachability specifications.