» Experiments :: TLSF: Synthesis, Parallel :: Solver Configurations

Solver configurations used in the experiment

Name Solver
Bosy linear parallel Bosy Results
Bosy exponential parallel Bosy Results