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

Squashed commit of the following:

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

    Update status of unknown benchmarks.
parent fd317650
Pipeline #242 failed with stages
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status unsat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status unsat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status unsat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status unsat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status unsat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status sat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
......@@ -10,7 +10,7 @@ Publications: "An Abstract Decision Procedure for Satisfiability in the Theory o
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "random")
(set-info :status unknown)
(set-info :status unsat)
(declare-datatypes ((nat 0)(list 0)(tree 0)) (((succ (pred nat)) (zero))
......
Markdown is supported
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