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

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

1 2

Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml Download the above graph as a PDF file / as an EPS file	Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml Download the above graph as a PDF file / as an EPS file
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml Download the above graph as a PDF file / as an EPS file	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-11-15.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-10-14.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-46-035-010.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-nug21.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-nug20.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-B-n45-k6.xml Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.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-n45-k5.xml Download the above graph as a PDF file / as an EPS file
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.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-P-n50-k10.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
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.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-14-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
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.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-s50/ Knapsack-50-200-17.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-12.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	BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml Download the above graph as a PDF file / as an EPS file

1 2