diff --git a/gdplib/syngas/benchmark_result/summary/gdp.bigm_gams_baron.json b/gdplib/syngas/benchmark_result/summary/gdp.bigm_gams_baron.json
new file mode 100644
index 0000000..e73fa2f
--- /dev/null
+++ b/gdplib/syngas/benchmark_result/summary/gdp.bigm_gams_baron.json
@@ -0,0 +1 @@
+{"Problem": [{"Name": "Syngas from Methane", "Lower bound": 4669.02349422407, "Upper bound": 4669.02349422407, "Number of objectives": 1, "Number of constraints": 965.0, "Number of variables": 381.0, "Number of binary variables": null, "Number of integer variables": 61.0, "Number of continuous variables": 320.0, "Number of nonzeros": 3252.0, "Sense": "minimize"}], "Solver": [{"Name": "GAMS (47, 6, 0, 0) BM", "Status": "ok", "Return code": 0, "Message": null, "User time": 0.238000368699431, "System time": null, "Wallclock time": null, "Termination condition": "optimal", "Termination message": null, "Strategy": "gdp.bigm", "Transformation time": 0.032894134521484375}], "Solution": [{"number of solutions": 0, "number of solutions displayed": 0}]}
\ No newline at end of file
diff --git a/gdplib/syngas/benchmark_result/summary/gdp.hull_gams_baron.json b/gdplib/syngas/benchmark_result/summary/gdp.hull_gams_baron.json
new file mode 100644
index 0000000..d1048d9
--- /dev/null
+++ b/gdplib/syngas/benchmark_result/summary/gdp.hull_gams_baron.json
@@ -0,0 +1 @@
+{"Problem": [{"Name": "Syngas from Methane", "Lower bound": 4669.023494224079, "Upper bound": 4669.023494224079, "Number of objectives": 1, "Number of constraints": 1787.0, "Number of variables": 1086.0, "Number of binary variables": null, "Number of integer variables": 61.0, "Number of continuous variables": 1025.0, "Number of nonzeros": 4531.0, "Sense": "minimize"}], "Solver": [{"Name": "GAMS (47, 6, 0, 0) H", "Status": "ok", "Return code": 0, "Message": null, "User time": 0.562999863177538, "System time": null, "Wallclock time": null, "Termination condition": "optimal", "Termination message": null, "Strategy": "gdp.hull", "Transformation time": 0.17406201362609863}], "Solution": [{"number of solutions": 0, "number of solutions displayed": 0}]}
\ No newline at end of file
diff --git a/gdplib/syngas/benchmark_result/summary/gdpopt.enumerate_gams_baron.json b/gdplib/syngas/benchmark_result/summary/gdpopt.enumerate_gams_baron.json
new file mode 100644
index 0000000..40e751a
--- /dev/null
+++ b/gdplib/syngas/benchmark_result/summary/gdpopt.enumerate_gams_baron.json
@@ -0,0 +1 @@
+{"Problem": [{"Name": "Syngas from Methane", "Lower bound": -Infinity, "Upper bound": Infinity, "Number of objectives": 1, "Number of constraints": 543, "Number of variables": 362, "Number of binary variables": 46, "Number of integer variables": 0, "Number of continuous variables": 316, "Number of nonzeros": null, "Sense": "minimize", "Number of disjunctions": 23}], "Solver": [{"Name": "GDPopt (22, 5, 13) - enumerate", "Status": "ok", "User time": 3602.524702211842, "Wallclock time": 3602.524702211842, "Termination condition": "maxTimeLimit", "Iterations": 64558, "Timing": {"main_timer_start_time": 5912336.73476254, "nlp": 3539.312674898654, "total": 3602.524702211842}}]}
\ No newline at end of file
diff --git a/gdplib/syngas/benchmark_result/summary/gdpopt.loa_gams_baron.json b/gdplib/syngas/benchmark_result/summary/gdpopt.loa_gams_baron.json
new file mode 100644
index 0000000..b29a9a1
--- /dev/null
+++ b/gdplib/syngas/benchmark_result/summary/gdpopt.loa_gams_baron.json
@@ -0,0 +1 @@
+{"Problem": [{"Name": "Syngas from Methane", "Lower bound": 4669.023494224103, "Upper bound": 4669.023494224103, "Number of objectives": 1, "Number of constraints": 543, "Number of variables": 362, "Number of binary variables": 46, "Number of integer variables": 0, "Number of continuous variables": 316, "Number of nonzeros": null, "Sense": "minimize", "Number of disjunctions": 23}], "Solver": [{"Name": "GDPopt (22, 5, 13) - LOA", "Status": "ok", "User time": 9.533930663019419, "Wallclock time": 9.533930663019419, "Termination condition": "optimal", "Iterations": 3, "Timing": {"main_timer_start_time": 5838745.667142915, "mip": 1.0751727428287268, "nlp": 0.9734161710366607, "integer cut generation": 0.0012271907180547714, "total": 9.533930663019419}, "Strategy": "gdpopt.loa"}]}
\ No newline at end of file
diff --git a/gdplib/syngas/benchmark_result/summary/gdpopt.ric_gams_baron.json b/gdplib/syngas/benchmark_result/summary/gdpopt.ric_gams_baron.json
new file mode 100644
index 0000000..3567c49
--- /dev/null
+++ b/gdplib/syngas/benchmark_result/summary/gdpopt.ric_gams_baron.json
@@ -0,0 +1 @@
+{"Problem": [{"Name": "Syngas from Methane", "Lower bound": 4669.023494224103, "Upper bound": 4669.023494224103, "Number of objectives": 1, "Number of constraints": 543, "Number of variables": 362, "Number of binary variables": 46, "Number of integer variables": 0, "Number of continuous variables": 316, "Number of nonzeros": null, "Sense": "minimize", "Number of disjunctions": 23}], "Solver": [{"Name": "GDPopt (22, 5, 13) - RIC", "Status": "ok", "User time": 9.353447191417217, "Wallclock time": 9.353447191417217, "Termination condition": "optimal", "Iterations": 3, "Timing": {"main_timer_start_time": 5838764.278063893, "mip": 1.060014745220542, "nlp": 1.0067803701385856, "integer cut generation": 0.0013431208208203316, "total": 9.353447191417217}, "Strategy": "gdpopt.ric"}]}
\ No newline at end of file