PB'25 competition: benchmarks results per solver
Result page for solver Hybrid-CASHWMaxSATDisjCom+ExactPRS9
2025-06-02
(complete)
Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (20 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb
UNSAT
0.012012
0.0408671
4501034
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb
UNSAT
0.026752
0.056031
4500942
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-121.cudf.trendy.opb
UNSAT
0.059226
0.0898089
4501126
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb
UNSAT
0.110152
0.144122
4501402
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-557.cudf.trendy.opb
UNSAT
0.128259
0.152205
4501080
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb
UNSAT
0.129947
0.182351
4501586
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb
UNSAT
0.174136
0.204294
4501172
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb
UNSAT
0.178297
0.211851
4501218
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand659e05.cudf.trendy.opb
UNSAT
0.199961
0.22818
4500574
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand65d021.cudf.trendy.opb
UNSAT
0.203784
0.241455
4500436
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa6288-047.opb
UNSAT
0.215976
0.245558
4486682
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot.opb
UNSAT
1.56679
1.60741
4485670
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-qnet1_o.opb
UNSAT
3.93554
3.9708
4486084
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb
UNSAT
8.6373
8.68671
4486176
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
UNSAT
15.6246
15.7178
4507934
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1769397.opb
UNSAT
38.7691
38.9316
4522302
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
UNSAT
252.443
253.175
4490454
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
UNSAT
1038.12
1041.44
4499332
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_8_ic.opb
UNSAT
1808.42
1813.26
4505106
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
UNSAT
1885.74
1891.35
4504968
Solver found optimum (OPTIMUM FOUND) (337 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
0.009068
0.0350469
4487832
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
0.009624
0.036983
4487970
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
0.009883
0.03761
4487924
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
OPT
50
0.010042
0.0353109
4486820
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb
OPT
0
0.010757
0.0306449
4519266
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
0.011139
0.0400651
4487878
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
OPT
50
0.012767
0.056782
4486912
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb
OPT
0
0.014211
0.055741
4518898
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT
100
0.01429
0.0431811
4486728
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
OPT
6
0.014665
0.046399
4491236
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
OPT
1567
0.014789
0.044555
4487648
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=509.opb
OPT
149
0.016108
0.04278
4488062
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
OPT
2
0.016786
0.0528819
4491006
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=379.opb
OPT
331
0.01792
0.0428681
4488108
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
OPT
20
0.018292
0.0426271
4487786
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=409.opb
OPT
71
0.019023
0.043069
4488154
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=383.opb
OPT
223
0.020118
0.050261
4488476
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=419.opb
OPT
109
0.020359
0.0550099
4488292
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT
36
0.020451
0.052917
4487142
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
OPT
200
0.020508
0.0538121
4486958
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=239.opb
OPT
229
0.021909
0.055898
4488246
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
0.021995
0.058723
4487050
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT
36
0.022604
0.0482449
4487464
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=277.opb
OPT
131
0.022784
0.0503331
4488338
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
0.022942
0.0559919
4487234
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_004.opb.metafix.opb
OPT
23
0.023416
0.046316
4508348
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
0.023472
0.069449
4486452
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir04_area_partials.opb
OPT
30
0.023739
0.061302
4497266
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_000.opb.metafix.opb
OPT
16
0.02382
0.0458781
4508486
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.opb
OPT
30
0.024096
0.0457311
4508670
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
OPT
4
0.027335
0.055722
4491098
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12.opb
OPT
46877
0.027421
0.0645321
4498688
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT
34
0.028252
0.0623539
4487280
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_005.opb.metafix.opb
OPT
26
0.028446
0.05013
4508578
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT
304
0.031886
0.0522649
4484152
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb
OPT
13739089
0.032926
0.0533529
4512598
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT
3951
0.03298
0.0963411
4496392
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.033088
0.0608401
4491144
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45.opb
OPT
45008
0.034524
0.0646719
4498918
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
OPT
9663726592
0.036233
0.0584459
4485900
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb
OPT
102017
0.036591
0.066453
4500988
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT
13949
0.03827
0.0848469
4496944
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
0.039746
0.0705379
4486222
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
OPT
25
0.042097
0.068347
4487602
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT
5867
0.043023
0.111403
4496254
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT
5148
0.045863
0.110572
4496346
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-990.cudf.trendy.opb
OPT
277042
0.046096
0.0731449
4501264
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_12.opb
OPT
-36
0.049768
0.0727751
4521014
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb
OPT
4479155252
0.054943
0.0765269
4512736
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb
OPT
-1073741823
0.062383
0.0847129
4485946
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb
OPT
7665979
0.073554
0.0942461
4512690
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_60_004.opb
OPT
-874
0.080519
0.146313
4523268
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_05.opb
OPT
21
0.083361
0.105187
4521980
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.087952
0.122374
4491282
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir04_area_delay.opb
OPT
12
0.090713
0.134906
4497312
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
OPT
90
0.09434
0.127619
4520876
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT
5852
0.097892
0.162186
4496300
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
OPT
24
0.102119
0.138231
4487510
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
OPT
24890
0.108487
0.160381
4497036
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb
OPT
0
0.109834
0.146391
4500344
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT
8034
0.117537
0.179934
4496438
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
OPT
19643295490
0.118252
0.14179
4512552
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rande89f80.cudf.trendy.opb
OPT
2979398
0.127042
0.160443
4500298
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb
OPT
42
0.128344
0.15178
4508624
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb
OPT
264
0.143867
0.188796
4521612
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-019.lin.opb
OPT
4
0.153121
0.178984
4509038
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
OPT
2477
0.1535
0.179472
4501310
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb
OPT
55266674189
0.165216
0.193547
4512460
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb
OPT
120
0.179379
0.204289
4520462
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb
OPT
76
0.186998
0.212815
4520508
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand902db1.cudf.trendy.opb
OPT
394243446
0.187372
0.222788
4500528
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb
OPT
8228
0.196793
0.22635
4501356
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
OPT
10818283609
0.205387
0.254633
4500390
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
OPT
47342
0.220116
0.26486
4497082
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT
8908
0.22551
0.285966
4496208
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
OPT
20578507799
0.250713
0.301638
4500482
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT
36
0.255093
0.287358
4487372
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb
OPT
2
0.259014
0.287055
4501632
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0055-0055.lin.opb
OPT
-20
0.272319
0.300799
4508992
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
OPT
64
0.274806
0.310318
4487188
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
OPT
23978
0.313339
0.359025
4496990
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc01.opb
OPT
1074317824
0.326672
0.349898
4485992
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir05_area_opers.opb
OPT
35
0.375897
0.414242
4497220
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-bnatt350.opb
OPT
0
0.383077
0.431011
4502628
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
OPT
4517
0.426102
0.463401
4487694
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
OPT
41202
0.427977
0.494101
4497128
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT
62
0.440645
0.488759
4487096
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT
-178
0.533321
0.572347
4499516
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_18.opb
OPT
-81
0.583236
0.614927
4521152
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-159.opb
OPT
1327
0.612112
0.657209
4487004
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT
60
0.620338
0.673208
4487326
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
OPT
-81
0.644546
0.680778
4499378
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
OPT
-76
0.663864
0.689342
4499700
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT
-169
0.717349
0.757088
4499792
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb
OPT
50
0.725
0.751365
4508394
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
OPT
813
0.733779
0.764892
4484014
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb
OPT
-1336666903
0.811492
0.835281
4512644
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
OPT
-187
0.815441
0.852799
4499746
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb
OPT
760
0.825426
0.856935
4521796
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
OPT
-164
0.830733
0.858118
4499608
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
OPT
28
0.8403
0.87612
4521842
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_004.opb.metafix.opb
OPT
51
0.853591
0.88244
4508302
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
OPT
25
0.900714
0.977029
4496530
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_20.opb
OPT
-96
1.02001
1.04837
4521290
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r7_c14_a4.opb
OPT
378
1.0267
1.06322
4520186
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
1.02992
1.06312
4490730
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
OPT
-175
1.05141
1.07848
4499654
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb
OPT
924
1.12666
1.17016
4521704
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-macrophage.opb
OPT
374
1.19051
1.25528
4502536
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT
-167
1.22232
1.25061
4499562
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb
OPT
146081
1.28494
1.34455
4501448
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb
OPT
146114
1.28772
1.37317
4501540
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
OPT
-70
1.32214
1.36057
4499424
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb
OPT
141778
1.36589
1.41541
4501494
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
OPT
34
1.36921
1.39907
4490132
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
OPT
26
1.37601
1.42378
4496622
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
OPT
34
1.39358
1.44298
4490224
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT
64
1.50038
1.54532
4487418
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-hanoi5.opb
OPT
1931
1.614
1.67354
4502674
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
OPT
50162
1.71676
1.76541
4496852
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.trendy.opb
OPT
2703522196109
1.73501
1.76951
4500666
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kdessh.cudf.trendy.opb
OPT
2624366011833
1.7355
1.76967
4500620
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-synaptic.cudf.trendy.opb
OPT
2624366011833
1.75988
1.79826
4500896
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
OPT
28
1.96632
2.03498
4496668
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb
OPT
1512
2.07354
2.1127
4521566
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
OPT
400
2.08487
2.20284
4520784
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
OPT
785
2.09078
2.1278
4486774
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=7-t=3.opb
OPT
4
2.17536
2.20386
4517794
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
OPT
165
2.27255
2.30994
4490960
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_058.opb
OPT
1740
2.46228
2.49785
4521750
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos11.opb
OPT
9216
2.48756
2.54107
4485164
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
OPT
-162
2.5139
2.5987
4499470
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.01-3.opb
OPT
6
2.52159
2.55684
4506486
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb
OPT
722
2.52756
2.56789
4520416
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-python-cairo.cudf.trendy.opb
OPT
2624366011833
2.5827
2.6808
4500850
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_6_mh.opb
OPT
7586846
2.60113
2.62912
4504416
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb
OPT
2738
2.6274
2.66023
4521382
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb
OPT
2624366011833
2.63475
2.74692
4500712
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb
OPT
2624366011833
2.65771
2.76114
4500758
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
OPT
3656703476375
2.65957
2.75018
4500804
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
OPT
6
2.78602
2.84685
4499240
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
OPT
18
2.91006
2.95887
4497680
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb
OPT
-2125803880
3.16602
3.20013
4512506
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
OPT
38
3.59199
3.6317
4489902
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
OPT
37
3.64144
3.68118
4490040
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
OPT
25
3.71434
3.77588
4496484
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
OPT
44
3.72865
3.7698
4490178
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb
OPT
14043
3.84896
3.89709
4506578
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
OPT
42
4.01481
4.05828
4489994
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.20-11.opb
OPT
7
4.07747
4.13156
4506256
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb
OPT
2520
4.21404
4.25837
4521658
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
OPT
41
4.33282
4.37131
4489948
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb
OPT
22
4.58699
4.66658
4496576
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
OPT
134248448
4.59296
4.63193
4512414
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_75.opb
OPT
2889
4.697
4.74075
4518806
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_3.std.opb
OPT
89
4.7779
4.82184
4499838
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
OPT
26
5.00615
5.07571
4496714
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
OPT
2556
5.10845
5.16152
4521520
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
OPT
49
5.11867
5.15826
4490086
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-3.opb
OPT
15414
5.17126
5.2889
4506532
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
OPT
5900212
5.20728
5.25726
4505014
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
OPT
33456
5.29271
5.37238
4496806
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-4.opb
OPT
17444
5.36443
5.40863
4506624
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
OPT
207
5.47983
5.54653
4486636
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9033_7.std.opb
OPT
109
5.52405
5.5674
4500206
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.E.recomb10-0.20-11.opb
OPT
9588
5.92815
6.01241
4506302
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb
OPT
7
6.2527
6.32328
4509544
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
OPT
22
6.61447
6.68657
4502766
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_8.std.opb
OPT
58
7.32423
7.37135
4500114
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_9.std.opb
OPT
49
7.39258
7.44171
4500160
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb
OPT
0
7.64156
7.68557
4519082
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1202_6.std.opb
OPT
92
7.84618
7.89707
4499930
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12042_6.std.opb
OPT
119
8.24822
8.29982
4500022
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
OPT
3521
8.29597
8.35915
4506670
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
OPT
8
8.54974
8.61229
4499010
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_25.opb
OPT
-150
9.03447
9.08523
4521336
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb
OPT
1170
9.11516
9.17665
4520370
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j906_2.std.opb
OPT
86
9.24248
9.30324
4500252
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_1.std.opb
OPT
93
9.85043
9.9331
4499884
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb
OPT
7200
13.0278
13.0906
4521474
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
OPT
43
13.1328
13.1938
4507980
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-06-2_c24.opb
OPT
5612
13.183
13.2442
4524096
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Clique-c0125-9_c24.opb
OPT
-34
13.7174
13.7713
4524372
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=3.opb
OPT
5
14.0155
14.0784
4517748
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
OPT
344750
14.1843
14.2736
4485854
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r17_c34_a4.opb
OPT
2278
17.2684
17.3491
4520002
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-14.opb
OPT
5267
19.0597
19.1615
4506440
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-24-2_c24.opb
OPT
20324
21.7501
21.8408
4524050
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-9.opb
OPT
47741
22.0863
22.1823
4506348
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb
OPT
9800
23.9239
24.0157
4521428
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_000.opb.metafix.opb
OPT
66
24.7421
24.8303
4508532
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_12.opb
OPT
-22
25.4294
25.5441
4519680
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
OPT
9
27.5322
27.6558
4499194
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
OPT
67
29.1533
29.2771
4508210
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0088-0888.lin.opb
OPT
-55
31.0599
31.1887
4509084
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
OPT
6
31.6172
31.7884
4499102
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
OPT
54713
37.4934
37.7201
4506394
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
OPT
79
43.3622
43.5157
4508026
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r21_c41_a4.opb
OPT
3362
43.777
43.9692
4520232
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
OPT
-80
45.9187
46.084
4508762
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
OPT
101
48.5468
48.713
4507888
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
OPT
21
49.559
49.7414
4497818
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb
OPT
23
51.4977
51.7049
4497358
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb
OPT
-72
53.7566
53.9911
4483784
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb
OPT
-2197
57.3964
57.5972
4517932
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
OPT
20
58.1161
58.6061
4497726
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
OPT
19
59.3302
59.7578
4497772
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
OPT
21
93.4542
93.82
4497496
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb
OPT
-310536843
101.84
102.139
4512368
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
OPT
167
102.55
102.904
4508164
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r22_c44_a5.opb
OPT
5742
112.117
112.518
4520140
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
OPT
4563
172.44
173.315
4520278
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
OPT
145
173.475
173.999
4508072
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=3.opb
OPT
7
173.913
174.504
4517656
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
OPT
5950590
190.243
190.833
4504278
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
OPT
8034
240.703
241.579
4520324
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
OPT
1
252.676
253.434
4523682
PB25/normalized-PB25/OPT-LIN/sakai/
PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb
OPT
1
266.743
267.587
4523590
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
OPT
12
288.03
288.877
4517840
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=9.opb
OPT
1
296.221
296.946
4517564
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
OPT
20
306.801
307.92
4497404
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__512.opb
OPT
45008
379.043
380.176
4498504
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb
OPT
1
447.629
448.924
4488384
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.opb
OPT
95378
524.557
526.078
4498642
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb
OPT
2
552.092
554.108
4522670
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
OPT
122
591.079
592.941
4502582
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
OPT
53
608.477
610.1
4488016
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
OPT
2218686
610.188
612.165
4504784
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
OPT
1
725.017
726.799
4518392
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-mitre.opb
OPT
7677
788.927
791.478
4522026
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb
OPT
1
845.038
847.45
4488200
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
OPT
-48992
896.037
899.31
4518162
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb
OPT
-22
896.154
899.321
4519956
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb
OPT
-17
896.264
899.286
4519818
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_007.opb.metafix.opb
OPT
96
896.425
899.156
4508256
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
OPT
2642
896.43
899.163
4484106
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
OPT
-141992
896.446
899.265
4517978
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_120_003.opb
OPT
-2565
896.447
899.234
4522946
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_500_10000_2_-399276.opb
OPT
-527203
896.545
899.379
4518208
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
OPT
3
896.677
899.213
4484658
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/
normalized-knapPI_9_5000_1000_1_-48768.opb
OPT
-48768
896.72
899.307
4518070
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb
OPT
1
896.739
899.291
4518576
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
OPT
1
896.77
899.089
4518484
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb
OPT
-20
896.839
899.264
4519910
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/
normalized-knapPI_12_1000_1000_3_-17136.opb
OPT
-17178
896.892
900.024
4518254
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
OPT
0
896.948
899.554
4484244
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/
normalized-knapPI_11_1000_1000_5_-23276.opb
OPT
-109060
896.956
900.025
4518024
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb
OPT
1
896.98
899.629
4518346
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
OPT
2967
897.004
899.77
4522440
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
OPT
-7944
897.149
900.053
4523222
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb
OPT
1
897.194
899.433
4518438
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
OPT
3031
897.231
899.691
4484060
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_009.opb.metafix.opb
OPT
115
897.317
899.733
4508440
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_230_000.opb
OPT
-7236
897.534
900.135
4523130
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb
OPT
-56
897.564
899.932
4519772
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb
OPT
-30
897.742
900.095
4519864
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb
OPT
1
897.99
900.296
4518530
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb
OPT
1800
898.122
900.837
4520692
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
OPT
2
898.862
901.571
4484474
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_001.opb
OPT
-13240
898.96
901.767
4523314
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
OPT
12675
899.548
902.161
4520048
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r31_c62_a6.opb
OPT
11439
899.56
902.236
4520094
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
OPT
70311
900.112
903.032
4496898
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
OPT
1
900.176
902.658
4484612
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
OPT
3
900.79
903.034
4517610
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_009.opb
OPT
-14822
902.156
905.016
4523084
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
OPT
939
902.463
904.943
4484198
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/
normalized-knapPI_14_10000_1000_2_-407357.opb
OPT
-539657
903.451
906.117
4518300
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
OPT
50
904.414
907.098
4487556
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
OPT
-29
906.852
909.496
4519588
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
OPT
17
908.165
910.651
4491052
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
OPT
5
908.67
911.251
4484520
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
OPT
4
909.024
911.434
4484290
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
OPT
245
909.394
911.86
4490914
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_5000_1000_4_-199683.opb
OPT
-296283
911.162
914.101
4517886
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/
normalized-knapPI_15_2000_1000_5_-50838.opb
OPT
-17191
911.453
914.468
4518116
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
OPT
-16
912.613
914.881
4519634
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
OPT
73649
915.057
917.965
4496760
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
OPT
50769
915.496
918.581
4497174
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb
OPT
1176
917.864
921.084
4522578
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
OPT
29
923.511
926.633
4509452
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_610_007.opb
OPT
-26846
923.901
927.115
4522992
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
OPT
2
924.62
927.432
4490270
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_680_004.opb
OPT
-31248
940.669
943.497
4523360
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb
OPT
-76
943.565
947.296
4519542
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb
OPT
-148
943.885
946.734
4519726
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
OPT
12
960.741
963.365
4484566
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-ab51-40-100.opb
OPT
-1285215
960.945
963.637
4522256
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
OPT
1
972.265
975.083
4518760
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-40.lin.opb
OPT
1183
992.558
995.77
4509130
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
OPT
3
1003.7
1006.36
4484336
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
OPT
2
1014.38
1017.3
4484382
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
OPT
1016
1071.32
1074.5
4520738
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
OPT
87132
1114.72
1118.28
4498734
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
OPT
15
1132.01
1135.49
4502306
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
OPT
1756
1135.42
1138.35
4520830
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
OPT
9
1176.1
1179.37
4484428
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
OPT
36
1233.62
1237.63
4502996
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
OPT
115
1286.51
1290.53
4509222
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-opm2-z7-s2.opb
OPT
-10280
1298.38
1302.43
4522348
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
OPT
0
1345.43
1349.53
4490362
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
OPT
-540
1390.93
1395.56
4520922
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
OPT
1616
1540.61
1544.89
4520600
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
OPT
6
1584.62
1589.85
4517702
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
OPT
32
1639.79
1644.66
4509590
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
OPT
7
1798.01
1803.26
4499286
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
OPT
64
1800.2
1805.6
4509314
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb
OPT
54
1804.25
1809.65
4509360
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__1024.opb
OPT
45008
1805.5
1810.95
4498780
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion_binary.opb
OPT
-1290
1953.88
1959.73
4483830
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb
OPT
1
1969.09
1974.98
4518668
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb
OPT
1
1975.11
1981.12
4518714
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb
OPT
496
1980.61
1988.13
4519450
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
OPT
1
1983.95
1989.57
4518622
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-TestScheduling-t030m10r05-1_c24.opb
OPT
1986
1985.55
1991.31
4524280
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb
OPT
105
2000.23
2006.47
4519496
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb
OPT
153
2020.11
2025.88
4519312
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
OPT
2899749
2085.05
2090.77
4503864
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
OPT
3367493
2104.04
2110.42
4503772
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-24_c24.opb
OPT
94204
2498.25
2506.93
4524234
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.opb
OPT
101
2613.03
2621.09
4507842
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
OPT
27
2694.27
2702.17
4509406
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
OPT
4
2695.57
2703.47
4523498
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
OPT
2
2695.88
2704.25
4523774
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
OPT
2
2698.73
2706.63
4523728
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb
OPT
346
2700.79
2708.2
4522900
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
OPT
9
2703.48
2711.34
4523820
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
OPT
2
2705.64
2713.47
4523406
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
OPT
4
2717.64
2725.84
4523636
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb
OPT
750
2728.38
2736.1
4522486
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb
OPT
440
2789.87
2798.57
4522808
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
OPT
0
2884.92
2893.55
4522854
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb
OPT
3
3045.61
3053.89
4523544
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb
OPT
0
3110.92
3120.23
4522762
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
OPT
3
3237.22
3246.66
4523452
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
OPT
595
3427.3
3440.02
4521934
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb
OPT
4
3517.62
3526.61
4522624
Solver found a solution (SATISFIABLE) but this may not be the optimal solution (153 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
SAT
-1764
3581.9
3596.16
4521198
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT
42
3583.38
3596.19
4502858
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
SAT
56
3584.02
3596.2
4502950
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
SAT
40637651
3584.24
3597.02
4505520
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=8.opb
SAT
5
3584.3
3596.11
4517426
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
SAT
4718435
3584.38
3596.27
4504094
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
SAT
24039311
3584.45
3596.92
4505290
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
SAT
159
3584.79
3596.18
4502720
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
SAT
203
3584.83
3596.13
4524188
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
SAT
27
3584.85
3596.24
4497450
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb
SAT
746
3584.96
3598.38
4519404
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT
183
3585
3596.13
4489396
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
SAT
-70
3585.02
3596.19
4522164
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
SAT
45809867
3585.12
3596.75
4505152
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
SAT
4576763
3585.12
3596.2
4503818
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
SAT
27746505
3585.16
3596.9
4505198
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT
180
3585.17
3596.33
4489074
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT
16
3585.2
3596.13
4490546
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_4_mh_ic.opb
SAT
4600667
3585.2
3596.47
4504738
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
SAT
64
3585.25
3596.22
4503042
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-45.lin.opb
SAT
-117904
3585.26
3596.31
4508946
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
SAT
38209627
3585.29
3596.99
4505244
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
SAT
690
3585.33
3596.23
4485578
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
SAT
60
3585.34
3596.24
4502812
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
SAT
35847153
3585.42
3596.82
4505566
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT
-44
3585.47
3596.28
4484980
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT
7
3585.48
3596.15
4490684
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
SAT
74
3585.51
3596.1
4490822
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
SAT
976
3585.53
3596.13
4485256
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
SAT
26
3585.55
3596.21
4497588
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
SAT
91962665808050
3585.57
3596.17
4486038
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
SAT
147
3585.57
3596.1
4491190
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-methanosarcina.opb
SAT
2737
3585.58
3596.16
4502352
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_4_mh.opb
SAT
3938224
3585.58
3596.4
4504554
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
SAT
259
3585.58
3596.27
4489672
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=18-t=2.opb
SAT
16
3585.59
3596.13
4517518
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12055_1.std.opb
SAT
102
3585.62
3596.17
4499976
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT
-35
3585.62
3596.28
4485026
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT
148
3585.63
3596.12
4486268
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT
2
3585.64
3596.16
4490500
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
SAT
101
3585.64
3596.11
4507796
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT
-52
3585.66
3596.13
4484842
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
SAT
3242
3585.67
3596.17
4520554
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_8.opb
SAT
4202667
3585.68
3596.2
4503956
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_87.opb
SAT
-1892
3585.71
3596.15
4521060
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
SAT
30
3585.73
3596.29
4497634
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
SAT
213
3585.75
3596.2
4489488
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_2_mh_ic.opb
SAT
3117995
3585.75
3596.46
4504876
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
SAT
136579
3585.77
3597.27
4523866
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
SAT
1247115
3585.81
3596.76
4504830
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
SAT
-35
3585.82
3596.2
4485118
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
SAT
11449658
3585.89
3596.13
4486130
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament26.lin.opb
SAT
-167
3585.9
3596.14
4508854
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-35_c24.opb
SAT
-61
3585.91
3596.38
4524326
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
SAT
247
3585.92
3596.24
4489580
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
SAT
96
3585.92
3596.16
4491328
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
SAT
227
3585.93
3596.27
4489856
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT
14
3585.93
3596.15
4490408
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
SAT
-11154
3585.94
3596.22
4508900
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT
1036
3585.94
3596.13
4488614
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
SAT
1103
3585.95
3596.18
4485532
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
SAT
48
3585.99
3596.13
4508118
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_4_mh.opb
SAT
3832953
3585.99
3597.16
4504600
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
SAT
311
3586
3597.32
4502904
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT
12
3586.01
3596.13
4490316
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT
1028
3586.02
3596.25
4488890
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
SAT
240
3586.04
3596.31
4489626
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
SAT
21601687
3586.05
3596.47
4505060
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
SAT
16
3586.09
3596.2
4509498
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
SAT
0
3586.1
3596.12
4519220
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT
1033
3586.11
3596.13
4488660
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_0_mh_ic.opb
SAT
2587553
3586.13
3596.53
4504692
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT
182
3586.14
3596.12
4489304
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
SAT
3373010
3586.15
3596.34
4504232
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT
1030
3586.28
3596.14
4488522
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
SAT
3412216
3586.32
3596.83
4504324
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
SAT
-600
3586.33
3596.14
4521244
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
SAT
221
3586.34
3596.16
4491374
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
SAT
243
3586.34
3596.2
4489764
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT
-55
3586.35
3596.11
4484750
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
SAT
-342897
3586.36
3596.75
4505612
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT
187
3586.38
3596.24
4488982
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
SAT
0
3586.38
3596.07
4518990
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
SAT
22
3586.4
3596.2
4497542
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT
-35
3586.42
3596.18
4485072
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
SAT
61
3586.44
3597.6
4509176
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
SAT
-50
3586.44
3596.26
4484888
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6045_4.std.opb
SAT
109
3586.49
3596.35
4500068
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-sorrell8.opb
SAT
-350
3586.51
3596.2
4522072
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT
1038
3586.52
3596.14
4488568
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
SAT
239
3586.57
3596.3
4489534
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
SAT
242
3586.58
3596.29
4489718
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
SAT
0
3586.6
3596.1
4518852
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
SAT
36360357
3586.62
3596.84
4505336
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
SAT
2243
3586.62
3596.19
4486866
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
SAT
0
3586.62
3596.12
4518944
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
SAT
1088392192
3586.63
3596.2
4485624
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
SAT
0
3586.64
3596.07
4519128
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
SAT
0
3586.65
3596.08
4519174
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT
1036
3586.67
3596.18
4488706
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT
179
3586.68
3596.13
4489212
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
SAT
18
3586.7
3596.12
4517472
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
SAT
6102808
3586.71
3596.39
4504508
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
SAT
807184
3586.73
3596.19
4522118
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_7_mh_ic.opb
SAT
3244320
3586.75
3596.98
4504922
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
SAT
-158035
3586.76
3597.05
4505658
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_luby_10null20mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_product.opb
SAT
-6568
3586.77
3597.1
4483922
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
SAT
121
3586.78
3596.11
4490868
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT
64
3586.81
3596.1
4486406
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_6.opb
SAT
6006827
3586.84
3596.31
4504140
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT
306
3586.85
3596.29
4486360
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
SAT
1054
3586.87
3596.86
4522532
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
SAT
5481033
3586.88
3596.18
4504048
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb
SAT
2484148
3586.88
3596.58
4508808
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT
1034
3586.9
3596.15
4488798
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-WordGolf-4-ogd2008-50-0_c24.opb
SAT
31
3586.95
3596.88
4524004
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_ladder.opb
SAT
-70920
3586.96
3596.67
4483738
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT
182
3586.96
3596.28
4489350
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
SAT
-56
3587
3596.11
4484704
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT
180
3587.01
3596.14
4489258
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
SAT
4367883
3587.04
3596.22
4504186
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT
176
3587.12
3596.16
4489166
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb
SAT
-57314
3587.12
3597.05
4505750
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT
24016
3587.12
3596.28
4486498
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
SAT
239
3587.14
3596.16
4489810
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
SAT
-53
3587.15
3596.11
4484796
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT
1037
3587.16
3596.17
4488752
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT
183
3587.18
3596.16
4489028
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT
186
3587.21
3596.15
4489120
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
SAT
96439
3587.26
3597.11
4523912
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-biella1.opb
SAT
34551288076390400
3587.28
3596.26
4485486
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT
72384
3587.4
3596.28
4486544
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-rail507.opb
SAT
183
3587.41
3596.85
4485210
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT
1040
3587.45
3596.24
4488844
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
SAT
4896971
3587.45
3596.93
4504646
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT
1035
3587.5
3596.24
4488936
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
SAT
689
3587.61
3596.52
4502444
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
SAT
245
3587.61
3596.23
4489442
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb
SAT
0
3587.63
3596.21
4519036
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
SAT
-23609
3587.77
3596.34
4502490
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_seq/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_sequential.opb
SAT
-724
3587.89
3597.11
4483876
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
SAT
-27
3587.96
3596.12
4502398
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
SAT
-114930
3588.28
3596.94
4523176
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
SAT
-49
3588.29
3598.35
4484934
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion.opb
SAT
-321615
3588.42
3598.47
4483968
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT
42866
3588.52
3597.4
4486314
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
SAT
1618959
3589.41
3600.04
4508716
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
SAT
1588
3589.98
3599.4
4485394
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
SAT
2098
3590.45
3602.86
4520646
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
SAT
6111331
3590.88
3602.55
4504002
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
SAT
1616874
3591.69
3603.35
4498596
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
SAT
1142
3592.43
3602.7
4519358
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
SAT
4165201
3592.59
3603.57
4504370
Solver didn't decide (UNKNOWN) (15 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
?
987.969
991.094
4521888
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-2-0_c24.opb
?
1028.89
1031.59
4524142
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
?
3584.82
3596.15
4499056
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
?
3584.84
3596.11
4490638
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
?
3585.01
3596.27
4485440
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
?
3585.37
3596.17
4499148
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-AztecDiamondSym-mini-07_c24.opb
?
3585.48
3596.5
4523958
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
?
3585.68
3596.25
4486590
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
?
3585.89
3596.1
4490592
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
?
3586.05
3596.1
4490776
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
?
3586.09
3596.75
4485716
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
?
3586.35
3596.38
4498964
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
?
3586.59
3596.42
4485302
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
?
3586.66
3596.17
4485808
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
?
3586.98
3596.88
4485348
Solver timed out (no solution given) (8 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_5.opb
? (TO)
3602.05
3613.71
4503910
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb
? (TO)
3602.07
3613.4
4521106
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
? (TO)
3602.09
3612.71
4487740
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_90.opb
? (TO)
3602.1
3612.12
4520968
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb
? (TO)
3602.12
3612.41
4512322
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb
? (TO)
3602.21
3612.49
4505704
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_6_mh.opb
? (TO)
3602.35
3612.88
4504462
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb
? (TO)
3602.54
3613.27
4523038
Solver exceeded the memory limit (no solution given) (22 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
? (MO)
278.321
279.203
4509268
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab3.opb
? (MO)
597.471
599.458
4522394
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__256.opb
? (MO)
618.684
620.309
4498826
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__256.opb
? (MO)
668.702
670.641
4498872
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
? (MO)
839.093
841.391
4498550
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
? (MO)
952.263
955.252
4506164
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (MO)
954.029
956.942
4506072
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (MO)
954.882
957.642
4506026
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (MO)
954.905
957.85
4505888
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
963.711
967.099
4506210
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
? (MO)
964.501
967.258
4522716
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
? (MO)
966.387
969.754
4506118
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
? (MO)
973.047
975.631
4505842
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
? (MO)
976.625
979.551
4505382
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_mh.opb
? (MO)
977.676
980.955
4505428
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_mh.opb
? (MO)
979.123
981.963
4505474
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb
? (MO)
986.016
989.151
4488430
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
? (MO)
1053.43
1056.84
4485762
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
1074.48
1077.33
4505796
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpm1.opb
? (MO)
1095.41
1098.98
4522210
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
? (MO)
1163.7
1167.54
4505934
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (MO)
1198.92
1202.74
4505980