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

Quality of the solution as a function of time for solver PicatSAT 2018-08-02 (complete)

1 2

StillLife/ StillLife-wastage-30_c18.xml Download the above graph as a PDF file / as an EPS file	StillLife/ StillLife-wastage-11_c18.xml Download the above graph as a PDF file / as an EPS file
StillLife/ StillLife-wastage-10_c18.xml Download the above graph as a PDF file / as an EPS file	StillLife/ StillLife-wastage-19_c18.xml Download the above graph as a PDF file / as an EPS file
StillLife/ StillLife-wastage-15_c18.xml Download the above graph as a PDF file / as an EPS file	StillLife/ StillLife-wastage-17_c18.xml Download the above graph as a PDF file / as an EPS file
StillLife/ StillLife-wastage-25_c18.xml Download the above graph as a PDF file / as an EPS file	StillLife/ StillLife-wastage-09_c18.xml Download the above graph as a PDF file / as an EPS file
StillLife/ StillLife-wastage-13_c18.xml Download the above graph as a PDF file / as an EPS file	StillLife/ StillLife-wastage-21_c18.xml Download the above graph as a PDF file / as an EPS file
StillLife/ StillLife-wastage-08_c18.xml Download the above graph as a PDF file / as an EPS file	StillLife/ StillLife-wastage-14_c18.xml Download the above graph as a PDF file / as an EPS file
StillLife/ StillLife-wastage-12_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-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
Tal/ Tal-03_c18.xml Download the above graph as a PDF file / as an EPS file	Tal/ Tal-02_c18.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean-opt/ Pb-garden-4x4_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-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	GraphColoring/ GraphColoring-5-fullins-3_c18.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/ GraphColoring-3-fullins-5_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
GraphColoring/ GraphColoring-4-fullins-4_c18.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/ GraphColoring-5-fullins-4_c18.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/ GraphColoring-2-fullins-5_c18.xml Download the above graph as a PDF file / as an EPS file	Auction/Auction-sum/ Auction-sum-example_c18.xml Download the above graph as a PDF file / as an EPS file
Auction/Auction-cnt/ Auction-cnt-example_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-myciel5_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-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-test01-0150_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-17-0300_c18.xml Download the above graph as a PDF file / as an EPS file	Fapp/Fapp-m2s/ Fapp-m2s-20-0420_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	Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml Download the above graph as a PDF file / as an EPS file
CrosswordDesign/ CrosswordDesign-04-4-rom_c18.xml Download the above graph as a PDF file / as an EPS file	CrosswordDesign/ CrosswordDesign-03-4-rom_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-10b_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-catfood_c18.xml Download the above graph as a PDF file / as an EPS file
TemplateDesign/ TemplateDesign-m1-herbs_c18.xml Download the above graph as a PDF file / as an EPS file	TemplateDesign/ TemplateDesign-m2-catfood_c18.xml Download the above graph as a PDF file / as an EPS file
TemplateDesign/ TemplateDesign-m1s-catfood_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
TemplateDesign/ TemplateDesign-m1s-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-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	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-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-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-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-j90-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
Rcpsp/ Rcpsp-j30-01-03_c18.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/ Rcpsp-j120-01-02_c18.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/ Rcpsp-j60-01-03_c18.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/ Rcpsp-j90-01-02_c18.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/ Rcpsp-j90-01-03_c18.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/ Rcpsp-j120-01-04_c18.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/ Rcpsp-j60-01-02_c18.xml Download the above graph as a PDF file / as an EPS file	Rcpsp/ Rcpsp-j60-01-04_c18.xml Download the above graph as a PDF file / as an EPS file
Rcpsp/ Rcpsp-j90-01-04_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-m1-05_c18.xml Download the above graph as a PDF file / as an EPS file	PeacableArmies/ PeacableArmies-m2-05_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	Mario/ Mario-easy-2_c18.xml Download the above graph as a PDF file / as an EPS file
Mario/ Mario-easy-4_c18.xml Download the above graph as a PDF file / as an EPS file	Mario/ Mario-easy-5_c18.xml Download the above graph as a PDF file / as an EPS file
Mario/ Mario-n-medium-5_c18.xml Download the above graph as a PDF file / as an EPS file	Mario/ Mario-n-medium-4_c18.xml Download the above graph as a PDF file / as an EPS file
Mario/ Mario-n-medium-3_c18.xml Download the above graph as a PDF file / as an EPS file	Knapsack/ Knapsack-30-100-01_c18.xml Download the above graph as a PDF file / as an EPS file
Knapsack/ Knapsack-50-200-01_c18.xml Download the above graph as a PDF file / as an EPS file	Knapsack/ Knapsack-50-200-00_c18.xml Download the above graph as a PDF file / as an EPS file

1 2