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

Rcpsp/ Rcpsp-j30-01-03_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-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
PeacableArmies/ PeacableArmies-m2-15_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-20_c18.xml Download the above graph as a PDF file / as an EPS file	PeacableArmies/ PeacableArmies-m2-10_c18.xml Download the above graph as a PDF file / as an EPS file
PeacableArmies/ PeacableArmies-m1-10_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-30_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	Knapsack/ Knapsack-30-100-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	Knapsack/ Knapsack-40-150-01_c18.xml Download the above graph as a PDF file / as an EPS file
Knapsack/ Knapsack-40-150-00_c18.xml Download the above graph as a PDF file / as an EPS file	Knapsack/ Knapsack-30-100-00_c18.xml Download the above graph as a PDF file / as an EPS file
TravelingTournament/ TravelingTournament-a2-galaxy04_c18.xml Download the above graph as a PDF file / as an EPS file	TravelingTournament/ TravelingTournament-a3-galaxy08_c18.xml Download the above graph as a PDF file / as an EPS file
TravelingTournament/ TravelingTournament-a3-galaxy06_c18.xml Download the above graph as a PDF file / as an EPS file	TravelingTournament/ TravelingTournament-a3-galaxy04_c18.xml Download the above graph as a PDF file / as an EPS file
TravelingTournament/ TravelingTournament-a2-galaxy06_c18.xml Download the above graph as a PDF file / as an EPS file	TravelingTournament/ TravelingTournament-a2-galaxy08_c18.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/ TravellingSalesman-45-30-00_c18.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/ TravellingSalesman-15-30-00_c18.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/ TravellingSalesman-25-30-00_c18.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/ TravellingSalesman-35-30-00_c18.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/ TravellingSalesman-30-30-00_c18.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/ TravellingSalesman-10-20-00_c18.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/ TravellingSalesman-40-30-00_c18.xml Download the above graph as a PDF file / as an EPS file	TravellingSalesman/ TravellingSalesman-50-30-00_c18.xml Download the above graph as a PDF file / as an EPS file
TravellingSalesman/ TravellingSalesman-20-30-00_c18.xml Download the above graph as a PDF file / as an EPS file	SteelMillSlab/ SteelMillSlab-m1-simple_c18.xml Download the above graph as a PDF file / as an EPS file
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m2/ Bacp-m2-08a_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m2/ Bacp-m2-10b_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m2/ Bacp-m2-12a_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m2/ Bacp-m2-10a_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m2/ Bacp-m2-06_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m2/ Bacp-m2-12a-nodv_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m2/ Bacp-m2-07a_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m2/ Bacp-m2-07b_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m2/ Bacp-m2-05_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m2/ Bacp-m2-08b_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m2/ Bacp-m2-10a-nodv_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m1/ Bacp-m1-10a-nodv_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m1/ Bacp-m1-10a_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m1/ Bacp-m1-08a_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m1/ Bacp-m1-10b_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m1/ Bacp-m1-07a_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m1/ Bacp-m1-08b_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m1/ Bacp-m1-05_c18.xml Download the above graph as a PDF file / as an EPS file
Bacp/Bacp-m1/ Bacp-m1-07b_c18.xml Download the above graph as a PDF file / as an EPS file	Bacp/Bacp-m1/ Bacp-m1-06_c18.xml Download the above graph as a PDF file / as an EPS file

1 2