add new benchmark script
update benchmark script
update benchmark script
update benchmark script
fix benchmark script for setminus example
add benchmark script
fix in benchmark script
add new benchmark scripts for all benchmarks
update benchmark scripts
update benchmark scripts
update benchmark scripts
fix a bug
fix a bug
implement missing option to include EDB in AnnotatedGroundProgram
Merge branch 'master' of https://github.com/hexhex/core
fix a merge conflict
fix a bug in PredicateMask
fix a bug
fix a bug in output arity check
Merge branch 'master' of https://github.com/hexhex/core