2019 XCSP3 competition: fast COP track (sequential and parallel solvers): search progress per solver

Quality of the solution as a function of time for solver PicatSAT 2019-09-12 (complete)

1 2 3

Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml Download the above graph as a PDF file / as an EPS file	PizzaVoucher/ PizzaVoucher-12a_c18.xml Download the above graph as a PDF file / as an EPS file
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/ GolombRuler-a3v18-10_c18.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/ GolombRuler-a3v18-09_c18.xml Download the above graph as a PDF file / as an EPS file	PeacableArmies/ PeacableArmies-m1-07_c18.xml Download the above graph as a PDF file / as an EPS file
PeacableArmies/ PeacableArmies-m2-07_c18.xml Download the above graph as a PDF file / as an EPS file

1 2 3