int startclock = 500;
int playclock = 500;
RunnableMatchInterface<Term, State<Term, GameState>> match = new RunnableMatch<Term, GameState>(matchID, game, startclock, playclock, players);
/* create game controller */
JavaProverGameController gameController = new JavaProverGameController(match);
/* add listener */
MatchTraceBuilder matchTraceBuilder = new MatchTraceBuilder();
gameController.addListener(matchTraceBuilder);
/* run + write result */
try {
try {
gameController.runGame();
} catch (NoLegalMoveException e) {
matchTraceBuilder.flush();
}
new MatchTraceWriter().write(matchTraceBuilder.getTrace(), outputFile);