@misc{
    rgen,
    author = {J{\"a}rvisalo, Matti},
    title = "{rgen} --- a {SAT} benchmark generator",
    url = "http://www.tcs.hut.fi/~mjj/benchmarks/",
    month = "September",
    note = "Computer program",
    flags = "ACPT public SOFTWARE",
    year = "2005"
}