#lang info

(define test-responsibles '((all (asumu stamourv cce))))

(define test-timeouts
  '(("benchmark.rkt" 300)))

(define test-randoms
  '("benchmark.rkt"))