From 4ca48ee10aa7d6097782e5b6301d61e6e0453953 Mon Sep 17 00:00:00 2001 From: Francisco Chicano Date: Wed, 24 Apr 2019 12:27:42 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d2e7b18..002d6e9 100644 --- a/README.md +++ b/README.md @@ -32,7 +32,7 @@ The instances were randomly generated using the options. The seed for generating java -jar drils+dpx-maxsat ``` -For the experiments of the paper some of the MAX-SAT weighted and unweighted incomplete benchmark was used. The ZIP files with the instances can be found at (http://mse17.cs.helsinki.fi/benchmarks.html). The MAX-SAT weighted instances used in the experiments are listed in file (maxsat-instances-weigthed-evocop2019.txt). The MAX-SAT unweighted instances used in the experiments are listed in file (maxsat-instances-unweigthed-evocop2019.txt). +For the experiments of the paper some of the MAX-SAT weighted and unweighted incomplete benchmark was used. The ZIP files with the instances can be found at [http://mse17.cs.helsinki.fi/benchmarks.html](http://mse17.cs.helsinki.fi/benchmarks.html). The MAX-SAT weighted instances used in the experiments are listed in file [maxsat-instances-weigthed-evocop2019.txt](maxsat-instances-weigthed-evocop2019.txt). The MAX-SAT unweighted instances used in the experiments are listed in file [maxsat-instances-unweigthed-evocop2019.txt](maxsat-instances-unweigthed-evocop2019.txt). * For DRILS with PX or APX see the instructions below for the GECCO 2018 paper