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)