Commit 117346ed authored by Mathias Preiner's avatar Mathias Preiner
Browse files

Update status of unknown benchmarks.

parent 72509a23
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_i1 () Int)
(declare-fun Nl2main_w1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_i1 () Int)
(declare-fun Nl2main_w1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_i1 () Int)
(declare-fun Nl2main_w1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_i1 () Int)
(declare-fun Nl2main_w1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun Nl2main_z1 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun Nl2main_z1 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun Nl2main_z1 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun Nl2main_z1 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun Nl2main_z1 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl6main_i1 () Int)
(declare-fun Nl6main_i2 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun lam0n0 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun Nl2main_z1 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun Nl2main_z1 () Int)
......
......@@ -9,7 +9,7 @@ Target solver: barcelogic
|)
(set-info :license "https://creativecommons.org/licenses/by/4.0/")
(set-info :category "industrial")
(set-info :status unknown)
(set-info :status unsat)
(declare-fun Nl2main_x1 () Int)
(declare-fun Nl2main_y1 () Int)
(declare-fun Nl2main_z1 () Int)
......
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