Skip to content
GitLab
Commit 226bee72 authored by Pascal Fontaine's avatar Pascal Fontaine
Browse files

2.0 to 2.6, CRLF to LF

parent e64c523d
Hide whitespace changes
Inline Side-by-side
FFT/smtlib.630785.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
FFT/smtlib.630867.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
FFT/smtlib.630949.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
FFT/smtlib.631031.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
FFT/smtlib.631113.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
FFT/smtlib.631195.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
FFT/smtlib.631277.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
FFT/smtlib.640350.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
FFT/z3.630166.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(declare-sort S1 0)
......
FFT/z3.641736.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |Benchmarks from the paper: "Extending Sledgehammer with SMT Solvers" by Jasmin Blanchette, Sascha Bohme, and Lawrence C. Paulson, CADE 2011. Translated to SMT2 by Andrew Reynolds and Morgan Deters.|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unsat)
(declare-sort S1 0)
......
cas/10u05.04.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(set-info :difficulty | unknown |)
......
cas/20revert.u.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(set-info :difficulty | unknown |)
......
cas/20u10.09.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(set-info :difficulty | unknown |)
......
cas/30u15.14.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :difficulty | unknown |)
......
cas/40f10.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(set-info :difficulty | unknown |)
......
cas/40f25.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(set-info :difficulty | unknown |)
......
cas/40f50.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status sat)
(set-info :difficulty | unknown |)
......
cas/40f99.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :difficulty | unknown |)
......
cas/40m10.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :difficulty | unknown |)
......
cas/40m25.smt2
View file @ 226bee72
(set-info :smt-lib-version 2.6)
(set-logic QF_UFNRA)
(set-info :source |
Simple airplane collision avoidance system model
Submitted by Tim King (taking@cs.nyu.edu) and Clark Barrett (barrett@cs.nyu.edu)
|)
(set-info :smt-lib-version 2.0)
(set-info :category "industrial")
(set-info :status unknown)
(set-info :difficulty | unknown |)
......
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