Removed zip package

Removed temporary zip file.
diffblue · Feb 3, 2017 · 3e40add · 3e40add
1 parent def72f4
commit 3e40add
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/regression/cegis/cegis_control_benchmark_05/cegis_control_benchmark_05.zip b/regression/cegis/cegis_control_benchmark_05/cegis_control_benchmark_05.zip