Dear all, the full run on all examples from TPDB has just been started. You can access the partial results live at http://termcomp.uibk.ac.at/liveview.php Enjoy, René