Commit 59f913ba authored by Pascal Fontaine's avatar Pascal Fontaine
Browse files

To version 2.6

parent 49939ebf
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
File suppressed by a .gitattributes entry or the file's encoding is unsupported.
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
......
(set-info :smt-lib-version 2.6)
(set-logic QF_AUFLIA)
(set-info :source |
These benchmarks come from SMT-queries of the infinite-state
......@@ -9,7 +10,6 @@
array, sort an array, etc.)
Generated by Roberto Bruttomesso.
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
; Declaring all variables
(declare-fun x () Int)
Supports Markdown
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