2018 XCSP3 competition: sequential solvers tracks: memory versus time to solve an instance

The figures below represent how much time and memory a solver used to provide an answer. The x axis is the time used (in seconds) and the y axis is the amount of memory used.

These graphs are based on a sampling of the memory usage of the solver which is performed every ten seconds. Therefore, this data is not necessarily very accurate since a solver may allocate and deallocate a lot of memory in ten seconds. Besides, when a solvers runs for less than ten seconds, no information on its memory usage could be recorded. Also, solvers written in the Java programming language usually allocate all their memory at once at the beginning of the program and therefore the reported memory is not very meaningful.

Solver BTD 2018.06.11_3 (complete)

Download the above graph as a PDF file / as an EPS file
Solver BTD 2018.07.27_3 (complete)

Download the above graph as a PDF file / as an EPS file
Solver BTD_12 2018-06-11_12 (complete)

Download the above graph as a PDF file / as an EPS file
Solver BTD_12 2018.07.27_12 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Choco-solver 4.0.7 seq (493a269) (complete)

Download the above graph as a PDF file / as an EPS file
Solver Choco-solver 4.0.7b seq (e747e1e) (complete)

Download the above graph as a PDF file / as an EPS file
Solver Concrete 3.9.2 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Concrete 3.9.2-SuperNG (complete)

Download the above graph as a PDF file / as an EPS file
Solver Concrete 3.8 2018-06-13 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Concrete 3.8-SuperNG 2018-06-13 (complete)

Download the above graph as a PDF file / as an EPS file
Solver cosoco 1.12 (complete)

Download the above graph as a PDF file / as an EPS file
Solver macht 2018.06.11 (complete)

Download the above graph as a PDF file / as an EPS file
Solver macht 2018.07.27 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Mistral-2.0 2018-06-15 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Mistral-2.0 2018-08-01 (complete)

Download the above graph as a PDF file / as an EPS file
Solver OscaR - Conflict Ordering 2018-07-02 (complete)

Download the above graph as a PDF file / as an EPS file
Solver OscaR - Conflict Ordering 2018-08-14 (complete)

Download the above graph as a PDF file / as an EPS file
Solver OscaR - Conflict Ordering with restarts 2018-07-02 (complete)

Download the above graph as a PDF file / as an EPS file
Solver OscaR - Conflict Ordering with restarts 2018-08-14 (complete)

Download the above graph as a PDF file / as an EPS file
Solver OscaR - Conflict Ordering with restarts 2018-08-17 (complete)

Download the above graph as a PDF file / as an EPS file
Solver OscaR - Hybrid 2018-07-02 (complete)

Download the above graph as a PDF file / as an EPS file
Solver OscaR - Hybrid 2018-08-14 (complete)

Download the above graph as a PDF file / as an EPS file
Solver PicatSAT 2018-06-15 (complete)

Download the above graph as a PDF file / as an EPS file
Solver PicatSAT 2018-08-02 (complete)

Download the above graph as a PDF file / as an EPS file
Solver PicatSAT 2018-08-14 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Sat4j-CSP 2018-07-11 (complete)

Download the above graph as a PDF file / as an EPS file
Solver scop both+MapleCOMSPS (2018-06-13) (complete)

Download the above graph as a PDF file / as an EPS file
Solver scop both+MapleCOMSPS (2018-07-31) (complete)

Download the above graph as a PDF file / as an EPS file
Solver scop order+MapleCOMSPS (2018-06-13) (complete)

Download the above graph as a PDF file / as an EPS file
Solver scop order+MapleCOMSPS (2018-07-31) (complete)

Download the above graph as a PDF file / as an EPS file