[Termtools] C integer transitions - need benchmarks for testing
johannes.waldmann at htwk-leipzig.de
Mon Jul 6 11:20:50 CEST 2015
for the new "C integer transitions" category,
I could use some benchmarks for testing.
Just put them in a public space on starexec
and send the (sub)space id to me
(the "id = .." that you see when browsing the space)
(it can be hierarchical, i.e., contain subspaces)
This is just for testing - you should still
make a real benchmark submission, for inclusion with TPDB.
More information about the Termtools