Test Result
0 failures
466 tests
All Tests
Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
de.uni_freiburg.informatik.ultimate.epr.dawgs | 92 ms | 0 | 0 | 19 | +19 | 19 | +19 | ||
de.uni_freiburg.informatik.ultimate.logic | 0.27 sec | 0 | 0 | 37 | +37 | 37 | +37 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.convert | 31 ms | 0 | 0 | 8 | +8 | 8 | +8 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.dpll | 34 ms | 0 | 0 | 6 | +6 | 6 | +6 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.interpolate | 54 ms | 0 | 0 | 1 | +1 | 1 | +1 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.model | 0.19 sec | 0 | 0 | 8 | +8 | 8 | +8 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.muses | 3.5 sec | 0 | 0 | 52 | +52 | 52 | +52 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.proof | 0.4 sec | 0 | 0 | 13 | +13 | 13 | +13 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.smtlib2 | 11 ms | 0 | 0 | 15 | +15 | 15 | +15 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.theory.cclosure | 6 ms | 0 | 0 | 6 | +6 | 6 | +6 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.theory.linar | 14 ms | 0 | 0 | 7 | +7 | 7 | +7 | ||
de.uni_freiburg.informatik.ultimate.smtinterpol.util | 38 ms | 0 | 0 | 2 | +2 | 2 | +2 | ||
system | 18 sec | 0 | 0 | 292 | +292 | 292 | +292 |