Recommender - VERICOMP

Recommender Settings

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

System Classification

Describe the class which your problem belongs to.

Class

Linearity

Complexity

Uncertainty

Keywords

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

Keywords

Problem Selection

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

ODE

IVP

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

reset weights