Passed

de.uni_freiburg.informatik.ultimate.smtinterpol.convert.TermCompilerTest.testAnd

Took 0 ms.