CSP 2006 Competition (second round): 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 Abscon 109 ESAC

Download the above graph as a PDF file / as an EPS file
Solver Abscon 109 AC

Download the above graph as a PDF file / as an EPS file
Solver BPrologCSPSolver70a 2006-12-13

Download the above graph as a PDF file / as an EPS file
Solver buggy_2_5 2007-01-08

Download the above graph as a PDF file / as an EPS file
Solver buggy_2_5_s 2007-01-08

Download the above graph as a PDF file / as an EPS file
Solver CSP4J - Combo 2006-12-19

Download the above graph as a PDF file / as an EPS file
Solver CSP4J - MAC 2006-12-19

Download the above graph as a PDF file / as an EPS file
Solver CSP4J - MAC 2007-01-16

Download the above graph as a PDF file / as an EPS file
Solver CSPtoSAT+minisat 0.3

Download the above graph as a PDF file / as an EPS file
Solver Diarmuid-rndi 2006-12-21

Download the above graph as a PDF file / as an EPS file
Solver Diarmuid-rndi 2007-01-22

Download the above graph as a PDF file / as an EPS file
Solver Diarmuid-wtdi 2006-12-21

Download the above graph as a PDF file / as an EPS file
Solver galac 1

Download the above graph as a PDF file / as an EPS file
Solver galacJ beta 1

Download the above graph as a PDF file / as an EPS file
Solver Mistral 2006-12-04

Download the above graph as a PDF file / as an EPS file
Solver rjw-solver 2006-12-09

Download the above graph as a PDF file / as an EPS file
Solver rjw-solver 2007-01-21

Download the above graph as a PDF file / as an EPS file
Solver sat4jCSP 1.7 RC BF3

Download the above graph as a PDF file / as an EPS file
Solver SAT4JCSP-CACHED 1.7 RC BF3

Download the above graph as a PDF file / as an EPS file
Solver sugar 0.40

Download the above graph as a PDF file / as an EPS file
Solver Tramontane 2006-12-04

Download the above graph as a PDF file / as an EPS file
Solver VALCSP 3.0

Download the above graph as a PDF file / as an EPS file
Solver VALCSP 3.1

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