Submit

Order by Relevance Name Ascending Name Descending Last Modified Popular Go

1 dataset found

Formats: ZIP

Filter Results

• JHotDraw Sample traces

  40 traces of executions of the Java software JHotDraw, captured using TPTP. The excel file describes the content of each trace.
  • ZIP