[Termtools] C integer transitions - need benchmarks for testing

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Mon Jul 6 11:20:50 CEST 2015

Dear all,

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.

- Johannes.

More information about the Termtools mailing list