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

Solver configurations used in the experiment

Name Solver
Bosy linear_parallel Bosy Results
Bosy exponential_parallel Bosy Results