Repeat the LPNMR paper benchmarks #18

New Issue

patrick · 2017-11-15T17:25:29+01:00

patrick commented

2017-11-15 17:25:29 +01:00

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 benchmarks

2017-11-15 17:27:52 +01:00

patrick added the

benchmarks

label 2017-11-18 20:23:13 +01:00

patrick closed this issue

2017-11-27 01:26:40 +01:00