Instance:
Number of variables:
Number of constraints:
Satisfiable:
Timestamp:
Stampede:
Boost:
Benchmark comments

Instance comments