Name Last Update
2017-BuchwaldFried Loading commit data...
20170501-Heizmann-UltimateAutomizer Loading commit data...
20170531-Hansen-Check Loading commit data...
RWS Loading commit data...
VS3 Loading commit data...
asp Loading commit data...
bench_ab Loading commit data...
bmc-bv Loading commit data...
bmc-bv-svcomp14 Loading commit data...
brummayerbiere Loading commit data...
brummayerbiere2 Loading commit data...
brummayerbiere3 Loading commit data...
brummayerbiere4 Loading commit data...
bruttomesso Loading commit data...
calypto Loading commit data...
challenge Loading commit data...
check2 Loading commit data...
crafted Loading commit data...
dwp_formulas Loading commit data...
ecc Loading commit data...
fft Loading commit data...
float Loading commit data...
galois Loading commit data...
gulwani-pldi08 Loading commit data...
log-slicing Loading commit data...
mcm Loading commit data...
pipe Loading commit data...
pspace Loading commit data...
rubik Loading commit data...
sage Loading commit data...
spear Loading commit data...
stp Loading commit data...
stp_samples Loading commit data...
tacas07 Loading commit data...
uclid Loading commit data...
uclid_contrib_smtcomp09 Loading commit data...
uum Loading commit data...
wienand-cav2008 Loading commit data...
README.md Loading commit data...

PLEASE do not use the download button on the top right; use this link instead: http://smt-lib.loria.fr/zip/QF_BV.zip

This is a repository of SMT-LIB benchmarks. See http://smtlib.org/ for more information about the SMT-LIB initiative.

This repository contains the benchmarks in QF_BV logic. See http://smtlib.org/logics.shtml for a description of the SMT-LIB logics.

The benchmarks in this repository are distributed under the Creative Commons Attribution 4.0 International License, unless otherwise specified in the benchmark itself (see :license info attribute in the file). If your benchmarks are included in this repository and you do not agree with this licence, please contact the SMT-LIB co-ordinators.

To clone this repository on your computer, use the git command:

git clone https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_BV.git