Syntcomp 2015
Results
|
Monitor
»
Experiments
::
Reference - Synthesis Sequential
:: Results by Solver
Solver:
AbsSynthe (Ref 2014)
Demiurge Sequential (learn) (Ref 2014)
Aisy
Demiurge Parallel (learn) (Ref 2014)
Cost:
CPU Time
Walltime
Cost