Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
cvc4-synthesis [2015/12/02 10:54] reynolds |
cvc4-synthesis [2015/12/02 10:56] reynolds |
||
---|---|---|---|
Line 45: | Line 45: | ||
The spreadsheet summarizing the results for the benchmarks considered in this paper can be accessed here. | The spreadsheet summarizing the results for the benchmarks considered in this paper can be accessed here. | ||
- | For benchmarks with syntactic restrictions (Fig 9 and Fig 11): [[http://lara.epfl.ch/~reynolds/FMSD2015-synth/results-fmsd2015-general.xls|results-fmsd2015-general.xls]]. | + | For benchmarks with syntactic restrictions (Fig 9 and Fig 11): [[http://lara.epfl.ch/~reynolds/FMSD2015-synth/results-general-fmsd.xls|results-general-fmsd.xls]]. |
- | For the max family of benchmarks (Fig 10): [[http://lara.epfl.ch/~reynolds/FMSD2015-synth/results-fmsd2015-max.xls|results-fmsd2015-max.xls]]. | + | For the max family of benchmarks (Fig 10): [[http://lara.epfl.ch/~reynolds/FMSD2015-synth/results-max-fmsd.xls|results-max-fmsd.xls]]. |
- | For benchmarks without syntactic restrictions (Fig 12): [[http://lara.epfl.ch/~reynolds/FMSD2015-synth/results-fmsd2015-clia.xls|results-fmsd2015-clia.xls]]. | + | For benchmarks without syntactic restrictions (Fig 12): [[http://lara.epfl.ch/~reynolds/FMSD2015-synth/results-clia-fmsd.xls|results-clia-fmsd.xls]]. |