PB'25 competition: benchmarks results per solver
Result page for solver Hybrid-NuPBODeepOptS-ExactPRnols
2025-06-02
(incomplete)
Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)
Solver found a solution (SATISFIABLE) but this may not be the optimal solution (488 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_000.opb.metafix.opb
SAT
16
0.012761
0.038127
4508487
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_005.opb.metafix.opb
SAT
26
0.013016
0.0324779
4508579
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.opb
SAT
30
0.013258
0.033011
4508671
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-nazareth.opb
SAT
-1073741823
0.021699
0.044444
4485947
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
SAT
50
0.023901
0.0570141
4486913
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_004.opb.metafix.opb
SAT
23
0.029866
0.058495
4508349
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
SAT
6
0.030745
0.066415
4491237
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb
SAT
0
0.116333
0.15361
4500345
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
SAT
9
0.750292
0.77879
4499195
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
SAT
6
1.05078
1.0789
4499241
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-bnatt350.opb
SAT
0
6.56465
6.62532
4502629
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
SAT
8
6.57524
6.62427
4499011
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb
SAT
2
9.78849
9.85328
4501633
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
SAT
32
20.9076
21.0133
4509591
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT
0
445.088
447.298
4490363
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
SAT
64
1198.55
1201.46
4509315
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
SAT
6
1201.38
1205.81
4499103
PB25/normalized-PB25/OPT-LIN/sakai/
PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb
SAT
1
1305.81
1310.22
4523591
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
SAT
1
1310.22
1314.24
4523683
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
SAT
7
1552.4
1557.14
4499287
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb
SAT
105
2390.56
2398.79
4519497
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
SAT
90
2391.48
2398.1
4520877
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
SAT
28
2391.57
2398.18
4521843
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb
SAT
55266674189
2391.66
2398.56
4512461
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT
3
2391.85
2399.33
4484659
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
SAT
64
2391.95
2398.24
4487189
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
SAT
8276
2391.96
2398.16
4486223
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
SAT
17
2392
2398.13
4491283
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
SAT
24890
2392.05
2398.13
4497037
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb
SAT
7
2392.08
2398.26
4509545
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
SAT
20
2392.11
2398.16
4486453
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT
1567
2392.26
2398.38
4487649
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
SAT
34
2392.28
2399.63
4490133
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
SAT
36
2392.3
2398.26
4487373
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb
SAT
7665979
2392.32
2398.24
4512691
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45.opb
SAT
45008
2392.36
2398.14
4498919
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=239.opb
SAT
229
2392.36
2398.2
4488247
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc01.opb
SAT
1074317824
2392.53
2398.14
4485993
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb
SAT
4479155252
2392.53
2398.39
4512737
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb
SAT
1
2392.55
2398.28
4518531
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
SAT
-48992
2392.56
2398.29
4518163
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
SAT
304
2392.59
2398.1
4484153
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
SAT
344750
2392.62
2398.13
4485855
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_000.opb.metafix.opb
SAT
66
2392.64
2398.11
4508533
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_60_004.opb
SAT
-874
2392.67
2398.09
4523269
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/
normalized-knapPI_11_1000_1000_5_-23276.opb
SAT
-109060
2392.68
2398.74
4518025
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
SAT
20578507799
2392.69
2398.85
4500483
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=383.opb
SAT
223
2392.69
2398.17
4488477
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
SAT
50
2392.72
2398.1
4486821
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
SAT
19643295490
2392.73
2398.52
4512553
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
SAT
13949
2392.76
2398.1
4496945
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
SAT
100
2392.78
2398.13
4486729
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
SAT
8908
2392.8
2398.24
4496209
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
SAT
36
2392.86
2398.18
4487465
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb
SAT
13739089
2392.87
2398.22
4512599
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_120_003.opb
SAT
-2565
2392.87
2398.45
4522947
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
SAT
47342
2392.89
2398.24
4497083
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
SAT
36
2392.89
2398.15
4487051
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=379.opb
SAT
331
2392.89
2398.15
4488109
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_007.opb.metafix.opb
SAT
96
2392.9
2398.11
4508257
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand902db1.cudf.trendy.opb
SAT
394243446
2392.9
2398.43
4500529
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir04_area_delay.opb
SAT
12
2392.91
2398.14
4497313
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
SAT
62
2392.96
2398.12
4487097
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_05.opb
SAT
21
2392.98
2398.14
4521981
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
SAT
36
2392.98
2398.11
4487143
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT
2642
2393.01
2398.24
4484107
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_12.opb
SAT
-22
2393.06
2398.64
4519681
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
SAT
41202
2393.07
2398.58
4497129
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_009.opb.metafix.opb
SAT
115
2393.08
2398.11
4508441
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
SAT
9663726592
2393.09
2398.12
4485901
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb
SAT
1170
2393.1
2398.29
4520371
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb
SAT
50
2393.17
2398.1
4508395
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
SAT
24
2393.18
2398.26
4487511
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb
SAT
120
2393.19
2398.12
4520463
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_12.opb
SAT
-36
2393.22
2398.17
4521015
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=419.opb
SAT
109
2393.24
2398.22
4488293
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
SAT
25
2393.26
2399.98
4490731
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12.opb
SAT
46877
2393.28
2398.11
4498689
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir04_area_partials.opb
SAT
30
2393.35
2398.09
4497267
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb
SAT
-17
2393.36
2398.68
4519819
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_004.opb.metafix.opb
SAT
51
2393.36
2398.07
4508303
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb
SAT
-2197
2393.36
2398.13
4517933
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=409.opb
SAT
71
2393.37
2398.14
4488155
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb
SAT
0
2393.39
2398.2
4519083
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
SAT
2
2393.39
2398.14
4487833
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir05_area_opers.opb
SAT
35
2393.39
2398.52
4497221
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
SAT
60
2393.41
2398.26
4487327
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
SAT
64
2393.42
2398.29
4487419
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb
SAT
0
2393.44
2398.09
4518899
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
SAT
23978
2393.45
2398.77
4496991
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
SAT
10818283609
2393.47
2398.68
4500391
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
SAT
1
2393.47
2398.11
4518485
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
SAT
5852
2393.48
2398.13
4496301
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-990.cudf.trendy.opb
SAT
277042
2393.48
2398.16
4501265
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_8.std.opb
SAT
58
2393.48
2398.54
4500115
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb
SAT
722
2393.49
2398.1
4520417
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb
SAT
1
2393.51
2398.41
4518439
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
SAT
5867
2393.51
2398.1
4496255
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
SAT
5148
2393.56
2398.1
4496347
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
SAT
25
2393.57
2398.77
4487603
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_9.std.opb
SAT
49
2393.57
2398.53
4500161
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r7_c14_a4.opb
SAT
378
2393.58
2398.08
4520187
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
SAT
-141992
2393.59
2399.14
4517979
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT
34
2393.6
2400.89
4490225
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT
0
2393.65
2398.92
4484245
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
SAT
200
2393.68
2398.15
4486959
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
SAT
2
2393.7
2398.15
4491007
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/
normalized-knapPI_9_5000_1000_1_-48768.opb
SAT
-48768
2393.72
2398.96
4518071
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
SAT
34
2393.73
2398.26
4487281
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
SAT
12
2393.75
2398.16
4487879
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=277.opb
SAT
131
2393.75
2398.19
4488339
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
SAT
36
2393.8
2398.12
4487235
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rande89f80.cudf.trendy.opb
SAT
2979398
2393.81
2398.93
4500299
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb
SAT
8228
2393.83
2399.03
4501357
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
SAT
8034
2393.91
2398.15
4496439
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
SAT
11
2394.07
2398.18
4491145
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
SAT
4
2394.09
2398.17
4487971
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
SAT
4
2394.12
2398.18
4491099
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
SAT
7
2394.13
2398.17
4487925
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=509.opb
SAT
149
2394.13
2398.16
4488063
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb
SAT
-1336666903
2394.14
2399.8
4512645
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
SAT
3951
2394.19
2398.1
4496393
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb
SAT
0
2394.23
2398.08
4519267
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb
SAT
153
2394.24
2401.45
4519313
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb
SAT
102017
2394.25
2398.18
4500989
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
SAT
2477
2394.36
2399.09
4501311
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
SAT
43
2394.4
2400.65
4507981
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb
SAT
42
2394.43
2398.1
4508625
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-159.opb
SAT
1327
2394.43
2400.49
4487005
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_500_10000_2_-399276.opb
SAT
-527203
2394.53
2398.81
4518209
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
SAT
1
2394.59
2398.13
4518393
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb
SAT
1
2394.64
2399.64
4518577
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
SAT
41
2394.8
2402.6
4489949
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j906_2.std.opb
SAT
86
2395.04
2400.54
4500253
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
SAT
22
2395.3
2400.03
4502767
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
SAT
37
2395.35
2401.96
4490041
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_1.std.opb
SAT
93
2395.36
2401.01
4499885
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
SAT
20
2395.37
2398.91
4487787
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
SAT
42
2395.5
2402.62
4489995
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9033_7.std.opb
SAT
109
2395.61
2399.83
4500207
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_3.std.opb
SAT
89
2395.64
2401.18
4499839
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
SAT
145
2395.76
2402.15
4508073
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
SAT
38
2396.06
2403.78
4489903
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
SAT
79
2396.08
2402.03
4508027
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/
normalized-knapPI_15_2000_1000_5_-50838.opb
SAT
-17191
2396.35
2402.2
4518117
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
SAT
101
2396.48
2402.81
4507889
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1202_6.std.opb
SAT
92
2396.56
2402.91
4499931
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
SAT
44
2396.61
2402.59
4490179
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/
normalized-knapPI_12_1000_1000_3_-17136.opb
SAT
-17178
2396.76
2401.52
4518255
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
SAT
49
2397.19
2403.69
4490087
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12042_6.std.opb
SAT
119
2397.25
2403.16
4500023
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
SAT
2
2397.33
2403.98
4523775
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb
SAT
346
2397.47
2404.27
4522901
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_18.opb
SAT
-81
2398.04
2402.9
4521153
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-019.lin.opb
SAT
4
2398.11
2404.01
4509039
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
SAT
5900212
2398.19
2404.49
4505015
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb
SAT
1
2398.29
2403.63
4518347
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-hanoi5.opb
SAT
1931
2398.37
2403.6
4502675
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r17_c34_a4.opb
SAT
2278
2398.37
2403.32
4520003
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0055-0055.lin.opb
SAT
-20
2398.45
2404.1
4508993
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
SAT
2
2398.77
2404.07
4523729
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb
SAT
-56
2398.81
2405.15
4519773
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r21_c41_a4.opb
SAT
3362
2398.87
2403.33
4520233
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
SAT
50162
2398.96
2404.14
4496853
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb
SAT
-2125803880
2399.22
2404.56
4512507
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb
SAT
141778
2399.27
2404.6
4501495
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb
SAT
146081
2399.37
2404.63
4501449
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb
SAT
146114
2399.38
2404.63
4501541
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb
SAT
-310536843
2399.62
2405.44
4512369
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
SAT
785
2399.91
2405.28
4486775
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb
SAT
14043
2400.37
2408.32
4506579
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-python-cairo.cudf.trendy.opb
SAT
2624366011833
2400.77
2406.35
4500851
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kdessh.cudf.trendy.opb
SAT
2624366011833
2401.17
2406.23
4500621
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-3.opb
SAT
15414
2401.24
2407.28
4506533
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb
SAT
2624366011833
2401.34
2406.72
4500713
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT
813
2401.53
2407.09
4484015
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb
SAT
2624366011833
2401.7
2406.77
4500759
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.E.recomb10-0.20-11.opb
SAT
9588
2402.19
2408.96
4506303
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
SAT
165
2402.42
2407.31
4490961
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-synaptic.cudf.trendy.opb
SAT
2624366011833
2402.46
2406.47
4500897
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
SAT
26
2402.73
2408.16
4496623
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos11.opb
SAT
9216
2403.34
2408.66
4485165
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
SAT
2967
2403.35
2409.81
4522441
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
SAT
-178
2403.64
2410.56
4499517
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.01-3.opb
SAT
6
2404.07
2409.18
4506487
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
SAT
3656703476375
2404.51
2408.95
4500805
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb
SAT
1176
2404.52
2410.86
4522579
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.trendy.opb
SAT
2703522196109
2404.65
2408.67
4500667
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-06-2_c24.opb
SAT
5612
2404.99
2410.96
4524097
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-4.opb
SAT
17444
2404.99
2411.02
4506625
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb
SAT
76
2405.06
2410.72
4520509
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
SAT
1
2406.12
2412.29
4518623
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
SAT
2
2406.5
2412.8
4523407
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__512.opb
SAT
45008
2408.34
2412.97
4498505
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
SAT
4563
2409.48
2414.18
4520279
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
SAT
-76
2413.83
2419.9
4499701
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_20.opb
SAT
-96
2414.22
2419.91
4521291
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-macrophage.opb
SAT
374
2415.23
2421.66
4502537
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=7-t=3.opb
SAT
4
2415.77
2422.52
4517795
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
SAT
-169
2416.1
2422.13
4499793
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r22_c44_a5.opb
SAT
5742
2417.39
2422.92
4520141
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
SAT
3521
2418.23
2424.43
4506671
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
SAT
33456
2419.02
2424.11
4496807
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
SAT
25
2422.04
2427.48
4496531
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT
2
2422.31
2427.95
4484475
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.20-11.opb
SAT
7
2423.59
2429.55
4506257
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_5000_1000_4_-199683.opb
SAT
-296283
2424.31
2430.41
4517887
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
SAT
-81
2425.26
2431.61
4499379
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
SAT
4
2427.34
2434.31
4523499
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT
1
2427.38
2433.77
4484613
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
SAT
67
2427.69
2433.11
4508211
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_6_mh.opb
SAT
7586846
2428.06
2433.72
4504417
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
SAT
-187
2428.07
2434.74
4499747
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb
SAT
2
2428.56
2435.7
4522671
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
SAT
4517
2430.34
2436.09
4487695
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
SAT
3031
2431.48
2437.91
4484061
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
SAT
-70
2431.71
2437.89
4499425
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
SAT
8034
2432.6
2438.57
4520325
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
SAT
-175
2433.52
2440.37
4499655
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-9.opb
SAT
47741
2434.1
2440.97
4506349
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb
SAT
1
2434.39
2441.88
4518669
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=9.opb
SAT
1
2438.49
2446.4
4517565
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb
SAT
750
2438.85
2446.05
4522487
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb
SAT
1
2441.25
2448.14
4518715
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-14.opb
SAT
5267
2445.73
2451.7
4506441
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
SAT
-167
2446.04
2452.39
4499563
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
SAT
134248448
2447.64
2454.07
4512415
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
SAT
-29
2450.33
2455.98
4519589
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r31_c62_a6.opb
SAT
11439
2450.5
2456.6
4520095
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb
SAT
-76
2451.37
2456.68
4519543
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
SAT
28
2461.22
2466.71
4496669
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
SAT
5950590
2463.6
2470.3
4504279
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
SAT
-164
2464.55
2471.11
4499609
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
SAT
54713
2475.83
2483.3
4506395
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb
SAT
440
2482.5
2489.65
4522809
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
SAT
2218686
2488.42
2495.21
4504785
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
SAT
25
2488.84
2494.86
4496485
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
SAT
1
2495.07
2500.63
4518761
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
SAT
50
2500.38
2506.17
4487557
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
SAT
12675
2512.71
2518.67
4520049
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
SAT
122
2539.63
2545.63
4502583
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_001.opb
SAT
-13240
2542.05
2548.09
4523315
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
SAT
-72
2545.24
2552.37
4483785
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
SAT
4
2550.56
2558.28
4523637
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-TestScheduling-t030m10r05-1_c24.opb
SAT
1986
2572.45
2579.85
4524281
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
SAT
-1290
2601.02
2607.74
4483831
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
SAT
29
2612.66
2618.57
4509453
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
SAT
-162
2631.42
2638.94
4499471
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
SAT
3367493
2637.67
2644.32
4503773
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
SAT
17
2644.63
2650.73
4491053
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
SAT
2
2651.49
2657.92
4490271
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb
SAT
3
2656.39
2663.61
4523545
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
SAT
9
2658.3
2665.57
4523821
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb
SAT
22
2683.51
2689.15
4496577
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=3.opb
SAT
5
2795.03
2802.92
4517749
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_25.opb
SAT
-150
2811.29
2817.67
4521337
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
SAT
-7944
2813.81
2821.43
4523223
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_058.opb
SAT
1740
2824.11
2831.06
4521751
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb
SAT
0
2877.7
2885.35
4522763
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
SAT
50769
2911.88
2918.58
4497175
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
SAT
2899749
2946.42
2953.42
4503865
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb
SAT
2738
2960.33
2967.11
4521383
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-24_c24.opb
SAT
94204
3047.69
3056.26
4524235
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
SAT
26
3076.3
3083.36
4496715
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_230_000.opb
SAT
-7236
3084.69
3093.27
4523131
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb
SAT
496
3106.68
3117.76
4519451
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb
SAT
4
3136.12
3145.08
4522625
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb
SAT
-148
3213.48
3220.6
4519727
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
SAT
6142
3257.48
3267.05
4522717
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb
SAT
264
3291.69
3299.61
4521613
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb
SAT
23
3300.55
3309.37
4497359
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-24-2_c24.opb
SAT
20324
3403.32
3412.72
4524051
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
SAT
207
3483.61
3491.6
4486637
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
SAT
35612997
3583.48
3596.48
4505337
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
SAT
159
3584.03
3596.15
4502721
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
SAT
801478
3584.23
3596.21
4522119
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-mitre.opb
SAT
7677
3584.48
3596.22
4522027
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT
3
3584.55
3596.16
4490501
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
SAT
-165177
3584.6
3596.57
4505659
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
3584.61
3596.26
4521061
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
SAT
203
3584.71
3596.23
4524189
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
SAT
29
3584.92
3596.31
4497451
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT
-52
3585.04
3596.14
4484843
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
SAT
30453075
3585.16
3596.46
4505245
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb
SAT
741
3585.17
3598.65
4519405
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-opm2-z7-s2.opb
SAT
-10280
3585.23
3596.21
4522349
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12055_1.std.opb
SAT
101
3585.3
3596.42
4499977
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
SAT
-49
3585.4
3596.13
4484935
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT
15
3585.41
3596.16
4490409
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=3.opb
SAT
7
3585.45
3596.24
4517657
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
SAT
18
3585.45
3596.17
4497681
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT
1040
3585.49
3596.17
4488845
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
SAT
-70
3585.52
3596.15
4522165
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
SAT
975
3585.54
3596.18
4485257
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT
1036
3585.61
3596.15
4488707
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
SAT
-29
3585.7
3596.18
4502399
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT
18
3585.73
3596.18
4490317
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT
42
3585.74
3596.25
4502859
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
SAT
3
3585.75
3596.23
4517611
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT
182
3585.83
3596.15
4489305
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
SAT
120
3585.83
3596.19
4490869
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT
10
3585.87
3596.15
4490685
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
SAT
20733371
3585.92
3596.32
4505061
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
SAT
24
3585.93
3596.29
4497543
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
SAT
18
3585.95
3596.14
4517473
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
SAT
1088144384
3585.95
3596.2
4485625
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
SAT
16
3586.02
3596.2
4509499
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
SAT
220
3586.03
3596.44
4489857
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_69.opb
SAT
-1190
3586.04
3596.23
4521107
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb
SAT
-20
3586.1
3596.1
4519911
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
SAT
74
3586.11
3596.18
4490823
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT
-35
3586.12
3596.11
4485027
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.opb
SAT
101
3586.14
3596.18
4507843
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT
64
3586.16
3596.17
4486407
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=8.opb
SAT
5
3586.21
3596.13
4517427
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
SAT
246
3586.21
3596.58
4489627
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
SAT
242
3586.27
3596.49
4489719
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT
15
3586.27
3596.17
4490547
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_0_mh_ic.opb
SAT
6681773
3586.29
3596.43
4504693
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
SAT
15
3586.31
3596.2
4502307
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
SAT
6102808
3586.32
3596.34
4504509
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
SAT
4451479
3586.33
3596.16
4503819
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-sorrell8.opb
SAT
-350
3586.35
3596.18
4522073
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb
SAT
54
3586.37
3596.41
4509361
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
SAT
2556
3586.38
3596.15
4521521
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT
42524
3586.38
3596.16
4486315
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
SAT
1052
3586.43
3596.71
4522533
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
SAT
21
3586.46
3596.25
4497497
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-ab51-40-100.opb
SAT
-1285215
3586.46
3596.26
4522257
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT
296
3586.46
3596.19
4486361
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
SAT
689
3586.47
3596.19
4485579
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
SAT
3377210
3586.49
3596.46
4504233
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
SAT
27
3586.5
3596.31
4497589
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT
180
3586.5
3596.13
4489259
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT
69179
3586.5
3596.2
4486545
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT
-45
3586.51
3596.11
4484981
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT
136
3586.51
3596.17
4486269
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
SAT
31525931
3586.52
3596.73
4505521
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb
SAT
760
3586.54
3596.17
4521797
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
SAT
0
3586.54
3596.12
4519221
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_90.opb
SAT
-1944
3586.56
3596.22
4520969
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
SAT
111
3586.57
3596.15
4507797
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT
1028
3586.58
3596.18
4488891
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb
SAT
9800
3586.58
3596.22
4521429
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
SAT
12
3586.59
3596.13
4517841
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=18-t=2.opb
SAT
16
3586.59
3596.15
4517519
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT
4
3586.59
3596.12
4484291
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
SAT
33
3586.6
3596.48
4497635
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
SAT
258
3586.61
3596.58
4489673
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
SAT
3
3586.61
3596.12
4523453
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
SAT
-52
3586.64
3596.14
4484797
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
SAT
1097
3586.65
3596.2
4485533
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
SAT
211
3586.65
3596.32
4489489
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
SAT
-55
3586.67
3596.14
4484705
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
SAT
21
3586.68
3596.21
4497819
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT
183
3586.68
3596.33
4489397
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
SAT
241
3586.7
3596.47
4489765
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT
1037
3586.71
3596.18
4488753
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
SAT
-50
3586.72
3596.15
4484889
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
SAT
-23667
3586.72
3596.43
4502491
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
SAT
21222977
3586.72
3596.75
4505291
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
-6956
3586.73
3596.85
4483923
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
SAT
23068295
3586.74
3596.82
4505153
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
SAT
6
3586.76
3596.22
4517703
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
SAT
6795407
3586.76
3596.24
4504003
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6045_4.std.opb
SAT
110
3586.76
3596.56
4500069
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
SAT
20
3586.77
3596.22
4497773
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
SAT
145
3586.82
3596.15
4491191
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_2_mh_ic.opb
SAT
8989328
3586.84
3596.34
4504877
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_4_mh.opb
SAT
3995424
3586.86
3596.47
4504555
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
SAT
5521701
3586.86
3596.27
4504095
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
SAT
935
3586.88
3596.14
4486591
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT
3
3586.89
3596.14
4484337
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.9
3596.14
4521245
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0088-0888.lin.opb
SAT
-55
3586.91
3596.12
4509085
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT
180
3586.91
3596.14
4489075
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
SAT
27
3586.91
3596.15
4509407
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
SAT
3242
3586.92
3596.18
4520555
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
SAT
6232493
3586.93
3596.26
4504049
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
SAT
655
3586.93
3596.43
4502445
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
SAT
-35
3586.93
3596.19
4485119
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
SAT
245
3586.95
3596.26
4490915
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_4_mh_ic.opb
SAT
12002308
3586.95
3596.44
4504739
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
SAT
20
3587
3596.16
4497405
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
SAT
0
3587.02
3596.19
4485809
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-35_c24.opb
SAT
-60
3587.02
3597.03
4524327
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-methanosarcina.opb
SAT
2724
3587.02
3596.24
4502353
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT
187
3587.03
3596.42
4488983
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-45.lin.opb
SAT
-119145
3587.05
3596.26
4508947
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb
SAT
-46015
3587.06
3596.64
4505705
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT
1035
3587.08
3596.17
4488937
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
SAT
239
3587.09
3596.56
4489535
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT
176
3587.09
3596.19
4489167
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
SAT
70311
3587.11
3596.25
4496899
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
SAT
29781435
3587.12
3596.83
4505199
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
SAT
1573
3587.15
3596.17
4485395
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.opb
SAT
95378
3587.15
3596.29
4498643
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
SAT
-80
3587.17
3596.1
4508763
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
SAT
248
3587.18
3596.3
4489443
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
SAT
4912603
3587.19
3596.19
4504187
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT
1034
3587.19
3596.15
4488799
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
SAT
95000604716150
3587.22
3596.23
4486039
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT
-35
3587.25
3596.13
4485073
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT
1036
3587.29
3596.18
4488615
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb
SAT
-55717
3587.31
3596.72
4505751
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT
183
3587.33
3596.13
4489029
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_7_mh_ic.opb
SAT
14700725
3587.34
3597.1
4504923
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT
179
3587.34
3596.18
4489213
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Clique-c0125-9_c24.opb
SAT
-34
3587.35
3596.18
4524373
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT
1038
3587.35
3596.17
4488569
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
SAT
29813953
3587.35
3596.86
4505567
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT
23916
3587.36
3596.17
4486499
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT
9
3587.36
3596.84
4484429
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
SAT
1756
3587.38
3596.14
4520831
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
SAT
246
3587.4
3596.58
4489581
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
SAT
2046
3587.41
3596.12
4520647
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT
182
3587.42
3596.14
4489351
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament26.lin.opb
SAT
-167
3587.42
3596.14
4508855
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-40.lin.opb
SAT
1183
3587.43
3596.16
4509131
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
SAT
1616874
3587.45
3597.08
4498597
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
SAT
21220501652
3587.45
3596.12
4486131
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_6.opb
SAT
13926031
3587.45
3596.3
4504141
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
SAT
1616
3587.47
3596.17
4520601
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
SAT
4812377
3587.48
3596.86
4504647
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_5.opb
SAT
6358143
3587.48
3596.17
4503911
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
SAT
20
3587.5
3596.21
4497727
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT
1030
3587.51
3596.23
4488523
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
SAT
0
3587.53
3596.1
4518853
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
SAT
-16
3587.54
3596.14
4519635
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/
normalized-knapPI_14_10000_1000_2_-407357.opb
SAT
-539657
3587.56
3596.49
4518301
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
SAT
0
3587.56
3596.18
4519129
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb
SAT
924
3587.57
3596.22
4521705
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
SAT
939
3587.58
3596.12
4484199
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb
SAT
0
3587.58
3596.18
4519037
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
SAT
0
3587.6
3596.18
4519175
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
SAT
97
3587.61
3596.15
4491329
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT
1033
3587.63
3596.17
4488661
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_610_007.opb
SAT
-26846
3587.64
3596.42
4522993
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
SAT
595
3587.65
3597.9
4521935
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
SAT
239
3587.66
3596.45
4489811
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
SAT
73649
3587.66
3596.24
4496761
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
SAT
5
3587.67
3596.14
4484521
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_680_004.opb
SAT
-31248
3587.67
3596.42
4523361
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT
2
3587.68
3596.12
4484383
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb
SAT
-30
3587.7
3596.12
4519865
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
SAT
1236221
3587.73
3596.61
4504831
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT
186
3587.75
3596.2
4489121
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
SAT
400
3587.76
3597.21
4520785
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb
SAT
7844254104
3587.77
3596.81
4512323
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpm1.opb
SAT
562
3587.78
3598.06
4522211
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.79
3597.07
4483877
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__1024.opb
SAT
45008
3587.8
3596.31
4498781
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
SAT
12
3587.82
3596.2
4484567
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_009.opb
SAT
-14822
3587.82
3596.21
4523085
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
SAT
5496335
3587.83
3597.03
4504371
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb
SAT
-22
3587.83
3596.12
4519957
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
SAT
0
3587.85
3596.11
4518991
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-biella1.opb
SAT
35748582753484800
3587.9
3596.31
4485487
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-rail507.opb
SAT
174
3587.9
3596.92
4485211
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
SAT
48
3587.95
3596.12
4508119
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_6_mh.opb
SAT
4919661
3588.02
3596.96
4504463
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
SAT
3406196
3588.03
3596.93
4504325
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
SAT
-10996
3588.03
3597.16
4508901
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
SAT
115
3588.03
3597.85
4509223
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
SAT
61
3588.04
3597.08
4509177
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
SAT
221
3588.04
3596.09
4491375
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
SAT
2234
3588.08
3596.15
4486867
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb
SAT
1512
3588.11
3596.22
4521567
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_4_mh.opb
SAT
3932597
3588.16
3596.84
4504601
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_75.opb
SAT
2889
3588.23
3596.12
4518807
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
SAT
-118198
3588.32
3596.65
4523177
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
SAT
87132
3588.32
3596.37
4498735
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb
SAT
2520
3588.49
3596.22
4521659
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb
SAT
7200
3588.69
3597.83
4521475
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT
53
3588.87
3596.18
4488017
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT
-55
3589.02
3599.51
4484751
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
SAT
74890
3589.03
3597.78
4523913
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
SAT
1016
3589.13
3597.23
4520739
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
SAT
1594241
3589.16
3596.84
4508717
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
SAT
126
3589.42
3598.61
4509269
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
SAT
-266275
3589.46
3600.68
4506165
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb
SAT
2453519
3589.58
3597.69
4508809
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
SAT
-60833
3590.24
3600.67
4506073
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
SAT
305
3590.26
3600.82
4502905
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
SAT
-71
3590.5
3600.81
4505889
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
SAT
1132
3591.5
3603.12
4519359
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
SAT
0
3592.22
3600.97
4518945
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
-70412
3598.89
3608.99
4483739
Solver timed out but found at least a solution (1 run)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
SAT (TO)
167
2396.67
2402.01
4508165
Solver didn't decide (UNKNOWN) (37 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-1378.cudf.trendy.opb
?
2392.11
2398.21
4501219
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb
?
2392.67
2399.16
4486177
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot.opb
?
2392.87
2398.41
4485671
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb
?
2392.92
2398.22
4501173
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-qnet1_o.opb
?
2392.92
2398.18
4486085
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-121.cudf.trendy.opb
?
2392.96
2398.16
4501127
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand659e05.cudf.trendy.opb
?
2393
2398.18
4500575
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand65d021.cudf.trendy.opb
?
2393.05
2398.31
4500437
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa6288-047.opb
?
2393.21
2398.21
4486683
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb
?
2393.25
2398.16
4501587
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb
?
2393.33
2398.17
4501403
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb
?
2393.54
2398.15
4501035
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-557.cudf.trendy.opb
?
2393.81
2398.15
4501081
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb
?
2393.98
2398.13
4500943
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
?
2394.65
2400.29
4507935
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1769397.opb
?
2396.28
2403.19
4522303
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_8_ic.opb
?
2404.25
2409.96
4505107
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
?
2422.55
2427.68
4490455
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
?
2464.11
2469.68
4504969
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
?
2479.66
2487.3
4521889
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-2-0_c24.opb
?
2525.92
2532.58
4524143
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
?
3583.91
3596.14
4499333
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
?
3584.21
3596.12
4490639
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
?
3585.59
3596.11
4490593
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-AztecDiamondSym-mini-07_c24.opb
?
3585.97
3596.47
4523959
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
?
3586.32
3596.25
4485441
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
?
3586.47
3596.13
4499057
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
?
3586.59
3596.13
4490777
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
?
3586.75
3596.33
4498965
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-WordGolf-4-ogd2008-50-0_c24.opb
?
3586.79
3596.55
4524005
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
?
3586.83
3596.17
4499149
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
?
3587.06
3596.87
4485349
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab3.opb
?
3587.44
3597.94
4522395
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb
?
3587.44
3596.29
4488385
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
?
3587.44
3596.28
4485717
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
?
3587.7
3596.35
4485303
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
?
3588.22
3597.62
4523867
Solver timed out (no solution given) (12 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
? (TO)
3602.02
3612.01
4521199
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion.opb
? (TO)
3602.04
3611.4
4483969
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
? (TO)
3602.05
3612.3
4520923
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
? (TO)
3602.06
3612.41
4502951
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb
? (TO)
3602.07
3610.5
4520693
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
? (TO)
3602.07
3610.5
4487741
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
? (TO)
3602.07
3611.81
4505613
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_8.opb
? (TO)
3602.09
3610.71
4503957
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
? (TO)
3602.1
3611.43
4502997
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
? (TO)
3602.12
3610.91
4503043
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
? (TO)
3602.18
3610.77
4502813
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb
? (TO)
3602.33
3611.11
4523039
Solver exceeded the memory limit (no solution given) (17 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
? (MO)
80.789
81.0464
4505383
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_6_mh.opb
? (MO)
80.7939
81.0568
4505475
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_mh.opb
? (MO)
82.6878
82.9434
4505429
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
? (MO)
100.93
101.276
4498551
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__256.opb
? (MO)
105.554
105.856
4498827
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb
? (MO)
105.717
106.016
4488431
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__256.opb
? (MO)
107.317
107.678
4498873
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb
? (MO)
108.568
108.852
4488201
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
? (MO)
125.088
125.488
4506119
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
? (MO)
191.154
191.723
4485763
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
287
287.745
4505797
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (MO)
287.483
288.375
4505981
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
? (MO)
287.765
288.539
4505843
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
288.538
289.445
4506211
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (MO)
289.277
290.188
4506027
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
? (MO)
290.014
290.904
4505935
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
? (MO)
1542.26
1545.84
4522855