add results
add instances
add solution checker