Skip to content
Snippets Groups Projects
Commit 6ba95ce2 authored by fludwig's avatar fludwig
Browse files

explain howto scip solver: compilation and run tests

parent be5fdbb2
No related branches found
No related tags found
No related merge requests found
......@@ -48,6 +48,28 @@ Edge cases like infinite solution, unfeasible...
well-known [problems](https://plato.asu.edu/ftp/lpopt.html) we should use as benchmarks
HOWTO:
* `cd miplib`
- `cd scipoptsuite-8.0.4`
- `mkdir build && cd build && cmake .. && make -j8 && make -j8 test`
* `make checker`, using the local `checker/gmp` (already hardcoded in makefile)
* `make -j8 test TEST=testthetest` or any other file which contains a list of existing `.mps.gz`s
#### Smallest instances sorted by byte size
```
797 instances/miplib2017/revised-submissions/miplib2010_publically_available/instances/markshare_4_0.mps.gz
2179 instances/miplib2017/revised-submissions/miplib2010_publically_available/instances/markshare2.mps.gz
3872 instances/miplib2017/revised-submissions/miplib2010_publically_available/instances/enlight_hard.mps.gz
4005 instances/miplib2017/revised-submissions/miplib2010_publically_available/instances/pk1.mps.gz
5686 instances/miplib2017/revised-submissions/miplib2010_publically_available/instances/neos5.mps.gz
5884 instances/miplib2017/revised-submissions/Simon_Bowly/instances/gen-ip054.mps.gz
6320 instances/miplib2017/revised-submissions/miplib2010_publically_available/instances/neos859080.mps.gz
7077 instances/miplib2017/revised-submissions/miplib2010_timtab1/instances/timtab1.mps.gz
8706 instances/miplib2017/revised-submissions/Jeff_Linderoth2/instances/neos-3046615-murg.mps.gz
```
Most libraries already have a dual solver: use that if available!
#### HiGHS
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment