Merge pull request #10 from aehyvari/certora-2024

Certora benchmark submission 2024
SMT-LIB · Apr 11, 2024 · 33bb3f9 · 33bb3f9
2 parents 437fbc4 + be07762
commit 33bb3f9
Show file tree

Hide file tree

Showing 210 changed files with 1,515,735 additions and 0 deletions.
diff --git a/non-incremental/QF_UFDTNIA/20240410-certora/lia-splits/0011.smt2 b/non-incremental/QF_UFDTNIA/20240410-certora/lia-splits/0011.smt2
diff --git a/non-incremental/QF_UFDTNIA/20240410-certora/lia/0014.smt2 b/non-incremental/QF_UFDTNIA/20240410-certora/lia/0014.smt2
diff --git a/non-incremental/QF_UFDTNIA/20240410-certora/nia-splits/0010.smt2 b/non-incremental/QF_UFDTNIA/20240410-certora/nia-splits/0010.smt2
diff --git a/non-incremental/QF_UFDTNIA/20240410-certora/nia/0013.smt2 b/non-incremental/QF_UFDTNIA/20240410-certora/nia/0013.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0000.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0000.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0001.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0001.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0002.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0002.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0003.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0003.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0004.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0004.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0005.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0005.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0006.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0006.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0007.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0007.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0008.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0008.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0009.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0009.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0010.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0010.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0012.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0012.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0013.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0013.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0014.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0014.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0015.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0015.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0016.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0016.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0017.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0017.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0018.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0018.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0019.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0019.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0020.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0020.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0021.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0021.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0022.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0022.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0023.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0023.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0024.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0024.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0025.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0025.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0026.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0026.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0027.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0027.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0028.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0028.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0029.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0029.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0030.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0030.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0031.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0031.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0032.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0032.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0033.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0033.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0034.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0034.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0035.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0035.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0036.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0036.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0037.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0037.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0038.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0038.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0039.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0039.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0040.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0040.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0041.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0041.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0042.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0042.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0043.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0043.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0044.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0044.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0045.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0045.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0046.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0046.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0047.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0047.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0048.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0048.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0049.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0049.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0050.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0050.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0051.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0051.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0052.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0052.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0053.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia-splits/0053.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0000.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0000.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0001.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0001.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0002.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0002.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0003.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0003.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0004.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0004.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0005.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0005.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0006.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0006.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0007.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0007.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0008.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0008.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0009.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0009.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0010.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0010.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0011.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0011.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0012.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0012.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0013.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0013.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0015.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0015.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0016.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0016.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0017.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0017.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0019.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0019.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0021.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0021.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0022.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0022.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0024.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0024.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0026.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0026.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0027.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0027.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0029.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0029.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0030.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0030.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0031.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0031.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0032.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0032.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0033.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0033.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0034.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0034.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0035.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0035.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0036.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0036.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0037.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0037.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0038.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0038.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0039.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0039.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0040.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0040.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0041.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0041.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0042.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0042.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0043.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0043.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0044.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0044.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0045.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0045.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0046.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0046.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0047.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0047.smt2
diff --git a/non-incremental/QF_UFNIA/20240410-certora/lia/0048.smt2 b/non-incremental/QF_UFNIA/20240410-certora/lia/0048.smt2