search

unison-code / unison

Unison's source code
http://unison-code.github.io/
Other
101 stars 17 forks source link

stochastic gecode-solver presolving phase #25

Open matsc-at-sics-se opened 6 years ago

matsc-at-sics-se commented 6 years ago

I solved gcc.attribs.handle_noinline_attribute twice. The first time it printed:

[pre] cost: {[19..20]}, optimality gap: {5.26%}

The second time it printed:

[pre] cost: {[18..20]}, optimality gap: {11.11%}

Settings:

export UNISON_BENCHMARK=toplas export UNISON_BENCHMARK_LIST=functions export UNISON_TARGET=Hexagon export UNISON_GOAL=speed

robcasloz commented 6 years ago

To reproduce it, the input file is in input.zip: gecode-solver --verbose gcc.attribs.handle_noinline_attribute.ext.json