Test Result : de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure

0 failures
6 tests
Took 6 ms.

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
CongruentAddTest2 ms005+55+5
PairHashTest4 ms001+11+1