Laboratoire I3S

The output of LocFaults with at most 1 deviated conditions for each version in the benchmark SquareRoot

  1. V0
  2. V1
  3. V2
  4. V3
  5. V4
  6. V5
  7. V6
  8. V7
  9. V8
  10. V9
  11. V10
  12. V11
  13. V12
  14. V13
  15. V14
  16. V15
  17. V16
  18. V17
  19. V18
  20. V19
  21. V20
  22. V21
  23. V22
  24. V23
  25. V24
  26. V25
  27. V26
  28. V27
  29. V28
  30. V29
  31. V30
  32. V31
  33. V32
  34. V33
  35. V34
  36. V35
  37. V36
  38. V37
  39. V38
  40. V39
  41. V40
  42. V41
  43. V42
  44. V43
  45. V44
  46. V45
  47. V46
  48. V47
  49. V48
  50. V49
  51. V50
  52. V51
  53. V52
  54. V53
  55. V54
  56. V55
  57. V56
  58. V57
  59. V58
  60. V59
  61. V60
  62. V61
  63. V62
  64. V63
  65. V64
  66. V65
  67. V66
  68. V67
  69. V68
  70. V69
  71. V70
  72. V71
  73. V72
  74. V73
  75. V74
  76. V75
  77. V76
  78. V77
  79. V78
  80. V79
  81. V80
  82. V81
  83. V82
  84. V83
  85. V84
  86. V85
  87. V86
  88. V87
  89. V88
  90. V89
  91. V90