Participants of the Competition
(This is not a ranking, the list is in alphabetic order.)
-
BLAST 2.7.1
Pavel Shved, Mikhail Mandrykin, and Vadim Mutilin
Russian Academy of Sciences, Russia -
CPAchecker-Explicit 1.1.10
Stefan Löwe
University of Passau, Germany -
CPAchecker-SeqCom 1.1.10
Philipp Wendler
University of Passau, Germany -
CSeq 2012-10-22
Bernd Fischer, Omar Inverso, and Gennaro Parlato
University of Southampton, UK -
ESBMC 1.20
Jeremy Morse, Lucas Cordeiro, Denis Nicole, and Bernd Fischer
University of Southampton, UK / UFAM, Brazil -
LLBMC 2012-10-23
Stephan Falke, Florian Merz, and Carsten Sinz
Karlsruhe Institute of Technology, Germany -
Predator 2012-10-20
Kamil Dudka, Petr Muller, Petr Peringer, and Tomas Vojnar
Brno University of Technology, Czech Republic -
Symbiotic 2012-10-21
Jiri Slaby, Jan Strejcek, and Marek Trtík
Masaryk University at Brno, Czech Republic -
Threader 0.92
Corneliu Popeea and Andrey Rybalchenko
TU Munich, Germany -
UFO 2012-10-22
Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, and Marsha Chechik
University of Toronto, Canada / SEI, USA -
Ultimate 2012-10-25
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, and Andreas Podelski
University of Freiburg, Germany
Competition Candidates
In order to ensure reproducibility of the competition results, the following table provides the original tool packages and the original system descriptions.
Candidate | Tool | Tool SHA | Paper | Paper SHA |
BLAST 2.7.1 | blast-2.7.1-bin-x86_64.tgz | 44e50cee9878794b3bd7803519903c90752535fa | svcomp2013_submission_01_BLAST.pdf | 6e3d7b584cfe712b6f8079d7b384b387da7f1398 |
CPAchecker-Explicit 1.1.10 | CPAchecker-1.1.10-svcomp13-unix.tar.bz2 | 26722243cfb82452c9f4aaa50948da3038891898 | svcomp2013_submission_11_CPAchecker-Explicit.pdf | 3b6abdf0ec81f1394a1fe78253d44fbe830197a4 |
CPAchecker-SeqCom 1.1.10 | CPAchecker-1.1.10-svcomp13-unix.tar.bz2 | 26722243cfb82452c9f4aaa50948da3038891898 | svcomp2013_submission_03_CPAchecker-SeqCom.pdf | 63cd39c450492904400e4a8e600dbef2307f0aa8 |
CSeq 2012-10-22 | cseq.zip | 96ec923144aab7ef0e355a024d15ad7f8415b9e7 | svcomp2013_submission_09_CSeq.pdf | ea348089ecc7ed8be1b2788a8cc97c6c0a196988 |
ESBMC 1.20 | esbmc-v1.20-linux-64.zip | 914ab33625cfb6b30a6fdef4f6f264e1eb6148b4 | svcomp2013_submission_05_ESBMC.pdf | b3ec1dc2af73df847a1606b0e360c90fb28fcdf7 |
LLBMC 2012-10-23 | llbmc-sv-comp-13.zip | cbaac63f950c5fb442cbe1ff177419a47d7a12e8 | svcomp2013_submission_10_LLMBC.pdf | 7ed353a11e78eadfa9419d96f81fd8c2016915c6 |
Predator 2012-10-20 | predator-2012-10-20-f13c949.tar.gz | 474353ec1295f7db5d5d144aa9eedababa980216 | svcomp2013_submission_06_Predator.pdf | 365cae8914558417ed7ccfe9c522081d5f925c3d |
Symbiotic 2012-10-21 | symbiotic.tar.bz2 | dbac06b24768ac374ae3b65a8c19e3335f820509 | svcomp2013_submission_04_Symbiotic.pdf | 421ca6815bf4e6b8fa0d411921ba1ba20ef200c5 |
Threader 2012-10-21 | threader.tgz | cd1b55400e3fc2505cb9434f97626a7a5f8c4efa | svcomp2013_submission_07_Threader.pdf | e67801b3fc93b3485ed75e38a9945f660d2781ce |
UFO 2012-10-22 | ufo-svcomp13.tar.gz | e4a8b43bb3140511c9bb2e00aa276b4ce700633c | svcomp2013_submission_02_UFO.pdf | 29dda9ea36f4250ed5b40b191af0a51d47057bf9 |
Ultimate 2012-10-25 | UltimateCommandline.zip | 9d318c422614868791477088c8a73b7096cb0728 | svcomp2013_submission_08_Ultimate.pdf | 4c821fe9aa6628678d08f3e113931cd1fbe32311 |