PB'24 competition: search progress per solver

Quality of the solution as a function of time for solver Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 (complete)

1 2 3 4

PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i9_pp_96.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x2/Init-x2-i5_pp_93.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.95_1.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.95_7.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/SMTI_PBO/SMTI_10000_5_0.85_3.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/ StableMatchings/SMTI/x1/Init-x1-i4_pp_92_merged.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_690_001.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_410_004.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-000.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_340_006.opb Download the above graph as a PDF file / as an EPS file
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_630_002.opb Download the above graph as a PDF file / as an EPS file	PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/ KidneyTransplantBenchmarks/normalized-KE_400_008.opb Download the above graph as a PDF file / as an EPS file

1 2 3 4