Updated CEGIS control benchmarks.

Removed legacy benchmarks and added satelliteB2 benchmark.

Author: pkesseli

regression/cegis/cegis_control_benchmark_04/cruisecontrol02.c renamed to regression/cegis/cegis_control_benchmark_01/SatelliteB2.c

@@ -0,0 +1 @@
+struct anonymous3 controller={ .den={ 1.000000, (double)-4.200000e-1f, (double)-3.465000e-1f, (double)-3.915000e-2f }, .den_uncertainty={ 0.000000, 0.000000, 0.000000, 0.000000 }, .den_size=4, .num={ 2.880000e+0, (double)-4.896000e+0f, 2.074000e+0 }, .num_uncertainty={ 0.000000, 0.000000, 0.000000 }, .num_size=3 };

regression/cegis/cegis_control_benchmark_01/controller.h

@@ -0,0 +1 @@
+struct anonymous3 plant={ .den={ 1.000000, (double)-2.000000f, 1.000000 }, .den_uncertainty={ 0.000000, 0.000000, 0.000000 }, .den_size=3, .num={ 1.250000e-1, 1.250000e-1 }, .num_uncertainty={ 0.000000, 0.000000 }, .num_size=2 };