Syntcomp 2018
Results
|
Monitor
»
Experiments
::
TLSF Synthesis Sequential
:: Results by Solver
Solver:
Strix (basic)
Strix (min)
Strix (labels)
ltlsynt (ds)
ltlsynt (incr)
ltlsynt (sd)
Bowser (simple)
Bowser (synth)
Bowser (opt)
BoSy (basic,last)
BoSy (opt,last)
Cost:
CPU Time
Walltime
Cost