Classify correctly instances with datatypes

SMT-LIB · Apr 10, 2024 · be07762 · be07762
1 parent 1340e82
commit be07762
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/...NIA/20240410-certora/lia-splits/0011.smt2 → ...NIA/20240410-certora/lia-splits/0011.smt2 b/...NIA/20240410-certora/lia-splits/0011.smt2 → ...NIA/20240410-certora/lia-splits/0011.smt2
@@ -1,5 +1,5 @@
 (set-info :smt-lib-version 2.6)
-(set-logic QF_UFNIA)
+(set-logic QF_UFDTNIA)
 (set-info :source |
 Generated by: Certora
 Generated on: 2024-04-10

diff --git a/...l/QF_UFNIA/20240410-certora/lia/0014.smt2 → ...QF_UFDTNIA/20240410-certora/lia/0014.smt2 b/...l/QF_UFNIA/20240410-certora/lia/0014.smt2 → ...QF_UFDTNIA/20240410-certora/lia/0014.smt2
@@ -1,5 +1,5 @@
 (set-info :smt-lib-version 2.6)
-(set-logic QF_UFNIA)
+(set-logic QF_UFDTNIA)
 (set-info :source |
 Generated by: Certora
 Generated on: 2024-04-10

diff --git a/...NIA/20240410-certora/nia-splits/0010.smt2 → ...NIA/20240410-certora/nia-splits/0010.smt2 b/...NIA/20240410-certora/nia-splits/0010.smt2 → ...NIA/20240410-certora/nia-splits/0010.smt2
@@ -1,5 +1,5 @@
 (set-info :smt-lib-version 2.6)
-(set-logic QF_UFNIA)
+(set-logic QF_UFDTNIA)
 (set-info :source |
 Generated by: Certora
 Generated on: 2024-04-10

diff --git a/...l/QF_UFNIA/20240410-certora/nia/0013.smt2 → ...QF_UFDTNIA/20240410-certora/nia/0013.smt2 b/...l/QF_UFNIA/20240410-certora/nia/0013.smt2 → ...QF_UFDTNIA/20240410-certora/nia/0013.smt2
@@ -1,5 +1,5 @@
 (set-info :smt-lib-version 2.6)
-(set-logic QF_UFNIA)
+(set-logic QF_UFDTNIA)
 (set-info :source |
 Generated by: Certora
 Generated on: 2024-04-10