::VERICOMP Problems Solvers Recommend External links Documentation Register

Recommender Settings

Choose one of the following three recommendation methods (system classification, keywords, problem):


Describe the class which your problem belongs to.

Enter one or more keywords to describe your problem (separated by semicolons).

Choose a problem from the database that your problem is similar to.

Set your preferred weights for each test criterion. Please keep in mind, that the sum of all weights must equal 1. If not, the system will normalize the values automatically.

Criterion
Description
Weight
C4
wall clock time
C5
user space cpu time
C6
time to break-down

Getting a recommendation from VERICOMP

Based on the criteria you define, VERICOMP will present you a ranked list of solvers (and their settings) best suited for your situation.