File: fuzz_1.smtv1.smt2

package info (click to toggle)
cvc4 1.8-2
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 69,876 kB
  • sloc: cpp: 274,686; sh: 5,833; python: 1,893; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2
file content (5 lines) | stat: -rw-r--r-- 849 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
 
(set-option :incremental false)
(set-info :status unsat)
(set-logic QF_LRA)
(declare-fun v0 () Real)
(check-sat-assuming ( (let ((_let_0 (/ 11 (- 11)))) (let ((_let_1 (not (and (< (* v0 1.0) (ite (< v0 _let_0) (* v0 1.0) _let_0)) (< (* v0 1.0) (* v0 1.0)))))) (let ((_let_2 (not (ite (= (=> (= (ite (< v0 _let_0) (* v0 1.0) (* v0 1.0)) _let_0) (< v0 _let_0)) (=> (= (ite (< v0 _let_0) (* v0 1.0) (* v0 1.0)) _let_0) (< v0 _let_0))) (= (=> (= (ite (< v0 _let_0) (* v0 1.0) (* v0 1.0)) _let_0) (< v0 _let_0)) (=> (= (ite (< v0 _let_0) (* v0 1.0) (* v0 1.0)) _let_0) (< v0 _let_0))) (= (= (< v0 (ite (< (* v0 1.0) (* v0 1.0)) v0 _let_0)) (< v0 (ite (< (* v0 1.0) (* v0 1.0)) v0 _let_0))) (= (< v0 (ite (< (* v0 1.0) (* v0 1.0)) v0 _let_0)) (< v0 (ite (< (* v0 1.0) (* v0 1.0)) v0 _let_0)))))))) (xor (xor _let_2 _let_2) (not (or _let_1 _let_1)))))) ))