Passed

de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate.InterpolatorTest.testEq

Standard Error

INFO - colorLiteral: (! (= (+ a (* (- 1.0) b)) 0.0) :quotedLA)
INFO - colorLiteral: (! (= b a) :quotedCC)
INFO - colorLiteral: (! (= (+ a (* (- 1.0) b)) 0.0) :quotedLA)
INFO - colorLiteral: (! (= a b) :quotedCC)
INFO - colorLiteral: (! (= (+ a (* (- 1.0) b)) 0.0) :quotedLA)
INFO - colorLiteral: (! (= b a) :quotedCC)
INFO - colorLiteral: (! (= (+ a (* (- 1.0) b)) 0.0) :quotedLA)
INFO - colorLiteral: (! (= a b) :quotedCC)
INFO - colorLiteral: (! (= (+ a (* (- 1.0) b)) 0.0) :quotedLA)
INFO - colorL
...[truncated 14616 chars]...
:quotedLA)
INFO - colorLiteral: (! (= (+ (* 2.0 b) 2.0) (+ (* 2.0 a) 2.0)) :quotedCC)
INFO - colorLiteral: (! (= (+ a (* (- 1.0) b)) 0.0) :quotedLA)
INFO - colorLiteral: (! (= (+ (* 2.0 a) 2.0) (+ (* 2.0 b) 2.0)) :quotedCC)
INFO - colorLiteral: (! (= (+ a (* (- 1.0) b)) 0.0) :quotedLA)
INFO - colorLiteral: (! (= (+ (* 2.0 b) 2.0) (+ (* 2.0 a) 2.0)) :quotedCC)
INFO - colorLiteral: (! (= (+ a (* (- 1.0) b)) 0.0) :quotedLA)
INFO - colorLiteral: (! (= (+ (* 2.0 a) 2.0) (+ (* 2.0 b) 2.0)) :quotedCC)