Commit b994056b authored by Mathias Preiner's avatar Mathias Preiner
Browse files

Squashed commit of the following:

commit ab43a56f
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Sat May 12 11:14:59 2018 -0700

    Update status of unknown benchmarks.
parent 10b6f63e
Pipeline #243 failed with stages
(set-info :smt-lib-version 2.6)
(set-logic QF_IDL)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(declare-fun var_1 () Bool)
(declare-fun var_2 () Bool)
(declare-fun var_3 () Bool)
(set-info :smt-lib-version 2.6)
(set-logic QF_IDL)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(declare-fun var_1 () Bool)
(declare-fun var_2 () Bool)
(declare-fun var_3 () Bool)
(set-info :smt-lib-version 2.6)
(set-logic QF_IDL)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(declare-fun var_1 () Bool)
(declare-fun var_2 () Bool)
(declare-fun var_3 () Bool)
(set-info :smt-lib-version 2.6)
(set-logic QF_IDL)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status sat)
(declare-fun var_1 () Bool)
(declare-fun var_2 () Bool)
(declare-fun var_3 () Bool)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment