PB'26 competition: benchmarks results per solver
Result page for solver Qiuqi (16 cores)
2026-06-15
(complete)
Solver command line
run-glibc ./MIXSolver -Threads=NBCORE -TimeLimit=TIMEOUT BENCHNAME
Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (15 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-1093.cudf.trendy.opb
UNSAT
0.014302
0.0214289
4825199
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-122.cudf.trendy.opb
UNSAT
0.022964
0.0204721
4825189
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand03b0b5.cudf.paranoid.opb
UNSAT
0.028126
0.0270491
4825204
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-519.cudf.paranoid.opb
UNSAT
0.036967
0.030044
4825239
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-520.cudf.trendy.opb
UNSAT
0.03798
0.0295789
4825179
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1243.cudf.trendy.opb
UNSAT
0.041088
0.0315101
4825184
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1238.cudf.paranoid.opb
UNSAT
0.041503
0.0323239
4825259
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randb3c96d.cudf.trendy.opb
UNSAT
0.049521
0.0329969
4825139
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randab5933.cudf.paranoid.opb
UNSAT
0.226073
0.0571151
4825214
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=379-Q=521.opb
UNSAT
0.24917
0.0407571
4823619
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb
UNSAT
0.30042
0.063569
4825219
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
UNSAT
6.70397
0.553654
4825666
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1686196.opb
UNSAT
16.5759
1.25086
4828146
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct4.5.opb
UNSAT
674.584
48.6349
4826041
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul4.5.opb
UNSAT
1449.68
104.453
4826031
Solver found optimum (OPTIMUM FOUND) (343 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
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.013918
0.014226
4823374
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated_span/normalized-knapPI_11_50_1000_1_-1428.opb
OPT
-1428
0.034274
0.024806
4827651
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
similar_weights/normalized-knapPI_9_100_1000_2_-997.opb
OPT
-997
0.052062
0.0227009
4827661
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_04.opb
OPT
0
0.053988
0.0173969
4827776
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_041.opb
OPT
1
0.059494
0.028733
4827701
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
OPT
1567
0.070571
0.0206261
4823564
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f15-AC_ESSLoss.seq-A-2-2-irabcde.opb
OPT
33523448
0.090393
0.0226451
4826591
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_061.opb
OPT
1
0.097854
0.0266289
4827716
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated_span/normalized-knapPI_11_100_1000_2_-3990.opb
OPT
-3990
0.109628
0.032865
4827656
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb
OPT
50
0.110507
0.026245
4826066
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT
36
0.111314
0.025446
4823539
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-1_6-yes1-3.opb
OPT
200
0.113169
0.0257549
4823459
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f19-ACTotalLoss.seq-B-3-2-irEDCBA.opb
OPT
889889
0.120695
0.022486
4826566
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir07_area_partials.opb
OPT
33
0.121538
0.0262591
4824704
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament08.lin.opb
OPT
-12
0.147075
0.0265801
4826111
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_11.opb
OPT
-10
0.154276
0.027689
4827871
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir05_area_partials.opb
OPT
36
0.161122
0.03776
4824709
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT
5852
0.167464
0.0270919
4824599
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT
8908
0.188078
0.032671
4824589
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
OPT
2642
0.190527
0.0336179
4823174
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_05.opb
OPT
-4
0.19384
0.0446409
4827831
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=223.opb
OPT
67
0.195183
0.0399009
4823649
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_101.opb
OPT
1
0.203868
0.0365631
4827741
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
OPT
90
0.205845
0.038921
4827971
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb
OPT
6
0.207482
0.039985
4823879
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-5.opb
OPT
350
0.211246
0.03621
4823464
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
weakly_correlated/normalized-knapPI_2_100_1000_5_-3352.opb
OPT
-4652
0.217717
0.0570451
4827671
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-1_6-yes1-1.opb
OPT
100
0.218134
0.042442
4823469
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT
36
0.226174
0.035888
4823524
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
0.240058
0.052126
4823189
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
OPT
47342
0.240864
0.0350201
4824679
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
OPT
1053
0.255213
0.0376959
4823569
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT
47
0.255224
0.0436089
4823639
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
0.264224
0.048162
4823594
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
OPT
24890
0.268629
0.039908
4824674
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_251.opb
OPT
1
0.274022
0.043167
4827746
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=379.opb
OPT
251
0.286543
0.0382229
4823614
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb
OPT
-20
0.286966
0.228094
4827866
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-4.opb
OPT
350
0.287529
0.045036
4823444
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-4.opb
OPT
200
0.288885
0.0396541
4823479
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__32.opb
OPT
70998
0.300808
0.0594089
4824949
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
0.310667
0.0489151
4823224
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=317.opb
OPT
89
0.335846
0.050792
4823659
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=10.opb
OPT
0
0.343754
0.044871
4827601
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
0.351091
0.051293
4827921
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir02_area_opers.opb
OPT
18
0.365248
0.0487509
4824699
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
0.365531
0.0442391
4823234
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r25_c50_a5.opb
OPT
7425
0.367038
0.073009
4827896
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_500_1000_2_-5036.opb
OPT
-5036
0.368837
0.0479859
4827681
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT
66
0.371136
0.0419331
4823529
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-550.cudf.paranoid.opb
OPT
2
0.399462
0.0650231
4825244
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r34_c68_a4.opb
OPT
9180
0.400683
0.0919541
4827886
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_006.opb.metafix.opb
OPT
115
0.417746
0.05371
4826086
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_008.opb.metafix.opb
OPT
85
0.421256
0.0497451
4826076
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT
62
0.423464
0.0625841
4823499
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c10.opb
OPT
21
0.428183
0.050062
4827931
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
OPT
23978
0.435402
0.0505589
4824669
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh209.opb
OPT
93
0.44489
0.073199
4823489
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_008.opb.metafix.opb
OPT
72
0.449704
0.220342
4826046
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
OPT
15
0.466428
0.0670609
4823559
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
OPT
20
0.480718
0.0673
4823584
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
OPT
41202
0.482043
0.0630829
4824684
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_002.opb
OPT
-7473
0.491242
0.0736049
4828216
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
0.496598
0.0667491
4827911
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
OPT
0
0.49829
0.086216
4823219
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=379.opb
OPT
101
0.512112
0.0741931
4823644
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
OPT
813
0.514663
0.0730509
4823164
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT
62
0.552157
0.0873689
4823504
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT
60
0.563222
0.0700629
4823519
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-902.cudf.trendy.opb
OPT
283030
0.564166
0.0795319
4825194
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
0.585907
0.0854891
4823429
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT
92
0.591501
0.091481
4823449
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r30_c60_a4.opb
OPT
7140
0.597174
0.0762219
4827891
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r32_c64_a5.opb
OPT
12192
0.655387
0.117968
4827881
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh220.opb
OPT
94
0.736845
0.0968411
4823484
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f44-DC_ESS.seq-B-2-combined-irabcde.opb
OPT
26628312588
0.746831
0.0904789
4826571
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r24_c48_a6.opb
OPT
6840
0.82894
0.099603
4827916
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT
64
0.832107
0.0922119
4823534
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
0.846274
0.0892761
4823229
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c51_a5.opb
OPT
7803
0.850247
0.099379
4827906
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__8.opb
OPT
95378
0.891615
0.111799
4824954
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
OPT
6
1.03273
0.10432
4824999
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
almost_strongly_correlated/normalized-knapPI_5_50_10000_4_-18105.opb
OPT
-32113
1.12933
0.105043
4827666
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand49e642.cudf.trendy.opb
OPT
39641230
1.19305
0.122113
4825114
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
OPT
33456
1.27623
0.159238
4824649
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb
OPT
24
1.28257
0.173131
4826191
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r34_c67_a6.opb
OPT
13467
1.28743
0.148117
4827901
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb
OPT
-39215
1.3067
0.151142
4827676
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1468.cudf.paranoid.opb
OPT
6
1.35449
0.146212
4825254
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
OPT
4822
1.37161
0.182461
4823574
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand601ba8.cudf.trendy.opb
OPT
84900802172
1.38903
0.152248
4825119
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_951.opb
OPT
1
1.43722
0.158828
4827731
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_901.opb
OPT
1
1.51553
0.188603
4827721
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb
OPT
1
1.60304
0.163868
4827736
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__32.opb
OPT
95378
1.61393
0.201579
4824959
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
OPT
3031
1.81368
0.165984
4823169
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c66_a6.opb
OPT
12969
1.88843
0.187219
4827876
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand59f7dd.cudf.paranoid.opb
OPT
344
1.9307
0.193299
4825209
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_430_008.opb
OPT
-14511
2.01581
0.234724
4828231
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
OPT
29
2.12762
0.203558
4826181
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6018_6.std.opb
OPT
61
2.13312
0.25903
4825084
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
OPT
27
2.13423
0.20408
4826176
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
OPT
8
2.17681
0.203884
4824974
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
OPT
50162
2.2036
0.191566
4824654
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
OPT
9
2.27695
0.225523
4824994
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
2.74718
0.221611
4823404
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_390_005.opb
OPT
-13158
2.79813
0.267122
4828206
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
-72
2.93256
0.252495
4827981
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_430_001.opb
OPT
-14973
3.28639
0.301808
4828221
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_100.opb
OPT
5000
3.32112
0.362203
4828026
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_26.opb
OPT
0
3.40936
0.279642
4827806
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j301_3.std.opb
OPT
47
3.57264
0.356393
4825104
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-1-irabcde.opb
OPT
1678960413
3.57732
0.324882
4826551
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3011_6.std.opb
OPT
44
3.63407
0.391196
4825094
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_801.opb
OPT
1
3.69195
0.309313
4827711
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3572885-glina.mps.opb
OPT
0
3.77675
0.517286
4828681
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9026_10.std.opb
OPT
92
3.87694
0.429921
4825109
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
OPT
25
4.15021
0.325549
4823914
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-1-irEDCBA.opb
OPT
13718029
4.18412
0.344997
4826546
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT
89
4.23881
0.334723
4823454
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_4.std.opb
OPT
64
4.53456
0.401893
4825099
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_007.opb
OPT
-17798
5.1037
0.440478
4828246
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_75.opb
OPT
-74
5.18464
0.42044
4827841
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_22.opb
OPT
-64
5.30188
0.427681
4827826
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_030.opb
OPT
480
5.33521
0.411953
4828051
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c50.opb
OPT
101
5.51058
0.429279
4827926
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
OPT
1
5.75676
0.471378
4828281
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
5.86725
0.479783
4823194
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand4bf850.cudf.trendy.opb
OPT
31850906195
6.65416
0.520466
4825129
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1078.cudf.paranoid.opb
OPT
4
6.6971
6.72006
4825249
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_10000_10000_4_-11456508.opb
OPT
-22951692
6.92089
0.599855
4827686
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
7.16491
7.18381
4823589
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT
13949
7.19979
6.97116
4824664
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.trendy.opb
OPT
18540641211
7.21879
0.607499
4825124
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randa09fe9.cudf.trendy.opb
OPT
28830293738
7.79485
0.608477
4825134
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__8.opb
OPT
60720
7.84209
0.718752
4824944
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12030_8.std.opb
OPT
79
7.93512
0.807654
4825079
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f5-AC1Loss.seq-A-2-1-EDCBAir.opb
OPT
-198938
8.25608
8.27255
4826586
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f18-AC1Loss.seq-A-2-2-irabcde.opb
OPT
7552
8.41731
8.4322
4826581
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT
5867
8.58475
8.58039
4824594
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
8.58751
8.61432
4823604
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
OPT
47
8.59641
0.791053
4826166
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT
3951
8.72002
8.73422
4824609
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12035_8.std.opb
OPT
101
9.38359
0.860066
4825074
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
OPT
939
9.47167
0.790318
4823184
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_04.opb
OPT
-3
9.47531
9.49397
4827851
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_50_001.opb
OPT
-406
9.55216
9.55968
4828201
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f26-ACDoubleLoss.seq-B-2-1-abcdeir.opb
OPT
23133
9.58909
9.56357
4826556
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
OPT
22
9.66258
0.718472
4825406
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_95_merged.opb
OPT
568
9.66984
0.811029
4828176
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i6_pp_88_merged.opb
OPT
348
9.97246
0.930419
4828196
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c40.opb
OPT
60
9.99133
9.95361
4827946
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT
5148
10.0923
10.0079
4824604
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_05.opb
OPT
-4
10.1732
10.1975
4827856
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f8-AC2Loss.seq-A-3-2-irEDCBA.opb
OPT
66733263
10.2619
10.2788
4826576
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_23.opb
OPT
0
10.7018
0.808827
4827786
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-hmittelman.lin.opb
OPT
13
10.7062
10.734
4826126
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_96_merged.opb
OPT
742
10.7703
0.945575
4828191
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
OPT
47
11.2596
0.845685
4823544
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_95.opb
OPT
-94
11.357
0.897138
4827846
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT
36
11.4348
11.369
4823509
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
11.511
11.5034
4823494
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_13.opb
OPT
105
11.512
0.906571
4828086
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-gr17.opb
OPT
2085
11.5813
0.873197
4828546
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
12.0695
12.031
4823514
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
12.0955
12.1362
4823599
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT
8034
12.3677
11.4015
4824614
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
OPT
70311
12.8299
1.02694
4824659
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_004.opb.metafix.opb
OPT
32
13.1486
13.1909
4826056
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i6_pp_93_merged.opb
OPT
376
13.3469
1.13303
4828181
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.opb
OPT
30
13.3552
13.4032
4826091
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
OPT
25
13.8659
1.07317
4824624
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_033.opb
OPT
561
14.1661
1.05593
4828041
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ns1688347.opb
OPT
27
14.1867
1.10691
4825381
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb
OPT
42
14.8236
14.8524
4826081
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_007.opb.metafix.opb
OPT
47
14.8823
14.9108
4826071
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_081.opb
OPT
1
15.7466
15.6496
4827706
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
OPT
6
15.8189
1.18757
4824984
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f32-AC_DoubleLoss.seq-A-3-combined-abcdeir.opb
OPT
19435314071
16.3748
1.23497
4826561
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__2048.opb
OPT
45008
16.5808
1.43232
4824964
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_064.opb
OPT
2112
16.6836
1.29332
4828071
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b4.opb
OPT
376
17.0269
1.28573
4823474
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_009.opb.metafix.opb
OPT
70
17.3572
17.2058
4826051
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT
304
17.3777
17.4267
4823179
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.10-8.opb
OPT
589
18.1749
1.57436
4825816
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_inf.opb
OPT
1
18.3985
1.4312
4828251
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir09_area_opers.opb
OPT
34
18.7006
1.46379
4824694
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bbara.r.opb
OPT
7
19.2938
19.3386
4823899
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_006.opb.metafix.opb
OPT
95
19.6697
19.4663
4826061
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_051.opb
OPT
1
19.7248
19.7327
4827726
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_064.opb
OPT
2112
20.8972
2.53067
4828046
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i5_pp_97_merged.opb
OPT
800
21.3559
1.86844
4828186
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
OPT
41
22.1654
2.19832
4823819
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-blend2.opb
OPT
7598985
22.5401
1.65979
4823384
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
OPT
37
22.6715
2.46852
4823829
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
OPT
74222
23.6615
2.22239
4824934
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r8_c90.opb
OPT
181
24.1304
1.78182
4827936
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r10_c90.opb
OPT
226
24.2561
1.81516
4827941
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
OPT
26
25.9401
2.02183
4824634
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812__64.opb
OPT
60720
27.537
2.95586
4824939
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_7.opb
OPT
1164
27.6505
2.14732
4828166
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
28.1499
28.2497
4823369
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_6_mh.opb
OPT
7586846
28.3792
2.1993
4825611
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_19.opb
OPT
-9
29.9593
29.9384
4827861
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm50p-opt.opb.negationfix.opb
OPT
30
30.0826
2.27606
4826171
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
OPT
8
30.477
30.0462
4823904
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-nug08.opb
OPT
107
31.3896
2.36291
4823289
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
OPT
25
32.3181
2.38935
4824629
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
OPT
2
32.4084
2.38808
4828286
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__8.opb
OPT
46877
36.1132
32.6326
4824929
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_080.opb
OPT
3280
36.5999
5.4973
4828061
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
OPT
44
37.1755
3.44919
4823844
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
OPT
-80
37.7535
2.74118
4826106
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
OPT
34
38.6355
2.9851
4823839
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated_span/normalized-knapPI_13_20_1000_4_-907.opb
OPT
-1404
38.7041
38.8702
4827696
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_27.opb
OPT
0
38.7391
2.82449
4827811
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
OPT
42
40.4784
3.88708
4823824
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
43.629
3.26493
4823214
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_04_200_176.opb
OPT
0
43.8713
3.17697
4828706
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_090.opb
OPT
4140
43.9758
3.54588
4828056
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_500_1000_4_-31297.opb
OPT
-53397
45.0961
3.28282
4827691
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir10_area_delay.opb
OPT
27
48.295
3.94141
4824714
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3381206-awhea.mps.opb
OPT
453
48.5378
3.81328
4828656
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
49.5938
3.63024
4823204
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/9orless/normalized-r-cran-lme4.cudf.paranoid.opb
OPT
146111
56.1692
4.74931
4825224
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-monodevelop-nunit.cudf.paranoid.opb
OPT
142331
57.8862
4.48969
4825234
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
-81
59.0668
4.26748
4827986
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
OPT
34
61.1942
4.4258
4823859
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_0.opb
OPT
2
64.6966
4.75783
4828271
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-neos-780889.opb
OPT
1854984
65.3189
5.01309
4828111
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-06-2_c24.opb
OPT
5584
66.6106
4.92502
4828321
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_2.opb
OPT
2
69.6483
5.18475
4828261
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=2.opb
OPT
6
70.3098
5.07485
4827611
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
OPT
49
75.4632
6.04401
4823834
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
OPT
65
77.8395
5.63907
4823554
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-openoffice.org-l10n-da.cudf.paranoid.opb
OPT
146152
78.2935
5.9425
4825229
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
OPT
26
80.9708
5.9774
4824619
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height18_pigeons17_holes16.opb
OPT
190
84.2284
6.21393
4827816
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
OPT
2
84.2953
6.1248
4828266
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT
-178
92.0003
6.71863
4825019
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
OPT
34
98.7274
7.29163
4823849
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.01-000.opb
OPT
-113297
103.754
7.79365
4828226
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_170.opb
OPT
426
111.835
8.17779
4827961
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
OPT
-76
119.202
8.64234
4825049
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
120.137
8.74244
4823199
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_690_000.opb
OPT
-30554
123.3
9.09157
4828236
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_05_200_070.opb
OPT
0
125.175
9.02339
4828696
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-hal-cups-utils.cudf.trendy.opb
OPT
2626215701395
134.416
9.89793
4825164
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
139.114
139.334
4823364
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.D.recomb10-0.20-14.opb
OPT
7
140.483
11.2586
4825841
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
OPT
28
140.604
10.2424
4824639
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
OPT
3521
145.666
11.3332
4825836
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
OPT
5
148.082
148.339
4823894
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
OPT
73649
153.011
11.1659
4824644
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE1.0_TMAX15_K67_cod1.opb
OPT
-17711
175.121
13.7701
4825731
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
OPT
50769
185.219
13.3307
4824689
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/
9orless/normalized-libmono-relaxng1.0-cil.cudf.trendy.opb
OPT
2624366011878
188.601
13.866
4825159
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-nw04.opb
OPT
8431
192.529
15.7925
4828101
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-sonata.cudf.trendy.opb
OPT
2628047795598
194.215
14.1376
4825174
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
OPT
-193
195.359
14.1859
4825014
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i1_pp_81.opb
OPT
688
197.57
16.3335
4828156
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libmail-spf-perl.cudf.trendy.opb
OPT
3267737700236
203.306
14.8118
4825169
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
OPT
-79
215.921
15.7581
4825044
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-gnash-common-opengl.cudf.trendy.opb
OPT
2784767898449
217.148
15.8341
4825144
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb
OPT
2624366011833
226.639
16.574
4825154
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
OPT
-172
228.188
16.4909
4825059
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
OPT
-68
266.316
19.21
4825024
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
OPT
38
280.338
20.6047
4823814
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
285.666
20.7286
4823209
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-8.opb
OPT
15072
289.524
21.4739
4825806
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.10-10.opb
OPT
7537
292.046
21.6504
4825801
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kbd.cudf.trendy.opb
OPT
2703595984209
299.262
21.7813
4825149
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_6_mh_ic.opb
OPT
2886748
303.262
21.9916
4825656
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_710_002.opb
OPT
-32318
307.966
22.3644
4828211
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height22_pigeons21_holes20.opb
OPT
276
316.59
23.0721
4827821
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
OPT
0
346.222
179.736
4827791
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.10-9.opb
OPT
15407
361.946
26.4469
4825811
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-6000opt.opb
OPT
-74
467.564
33.6356
4825029
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
OPT
2218686
483.995
34.9662
4825636
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT
-169
518.436
37.3177
4825054
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
OPT
4
545.13
39.2218
4828276
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
OPT
-164
630.529
45.3632
4825039
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-10-4-20-0_c24.opb
OPT
10
635.885
45.7624
4828316
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j605_4.std.opb
OPT
72
645.205
47.0948
4825089
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul5.5.opb
OPT
189
657.42
47.2724
4826006
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_0.opb
OPT
2
660.181
47.7071
4828291
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-swiss42.opb
OPT
1273
665.288
47.8544
4828576
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=2.opb
OPT
8
678.781
48.7775
4827621
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_81.opb
OPT
688
682.614
52.217
4828151
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
OPT
79
713.939
51.4588
4826011
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
OPT
9
775.24
55.8232
4828296
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-orb03.opb
OPT
1005
775.713
55.7221
4828611
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT
-167
792.895
57.0564
4825034
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-10.opb
OPT
25042
799.121
58.6976
4825826
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_057.opb
OPT
1653
824.026
59.7051
4828036
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_150.opb
OPT
11400
889.051
75.5122
4828066
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_170_002.opb
OPT
-3776
1009.33
1013.15
4828241
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
OPT
1086940160
1226.09
88.1347
4823354
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
OPT
67
1303.48
93.7755
4826036
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb
OPT
63488
1370.45
98.388
4823319
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-hk48.opb
OPT
11461
1649.91
118.588
4828581
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_121.opb
OPT
7381
1715.01
290.643
4828031
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-6.opb
OPT
27380
1911.21
138.581
4825821
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
OPT
53
2001.23
143.865
4823609
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
OPT
145
2368.57
170.158
4826016
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
OPT
18
2529.24
181.712
4824749
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-11.opb
OPT
4103
2544.51
184.765
4825796
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
OPT
-35
2628.11
188.937
4823274
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm95p-opt.opb.negationfix.opb
OPT
122
2794.52
203.136
4826146
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
OPT
126
3212.35
232.821
4826161
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
OPT
115
3406.92
246.837
4826151
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_2.opb
OPT
3858825
3455.42
248.179
4825561
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
OPT
20
3643.18
261.615
4824754
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta02.opb
OPT
1244
3930.57
282.368
4828601
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
OPT
-35
4027.08
289.111
4823269
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-tanglegram1.opb
OPT
5182
4247.3
308.789
4825371
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-StillLife-09-12_c24.opb
OPT
-58
4701.06
337.368
4828351
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
OPT
3892789
5302.09
380.79
4825541
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.85_4.opb
OPT
0
5309.54
383.56
4828171
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
OPT
-383110
7449.6
536.499
4823139
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.opb
OPT
101
8502.77
610.566
4826001
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
OPT
-57924
8599.26
618.965
4823159
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=12-t=2.opb
OPT
10
8791.34
630.948
4827616
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
OPT
7
11032
791.994
4825004
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
OPT
122880
11032.5
792.333
4823314
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_9_mh.opb
OPT
6925310
12233.7
877.465
4825601
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_120.opb
OPT
7321
12238.4
1134.97
4827751
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-12-4-20-1_c24.opb
OPT
12
12635
908.112
4828346
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_38.opb
OPT
780
14546
1047.57
4828081
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-506428.opb
OPT
4
15499.7
1118.61
4828131
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-15.opb
OPT
47725
16671.2
1197.87
4825831
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
OPT
4167529
17121.4
1228.9
4825576
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_39.opb
OPT
820
17220.4
1241.24
4828076
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
OPT
5141383
17705.5
1271.25
4825566
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-058.lin.opb
OPT
353
18494.7
1326.59
4826121
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_5_0.75_7.opb
OPT
976
19676.2
1412.72
4828161
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
OPT
55
21208.4
1521.89
4823869
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-supportcase33.mps.opb
OPT
-69
22834
1640.12
4828641
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
OPT
1616
26458.8
1899.77
4827951
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_30.opb
OPT
0
29632.5
2126.44
4827781
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
OPT
159
39052.1
2801.91
4825386
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
OPT
12
44620.3
3200.66
4827646
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos13.opb
OPT
-97687288
51526.6
3699.57
4823294
Solver found a solution (SATISFIABLE) but this may not be the optimal solution (10 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX120_K192_cod2.opb
SAT
-1539
3732.22
316.281
4825781
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
SAT
-1024
4304.01
399.477
4825791
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_mh.opb
SAT
961302065
4310.41
317.821
4825696
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_8_mh.opb
SAT
252518296
4735.6
347.618
4825681
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
SAT
-58
10533.4
789.629
4825761
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
SAT
-3117
11077.2
1386.56
4825766
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
SAT
77463156
26895.5
1935.61
4825596
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
SAT
85074
27124.5
1968.42
4828306
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-t1717.opb
SAT
199988
37318
2690.79
4825366
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
SAT
494210135
48278.2
3469.32
4825701
Solver does not handle the size of the coefficients (14 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/miplib/normalized-ej.mps.opb
? (NS)
0.004173
0.00964808
4828686
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/miplib/normalized-enlight8.mps.opb
? (NS)
0.004805
0.0103231
4828676
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_34.opb
? (NS)
0.006117
0.011423
4827771
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_38.opb
? (NS)
0.006654
0.0138769
4827801
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_42.opb
? (NS)
0.007248
0.0123409
4827766
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_46.opb
? (NS)
0.008135
0.017706
4827796
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-sp98ic.opb
? (NS)
0.010873
0.0169931
4825396
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=200-sizeP=101-sizeQ=200-410184650-max.opb
? (NS)
0.014498
0.0203831
4823629
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=200-sizeP=101-sizeQ=200-864124249-max.opb
? (NS)
0.014516
0.0202889
4823654
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb
? (NS)
0.017188
0.0231621
4823624
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
? (NS)
0.018136
0.0237639
4823324
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mod011.opb
? (NS)
0.037215
0.0428759
4823399
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-24744542.opb
? (NS)
0.065755
0.0718761
4823634
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
? (NS)
0.094935
0.101671
4823299
Solver timed out (no solution given) (179 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__16.opb
? (TO)
3754.68
3700.03
4824919
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
? (TO)
49602.3
3702.12
4823789
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
? (TO)
49884.9
3701.27
4823804
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
? (TO)
50096.1
3701.05
4823799
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
? (TO)
50664
3701.43
4823774
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
? (TO)
50762.1
3701.29
4823764
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
? (TO)
51163
3701.7
4823779
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
? (TO)
51184.1
3701.8
4823769
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX300_K192_cod1.opb
? (TO)
51508.8
3701.6
4825746
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-kroB150.opb
? (TO)
51514.7
3702.31
4828586
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-22_c24.opb
? (TO)
51520.5
3700.41
4828311
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_07_050_003.opb
? (TO)
51522.3
3700.35
4828691
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
? (TO)
51522.9
3700.55
4825421
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dg012142.opb
? (TO)
51526.4
3700.31
4823339
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_195.opb
? (TO)
51527
3700.62
4827761
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
? (TO)
51527.4
3700.27
4823909
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
? (TO)
51529.2
3700.08
4823434
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-4165869-wannon.mps.opb
? (TO)
51530.6
3701.75
4828671
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-kroB200.opb
? (TO)
51531.4
3702.66
4828551
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
? (TO)
51532
3700.13
4823864
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
? (TO)
51534.2
3700.26
4825009
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-gr137.opb
? (TO)
51534.2
3701.59
4828571
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
? (TO)
51535.1
3700.17
4823889
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-khb05250.opb
? (TO)
51536.9
3700.1
4823379
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_09_050_000.opb
? (TO)
51538.6
3700.52
4828726
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-ch150.opb
? (TO)
51539.1
3702.35
4828556
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv20.opb
? (TO)
51539.4
3700.24
4828626
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-yn3.opb
? (TO)
51541.7
3700.79
4828616
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta41.opb
? (TO)
51542.1
3700.57
4828631
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
? (TO)
51542.6
3700.72
4824969
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
? (TO)
51543.7
3700.17
4823744
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
? (TO)
51544
3700.21
4823679
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
? (TO)
51544.4
3702.12
4826186
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
? (TO)
51545
3700.29
4823874
PB26/normalized-PB26/OPT-LIN/devriendt/
tsplib/normalized-ts225.opb
? (TO)
51545
3702.56
4828566
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3024952-loue.mps.opb
? (TO)
51545.1
3701.33
4828646
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
? (TO)
51545.1
3700.34
4823579
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
? (TO)
51545.3
3700.27
4823754
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_2_ic.opb
? (TO)
51545.5
3700.39
4825661
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_65.opb
? (TO)
51545.6
3700.74
4827836
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
? (TO)
51547
3700.77
4825426
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
? (TO)
51547.1
3700.08
4823424
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
? (TO)
51548.8
3700.14
4826096
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=21-t=2.opb
? (TO)
51549.7
3700.17
4827631
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
? (TO)
51549.8
3700.24
4826026
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
? (TO)
51550.4
3700.18
4823694
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
? (TO)
51551
3700.6
4824989
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-11_c18.opb
? (TO)
51551.3
3700.3
4828326
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
? (TO)
51551.7
3700.27
4825556
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
? (TO)
51551.8
3700.14
4824764
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
? (TO)
51552.5
3700.33
4825996
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta32.opb
? (TO)
51552.6
3700.41
4828606
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-supportcase22.opb
? (TO)
51552.7
3700.18
4828106
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
? (TO)
51552.8
3700.25
4823719
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)
51553
3700.41
4823149
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
? (TO)
51553
3700.14
4823409
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)
51553.3
3700.22
4828011
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-u159.opb
? (TO)
51553.6
3702.12
4828541
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)
51553.7
3700.5
4823144
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3530903-gauja.mps.opb
? (TO)
51553.8
3702.03
4828661
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-807456.opb
? (TO)
51553.9
3700.08
4828136
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
? (TO)
51554.4
3700.27
4823439
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_7.opb
? (TO)
51554.5
3700.04
4825571
PB26/normalized-PB26/OPT-LIN/
devriendt/tsplib/normalized-pr76.opb
? (TO)
51554.8
3701.71
4828561
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
? (TO)
51554.9
3700.18
4823329
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
? (TO)
51555
3700.27
4823729
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_7_mh.opb
? (TO)
51555.2
3700.3
4825606
PB24/normalized-PB10/OPT-LIN/
oliveras/j120opt/normalized-j12046_10.std.opb
? (TO)
51555.3
3700.12
4825069
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
? (TO)
51555.3
3700.25
4823724
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
? (TO)
51555.5
3700.17
4823689
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-fixnet6.opb
? (TO)
51556.1
3700.09
4823389
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
? (TO)
51556.4
3700.21
4823254
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-RubiksCube-13-4-20-0_c24.opb
? (TO)
51557.6
3700.16
4828331
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
? (TO)
51557.7
3701.36
4825651
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
? (TO)
51558.6
3700.19
4823674
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-seymour.opb
? (TO)
51558.9
3700.15
4825401
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-opm2-z12-s14.opb
? (TO)
51559
3700.35
4825391
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
? (TO)
51559.7
3700.11
4827636
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
? (TO)
51559.9
3700.24
4824734
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern55-28.lin.opb
? (TO)
51560.4
3700.56
4826116
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
? (TO)
51560.9
3700.1
4823259
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta48.opb
? (TO)
51561.7
3700.33
4828596
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
? (TO)
51561.7
3700.41
4826021
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-neos-3214367-sovi.mps.opb
? (TO)
51561.8
3700.12
4828651
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
? (TO)
51562.1
3700.26
4823239
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
? (TO)
51562.3
3701.03
4825411
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_6.opb
? (TO)
51562.4
3700.26
4825551
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)
51562.6
3700.82
4823134
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z10-s2.opb
? (TO)
51563.5
3700.29
4825361
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
? (TO)
51563.7
3700.3
4824744
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_0.opb
? (TO)
51563.9
3700.31
4825536
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
? (TO)
51564.2
3700.66
4824979
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_13_050_002.opb
? (TO)
51565.2
3700.77
4828711
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
? (TO)
51565.2
3700.36
4823854
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_200.opb
? (TO)
51565.4
3700.6
4827756
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
? (TO)
51565.7
3700.14
4824729
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
? (TO)
51565.8
3700.15
4823349
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
? (TO)
51566.5
3700.21
4823669
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_11_200_001.opb
? (TO)
51566.6
3700.61
4828716
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-eilA101-2.opb
? (TO)
51566.8
3700.43
4828141
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3706.opb
? (TO)
51567.1
3700.28
4823304
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ex1010-pi.opb
? (TO)
51567.2
3700.45
4828121
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)
51567.7
3700.2
4827991
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)
51568.1
3700.15
4827976
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
? (TO)
51568.7
3700.3
4823919
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
? (TO)
51569.7
3700.28
4823714
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-09.lin.opb
? (TO)
51569.9
3700.11
4826101
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
? (TO)
51572.3
3700.6
4825416
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
? (TO)
51573.1
3700.06
4827626
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
? (TO)
51573.5
3700.21
4823264
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-markshare1.opb
? (TO)
51574
3700.2
4823394
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_7_ic.opb
? (TO)
51574.1
3700.51
4825671
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
? (TO)
51575.1
3700.21
4823699
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)
51575.5
3700.14
4827996
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
? (TO)
51576
3700.25
4823749
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
? (TO)
51576.6
3700.26
4823759
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_9_mh.opb
? (TO)
51577.2
3700.22
4825581
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B1C1S1.opb
? (TO)
51577.2
3700.26
4823359
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-swv16.opb
? (TO)
51577.5
3700.29
4828636
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
? (TO)
51578.6
3700.1
4823414
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta57.opb
? (TO)
51579.1
3700.31
4828621
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-pb351535.lin.opb
? (TO)
51579.7
3700.51
4826141
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
? (TO)
51579.7
3700.47
4823334
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
? (TO)
51580.1
3700.25
4825641
PB26/normalized-PB26/OPT-LIN/sergeys/
CPMpy_translated_dataset_PB26/jsplib/normalized-ta31.opb
? (TO)
51580.6
3700.57
4828591
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-45_c24.opb
? (TO)
51581
3700.4
4828341
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null0mast_rapportOE1.0_TMAX300_K67_cod3.opb
? (TO)
51581.2
3700.48
4825741
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
? (TO)
51581.5
3700.61
4825436
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
? (TO)
51581.6
3700.26
4823739
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
? (TO)
51582
3700.9
4828301
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
? (TO)
51582.3
3700.21
4823664
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
? (TO)
51582.8
3700.15
4823284
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
? (TO)
51582.9
3701.86
4823794
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_10_200_000.opb
? (TO)
51582.9
3700.54
4828731
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern45-45.lin.opb
? (TO)
51582.9
3700.55
4826131
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
? (TO)
51583.1
3700.11
4823244
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)
51583.6
3700.5
4823154
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_8_ic.opb
? (TO)
51584.1
3700.58
4825676
PB26/normalized-PB26/OPT-LIN/sergeys/CPMpy_translated_dataset_PB26/
miplib/normalized-rococoC11-010100.mps.opb
? (TO)
51584.5
3700.23
4828666
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
? (TO)
51584.9
3700.14
4823884
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
? (TO)
51585.4
3700.25
4823419
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_7_label9_adversarial_norm_2.opb
? (TO)
51585.8
3700.72
4828256
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_490.opb
? (TO)
51586.2
3700.22
4827956
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-tanglegram3.opb
? (TO)
51586.5
3701.05
4825356
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
? (TO)
51587
3700.14
4823249
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
? (TO)
51587.5
3700.2
4824739
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
? (TO)
51587.6
3700.14
4823709
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_3_mh_ic.opb
? (TO)
51588.2
3700.09
4825646
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
? (TO)
51588.9
3700.26
4825616
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_15_100_002.opb
? (TO)
51589.6
3700.89
4828721
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX120_K67_cod2.opb
? (TO)
51589.9
3700.31
4825736
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_420.opb
? (TO)
51590.5
3700.2
4827966
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12059_8.std.opb
? (TO)
51590.6
3700.1
4825064
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
? (TO)
51591.3
3700.19
4823684
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
? (TO)
51591.5
3700.13
4825431
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
? (TO)
51591.7
3700.21
4823704
PB26/normalized-PB26/OPT-LIN/tanaka/
qoblib_marketsplit/normalized-ms_07_100_002.opb
? (TO)
51591.9
3700.3
4828701
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)
51592.7
3700.18
4828006
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)
51593.7
3700.64
4823129
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
? (TO)
51594.3
3700.2
4823734
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
? (TO)
51594.9
3700.19
4824719
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
? (TO)
51596.3
3700.15
4825626
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_6.opb
? (TO)
51597.4
3700.1
4825531
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_1_mh.opb
? (TO)
51598
3701.14
4825586
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)
51599.4
3700.11
4828016
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
? (TO)
51599.5
3700.2
4824759
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_2.opb
? (TO)
51600.6
3700.15
4825546
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab1.opb
? (TO)
51601.9
3700.08
4828126
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
? (TO)
51603.3
3700.1
4823344
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
? (TO)
51604.4
3700.15
4823549
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
? (TO)
51604.6
3700.09
4823279
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)
51604.7
3700.18
4828021
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
? (TO)
51604.7
3700.38
4825376
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=7.opb
? (TO)
51607.7
3700.06
4827641
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=4.opb
? (TO)
51607.9
3700.07
4827606
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)
51608.4
3700.11
4828001
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay25.lin.opb
? (TO)
51608.4
3700.08
4826136
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran16x16.opb
? (TO)
51612.3
3700.05
4823309
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
? (TO)
51622.5
3700.13
4824724
Solver exceeded the memory limit (no solution given) (24 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_1000_5__369_766__2048.opb
? (MO)
1349.94
100.252
4824924
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-3-0_c24.opb
? (MO)
2930.61
219.501
4828356
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
3946.78
284.507
4825771
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (MO)
4084.06
296.656
4825756
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null50mast_rapportOE2.0_TMAX60_K192_cod1.opb
? (MO)
5044.35
375.22
4825751
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_mh.opb
? (MO)
5171.71
374.042
4825706
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_9_mh.opb
? (MO)
5407.3
390.81
4825691
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX60_K192_cod1.opb
? (MO)
5605.28
417.335
4825786
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE1.0_TMAX60_K192_cod1.opb
? (MO)
7544.33
542.782
4825776
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
? (MO)
11934.3
861.999
4828096
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_55.opb
? (MO)
12238.7
883.181
4828091
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-StillLife-wastage-15-15_c24.opb
? (MO)
18376.4
1335.47
4828336
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_6_mh_ic.opb
? (MO)
26916.9
1935.22
4825631
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_7_mh.opb
? (MO)
27866.4
2003.3
4825621
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_2_mh.opb
? (MO)
30430.9
2200.28
4825591
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb
? (MO)
34523.8
2497.28
4826156
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpn2.opb
? (MO)
34687.4
2493.97
4828116
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
? (MO)
36890.7
2674
4823809
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_ic.opb
? (MO)
42968.6
3086.65
4825716
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
? (MO)
46752.4
3357.48
4823784
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
? (MO)
49076.3
3522.29
4825721
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
? (MO)
49378.6
3545.62
4825711
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
? (MO)
49759.6
3571.7
4825726
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
? (MO)
50504.2
3628.05
4825686