updated the benchmark script so that it can store solved problems in a file
updated the benchmark script so that it can store solved problems in a file

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition