symbolic-execution icon indicating copy to clipboard operation
symbolic-execution copied to clipboard

Published 20 hours ago • verified publisher icon enzet

Add SMT-COMP results to solver diagram

Open enzet opened this issue 7 years ago • 0 comments

At least, add winners:

  • [ ] vampire,
  • [ ] veiT,
  • [ ] Redlog,
  • [ ] SMTInterpol,
  • [ ] CaDiCaL,
  • [ ] MinkeyRink,
  • [ ] COLIBRI,
  • [ ] AProVE.

enzet avatar Dec 27 '17 14:12 enzet