| Vol-873 urn:nbn:de:0074-873-1 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# COMPARE 2012
Comparative Empirical Evaluation of Reasoning Systems

### Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems

### Manchester, United Kingdom, June 30, 2012.

Edited by

### Vladimir Klebanov *
Bernhard Beckert *
Armin Biere **
Geoff Sutcliffe ***

* Karlsruhe Institute of Technology, Institute for Theoretical Informatics, 76131 Karlsruhe, Germany
** Johannes Kepler University,Institute for Formal Models and Verification, 4040 Linz, Austria
*** University of Miami, Department of Computer Science, FL 33124-4245, USA

COMPARE 2012 complete proceedings (single PDF file)

## Table of Contents

- Preface

### Abstracts of Invited Talks

1. Regression Tests and the Inventor's Dilemma 1
   Leonardo de Moura
2. Introducing StarExec: a Cross-Community Infrastructure for Logic Solving 2
   Aaron Stump, Geoff Sutcliffe, Cesare Tinelli

### Contributed Papers

3. Evaluating the Usability of Interactive Verification Systems 3-17
   Bernhard Beckert, Sarah Grebing
4. Broadening the Scope of SMT-COMP: the Application Track 18-27
   Roberto Bruttomesso, Alberto Griggio
5. A Simple Complexity Measurement for Software Verification and Software Testing 28-31
   Zheng Cheng, Rosemary Monahan, James Power
6. Benchmarking Static Analyzers 32-35
   Pascal Cuoq, Florent Kirchner, Boris Yakobowski
7. The 2nd Verified Software Competition: Experience Report 36-49
   Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump
8. On the Organisation of Program Verification Competitions 50-59
   Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
9. Challenges in Comparing Software Verification Tools for C 60-65
   Florian Merz, Carsten Sinz, Stephan Falke
10. Behind the Scene of Solvers Competitions: the "evaluation" Experience 66-77
    Olivier Roussel

## Author Index

- Author Index

27-Jul-2012: submitted by Vladimir Klebanov
31-Jul-2012: published on CEUR-WS.org