11 duplicated lines in:
  - Sources/SolToBoogieTest/Program.cs (48:67, 34%)
  - Sources/VeriSol/Program.cs (96:115, 16%)

9 duplicated lines in:
  - Sources/SolToBoogieTest/RegressionExecutor.cs (142:150, 5%)
  - Sources/VeriSol/Program.cs (37:45, 13%)

6 duplicated lines in:
  - Sources/SolToBoogieTest/RegressionExecutor.cs (134:139, 3%)
  - Sources/VeriSol/Program.cs (29:34, 8%)

6 duplicated lines in:
  - Sources/SolToBoogieTest/RegressionExecutor.cs (220:225, 3%)
  - Sources/VeriSol/VeriSolExecuter.cs (409:414, 2%)