Test Result : de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate

0 failures
1 tests
Took 54 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
InterpolatorTest54 ms001+11+1