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

Quality of the solution as a function of time for solver sat4j-CSP 2017-07-05 (complete)

1 2

StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml Download the above graph as a PDF file / as an EPS file	StillLife/StillLife-m1-s1/ StillLife-10-11.xml Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/ StillLife-08-10.xml Download the above graph as a PDF file / as an EPS file	StillLife/StillLife-m1-s1/ StillLife-11-14.xml Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/ StillLife-10-12.xml Download the above graph as a PDF file / as an EPS file	StillLife/StillLife-m1-s1/ StillLife-03-05.xml Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/ StillLife-06-13.xml Download the above graph as a PDF file / as an EPS file	StillLife/StillLife-m1-s1/ StillLife-08-13.xml Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/ StillLife-12-12.xml Download the above graph as a PDF file / as an EPS file	StillLife/StillLife-m1-s1/ StillLife-03-06.xml Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/ StillLife-11-12.xml Download the above graph as a PDF file / as an EPS file	StillLife/StillLife-m1-s1/ StillLife-05-06.xml Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/ StillLife-03-11.xml Download the above graph as a PDF file / as an EPS file	StillLife/StillLife-m1-s1/ StillLife-09-12.xml Download the above graph as a PDF file / as an EPS file
StillLife/StillLife-m1-s1/ StillLife-03-10.xml Download the above graph as a PDF file / as an EPS file	StillLife/StillLife-m1-s1/ StillLife-04-05.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml Download the above graph as a PDF file / as an EPS file	GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml Download the above graph as a PDF file / as an EPS file
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml Download the above graph as a PDF file / as an EPS file	Opd/Opd-sum-large/ Opd-07-035-010.xml Download the above graph as a PDF file / as an EPS file
Opd/Opd-sum-large/ Opd-03-035-010.xml Download the above graph as a PDF file / as an EPS file	Opd/Opd-sum-large/ Opd-13-035-010.xml Download the above graph as a PDF file / as an EPS file
Opd/Opd-sum-large/ Opd-02-350-100.xml Download the above graph as a PDF file / as an EPS file	Opd/Opd-sum-large/ Opd-14-035-010.xml Download the above graph as a PDF file / as an EPS file
Opd/Opd-sum-small/ Opd-10-031-009.xml Download the above graph as a PDF file / as an EPS file	Opd/Opd-sum-small/ Opd-19-019-009.xml Download the above graph as a PDF file / as an EPS file
Opd/Opd-sum-small/ Opd-10-026-004.xml Download the above graph as a PDF file / as an EPS file	Opd/Opd-sum-small/ Opd-09-037-012.xml Download the above graph as a PDF file / as an EPS file
Opd/Opd-sum-small/ Opd-10-038-010.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml Download the above graph as a PDF file / as an EPS file	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml Download the above graph as a PDF file / as an EPS file
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml Download the above graph as a PDF file / as an EPS file	Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml Download the above graph as a PDF file / as an EPS file	Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml Download the above graph as a PDF file / as an EPS file
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml Download the above graph as a PDF file / as an EPS file	GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml Download the above graph as a PDF file / as an EPS file
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml Download the above graph as a PDF file / as an EPS file	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml Download the above graph as a PDF file / as an EPS file
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml Download the above graph as a PDF file / as an EPS file	Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml Download the above graph as a PDF file / as an EPS file
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml Download the above graph as a PDF file / as an EPS file	PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml Download the above graph as a PDF file / as an EPS file
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml Download the above graph as a PDF file / as an EPS file	Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml Download the above graph as a PDF file / as an EPS file	Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml Download the above graph as a PDF file / as an EPS file
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml Download the above graph as a PDF file / as an EPS file	Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml Download the above graph as a PDF file / as an EPS file

1 2