new test data
added new benchmark script
new test
further work
added iteration over constraints