PB'26 competition: search progress per solver

Quality of the solution as a function of time for solver OR-Tools CP-SAT (16 cores) 2026-05-18 (complete)

1 2 3 4 5 6

PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_9_mh.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_1_mh.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_2_mh.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_3_mh.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_9_mh.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_7_mh.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat15_5_3_6_mh.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_2_mh.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat50_6_9_7_mh.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ Multihop/normalized-minisat25_6_4_3_mh.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat50_4_16_6_mh_ic.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_4_mh_ic.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat25_4_7_6_mh_ic.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_3_mh_ic.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat35_4_11_1_mh_ic.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_2_ic.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_7_ic.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/ IC/normalized-minisat50_6_9_8_ic.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_8_mh.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_0_ic.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_9_mh.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_7_mh.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_4_ic.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_5_mh.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_1_ic.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_6_ic.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_3_ic.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/zahidi/Large/ normalized-minisat100_16_6_2_ic.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/sroussel/BA/ normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX300_K192_cod1.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX60_K192_cod1.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_unif_50null50mast_rapportOE2.0_TMAX120_K192_cod1.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX180_K192_cod1.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_10null50mast_rapportOE1.0_TMAX60_K192_cod1.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX60_K192_cod1.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/sroussel/NG/ normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.20-11.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.F.recomb10-0.10-10.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-8.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.G.recomb10-0.10-9.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.B.recomb1-0.10-8.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-6.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb5-0.10-10.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb10-0.20-15.opb Download the above graph as a PDF file
PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped2.G.recomb1-0.01-5.opb Download the above graph as a PDF file	PB24/normalized-PB12/OPT-LIN/graca/ normalized-ped3.D.recomb10-0.20-14.opb Download the above graph as a PDF file
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K191.opb Download the above graph as a PDF file	PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K163.opb Download the above graph as a PDF file
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K157.opb Download the above graph as a PDF file	PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K195.opb Download the above graph as a PDF file
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K170.opb Download the above graph as a PDF file	PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K199.opb Download the above graph as a PDF file
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K173.opb Download the above graph as a PDF file	PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb Download the above graph as a PDF file
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K108.opb Download the above graph as a PDF file	PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K95.opb Download the above graph as a PDF file
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb Download the above graph as a PDF file	PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K74.opb Download the above graph as a PDF file
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K76.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug5.5.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-sep5.5.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul5.5.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jul6.5.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun5.5.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug6.5.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-aug4.5.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/ EmployeeScheduling/normalized-jun6.5.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-09.lin.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament18.lin.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-sporttournament08.lin.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern55-28.lin.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-058.lin.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern45-45.lin.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/ minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-NLC/ minlplib2-pb-0.1.0/opb/normalized-pb302035.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern30-04.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-NLC/ minlplib2-pb-0.1.0/opb/normalized-faclay25.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/ minlplib2-pb-0.1.0/opb/normalized-faclay33.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-autocorr_bern35-18.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-crossdock_15x7.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-graphpart_2g-0055-0062.opb Download the above graph as a PDF file
PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-edgecross14-117.opb Download the above graph as a PDF file	PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-graphpart_3g-0234-0234.opb Download the above graph as a PDF file

1 2 3 4 5 6