2018 XCSP3 competition: sequential solvers tracks: search progress per solver

Quality of the solution as a function of time for solver Sat4j-CSP 2018-07-11 (complete)

1 2

NurseRostering/ NurseRostering-04_c18.xml Download the above graph as a PDF file / as an EPS file	NurseRostering/ NurseRostering-05_c18.xml Download the above graph as a PDF file / as an EPS file
NurseRostering/ NurseRostering-09_c18.xml Download the above graph as a PDF file / as an EPS file	NurseRostering/ NurseRostering-01_c18.xml Download the above graph as a PDF file / as an EPS file
NurseRostering/ NurseRostering-03_c18.xml Download the above graph as a PDF file / as an EPS file	NurseRostering/ NurseRostering-07_c18.xml Download the above graph as a PDF file / as an EPS file
NurseRostering/ NurseRostering-08_c18.xml Download the above graph as a PDF file / as an EPS file	NurseRostering/ NurseRostering-06_c18.xml Download the above graph as a PDF file / as an EPS file
NurseRostering/ NurseRostering-02_c18.xml Download the above graph as a PDF file / as an EPS file	NurseRostering/ NurseRostering-00_c18.xml Download the above graph as a PDF file / as an EPS file
Tal/ Tal-01_c18.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean-opt/ Pb-circ6-3_c18.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean-opt/ Pb-circ10-3_c18.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean-opt/ Pb-circ8-3_c18.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean-opt/ Pb-garden-7x7_c18.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean-opt/ Pb-garden-15x15_c18.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean-opt/ Pb-radar-30-70-45-050-100_c18.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean-opt/ Pb-garden-9x9_c18.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean-opt/ Pb-circ4-3_c18.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean-opt/ Pb-radar-30-30-45-050-100_c18.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean-opt/ Pb-garden-100x100_c18.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/ GraphColoring-5-fullins-3_c18.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/ GraphColoring-queen5-5_c18.xml Download the above graph as a PDF file / as an EPS file
Auction/Auction-sum/ Auction-sum-matching080_c18.xml Download the above graph as a PDF file / as an EPS file	Auction/Auction-sum/ Auction-sum-decay400_c18.xml Download the above graph as a PDF file / as an EPS file
Auction/Auction-sum/ Auction-sum-decay500_c18.xml Download the above graph as a PDF file / as an EPS file	Auction/Auction-sum/ Auction-sum-decay300_c18.xml Download the above graph as a PDF file / as an EPS file
Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml Download the above graph as a PDF file / as an EPS file	Auction/Auction-cnt/ Auction-cnt-decay100_c18.xml Download the above graph as a PDF file / as an EPS file
Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml Download the above graph as a PDF file / as an EPS file	Auction/Auction-cnt/ Auction-cnt-decay400_c18.xml Download the above graph as a PDF file / as an EPS file
Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml Download the above graph as a PDF file / as an EPS file	Auction/Auction-cnt/ Auction-cnt-matching080_c18.xml Download the above graph as a PDF file / as an EPS file
Auction/Auction-cnt/ Auction-cnt-matching040_c18.xml Download the above graph as a PDF file / as an EPS file	Rlfap/Rlfap-opt/ Rlfap-graph-12-opt_c18.xml Download the above graph as a PDF file / as an EPS file
Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml Download the above graph as a PDF file / as an EPS file	Rlfap/Rlfap-opt/ Rlfap-graph-03-opt_c18.xml Download the above graph as a PDF file / as an EPS file
Rlfap/Rlfap-opt/ Rlfap-scen-07-opt_c18.xml Download the above graph as a PDF file / as an EPS file	Rlfap/Rlfap-opt/ Rlfap-scen-02-opt_c18.xml Download the above graph as a PDF file / as an EPS file
Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml Download the above graph as a PDF file / as an EPS file	Rlfap/Rlfap-opt/ Rlfap-scen-06-opt_c18.xml Download the above graph as a PDF file / as an EPS file
SumColoring/ SumColoring-dsjc-125-1_c18.xml Download the above graph as a PDF file / as an EPS file	SumColoring/ SumColoring-1-fullins-3_c18.xml Download the above graph as a PDF file / as an EPS file
SumColoring/ SumColoring-1-fullins-4_c18.xml Download the above graph as a PDF file / as an EPS file	SumColoring/ SumColoring-myciel3_c18.xml Download the above graph as a PDF file / as an EPS file
SumColoring/ SumColoring-myciel4_c18.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/ QuadraticAssignment-had12_c18.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/ QuadraticAssignment-had20_c18.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/ QuadraticAssignment-had18_c18.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/ QuadraticAssignment-esc64a_c18.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/ QuadraticAssignment-esc32a_c18.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/ QuadraticAssignment-had16_c18.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/ QuadraticAssignment-had14_c18.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/ QuadraticAssignment-esc32d_c18.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/ QuadraticAssignment-esc16a_c18.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/ QuadraticAssignment-esc16d_c18.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/ QuadraticAssignment-qap_c18.xml Download the above graph as a PDF file / as an EPS file
Fapp/Fapp-m2s/ Fapp-m2s-ex1_c18.xml Download the above graph as a PDF file / as an EPS file	Fapp/Fapp-m2s/ Fapp-m2s-ex2_c18.xml Download the above graph as a PDF file / as an EPS file
PizzaVoucher/ PizzaVoucher-18a_c18.xml Download the above graph as a PDF file / as an EPS file	PizzaVoucher/ PizzaVoucher-10a_c18.xml Download the above graph as a PDF file / as an EPS file
PizzaVoucher/ PizzaVoucher-22a_c18.xml Download the above graph as a PDF file / as an EPS file	PizzaVoucher/ PizzaVoucher-18b_c18.xml Download the above graph as a PDF file / as an EPS file
PizzaVoucher/ PizzaVoucher-10b_c18.xml Download the above graph as a PDF file / as an EPS file	PizzaVoucher/ PizzaVoucher-22b_c18.xml Download the above graph as a PDF file / as an EPS file
PizzaVoucher/ PizzaVoucher-12b_c18.xml Download the above graph as a PDF file / as an EPS file	PizzaVoucher/ PizzaVoucher-15a_c18.xml Download the above graph as a PDF file / as an EPS file
PizzaVoucher/ PizzaVoucher-15b_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-m1-1_c18.xml Download the above graph as a PDF file / as an EPS file	TemplateDesign/ TemplateDesign-m1s-1_c18.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/ GolombRuler-a3v18-11_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-13_c18.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/ GolombRuler-a3v18-07_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-08_c18.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/ GolombRuler-a3v18-12_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-nodv-11_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
LowAutocorrelation/ LowAutocorrelation-035_c18.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/ LowAutocorrelation-021_c18.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/ LowAutocorrelation-027_c18.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/ LowAutocorrelation-040_c18.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/ LowAutocorrelation-026_c18.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/ LowAutocorrelation-024_c18.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/ LowAutocorrelation-050_c18.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/ LowAutocorrelation-022_c18.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/ LowAutocorrelation-025_c18.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/ LowAutocorrelation-015_c18.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/ LowAutocorrelation-030_c18.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/ LowAutocorrelation-028_c18.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/ LowAutocorrelation-020_c18.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/ LowAutocorrelation-023_c18.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/ Rcpsp-j30-01-01_c18.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/ Rcpsp-j30-01-04_c18.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/ Rcpsp-j60-01-01_c18.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/ Rcpsp-j30-01-02_c18.xml Download the above graph as a PDF file / as an EPS file

1 2