Final Version Preparation Instructions

Please use the EasyChair template at http://www.easychair.org/publications/easychair.zip

We kindly ask you to consider the following constraints carefully:

1. Title and topics: Each paper must decide on one of the following topics:

• Benchmark proposal: Proposals for new benchmark problems (not necessarily yet solvable)
• Tool presentation: New and improved tools incl. evaluations preferrably from ARCH benchmarks
• Experience reports: Gained experience including open issues for industrial success
• ARCH-COMP report: Reports on results of our friendly competition (separate call)
   

The topic has to be specified in the submission form. If you are presenting results for a benchmark that has already been proposed, then please choose "experience report". If you are proposing a new benchmark, but also give some results, then please choose "benchmark proposal". The title of your paper should NOT include the topic. Please also do not use variations of topics in the title:

• wrong: "Benchmark: Performance Guarantees for Forklifts"
• right: "Performance Guarantees for Forklifts"
• wrong: "Benchmark Results: We Dig Forklifts"
• right: "We Dig Forklifts"
• wrong: "Tool: The Forklift Analyzer"
• right: "The Forklift Analyzer"
• wrong: "Tool Results: The Forklift Analyzer Rules"
• right: "The Forklift Analyzer Rules"
  
  In the pdf, you should display the category in parentheses underneath the title, unless it's just a regular paper. For example: Performance Guarantees for Forklifts (Benchmark Proposal).
  
  In Latex, the easiest way to produce the above is to add the category line in the \title segment, but this is only a Latex hack: \title{Performance Guarantees for Forklifts\\ (Benchmark Proposal)}.
  
  In the EasyChair submission info, the title should still be: Performance Guarantees for Forklifts

2. Use the header \documentclass[EPiC]{easychair}.

3. To avoid orphan and widow lines, include the nowidow package as follows: \usepackage[defaultlines=4,all]{nowidow}

4. Do NOT include a table of contents.

5. Do not change the font (packages times, mathptmx, etc. are not allowed).

6. Place all figures at the top of the page.

7. Use the package booktab for tables.

8. Check the margins (top, bottom, right). Neither text, formulas, nor graphics are allowed to go beyond the normal margins for text.

9. In the title of the paper, please avoid lines with only one word. For example, instead of An example with a long title for illustration adding a line break leads to the preferable version: An example with a long title for illustration

10. Please check your bibliography carefully, in particular concerning confusion of first names, last names, middle initials, and capital letters. The safest way is the following: author = {Mouse, Mickey A. and Duck, Donald B. and {van der Pol}, Balthasar}