Repeat the LPNMR paper benchmarks #18
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
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
easy
andhard
benchmark setsRepeat the benchmarkto Repeat the LPNMR paper benchmarks