Skip to content

Commit

Permalink
Change logic of 20240414-funcprobs to UFNIRA
Browse files Browse the repository at this point in the history
  • Loading branch information
@hansjoergschurr
hansjoergschurr committed Apr 22, 2024
1 parent 825da30 commit 02e00a1
Show file tree
Hide file tree
Showing 266 changed files with 266 additions and 266 deletions.
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C10_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C11_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C12_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C13_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C1_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C2_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C3_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C4_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C5_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C6_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C7_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C8_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C9_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_C9a_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U10_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U11_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U12_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U13_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U14_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U15_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U15_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U16_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U17_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U19_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U1_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U20_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U20_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U20_sol3.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U21_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U22_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U23_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U24_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U25_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U25_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U26_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U26_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U27_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U29_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U2_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U33_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U37_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U39_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U3_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U40_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U41_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U41_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U41_sol3.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U42_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U43_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U44_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U44_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U45_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U45_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U46_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U46_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U48_sol1.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
2 changes: 1 addition & 1 deletion non-incremental/UFNIRA/20240414-funcprobs/check/problem_U48_sol2.smt2
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-info :smt-lib-version 2.6)
(set-logic AUFNIRA)
(set-logic UFNIRA)
(set-info :source |
Generated by: Mirek Olšák, Mikoláš Janota, Chad E. Brown
Generated on: 2024-04-14
Expand Down
Loading

0 comments on commit 02e00a1

Please sign in to comment.