Syntcomp 2018
Results
|
Monitor
»
Experiments
::
TLSF Synthesis Parallel
:: Results by Solver
Solver:
Strix
Bowser (simple, par)
Bowser (synth, par)
Bowser (opt, par)
BoSy (par, basic)
BoSy (par, opt)
Cost:
CPU Time
Walltime
Cost