Project

General

Profile

« Previous | Next » 

Revision 6d28c445

ID6d28c445923ef9a4027d7ef9b57d35cb4dd2996e
Parent 3fd00cf1
Child 4b369edd

Added by Hans-Peter Deifel about 2 months ago

benchmarks: Save output of programs

Allows to collect other results than just the time. For example how
many states the game has and what the result was (sat/unsat).

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences