PB'26 competition: benchmarks results per solver
Result page for solver HitPBO-PL
2026-06-22 (cert)
(complete)
Solver command line
./hitpbo BENCHNAME --proof-compatible --prooffile PROOFFILE
Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)
Solver proved unsatisfiability and generated a good certificate (14 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=521.opb
UNSAT cert.
0.021268
0.159308
4795194
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1093.cudf.trendy.opb
UNSAT cert.
0.026804
0.271226
4795500
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-122.cudf.trendy.opb
UNSAT cert.
0.045461
0.159907
4795496
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand03b0b5.cudf.paranoid.opb
UNSAT cert.
0.056013
0.29445
4795502
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randab5933.cudf.paranoid.opb
UNSAT cert.
0.057652
0.130417
4795506
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb
UNSAT cert.
0.093817
0.185597
4795508
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-519.cudf.paranoid.opb
UNSAT cert.
0.097637
0.150372
4795516
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-520.cudf.trendy.opb
UNSAT cert.
0.100697
0.174781
4795492
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randb3c96d.cudf.trendy.opb
UNSAT cert.
0.104107
0.425797
4795476
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1243.cudf.trendy.opb
UNSAT cert.
0.122778
0.22282
4795494
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1238.cudf.paranoid.opb
UNSAT cert.
0.123497
0.241652
4795524
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1686196.opb
UNSAT cert.
4.42167
4.52427
4795824
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
UNSAT cert.
36.3947
37.0056
4795614
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct4.5.opb
UNSAT cert.
702.279
723.518
4795704
Solver found optimum and generated a good certificate (220 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb
OPT cert.
4
0.010889
0.073581
4795520
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_004.opb.metafix.opb
OPT cert.
32
0.012038
0.0408849
4795710
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-hmittelman.lin.opb
OPT cert.
13
0.012144
0.022318
4795738
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.opb
OPT cert.
30
0.012294
0.035605
4795724
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT cert.
2
0.012497
0.074638
4795182
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bbara.r.opb
OPT cert.
7
0.012726
0.028093
4795306
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_50_001.opb
OPT cert.
-406
0.012818
0.033682
4795846
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb
OPT cert.
6
0.012859
0.042415
4795298
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb
OPT cert.
-1073741823
0.013552
0.111212
4795096
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f18-AC1Loss.seq-A-2-2-irabcde.opb
OPT cert.
7552
0.013668
0.252247
4795780
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT cert.
4
0.014123
0.126951
4795188
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT cert.
3951
0.01439
0.033184
4795324
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT cert.
7
0.015489
0.165778
4795186
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_04.opb
OPT cert.
-3
0.015502
0.0276079
4805989
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.opb
OPT cert.
-3990
0.015511
0.092835
4804624
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb
OPT cert.
33523448
0.015639
0.0333999
4795784
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f8-AC2Loss.seq-A-3-2-irEDCBA.opb
OPT cert.
66733263
0.01572
0.379525
4795778
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=223.opb
OPT cert.
67
0.015981
0.0361849
4795206
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f26-ACDoubleLoss.seq-B-2-1-abcdeir.opb
OPT cert.
23133
0.016293
0.0917231
4795770
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_05.opb
OPT cert.
-4
0.016579
0.0293419
4806024
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT cert.
47
0.017301
0.0926939
4795202
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_007.opb.metafix.opb
OPT cert.
47
0.017731
0.0953061
4795716
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=379.opb
OPT cert.
101
0.017832
0.0332069
4795204
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f19-ACTotalLoss.seq-B-3-2-irEDCBA.opb
OPT cert.
889889
0.017955
0.0485979
4795774
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
similar_weights/normalized-knapPI_9_100_1000_2_-997.opb
OPT cert.
-997
0.019142
0.122776
4804659
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb
OPT cert.
-198938
0.019309
0.0350681
4795782
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir07_area_partials.opb
OPT cert.
33
0.019976
0.046778
4795362
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__8.opb
OPT cert.
46877
0.020362
0.034933
4795392
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT cert.
13949
0.020544
0.0366731
4795346
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=379.opb
OPT cert.
251
0.020637
0.132424
4795192
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
OPT cert.
9663726592
0.021022
0.13728
4795094
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT cert.
36
0.021111
0.032035
4795150
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=317.opb
OPT cert.
89
0.021182
0.0695979
4795210
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_05.opb
OPT cert.
-4
0.02142
0.032823
4805849
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT cert.
36
0.021668
0.0396961
4795152
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT cert.
304
0.021715
0.0919849
4795018
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT cert.
5148
0.022444
0.0427409
4795322
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
OPT cert.
90
0.02247
0.0356409
4806829
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT cert.
5867
0.022471
0.0485319
4795318
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT cert.
36
0.022802
0.084059
4795144
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT cert.
12
0.023397
0.131362
4795184
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT cert.
36
0.0234
0.0761149
4795162
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=10.opb
OPT cert.
0
0.023929
0.0677091
4795786
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_500_1000_2_-5036.opb
OPT cert.
-5036
0.024176
0.13615
4804799
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_041.opb
OPT cert.
1
0.026541
0.149935
4804939
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c40.opb
OPT cert.
60
0.027853
0.0414449
4806654
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
OPT cert.
1567
0.028019
0.081393
4795172
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb
OPT cert.
42
0.02946
0.0909961
4795720
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_04.opb
OPT cert.
0
0.031513
0.059032
4805464
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_061.opb
OPT cert.
1
0.032382
0.153831
4805044
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir05_area_partials.opb
OPT cert.
36
0.032459
0.0664361
4795364
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT cert.
20
0.03301
0.103457
4795118
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT cert.
8034
0.033888
0.0507489
4795326
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT cert.
36
0.034165
0.0683199
4795156
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT cert.
5852
0.035444
0.125777
4795320
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-4.opb
OPT cert.
350
0.044389
0.0868799
4795124
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT cert.
62
0.044658
0.10959
4795146
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT cert.
60
0.047866
0.092829
4795154
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament08.lin.opb
OPT cert.
-12
0.050943
0.250111
4795732
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-5.opb
OPT cert.
350
0.05324
0.130036
4795132
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_051.opb
OPT cert.
1
0.053971
0.202417
4805114
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-902.cudf.trendy.opb
OPT cert.
283030
0.056545
0.181711
4795498
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__16.opb
OPT cert.
45008
0.057043
0.665097
4795388
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT cert.
62
0.059861
0.121835
4795148
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb
OPT cert.
21
0.061328
0.0835129
4806549
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
OPT cert.
1053
0.067161
0.122804
4795174
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
OPT cert.
5
0.069386
0.088311
4795304
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT cert.
66
0.085275
0.121932
4795158
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb
OPT cert.
-39215
0.087943
0.261256
4804764
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_081.opb
OPT cert.
1
0.090061
0.245502
4804974
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT cert.
64
0.097881
0.165237
4795160
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
OPT cert.
15
0.106402
0.142105
4795170
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
OPT cert.
24890
0.117463
0.196108
4795350
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb
OPT cert.
2
0.12175
0.249115
4795518
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb
OPT cert.
1
0.125278
0.189282
4805219
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT cert.
8908
0.131931
0.173636
4795316
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
OPT cert.
20
0.137401
0.285675
4795180
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT cert.
100
0.13892
0.207977
4795134
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
OPT cert.
6
0.141362
0.308718
4795420
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb
OPT cert.
344
0.162953
0.256213
4795504
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
OPT cert.
8
0.16339
0.183452
4795308
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb
OPT cert.
50
0.164565
0.315093
4795714
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
OPT cert.
47342
0.176776
0.236593
4795352
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir02_area_opers.opb
OPT cert.
18
0.178049
0.207676
4795360
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb
OPT cert.
6
0.188279
0.287741
4795522
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j301_3.std.opb
OPT cert.
47
0.203613
0.407397
4795462
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3011_6.std.opb
OPT cert.
44
0.210277
0.383006
4795458
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
OPT cert.
1
0.241928
0.31734
4795878
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand49e642.cudf.trendy.opb
OPT cert.
39641230
0.242192
0.518995
4795466
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_4.std.opb
OPT cert.
64
0.252284
0.410333
4795460
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand601ba8.cudf.trendy.opb
OPT cert.
84900802172
0.287012
0.563372
4795468
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_17.opb
OPT cert.
-72
0.297588
0.325273
4806899
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT cert.
93
0.299582
0.356422
4795142
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
OPT cert.
22
0.300923
0.358913
4795546
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.opb
OPT cert.
-1428
0.307285
0.420359
4804589
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
OPT cert.
200
0.353106
0.436718
4795130
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
OPT cert.
25
0.35495
0.371512
4795312
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
OPT cert.
23978
0.379361
0.429031
4795348
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6018_6.std.opb
OPT cert.
61
0.398309
0.448883
4795454
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_009.opb.metafix.opb
OPT cert.
70
0.42462
0.457884
4795708
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb
OPT cert.
101
0.43105
0.479256
4806514
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb
OPT cert.
13718029
0.482039
0.504093
4795766
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT cert.
8276
0.494041
0.666673
4795108
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_100.opb
OPT cert.
5000
0.513439
0.577437
4807214
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb
OPT cert.
26628312588
0.523688
0.599183
4795776
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT cert.
92
0.544725
0.559565
4795126
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_13.opb
OPT cert.
105
0.555859
0.570709
4807634
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT cert.
94
0.563385
0.624879
4795140
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_251.opb
OPT cert.
1
0.620451
0.697255
4805254
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9026_10.std.opb
OPT cert.
92
0.627715
0.715412
4795464
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
OPT cert.
41202
0.656571
0.809944
4795354
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_008.opb.metafix.opb
OPT cert.
72
0.804078
0.871554
4795706
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12030_8.std.opb
OPT cert.
79
0.828714
0.876332
4795452
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_18.opb
OPT cert.
-81
0.836191
0.862239
4806934
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb
OPT cert.
18540641211
0.853724
0.986125
4795470
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12035_8.std.opb
OPT cert.
101
0.86868
0.939281
4795450
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb
OPT cert.
31850906195
0.974655
1.17389
4795472
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb
OPT cert.
19435314071
0.975529
1.15226
4795772
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb
OPT cert.
28830293738
0.98245
1.17038
4795474
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_inf.opb
OPT cert.
1
1.00932
1.07841
4795866
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ns1688347.opb
OPT cert.
27
1.23551
1.59956
4795536
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
OPT cert.
8
1.23783
1.42642
4795410
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT cert.
-178
1.26198
1.48536
4795428
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb
OPT cert.
1678960413
1.58989
1.62254
4795768
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.D.recomb10-0.20-14.opb
OPT cert.
7
1.71608
1.83557
4795684
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb
OPT cert.
-4652
1.88705
2.06517
4804729
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=2.opb
OPT cert.
6
1.9542
2.12477
4795790
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_11.opb
OPT cert.
-10
2.10411
6.67725
4806129
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT cert.
89
2.13215
2.20759
4795128
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb
OPT cert.
181
2.25117
2.32008
4806584
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb
OPT cert.
2
2.30464
2.4812
4795870
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
OPT cert.
2
2.3167
2.51793
4795880
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb
OPT cert.
190
2.54786
2.59341
4805744
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb
OPT cert.
-1404
2.87898
3.06577
4804904
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
OPT cert.
200
3.07842
3.14826
4795138
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb
OPT cert.
376
3.08472
3.16476
4795838
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.10-8.opb
OPT cert.
589
3.17034
3.33086
4795674
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
OPT cert.
41
3.29171
3.44231
4795274
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
OPT cert.
44
3.32553
3.62955
4795284
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
OPT cert.
37
3.53525
3.66968
4795278
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
OPT cert.
0
3.67814
3.83151
4795022
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb
OPT cert.
146111
3.90933
5.82999
4795510
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
OPT cert.
-172
4.11663
5.36284
4795444
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb
OPT cert.
226
4.1805
4.2828
4806619
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb
OPT cert.
142331
4.26755
4.82545
4795514
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i6_pp_88_merged.opb
OPT cert.
348
4.32912
4.50793
4795844
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb
OPT cert.
146152
4.44318
5.86717
4795512
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
OPT cert.
813
4.66531
4.82597
4795012
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j605_4.std.opb
OPT cert.
72
4.88726
5.34539
4795456
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb
OPT cert.
742
5.56604
5.63904
4795842
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
OPT cert.
9
6.4165
6.8065
4795418
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_7.opb
OPT cert.
1164
7.489
8.15661
4795832
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT cert.
376
8.12569
8.24831
4795136
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
OPT cert.
38
8.24492
8.51126
4795272
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height22_pigeons21_holes20.opb
OPT cert.
276
8.25772
8.31193
4805779
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
OPT cert.
-193
8.3361
8.83278
4795426
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_008.opb.metafix.opb
OPT cert.
85
8.52424
8.68581
4795718
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
OPT cert.
42
8.95094
9.18476
4795276
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
OPT cert.
49
8.99787
9.25479
4795280
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb
OPT cert.
2784767898449
9.17018
9.86014
4795478
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-sonata.cudf.trendy.opb
OPT cert.
2628047795598
9.8955
10.447
4795490
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kbd.cudf.trendy.opb
OPT cert.
2703595984209
11.0782
11.9321
4795480
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/
9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb
OPT cert.
2624366011878
11.1102
11.6427
4795484
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb
OPT cert.
3267737700236
12.6479
13.603
4795488
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb
OPT cert.
2626215701395
13.2075
14.5861
4795486
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb
OPT cert.
2624366011833
14.3571
15.4916
4795482
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-10-4-20-0_c24.opb
OPT cert.
10
15.3014
15.9797
4795892
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT cert.
-169
15.8218
16.3315
4795442
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_801.opb
OPT cert.
1
18.3643
18.6139
4805009
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=2.opb
OPT cert.
8
18.446
20.0509
4795794
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb
OPT cert.
2
18.4595
19.261
4795874
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
OPT cert.
3
20.795
21.7417
4795040
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
OPT cert.
344750
22.0606
22.4974
4795092
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb
OPT cert.
800
23.4015
23.7944
4795840
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb
OPT cert.
426
24.7052
24.9618
4806759
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
OPT cert.
34
24.7326
25.0571
4795282
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
OPT cert.
34
26.9918
27.1618
4795290
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
OPT cert.
3521
30.1857
33.3822
4795682
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb
OPT cert.
24
31.4286
32.961
4795764
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3572885-glina.mps.opb
OPT cert.
0
33.7365
34.645
4817568
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
OPT cert.
6
33.989
34.4265
4795414
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
OPT cert.
2
40.4061
43.0018
4795872
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_6_mh.opb
OPT cert.
7586846
40.7525
44.3112
4795592
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
OPT cert.
1
45.963
47.4192
4795038
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
OPT cert.
-164
47.3008
48.9216
4795436
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-8.opb
OPT cert.
15072
51.7522
57.2332
4795670
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_04_200_176.opb
OPT cert.
0
55.0859
56.1869
4795956
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
OPT cert.
4822
59.9088
61.2479
4795176
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_81.opb
OPT cert.
688
62.8368
64.1932
4795826
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb
OPT cert.
1
67.2414
68.1523
4805184
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT cert.
-167
71.7612
73.1062
4795434
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.10-10.opb
OPT cert.
7537
79.5264
84.2284
4795668
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-supportcase33.mps.opb
OPT cert.
-69
84.9292
86.9779
4817280
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-gr17.opb
OPT cert.
2085
90.6112
90.9091
4795912
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=12-t=2.opb
OPT cert.
10
108.769
111.511
4795792
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-10.opb
OPT cert.
25042
110.769
116.723
4795678
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb
OPT cert.
2
139.695
141.584
4795882
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.85_4.opb
OPT cert.
0
147.86
149.093
4795834
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
OPT cert.
-79
148.151
151.055
4795438
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_75.opb
OPT cert.
-74
180.889
181.455
4805919
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_38.opb
OPT cert.
780
275.593
277.047
4807599
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_006.opb.metafix.opb
OPT cert.
95
301.566
305.987
4795712
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_951.opb
OPT cert.
1
307.039
308.856
4805149
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_95.opb
OPT cert.
-94
307.25
308.491
4805954
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_39.opb
OPT cert.
820
323.363
324.096
4807564
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
OPT cert.
-76
354.646
359.336
4795440
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
OPT cert.
34
413.094
432.51
4795286
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
OPT cert.
-68
415.909
420.414
4795430
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-506428.opb
OPT cert.
4
435.112
441.132
4795818
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb
OPT cert.
-17711
451.537
456.928
4795640
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_5_0.75_7.opb
OPT cert.
976
474.959
476.776
4795830
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-11.opb
OPT cert.
4103
478.989
484.488
4795666
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb
OPT cert.
-32113
494.336
499.061
4804694
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
OPT cert.
25
539.697
555.236
4795330
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-12-4-20-1_c24.opb
OPT cert.
12
575.401
598.695
4795904
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
OPT cert.
50162
801.071
819.39
4795342
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-6000opt.opb
OPT cert.
-74
1188.59
1217.78
4795432
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
OPT cert.
1326
1456.51
1459.86
4807704
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_006.opb.metafix.opb
OPT cert.
115
1582.54
1610.26
4795722
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_55.opb
OPT cert.
1596
2587.76
2593.77
4807669
Solver found optimum (OPTIMUM FOUND) (14 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
OPT
12
497.678
517.964
4795804
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
OPT
26
556.209
564.224
4795328
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
OPT
1
777.684
788.755
4795036
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-swiss42.opb
OPT
1273
797.772
808.892
4795924
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
OPT
29
913.697
931.868
4795760
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__8.opb
OPT
95378
1377.71
1421.46
4795402
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
OPT
2642
1789.71
1808.63
4795016
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb
OPT
30
1914.28
1956.31
4795756
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-22_c24.opb
OPT
123525
2185.61
2201.75
4795890
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-6.opb
OPT
27380
2271.38
2315.34
4795676
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r17_c34_a6.opb
OPT
3417
2668.18
2697.93
4806479
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-3-0_c24.opb
OPT
6
2752.18
2767.06
4795908
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
OPT
26
2852.9
2907.9
4795334
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_170_002.opb
OPT
-3776
3083.77
3139.83
4795862
Solver does not handle the size of the coefficients (14 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb
? (NS)
0.008199
0.0294281
4795208
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_38.opb
? (NS)
0.008479
0.0231109
4805639
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_46.opb
? (NS)
0.008662
0.0199141
4805604
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_34.opb
? (NS)
0.009011
0.028674
4805429
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_42.opb
? (NS)
0.009049
0.027179
4805394
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb
? (NS)
0.009342
0.062876
4795200
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/miplib/normalized-enlight8.mps.opb
? (NS)
0.009709
0.847914
4817532
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb
? (NS)
0.010064
0.109807
4795198
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb
? (NS)
0.010452
0.115034
4795196
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/miplib/normalized-ej.mps.opb
? (NS)
0.011676
0.870625
4817604
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
? (NS)
0.02637
0.085673
4795076
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-sp98ic.opb
? (NS)
0.050771
0.120569
4795542
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
? (NS)
0.157388
0.16923
4795066
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mod011.opb
? (NS)
0.226877
0.298429
4795106
Solver timed out (no solution given) (314 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
? (TO)
3564.96
3703.32
4795422
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
? (TO)
3572.57
3700.05
4795412
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__64.opb
? (TO)
3586.11
3700.13
4795396
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
? (TO)
3589.52
3700.02
4795384
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_2.opb
? (TO)
3594.39
3703.61
4795566
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
? (TO)
3597.58
3700.07
4795416
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
? (TO)
3600.01
3655.14
4795114
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
? (TO)
3600.01
3616.02
4795222
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_07_100_002.opb
? (TO)
3600.02
3615.21
4795954
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-orb03.opb
? (TO)
3600.02
3616.81
4795938
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
? (TO)
3600.02
3673.63
4795800
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=7.opb
? (TO)
3600.02
3671.46
4795802
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
? (TO)
3600.02
3610.91
4795228
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
? (TO)
3600.02
3612.31
4795226
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
? (TO)
3600.02
3611.81
4795218
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
? (TO)
3600.02
3613.02
4795232
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
? (TO)
3600.02
3611.92
4795250
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_195.opb
? (TO)
3600.02
3613.72
4805359
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_200.opb
? (TO)
3600.03
3610.13
4805324
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
? (TO)
3600.03
3617.11
4795080
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
? (TO)
3600.03
3612.31
4795050
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
? (TO)
3600.03
3613.82
4795238
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_27.opb
? (TO)
3600.03
3622.23
4805709
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
? (TO)
3600.03
3652.42
4795538
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_30.opb
? (TO)
3600.03
3616.69
4805499
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
? (TO)
3600.03
3652.87
4795796
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
? (TO)
3600.03
3645.73
4795692
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_78.opb
? (TO)
3600.03
3613.52
4806969
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-t1717.opb
? (TO)
3600.03
3612.13
4795530
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
? (TO)
3600.03
3641.92
4795090
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
? (TO)
3600.03
3610.91
4795220
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
? (TO)
3600.03
3609.14
4795726
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-807456.opb
? (TO)
3600.03
3609.12
4795820
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-seymour.opb
? (TO)
3600.04
3611.72
4795544
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb
? (TO)
3600.04
3615.71
4795742
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern55-28.lin.opb
? (TO)
3600.04
3611.82
4795734
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
? (TO)
3600.04
3612.31
4795212
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
? (TO)
3600.04
3670.42
4795376
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
? (TO)
3600.04
3610.51
4795224
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_15_100_002.opb
? (TO)
3600.04
3636.96
4795962
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_2_ic.opb
? (TO)
3600.04
3692.73
4795612
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_57.opb
? (TO)
3600.04
3636.88
4807039
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
? (TO)
3600.04
3662.6
4795332
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
? (TO)
3600.04
3640.61
4806409
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-markshare1.opb
? (TO)
3600.04
3626.53
4795104
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
? (TO)
3600.04
3628.63
4795054
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_121.opb
? (TO)
3600.04
3610.02
4807249
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-kroB150.opb
? (TO)
3600.04
3639.54
4795928
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ex1010-pi.opb
? (TO)
3600.04
3613.02
4795814
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-StillLife-wastage-15-15_c24.opb
? (TO)
3600.04
3620.93
4795900
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
? (TO)
3600.04
3633.41
4795056
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
? (TO)
3600.05
3611.21
4795046
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
? (TO)
3600.05
3646.42
4795122
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
? (TO)
3600.05
3616.42
4795264
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_11_200_001.opb
? (TO)
3600.05
3626.32
4795960
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
? (TO)
3600.05
3611.72
4795244
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
? (TO)
3600.05
3640.81
4795084
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fixnet6.opb
? (TO)
3600.05
3650.76
4795102
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
? (TO)
3600.05
3657.65
4795112
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
? (TO)
3600.05
3673.2
4795168
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
? (TO)
3600.05
3612.61
4795060
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
? (TO)
3600.05
3690.68
4795340
PB24/normalized-PB10/OPT-LIN/
oliveras/j120opt/normalized-j12046_10.std.opb
? (TO)
3600.05
3684.99
4795448
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
? (TO)
3600.05
3612.61
4795052
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb
? (TO)
3600.05
3664.27
4795868
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
? (TO)
3600.05
3652.53
4795884
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
? (TO)
3600.05
3667.35
4795116
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_26.opb
? (TO)
3600.05
3618.34
4805674
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
? (TO)
3600.05
3615.91
4795048
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_65.opb
? (TO)
3600.05
3615.05
4805884
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb
? (TO)
3600.05
3648.2
4807284
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r34_c67_a6.opb
? (TO)
3600.05
3621.79
4806339
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
? (TO)
3600.05
3611.21
4795044
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
? (TO)
3600.05
3652.29
4795636
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_030.opb
? (TO)
3600.05
3622.65
4807389
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul5.5.opb
? (TO)
3600.05
3644.56
4795690
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
? (TO)
3600.05
3643.94
4795696
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
? (TO)
3600.05
3610.51
4795214
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_ladder.opb
? (TO)
3600.06
3652.66
4794998
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv20.opb
? (TO)
3600.06
3627.91
4795944
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
? (TO)
3600.06
3609.81
4795178
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta57.opb
? (TO)
3600.06
3624.62
4795942
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
? (TO)
3600.06
3672.91
4795300
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-gr137.opb
? (TO)
3600.06
3633.35
4795922
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_07_050_003.opb
? (TO)
3600.06
3618.71
4795950
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-hk48.opb
? (TO)
3600.06
3644.85
4795926
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
? (TO)
3600.06
3654.93
4795694
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
? (TO)
3600.06
3620.32
4795058
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_54.opb
? (TO)
3600.06
3651.28
4807004
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
? (TO)
3600.06
3671.12
4795302
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_064.opb
? (TO)
3600.06
3611.21
4807529
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv16.opb
? (TO)
3600.06
3631.22
4795948
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos13.opb
? (TO)
3600.06
3645.75
4795064
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-yn3.opb
? (TO)
3600.06
3627.61
4795940
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
? (TO)
3600.06
3610.72
4795888
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-neos-780889.opb
? (TO)
3600.06
3639.04
4795810
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-45_c24.opb
? (TO)
3600.06
3639.24
4795902
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.opb
? (TO)
3600.06
3653.04
4795688
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul4.5.opb
? (TO)
3600.06
3647.32
4795700
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_50.opb
? (TO)
3600.06
3636.87
4806864
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_6.opb
? (TO)
3600.07
3612.96
4795560
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_490.opb
? (TO)
3600.07
3610.31
4806724
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
? (TO)
3600.07
3680.33
4795380
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_7_mh.opb
? (TO)
3600.07
3633.73
4795590
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
? (TO)
3600.07
3621.05
4805569
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_7_ic.opb
? (TO)
3600.07
3661.72
4795616
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12059_8.std.opb
? (TO)
3600.07
3683.53
4795446
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dg012142.opb
? (TO)
3600.07
3632.28
4795082
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3381206-awhea.mps.opb
? (TO)
3600.07
3632.98
4817388
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
? (TO)
3600.07
3609.73
4795554
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=4.opb
? (TO)
3600.07
3670.64
4795788
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX60_K67_cod2_pbEq1_newVersion_binary.opb
? (TO)
3600.07
3662.58
4795000
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_22.opb
? (TO)
3600.07
3627.7
4805814
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
? (TO)
3600.07
3680.91
4795314
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
? (TO)
3600.07
3675.63
4795288
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
? (TO)
3600.07
3699.5
4795386
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
? (TO)
3600.07
3610.71
4795216
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-rococoC11-010100.mps.opb
? (TO)
3600.07
3643.72
4817460
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-9.opb
? (TO)
3600.08
3651.88
4795672
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
? (TO)
3600.08
3611.63
4795260
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-ts225.opb
? (TO)
3600.08
3645.01
4795920
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
? (TO)
3600.08
3672.59
4795408
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_901.opb
? (TO)
3600.08
3621.42
4805079
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpn2.opb
? (TO)
3600.08
3630.19
4795812
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
? (TO)
3600.08
3611.52
4795248
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb
? (TO)
3600.08
3620.21
4806094
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_150.opb
? (TO)
3600.08
3610.13
4807494
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-opm2-z12-s14.opb
? (TO)
3600.08
3615.22
4795540
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3706.opb
? (TO)
3600.08
3621.21
4795068
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r34_c68_a4.opb
? (TO)
3600.08
3618.87
4806234
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c51_a5.opb
? (TO)
3600.08
3627.27
4806374
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_23.opb
? (TO)
3600.08
3619.73
4805534
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3530903-gauja.mps.opb
? (TO)
3600.08
3634.33
4817424
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
? (TO)
3600.08
3613.72
4795236
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta32.opb
? (TO)
3600.08
3612.91
4795936
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_65.opb
? (TO)
3600.08
3644.75
4807179
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
? (TO)
3600.08
3611.42
4795246
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3214367-sovi.mps.opb
? (TO)
3600.08
3630.76
4817352
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
? (TO)
3600.08
3639.16
4795632
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
? (TO)
3600.08
3655.73
4795594
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
? (TO)
3600.08
3676.64
4795374
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
? (TO)
3600.08
3634.99
4795702
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-blend2.opb
? (TO)
3600.08
3655.98
4795100
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-tanglegram3.opb
? (TO)
3600.08
3640.88
4795526
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta31.opb
? (TO)
3600.08
3613.71
4795930
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_09_050_000.opb
? (TO)
3600.09
3630.14
4795964
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
? (TO)
3600.09
3610.31
4795166
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
? (TO)
3600.09
3615.52
4795230
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern45-45.lin.opb
? (TO)
3600.09
3610.42
4795740
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-09.lin.opb
? (TO)
3600.09
3612.14
4795728
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
? (TO)
3600.09
3613.22
4795252
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
? (TO)
3600.09
3675.91
4795296
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
? (TO)
3600.09
3623.23
4795574
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
? (TO)
3600.09
3615.43
4795266
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab1.opb
? (TO)
3600.09
3624.06
4795816
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_fibo_0null50mast_rapportOE1.0_TMAX180_K67_cod2_pbEq1_newVersion_binary.opb
? (TO)
3600.09
3658.2
4795002
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
? (TO)
3600.09
3618.2
4795268
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
? (TO)
3600.09
3665.95
4795730
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
? (TO)
3600.09
3676.42
4795190
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
? (TO)
3600.09
3644.1
4795072
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta02.opb
? (TO)
3600.09
3635.52
4795934
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
? (TO)
3600.09
3616.93
4795602
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
? (TO)
3600.09
3648.44
4806689
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
? (TO)
3600.09
3613.42
4795256
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_13_050_002.opb
? (TO)
3600.09
3630.73
4795958
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
? (TO)
3600.09
3611.92
4795240
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_7.opb
? (TO)
3600.09
3624.77
4795576
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_45.opb
? (TO)
3600.09
3633.99
4807144
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
? (TO)
3600.09
3703.47
4795424
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
? (TO)
3600.09
3647.15
4795164
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_19.opb
? (TO)
3600.1
3614.22
4806059
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
? (TO)
3600.1
3626.62
4795014
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
? (TO)
3600.1
3611.62
4795242
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
? (TO)
3600.1
3613.23
4795258
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
? (TO)
3600.1
3614.32
4795270
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_2_mh.opb
? (TO)
3600.1
3673.39
4795584
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_95_merged.opb
? (TO)
3600.1
3672.94
4795836
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=21-t=2.opb
? (TO)
3600.1
3665.32
4795798
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-4165869-wannon.mps.opb
? (TO)
3600.1
3629.74
4817496
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_390_005.opb
? (TO)
3600.1
3652.77
4795848
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_080.opb
? (TO)
3600.1
3618.41
4807459
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r24_c48_a6.opb
? (TO)
3600.1
3656.76
4806444
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r25_c50_a5.opb
? (TO)
3600.1
3630.72
4806304
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_8_mh.opb
? (TO)
3600.1
3640.58
4795620
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-u159.opb
? (TO)
3600.1
3640.18
4795910
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
? (TO)
3600.1
3651.36
4795686
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-13-4-20-0_c24.opb
? (TO)
3600.1
3648.66
4795898
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-kroB200.opb
? (TO)
3600.1
3658.69
4795914
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-ch150.opb
? (TO)
3600.1
3647.68
4795916
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
? (TO)
3600.1
3685.18
4795604
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
? (TO)
3600.1
3636.39
4795120
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
? (TO)
3600.1
3613.12
4795234
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3024952-loue.mps.opb
? (TO)
3600.1
3637.98
4817316
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_064.opb
? (TO)
3600.1
3649.34
4807354
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_85.opb
? (TO)
3600.1
3614.55
4807109
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c66_a6.opb
? (TO)
3600.1
3618.71
4806164
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
? (TO)
3600.1
3648.35
4795628
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
? (TO)
3600.1
3614.53
4795548
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
? (TO)
3600.1
3681.12
4795356
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
? (TO)
3600.1
3669.81
4795310
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
? (TO)
3600.1
3673.29
4795394
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
? (TO)
3600.1
3646.56
4795088
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
? (TO)
3600.1
3643.77
4795020
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
? (TO)
3600.1
3611.41
4795042
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_05_200_070.opb
? (TO)
3600.11
3629.91
4795952
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-nug08.opb
? (TO)
3600.11
3615.13
4795062
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb
? (TO)
3600.11
3632.96
4804869
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
? (TO)
3600.11
3659.56
4795698
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r30_c60_a4.opb
? (TO)
3600.11
3629.82
4806269
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r32_c64_a5.opb
? (TO)
3600.11
3618.63
4806199
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
? (TO)
3600.11
3663.65
4795034
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
? (TO)
3600.11
3684.1
4795294
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_unif_20null0mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb
? (TO)
3600.11
3655.12
4795006
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-11_c18.opb
? (TO)
3600.11
3647.81
4795896
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z10-s2.opb
? (TO)
3600.11
3613.96
4795528
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb
? (TO)
3600.11
3614.88
4795744
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_3_mh_ic.opb
? (TO)
3600.11
3651.72
4795606
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
? (TO)
3600.11
3613.13
4795254
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_1_mh.opb
? (TO)
3600.11
3661.6
4795582
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_9_mh.opb
? (TO)
3600.11
3674.71
4795588
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
? (TO)
3600.11
3672.98
4795762
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
? (TO)
3600.11
3637.45
4795110
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
3600.11
3653.1
4795650
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-tanglegram1.opb
? (TO)
3600.11
3638.11
4795532
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
? (TO)
3600.11
3611.17
4795558
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
? (TO)
3600.11
3693.66
4795382
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta48.opb
? (TO)
3600.11
3620.81
4795932
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
? (TO)
3600.11
3682.77
4795586
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
? (TO)
3600.11
3667.64
4795876
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_10_200_000.opb
? (TO)
3600.11
3619.82
4795966
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-khb05250.opb
? (TO)
3600.12
3656.46
4795098
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-StillLife-09-12_c24.opb
? (TO)
3600.12
3613.07
4795906
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_002.opb
? (TO)
3600.12
3671.18
4795852
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_6_mh_ic.opb
? (TO)
3600.12
3611.52
4795610
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
? (TO)
3600.12
3649.04
4795074
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_90.opb
? (TO)
3600.12
3609.42
4807074
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta41.opb
? (TO)
3600.12
3618.51
4795946
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_120.opb
? (TO)
3600.12
3632.01
4805289
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_8_ic.opb
? (TO)
3600.12
3681.76
4795618
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-pr76.opb
? (TO)
3600.12
3637.86
4795918
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
? (TO)
3600.12
3613.04
4795886
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_9_mh.opb
? (TO)
3600.12
3618.56
4795580
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb
? (TO)
3600.12
3655.85
4795004
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
? (TO)
3600.12
3641.44
4795598
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
? (TO)
3600.12
3663.02
4795292
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
? (TO)
3600.13
3674.08
4795010
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion.opb
? (TO)
3600.13
3672.63
4795008
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
? (TO)
3600.13
3661.58
4795368
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_0.opb
? (TO)
3600.13
3631.71
4795562
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
? (TO)
3600.13
3616.46
4795262
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
? (TO)
3600.13
3610.31
4795552
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_090.opb
? (TO)
3600.13
3615.83
4807424
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
? (TO)
3600.13
3651.39
4795028
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-06-2_c24.opb
? (TO)
3600.13
3647.92
4795894
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb
? (TO)
3600.13
3662.92
4795660
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
? (TO)
3600.13
3651.61
4795024
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
? (TO)
3600.13
3676.2
4795372
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
? (TO)
3600.13
3669.19
4795378
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
? (TO)
3600.14
3687.65
4795550
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
? (TO)
3600.14
3644.42
4795578
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
? (TO)
3600.14
3689.05
4795370
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb
? (TO)
3600.14
3627.11
4807319
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_mh.opb
? (TO)
3600.14
3633.5
4795626
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_10000_10000_4_-11456508.opb
? (TO)
3600.14
3640.9
4804834
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
? (TO)
3600.15
3664.07
4795638
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
? (TO)
3600.15
3691.66
4795556
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir09_area_opers.opb
? (TO)
3600.15
3649.52
4795358
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_2.opb
? (TO)
3600.15
3617.66
4795572
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_6_mh_ic.opb
? (TO)
3600.15
3674.48
4795600
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
? (TO)
3600.16
3644.14
4795026
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_ic.opb
? (TO)
3600.16
3652.5
4795634
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
? (TO)
3600.16
3636.08
4795622
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
? (TO)
3600.16
3671.68
4795758
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
? (TO)
3600.17
3659.49
4795564
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_430_001.opb
? (TO)
3600.17
3680.42
4795854
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_mh.opb
? (TO)
3600.17
3644.67
4795630
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__32.opb
? (TO)
3600.17
3684.82
4795400
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
3600.17
3651.69
4795664
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_7_mh.opb
? (TO)
3600.17
3651.79
4795596
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
? (TO)
3600.18
3628.79
4795570
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_6.opb
? (TO)
3600.18
3631.62
4795568
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_007.opb
? (TO)
3600.18
3667.47
4795864
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
? (TO)
3600.18
3667.94
4795608
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
? (TO)
3600.18
3692.14
4795336
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_430_008.opb
? (TO)
3600.18
3675.42
4795858
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-15.opb
? (TO)
3600.19
3628.36
4795680
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
? (TO)
3600.2
3662.77
4795754
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_9_mh.opb
? (TO)
3600.2
3634.71
4795624
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb
? (TO)
3600.2
3661.6
4795642
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-eilA101-2.opb
? (TO)
3600.21
3639.28
4795822
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
? (TO)
3600.21
3656.42
4795032
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb
? (TO)
3600.22
3649.49
4795856
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb
? (TO)
3600.22
3658.8
4795644
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb
? (TO)
3600.23
3665.35
4795746
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
? (TO)
3600.23
3676.06
4795534
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_710_002.opb
? (TO)
3600.23
3642.32
4795850
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-058.lin.opb
? (TO)
3600.24
3650.18
4795736
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
? (TO)
3600.25
3621.26
4795390
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
? (TO)
3600.25
3636.83
4795652
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir10_area_delay.opb
? (TO)
3600.25
3649.03
4795366
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb
? (TO)
3600.25
3677.96
4795750
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
? (TO)
3600.27
3658.94
4795748
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_690_000.opb
? (TO)
3600.27
3649.2
4795860
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb
? (TO)
3600.28
3640.42
4806794
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
? (TO)
3600.29
3634.08
4795338
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i1_pp_81.opb
? (TO)
3600.3
3662.49
4795828
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (TO)
3600.37
3637.88
4795656
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE1.0_TMAX60_K192_cod1.opb
? (TO)
3600.38
3640.75
4795658
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
? (TO)
3600.4
3664.34
4795752
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX60_K192_cod1.opb
? (TO)
3600.48
3652.1
4795662
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX300_K192_cod1.opb
? (TO)
3600.54
3645.57
4795646
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX60_K192_cod1.opb
? (TO)
3600.65
3632.48
4795648
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
? (TO)
3600.78
3646.4
4795654
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__8.opb
? (TO)
3600.93
3687.17
4795398
Solver exceeded the limit on file size (9 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__2048.opb
? (FL)
532.579
550.83
4795406
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
? (FL)
1446.71
1481.12
4795344
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
? (FL)
2172.06
2211.02
4795078
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__32.opb
? (FL)
2833.19
2892.2
4795404
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
? (FL)
2862.85
2903.35
4795086
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
? (FL)
3142.86
3193.31
4795070
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-supportcase22.opb
? (FL)
3217.46
3279.88
4795808
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
? (FL)
3294.22
3347.19
4795030
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-nw04.opb
? (FL)
3431.21
3491.8
4795806