add diverse solutions on fish benchmark

1e79d5a4 · Simon de Givry · 89405be6 · 1e79d5a4 · 1e79d5a4 · 1e79d5a4
Commit 1e79d5a4 authored 2 years ago by Simon de Givry
--- a/real/fish/esturgeon0.sol.xz
+++ b/real/fish/esturgeon0.sol.xz
--- a/real/fish/esturgeon1.sol.xz
+++ b/real/fish/esturgeon1.sol.xz
--- a/real/fish/esturgeon10.sol.xz
+++ b/real/fish/esturgeon10.sol.xz
--- a/real/fish/esturgeon2.sol.xz
+++ b/real/fish/esturgeon2.sol.xz
--- a/real/fish/esturgeon3.sol.xz
+++ b/real/fish/esturgeon3.sol.xz
--- a/real/fish/esturgeon4.sol.xz
+++ b/real/fish/esturgeon4.sol.xz
--- a/real/fish/esturgeon5.sol.xz
+++ b/real/fish/esturgeon5.sol.xz
--- a/real/fish/esturgeon6.sol.xz
+++ b/real/fish/esturgeon6.sol.xz
--- a/real/fish/esturgeon7.sol.xz
+++ b/real/fish/esturgeon7.sol.xz
--- a/real/fish/esturgeon8.sol.xz
+++ b/real/fish/esturgeon8.sol.xz
--- a/real/fish/esturgeon9.sol.xz
+++ b/real/fish/esturgeon9.sol.xz