Commit 2655d9be authored by Mathias Preiner's avatar Mathias Preiner
Browse files

Update status of unknown benchmarks.

parent fd317650
......@@ -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