Commit 4d40eb0e authored by Mathias Preiner's avatar Mathias Preiner
Browse files

Update status.

parent c8d833d1
......@@ -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 lam0n0 () Int)
(declare-fun lam0n1 () 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_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_i1 () Int)
(declare-fun lam0n0 () Int)
(declare-fun lam0n1 () 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_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_i1 () Int)
(declare-fun Nl2main_j1 () 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_j1 () Int)
(declare-fun Nl2main_i2 () 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_n1 () Int)
(declare-fun Nl2main_i1 () Int)
(declare-fun Nl2main_j1 () 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_n1 () Int)
(declare-fun Nl2main_i1 () Int)
(declare-fun Nl2main_j1 () 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_n1 () Int)
(declare-fun Nl2main_i1 () Int)
(declare-fun Nl2main_j1 () 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_a1 () Int)
(declare-fun Nl2main_b1 () 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_a1 () Int)
(declare-fun Nl2main_b1 () 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_a1 () Int)
(declare-fun Nl2main_b1 () 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 Nl5main_x1 () Int)
(declare-fun Nl5main_y1 () Int)
(declare-fun Nl5main_res1 () 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_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_i1 () Int)
(declare-fun Nl2main_range1 () 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_j1 () Int)
(declare-fun Nl2main_i2 () 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_x2 () 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 Nl5main_i1 () Int)
(declare-fun Nl5main_j1 () Int)
(declare-fun Nl5main_i2 () 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 Nl2arg11 () Int)
(declare-fun lam0n0 () Int)
(declare-fun lam0n1 () 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 Nl2arg11 () Int)
(declare-fun Nl2arg12 () Int)
(declare-fun lam0n0 () 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