Ultimate Referee SV-COMP 2026

Dietsch, Daniel; Bentele, Manuel; Ebbinghaus, Marcel; Heizmann, Matthias; Klumpp, Dominik; Podelski, Andreas; Schüssele, Frank

doi:10.5281/zenodo.17735453

Published November 27, 2025 | Version 0.3.1-dev-00d43373f5

Software Open

Ultimate Referee SV-COMP 2026

1. University of Freiburg

This is Ultimate Referee's competition version for SV-COMP 2026. Visit our Github repository for the latest version or our website to try it for yourself.

Files

ureferee.zip

Files (122.2 MB)

Name	Size	Download all
ureferee.zip md5:d1d03f3eaeff7172606dc6bcf3846af4	122.2 MB	Preview Download

451

Views

Downloads

Show more details

	All versions	This version
Views	451	152
Downloads	55	24
Data volume	6.8 GB	2.9 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

License: GNU Lesser General Public License v3.0 or later

Permissions of this copyleft license are conditioned on making available complete source code of licensed works and modifications under the same license or the GNU GPLv3. Copyright and license notices must be preserved. Contributors provide an express grant of patent rights. However, a larger work using the licensed work through interfaces provided by the licensed work may be distributed under different terms and without source code for the larger work. Read more

Technical metadata

Created: November 27, 2025
Modified: November 27, 2025

Ultimate Referee SV-COMP 2026

Authors/Creators

Description

Files

ureferee.zip

Files (122.2 MB)