[Termtools] Benchmarks for TPDB

[Johannes Waldmann]

Indeed there are two tasks:

1. organization of TPDB
2. selection of subsets for competition

I think (2) is the important short-term goal.
As Jürgen states, (1) may be useful for (2).

I recommend reading how the SAT comp organizers did it:
http://www.satcompetition.org/2009/BenchmarksSelection.html
esp. "General Principles".

- Johannes.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20090609/5bf7f7a6/attachment.pgp