Due to incompatible changes in the encoding (no preprocessing by default), new benchmark runs cannot be compared to the earlier data.
For this reason, the benchmarks need to be run again.
To Do
repeat the benchmarks on the easy and hard benchmark sets
select interesting configurations
Due to incompatible changes in the encoding (no preprocessing by default), new benchmark runs cannot be compared to the earlier data.
For this reason, the benchmarks need to be run again.
### To Do
- [ ] repeat the benchmarks on the `easy` and `hard` benchmark sets
- [ ] select interesting configurations
patrick
added this to the Extended Paper for TPLP Journal milestone 2017-11-15 17:25:29 +01:00
patrick
self-assigned this 2017-11-15 17:25:29 +01:00
patrick
added the task label 2017-11-15 17:25:29 +01:00
patrick
changed title from Repeat the benchmark to Repeat the LPNMR paper benchmarks2017-11-15 17:27:52 +01:00
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Due to incompatible changes in the encoding (no preprocessing by default), new benchmark runs cannot be compared to the earlier data.
For this reason, the benchmarks need to be run again.
To Do
easyandhardbenchmark setsRepeat the benchmarkto Repeat the LPNMR paper benchmarks