PB'25 competition: search progress per solver

Quality of the solution as a function of time for solver Sat4j Resolution VeriPB 2025-06-06 (complete)

1 2 3 4

PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Charlotte-06-2_c24.opb Download the above graph as a PDF file / as an EPS file	PB25/normalized-PB25/OPT-LIN/wallon/ normalized-FoolSolitaire-table-2-0_c24.opb Download the above graph as a PDF file / as an EPS file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-GolombRuler-a3v18-15_c18.opb Download the above graph as a PDF file / as an EPS file	PB25/normalized-PB25/OPT-LIN/ wallon/normalized-Cargo-24_c24.opb Download the above graph as a PDF file / as an EPS file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-TestScheduling-t030m10r05-1_c24.opb Download the above graph as a PDF file / as an EPS file	PB25/normalized-PB25/OPT-LIN/wallon/ normalized-SameQueensKnights-b-35_c24.opb Download the above graph as a PDF file / as an EPS file
PB25/normalized-PB25/OPT-LIN/wallon/ normalized-Clique-c0125-9_c24.opb Download the above graph as a PDF file / as an EPS file

1 2 3 4