[Termtools] TPDB-10.2, test runs, TODOs
johannes.waldmann at htwk-leipzig.de
Tue Jul 28 15:45:53 CEST 2015
** Reminder: submission (update) deadline approaching **
** July 29 AOE time **
1. TPDB, tests ============================================
René Thiemann and Akihisa Yamada produced TPDB-10.2.
This is the benchmark set for this year's competition.
I uploaded it to starexec (in space 101295)
and used it in recent tests
(using the nodes in starexec's "termination" queue.)
Please double-check above registration info
(contains links to TPDB subdirectories) and test results.
I will run more tests, but plan to keep
most of them secret (to not take away the surprise).
I will inform you of any strange behaviour
(YES/NO conflicts, rejected certifications)
2. TODO ===================================================
Please tell me what are the most important missing
features of star-exec-presenter, so I can prioritize.
I did implement complexity scoring, see earlier message.
If I don't get any complaints (with pull requests ..) soon,
then it stays like it is.
More information about the Termtools