[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
TEB: What "message" can we show?
- Subject: TEB: What "message" can we show?
- From: Chris Warburton
- Date: Fri, 04 May 2018 15:30:15 +0100
- Resolution: fixed
- State: resolved
What do our benchmark results show, which previous evaluations didn't?
Point this out; maybe also in the abstract.
One thing which comes to mind is how few inputs IsaCoSy succeeds on!