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

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-galaxy04_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-10-20-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-07a_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-m1/ Bacp-m1-07a_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

1 2