Тесты SMT-LIB

Я хотел бы протестировать некоторые решатели SMT, и репозиторий SMT-LIB Benchmark [1,2] кажется хорошим местом для начала.

Однако ссылка не работает уже как минимум несколько дней. Кто-нибудь знает какое-либо другое место, где я могу найти эти тесты?

[1] http://www.smtlib.org/

[2] http://smtexec.org/exec/smtlib-portal-benchmarks.php

ИЗМЕНИТЬ:

Ориентиры теперь здесь:

[1] http://smtlib.cs.uiowa.edu/benchmarks.shtml


z3 smt bitvector
person JC1    schedule 02.04.2014    source источник

Ответы (2)


arrow_upward
2
arrow_downward

Сервер, на котором размещены тесты SMTLIB, сломался и в настоящее время ремонтируется. Согласно информации, которую я получил от Чезаре Тинелли, он должен вернуться в сеть где-то на этой неделе.

person Christoph Wintersteiger    schedule 08.04.2014

arrow_upward
1
arrow_downward

Теперь сервер находится по адресу: http://smtlib.cs.uiowa.edu/ и тесты сейчас находятся по адресу: http://smtlib.cs.uiowa.edu/benchmarks.shtml. Я отредактировал вопрос, чтобы избежать путаницы.

person vy32    schedule 01.12.2019
comment
Ссылка изменилась в какой-то момент в течение последних 5 лет. Оба smtlib.cs.uiowa.edu (= smtlib.org) и starexec.org работают в данный момент. - person Christoph Wintersteiger; 02.12.2019