Commit da86a4ef authored by Pascal Fontaine's avatar Pascal Fontaine
Browse files

2.0 to 2.5, CRLF to LF

parent 8652edad
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_10 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_41 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_6 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_26 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_14 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_27 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_33 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_5 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_21 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_6 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_26 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_7 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_33 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_3 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_30 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_31 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_8 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_3 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_6 () Int)
......
(set-info :smt-lib-version 2.5)
(set-logic ALIA)
(set-info :source |piVC|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-fun V_33 () 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