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

0 failures
15 tests
Took 11 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
APITest7 ms0010+1010+10
AssumptionTest4 ms005+55+5