Reference files
We here list all files that can useful for reproducing or checking our experiments.
Sources:
archive of test sources
and
available cycles
.
Models:
results for
operational model
,
axiomatic model
and
Sat solver
.
Hardware
results for
PowerG5
,
Power6
and
Power7