more provers in bench.ini (variations upon zipperposition)
more provers in bench.ini (variations upon zipperposition)

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