Laboratoire I3S

Counterexamples for each version in the benchmark Sum

  1. V0
  2. V2
  3. V4
  4. V6
  5. V8
  6. V10
  7. V12
  8. V14
  9. V16
  10. V18
  11. V20
  12. V22
  13. V24
  14. V26
  15. V28
  16. V30
  17. V32
  18. V34
  19. V36
  20. V38
  21. V40
  22. V42
  23. V44
  24. V46
  25. V48
  26. V50
  27. V52
  28. V54
  29. V56
  30. V58
  31. V60
  32. V62
  33. V64
  34. V66
  35. V68
  36. V70
  37. V72
  38. V74
  39. V76
  40. V78
  41. V80
  42. V82
  43. V84
  44. V86
  45. V88
  46. V90
  47. V92
  48. V94