PB'25 competition: benchmarks results per solver
Result page for solver NuPBO-DeepOptS+
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 (20 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
SAT
-1073741823
0.001216
0.00140106
4485958
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_000.opb.metafix.opb
SAT
16
0.004071
0.00420092
4508498
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_004.opb.metafix.opb
SAT
23
0.004172
0.00429789
4508360
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.opb
SAT
30
0.013236
0.0133589
4508682
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_005.opb.metafix.opb
SAT
26
0.01569
0.0159051
4508590
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
SAT
50
0.015825
0.0169591
4486924
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
SAT
6
0.059967
0.0604759
4491248
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb
SAT
0
0.315136
0.317217
4500356
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
SAT
9
0.734267
0.736449
4499206
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
SAT
6
1.05539
1.05979
4499252
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-bnatt350.opb
SAT
0
6.5881
6.6054
4502640
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
SAT
8
7.74999
7.77783
4499022
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb
SAT
2
9.76507
9.78738
4501644
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
SAT
32
20.164
20.2246
4509602
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT
0
439.075
440.889
4490374
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
SAT
6
1513.25
1517.9
4499114
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
SAT
64
1797.94
1803.14
4509326
PB25/normalized-PB25/OPT-LIN/sakai/
PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb
SAT
1
1903.17
1908.4
4523602
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
SAT
1
1907.86
1913.27
4523694
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
SAT
7
2154.13
2160.14
4499298
Solver timed out but found at least a solution (469 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_054.opb
SAT (TO)
1512
3600.01
3606.11
4521578
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
SAT (TO)
200
3600.01
3607.6
4486970
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
SAT (TO)
1
3600.01
3607.8
4518496
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb
SAT (TO)
0
3600.01
3607.4
4519094
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/
normalized-knapPI_9_5000_1000_1_-48768.opb
SAT (TO)
-48768
3600.01
3608.11
4518082
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 (TO)
-36
3600.01
3606.8
4521026
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_004.opb.metafix.opb
SAT (TO)
51
3600.01
3606.7
4508314
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=379.opb
SAT (TO)
331
3600.01
3606.6
4488120
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
SAT (TO)
24
3600.01
3608.7
4487522
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
SAT (TO)
4
3600.01
3607.7
4491110
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
SAT (TO)
0
3600.01
3608.8
4519140
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
SAT (TO)
-29
3600.01
3608.5
4519600
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
SAT (TO)
245
3600.01
3608.11
4490926
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r26_c52_a5.opb
SAT (TO)
8034
3600.01
3607.01
4520336
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
SAT (TO)
12
3600.01
3606.6
4487890
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_000.opb.metafix.opb
SAT (TO)
66
3600.01
3606.11
4508544
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_5000_1000_4_-199683.opb
SAT (TO)
-296283
3600.01
3609.11
4517898
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_4_mh.opb
SAT (TO)
4164341
3600.02
3609.11
4504566
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT (TO)
-35
3600.02
3608.51
4485084
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
SAT (TO)
122
3600.02
3607.5
4502594
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
SAT (TO)
50
3600.02
3608.2
4487568
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
SAT (TO)
0
3600.02
3607.9
4518956
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT (TO)
312
3600.02
3608.62
4486372
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
SAT (TO)
100
3600.02
3607.8
4486740
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
SAT (TO)
-35
3600.02
3609.51
4485038
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
SAT (TO)
5734889
3600.02
3610.3
4504060
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
SAT (TO)
-178
3600.02
3609.52
4499528
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
SAT (TO)
6381086
3600.02
3607.9
4504520
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
SAT (TO)
145
3600.02
3609.41
4508084
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowoddcolsquare/normalized-vertexcover_opt_grid_oddrowoddcolsquare_dim_071.opb
SAT (TO)
2556
3600.02
3607.11
4521532
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
SAT (TO)
1016
3600.02
3607.6
4520750
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
SAT (TO)
5243311
3600.02
3608.6
4503830
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT (TO)
3
3600.02
3607.81
4484348
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT (TO)
180
3600.02
3608.4
4489270
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
SAT (TO)
655
3600.02
3609.32
4502456
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb
SAT (TO)
120
3600.02
3608.01
4520474
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
SAT (TO)
-16
3600.02
3608.3
4519646
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb
SAT (TO)
13739089
3600.02
3607.01
4512610
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
SAT (TO)
3
3600.02
3609.51
4523740
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
SAT (TO)
6
3600.02
3610.31
4517714
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
SAT (TO)
2477
3600.02
3607.41
4501322
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT (TO)
2642
3600.02
3608.9
4484118
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
SAT (TO)
50769
3600.02
3607.9
4497186
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb
SAT (TO)
2624845634522
3600.02
3608.5
4500724
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r7_c14_a4.opb
SAT (TO)
378
3600.02
3606.6
4520198
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
SAT (TO)
165
3600.02
3610.02
4490972
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
SAT (TO)
5867
3600.02
3606.3
4496266
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT (TO)
4
3600.02
3607.3
4484302
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r21_c41_a4.opb
SAT (TO)
3362
3600.02
3608.11
4520244
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=3.opb
SAT (TO)
5
3600.02
3610.11
4517760
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb
SAT (TO)
1
3600.02
3606.6
4518588
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 (TO)
-150
3600.02
3607.5
4521348
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
SAT (TO)
101
3600.02
3610.12
4507900
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb
SAT (TO)
1800
3600.02
3608.4
4520704
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT (TO)
21
3600.03
3608.8
4490420
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT (TO)
32
3600.03
3609.9
4490558
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
183
3600.03
3609.6
4489040
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
180
3600.03
3608.9
4489086
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
SAT (TO)
22
3600.03
3608.71
4497830
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-019.lin.opb
SAT (TO)
4
3600.03
3608.3
4509050
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT (TO)
1567
3600.03
3608.6
4487660
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=419.opb
SAT (TO)
109
3600.03
3606.7
4488304
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__1024.opb
SAT (TO)
45008
3600.03
3607.82
4498792
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
SAT (TO)
64
3600.03
3607.3
4487430
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb
SAT (TO)
-76
3600.03
3609.02
4519554
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_8.std.opb
SAT (TO)
58
3600.03
3607.42
4500126
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir04_area_partials.opb
SAT (TO)
30
3600.03
3607.11
4497278
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
SAT (TO)
3242
3600.03
3608.21
4520566
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
SAT (TO)
-50
3600.03
3610.72
4484900
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
SAT (TO)
344776
3600.03
3607.5
4485866
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r17_c34_a4.opb
SAT (TO)
2278
3600.03
3607.4
4520014
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb
SAT (TO)
9800
3600.03
3606.81
4521440
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_009.opb.metafix.opb
SAT (TO)
115
3600.03
3606.4
4508452
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc01.opb
SAT (TO)
1074317824
3600.03
3605.9
4486004
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/
normalized-knapPI_14_10000_1000_2_-407357.opb
SAT (TO)
-539657
3600.03
3607.81
4518312
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=509.opb
SAT (TO)
149
3600.03
3606.01
4488074
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-sorrell8.opb
SAT (TO)
-350
3600.03
3610.31
4522084
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
SAT (TO)
-167
3600.03
3609.12
4499574
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45.opb
SAT (TO)
45008
3600.03
3608.6
4498930
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
23916
3600.04
3609.01
4486510
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
SAT (TO)
16
3600.04
3610.01
4509510
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_75.opb
SAT (TO)
2889
3600.04
3609.51
4518818
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
SAT (TO)
304
3600.04
3606.2
4484164
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
SAT (TO)
36
3600.04
3607.11
4487476
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb
SAT (TO)
102017
3600.04
3606.5
4501000
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb
SAT (TO)
141778
3600.04
3608.33
4501506
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
SAT (TO)
-169
3600.04
3609.02
4499804
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_4_mh.opb
SAT (TO)
3932597
3600.04
3608.72
4504612
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_2_mh_ic.opb
SAT (TO)
8989328
3600.04
3608.91
4504888
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
SAT (TO)
0
3600.04
3608.4
4519232
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
SAT (TO)
3
3600.04
3608.91
4523464
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-ab51-40-100.opb
SAT (TO)
-1285215
3600.04
3607.91
4522268
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb
SAT (TO)
0
3600.04
3605.4
4519278
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
SAT (TO)
43
3600.04
3608.02
4507992
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
SAT (TO)
4
3600.04
3606.8
4487982
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
SAT (TO)
939
3600.04
3608.21
4484210
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
SAT (TO)
159
3600.04
3608.7
4502732
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_1.opb
SAT (TO)
9
3600.04
3607.81
4523832
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_20.opb
SAT (TO)
-20
3600.04
3608.3
4519922
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
SAT (TO)
62
3600.04
3607.2
4487108
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT (TO)
1038
3600.04
3608.9
4488580
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT (TO)
2
3600.04
3610.4
4490512
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12.opb
SAT (TO)
46877
3600.04
3606.01
4498700
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_inf.opb
SAT (TO)
2
3600.04
3610.01
4523786
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb
SAT (TO)
22
3600.04
3608.74
4496588
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-06-2_c24.opb
SAT (TO)
5612
3600.04
3608.9
4524108
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
SAT (TO)
-162
3600.04
3609.03
4499482
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
SAT (TO)
20
3600.04
3606.3
4487798
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb
SAT (TO)
55266778085
3600.04
3609.11
4512472
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
SAT (TO)
79
3600.04
3608.71
4508038
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
SAT (TO)
70311
3600.04
3607.62
4496910
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 (TO)
-600
3600.04
3608.02
4521256
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
SAT (TO)
1616
3600.04
3607.8
4520612
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
SAT (TO)
207
3600.04
3607.9
4486648
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
SAT (TO)
34
3600.04
3608.2
4487292
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
186
3600.04
3609.5
4489132
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_5.opb
SAT (TO)
6659169
3600.04
3607.6
4503922
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-A-3-1-irEDCBA.opb
SAT (TO)
7844254104
3600.04
3608.81
4512334
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
SAT (TO)
3
3600.04
3610.7
4517622
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_12.opb
SAT (TO)
-22
3600.04
3606.8
4519692
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 (TO)
-96
3600.04
3608.9
4521302
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
176
3600.05
3608.9
4489178
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
SAT (TO)
36
3600.05
3607.7
4487154
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb
SAT (TO)
2520
3600.05
3607.5
4521670
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
SAT (TO)
20
3600.05
3609.12
4497416
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-990.cudf.trendy.opb
SAT (TO)
277042
3600.05
3607.6
4501276
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
SAT (TO)
6188155
3600.05
3608.3
4504106
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
SAT (TO)
25
3600.05
3607.14
4496496
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
SAT (TO)
97
3600.05
3610.02
4490834
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
SAT (TO)
4517
3600.05
3608.7
4487706
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT (TO)
13
3600.05
3610.11
4490696
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
SAT (TO)
2
3600.05
3608.9
4490282
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT (TO)
2
3600.05
3608.3
4484486
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_042.opb
SAT (TO)
924
3600.05
3607.01
4521716
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT (TO)
1
3600.05
3609.02
4484624
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
SAT (TO)
5148
3600.05
3607.5
4496358
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb
SAT (TO)
0
3600.05
3608.5
4519048
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_6.opb
SAT (TO)
13898637
3600.05
3608.6
4504152
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=18-t=2.opb
SAT (TO)
16
3600.05
3609.31
4517530
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=7-t=3.opb
SAT (TO)
4
3600.05
3611.7
4517806
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_fibo_10null50mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion.opb
SAT (TO)
-319031
3600.05
3610.62
4483980
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
SAT (TO)
3374791
3600.05
3609.6
4503784
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_680_004.opb
SAT (TO)
-31248
3600.05
3608.03
4523372
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
SAT (TO)
26
3600.05
3607.71
4496634
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
SAT (TO)
-49
3600.05
3610.82
4484946
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
64
3600.05
3609.11
4486418
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_0_mh_ic.opb
SAT (TO)
11730034
3600.05
3608.51
4504704
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
SAT (TO)
2431655
3600.05
3608.4
4504796
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.opb
SAT (TO)
101
3600.05
3609.02
4507854
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
SAT (TO)
-81
3600.05
3609.61
4499390
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-methanosarcina.opb
SAT (TO)
2726
3600.05
3608.31
4502364
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
187
3600.05
3608.6
4488994
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
SAT (TO)
-141992
3600.05
3607.9
4517990
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
SAT (TO)
-70
3600.05
3609.61
4522176
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
SAT (TO)
5900212
3600.05
3608.11
4505026
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-24-2_c24.opb
SAT (TO)
20324
3600.05
3607.71
4524062
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb
SAT (TO)
-2197
3600.05
3607.7
4517944
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
SAT (TO)
-7944
3600.05
3608.8
4523234
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
SAT (TO)
12675
3600.05
3607.41
4520060
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
SAT (TO)
29
3600.05
3609.01
4509464
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
SAT (TO)
67
3600.05
3609.51
4508222
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 (TO)
-81
3600.05
3608.6
4521164
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_058.opb
SAT (TO)
1740
3600.05
3607.7
4521762
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_73_label5_adversarial_norm_inf.opb
SAT (TO)
5
3600.05
3610.41
4523648
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
SAT (TO)
33456
3600.05
3607.5
4496818
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
SAT (TO)
-54
3600.05
3608.63
4484716
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
SAT (TO)
134248448
3600.05
3608.61
4512426
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height13_pigeons12_holes11.opb
SAT (TO)
105
3600.05
3615.61
4519508
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand902db1.cudf.trendy.opb
SAT (TO)
394243446
3600.05
3607.3
4500540
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
SAT (TO)
17
3600.05
3608.8
4491294
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb
SAT (TO)
7665992
3600.05
3607.2
4512702
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
SAT (TO)
27
3600.05
3610.31
4509418
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb
SAT (TO)
-866472921
3600.05
3607.5
4512656
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
SAT (TO)
1
3600.06
3608.6
4518772
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb
SAT (TO)
7
3600.06
3607.5
4509556
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
SAT (TO)
111
3600.06
3609.51
4507808
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT (TO)
1033
3600.06
3608.9
4488672
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb
SAT (TO)
1176
3600.06
3609.53
4522590
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
SAT (TO)
12
3600.06
3607.71
4484578
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_05.opb
SAT (TO)
21
3600.06
3606.8
4521992
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=9.opb
SAT (TO)
1
3600.06
3610.7
4517576
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb
SAT (TO)
42
3600.06
3608.4
4508636
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
SAT (TO)
20
3600.06
3609.2
4486464
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
SAT (TO)
50
3600.06
3606.4
4486832
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6045_4.std.opb
SAT (TO)
112
3600.06
3609.24
4500080
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb
SAT (TO)
76
3600.06
3608.3
4520520
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/
normalized-knapPI_12_1000_1000_3_-17136.opb
SAT (TO)
-17178
3600.06
3607.6
4518266
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c19_a4.opb
SAT (TO)
722
3600.06
3606.8
4520428
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT (TO)
-55
3600.06
3609.42
4484762
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT (TO)
53
3600.06
3606.7
4488028
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
SAT (TO)
36
3600.06
3606.6
4487384
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=3.opb
SAT (TO)
7
3600.06
3609.2
4517668
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
SAT (TO)
3031
3600.06
3608.01
4484072
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
2076
3600.06
3608.61
4487752
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
SAT (TO)
18
3600.06
3609.22
4517484
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
SAT (TO)
167
3600.06
3609.02
4508176
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_001.opb
SAT (TO)
-13240
3600.06
3607.8
4523326
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb
SAT (TO)
1
3600.06
3610.12
4518680
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT (TO)
70176
3600.06
3608.21
4486556
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_120_003.opb
SAT (TO)
-2565
3600.06
3608.8
4522958
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
SAT (TO)
60
3600.06
3608.11
4487338
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
SAT (TO)
8034
3600.06
3606.7
4496450
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=8.opb
SAT (TO)
5
3600.06
3609.11
4517438
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
SAT (TO)
4179263
3600.06
3609.6
4503876
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
SAT (TO)
104604771118000
3600.06
3607.9
4486050
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT (TO)
0
3600.06
3606.7
4484256
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
SAT (TO)
12
3600.06
3608.91
4517852
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
SAT (TO)
41202
3600.06
3607.2
4497140
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
SAT (TO)
22
3600.06
3608.6
4502778
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r10_c20_a6.opb
SAT (TO)
1170
3600.06
3607.01
4520382
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
SAT (TO)
19643303820
3600.06
3609.01
4512564
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
SAT (TO)
0
3600.06
3607.5
4519002
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
SAT (TO)
9663726592
3600.06
3606.1
4485912
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT (TO)
183
3600.06
3608.5
4489408
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb
SAT (TO)
4
3600.06
3610.31
4523556
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
SAT (TO)
24890
3600.07
3607.7
4497048
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r22_c44_a5.opb
SAT (TO)
5742
3600.07
3606.6
4520152
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_230_000.opb
SAT (TO)
-7236
3600.07
3609.12
4523142
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
SAT (TO)
10818283612
3600.07
3608.9
4500402
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
SAT (TO)
8908
3600.07
3606.9
4496220
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
SAT (TO)
-10980
3600.07
3608.31
4508912
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
SAT (TO)
-48992
3600.07
3606.5
4518174
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
SAT (TO)
20733371
3600.07
3609.01
4505072
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir05_area_opers.opb
SAT (TO)
35
3600.07
3607.71
4497232
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT (TO)
1030
3600.07
3607.8
4488534
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT (TO)
42524
3600.07
3609.12
4486326
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdecr1_size_18.opb
SAT (TO)
-17
3600.07
3607.6
4519830
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb
SAT (TO)
-55717
3600.07
3610.56
4505762
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_022.opb
SAT (TO)
264
3600.07
3607.4
4521624
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb
SAT (TO)
1
3600.07
3606.2
4518542
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT (TO)
1035
3600.07
3608.4
4488948
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
SAT (TO)
-187
3600.07
3609.71
4499758
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
SAT (TO)
6002935
3600.07
3608.6
4504290
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height16_pigeons15_holes14.opb
SAT (TO)
153
3600.07
3610.54
4519324
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_29.opb
SAT (TO)
-56
3600.07
3609.3
4519784
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
SAT (TO)
50162
3600.07
3607.8
4496864
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
SAT (TO)
25
3600.07
3609.2
4490742
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kdessh.cudf.trendy.opb
SAT (TO)
2624864081545
3600.07
3609.9
4500632
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_7_mh_ic.opb
SAT (TO)
14700725
3600.07
3608.93
4504934
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb
SAT (TO)
4479172802
3600.07
3609.4
4512748
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
SAT (TO)
3478799
3600.07
3608.11
4504244
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-python-cairo.cudf.trendy.opb
SAT (TO)
2624808740457
3600.07
3608.11
4500862
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_9.std.opb
SAT (TO)
49
3600.07
3607.92
4500172
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-macrophage.opb
SAT (TO)
374
3600.07
3608.4
4502548
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
SAT (TO)
20
3600.07
3609.31
4497738
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/
normalized-knapPI_15_2000_1000_5_-50838.opb
SAT (TO)
-17191
3600.07
3608.8
4518128
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_6_mh.opb
SAT (TO)
4048247
3600.07
3609.72
4504474
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
SAT (TO)
-175
3600.07
3608.81
4499666
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_610_007.opb
SAT (TO)
-26846
3600.07
3608.63
4523004
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT (TO)
-45
3600.07
3610.42
4484992
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-35_c24.opb
SAT (TO)
-39
3600.07
3608.63
4524338
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb
SAT (TO)
0
3600.07
3606.7
4518910
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_074.opb
SAT (TO)
2738
3600.07
3607.6
4521394
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
SAT (TO)
90
3600.07
3608.2
4520888
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_500_10000_2_-399276.opb
SAT (TO)
-527203
3600.07
3608.5
4518220
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
SAT (TO)
0
3600.08
3607.2
4485820
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1036
3600.08
3608.2
4488626
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT (TO)
9
3600.08
3607.41
4484440
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_038.opb
SAT (TO)
760
3600.08
3608.11
4521808
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
SAT (TO)
13949
3600.08
3606.9
4496956
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
SAT (TO)
2
3600.08
3606.8
4491018
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
SAT (TO)
73649
3600.08
3608.82
4496772
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
SAT (TO)
-28
3600.08
3609.01
4502410
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
SAT (TO)
64
3600.08
3607.8
4487200
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
SAT (TO)
3657570890335
3600.08
3607.01
4500816
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
179
3600.08
3609.8
4489224
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
SAT (TO)
400
3600.08
3607.4
4520796
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
181
3600.08
3609.7
4489316
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb
SAT (TO)
1
3600.08
3606.3
4518358
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
SAT (TO)
4948043
3600.08
3608.11
4504842
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
SAT (TO)
0
3600.08
3609.4
4519186
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=409.opb
SAT (TO)
71
3600.08
3607.4
4488166
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12042_6.std.opb
SAT (TO)
119
3600.08
3608.37
4500034
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT (TO)
813
3600.08
3608.8
4484026
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=239.opb
SAT (TO)
229
3600.08
3607.11
4488258
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
SAT (TO)
975
3600.08
3610.33
4485268
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
SAT (TO)
26
3600.08
3607.21
4496726
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb
SAT (TO)
50
3600.08
3607.7
4508406
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_6_mh.opb
SAT (TO)
7586846
3600.08
3608.5
4504428
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT (TO)
2
3600.08
3609.2
4484394
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0055-0055.lin.opb
SAT (TO)
-20
3600.08
3609.4
4509004
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_60.opb
SAT (TO)
-30
3600.08
3608.6
4519876
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
SAT (TO)
11
3600.08
3606.4
4491156
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb
SAT (TO)
-277299793
3600.08
3606.8
4512380
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb
SAT (TO)
8228
3600.08
3608.81
4501368
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
SAT (TO)
689
3600.08
3608.71
4485590
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
SAT (TO)
-52
3600.08
3610.32
4484808
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_4_mh_ic.opb
SAT (TO)
12002308
3600.08
3609.31
4504750
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
SAT (TO)
5934755
3600.08
3607.6
4504198
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
SAT (TO)
7
3600.08
3606.11
4487936
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
SAT (TO)
36
3600.08
3607.4
4487246
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0088-0888.lin.opb
SAT (TO)
-55
3600.08
3607.9
4509096
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
SAT (TO)
36
3600.08
3607.2
4487062
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1036
3600.08
3609.4
4488718
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-40.lin.opb
SAT (TO)
1183
3600.08
3608.02
4509142
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
SAT (TO)
5
3600.09
3608.12
4484532
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/
normalized-bnn_mnist_back_image_32_label3_adversarial_norm_1.opb
SAT (TO)
4
3600.09
3608.91
4523510
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
SAT (TO)
28
3600.09
3617.4
4521854
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
SAT (TO)
1
3600.09
3606.9
4518404
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
SAT (TO)
4812377
3600.09
3608.13
4504658
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
SAT (TO)
9288353
3600.09
3608.2
4504014
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb
SAT (TO)
2625011657753
3600.09
3607.7
4500770
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=383.opb
SAT (TO)
223
3600.09
3607.2
4488488
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
SAT (TO)
1093
3600.09
3608.36
4485544
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1034
3600.09
3608.7
4488810
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_60_004.opb
SAT (TO)
-874
3600.09
3607.6
4523280
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_009.opb
SAT (TO)
-14822
3600.09
3611.01
4523096
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 (TO)
-668
3600.09
3610.36
4483888
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
SAT (TO)
2
3600.09
3607.9
4487844
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-159.opb
SAT (TO)
1327
3600.09
3608.2
4487016
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
SAT (TO)
25
3600.09
3607.81
4496542
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9033_7.std.opb
SAT (TO)
109
3600.09
3607.65
4500218
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_47.opb
SAT (TO)
-540
3600.09
3608.92
4520934
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
SAT (TO)
2044
3600.09
3609.11
4520658
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rande89f80.cudf.trendy.opb
SAT (TO)
2979398
3600.09
3608.3
4500310
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
SAT (TO)
-164
3600.09
3608.61
4499620
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
SAT (TO)
935
3600.09
3608.9
4486602
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament26.lin.opb
SAT (TO)
-167
3600.09
3608.6
4508866
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb
SAT (TO)
1
3600.09
3609.5
4518450
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-opm2-z7-s2.opb
SAT (TO)
-10280
3600.09
3608.01
4522360
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
SAT (TO)
2967
3600.09
3610.01
4522452
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
SAT (TO)
5852
3600.09
3606.5
4496312
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
SAT (TO)
28
3600.09
3609.14
4497600
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT (TO)
1028
3600.09
3608.9
4488902
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb
SAT (TO)
-1860222646
3600.09
3608.7
4512518
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1040
3600.09
3609.5
4488856
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
SAT (TO)
-80
3600.09
3608.11
4508774
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
SAT (TO)
3401513
3600.09
3607.62
4504336
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
SAT (TO)
-23764
3600.09
3609.92
4502502
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/
normalized-knapPI_11_1000_1000_5_-23276.opb
SAT (TO)
-109060
3600.09
3607.3
4518036
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_0.opb
SAT (TO)
2
3600.09
3608.51
4523418
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_007.opb.metafix.opb
SAT (TO)
96
3600.09
3609.3
4508268
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
SAT (TO)
18
3600.1
3609.11
4497692
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb
SAT (TO)
-117096
3600.1
3608
4523050
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_8.opb
SAT (TO)
8783657
3600.1
3609.4
4503968
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1037
3600.1
3608.11
4488764
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
SAT (TO)
785
3600.1
3607.7
4486786
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_75.opb
SAT (TO)
-148
3600.1
3607.01
4519738
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxall_lastlayerdiv2_size_22.opb
SAT (TO)
-22
3600.1
3608.6
4519968
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
SAT (TO)
1756
3600.1
3607.8
4520842
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir04_area_delay.opb
SAT (TO)
12
3600.1
3609.4
4497324
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
SAT (TO)
-70
3600.1
3609.31
4499436
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb
SAT (TO)
1
3600.1
3611.4
4518726
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Clique-c0125-9_c24.opb
SAT (TO)
-34
3600.1
3609.01
4524384
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
SAT (TO)
23978
3600.1
3608.8
4497002
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
SAT (TO)
-76
3600.1
3610.31
4499712
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb
SAT (TO)
146114
3600.1
3608.33
4501552
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-synaptic.cudf.trendy.opb
SAT (TO)
2624698058321
3600.1
3607.3
4500908
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT (TO)
27
3600.1
3609.6
4490328
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
SAT (TO)
20582076120
3600.1
3607.11
4500494
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=277.opb
SAT (TO)
131
3600.1
3609.7
4488350
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb
SAT (TO)
146081
3600.1
3607.93
4501460
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
SAT (TO)
8276
3600.1
3607.5
4486234
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
SAT (TO)
47342
3600.1
3607.11
4497094
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
SAT (TO)
15
3600.1
3609.74
4502318
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
SAT (TO)
28
3600.1
3607.91
4496680
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_120.opb
SAT (TO)
7200
3600.1
3609.12
4521486
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
SAT (TO)
1
3600.1
3609.6
4518634
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
SAT (TO)
0
3600.1
3608.8
4518864
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
SAT (TO)
28814713
3600.11
3608.27
4505210
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
SAT (TO)
17
3600.11
3606.6
4491064
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
SAT (TO)
22
3600.11
3610.62
4497508
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r31_c62_a6.opb
SAT (TO)
11439
3600.11
3607.81
4520106
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
SAT (TO)
20
3600.11
3608.81
4497784
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-mitre.opb
SAT (TO)
7677
3600.11
3609.02
4522038
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
SAT (TO)
34232881
3600.11
3608.67
4505348
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
SAT (TO)
3951
3600.11
3608.01
4496404
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.trendy.opb
SAT (TO)
2703872689618
3600.11
3608.3
4500678
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_3.std.opb
SAT (TO)
89
3600.11
3608.27
4499850
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT (TO)
182
3600.11
3609.11
4489362
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
SAT (TO)
87132
3600.11
3607.12
4498746
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__512.opb
SAT (TO)
45008
3600.11
3607.32
4498516
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
SAT (TO)
130
3600.11
3610.12
4491340
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_down/
normalized-linearized_pebbling_opt_layeredfan_down_r20_c39_a6.opb
SAT (TO)
4563
3600.11
3607.2
4520290
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
SAT (TO)
-35
3600.11
3610.61
4485130
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT (TO)
3
3600.11
3610.01
4484670
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 (TO)
-1190
3600.11
3611.06
4521118
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT (TO)
142
3600.11
3609.51
4486280
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
SAT (TO)
25
3600.11
3608.01
4487614
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.opb
SAT (TO)
95378
3600.12
3610.02
4498654
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
SAT (TO)
801478
3600.12
3609.13
4522130
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 (TO)
-72
3600.12
3608.46
4483796
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
SAT (TO)
2234
3600.12
3608.02
4486878
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
SAT (TO)
23
3600.12
3609.82
4497554
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j906_2.std.opb
SAT (TO)
86
3600.12
3607.55
4500264
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
SAT (TO)
48
3600.12
3609.02
4508130
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
SAT (TO)
28386861
3600.12
3609.57
4505256
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
SAT (TO)
22545811
3600.12
3608.87
4505164
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb
SAT (TO)
54
3600.12
3609.66
4509372
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT (TO)
-52
3600.12
3609.93
4484854
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
SAT (TO)
5496335
3600.12
3607.92
4504382
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 (TO)
-74439
3600.12
3610.1
4483750
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 (TO)
-1290
3600.13
3608.37
4483842
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb
SAT (TO)
346
3600.13
3610.65
4522912
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
SAT (TO)
126
3600.13
3609.67
4509280
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1202_6.std.opb
SAT (TO)
92
3600.13
3610.21
4499942
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
SAT (TO)
61
3600.13
3609.15
4509188
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-45.lin.opb
SAT (TO)
-119145
3600.13
3608.93
4508958
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
SAT (TO)
26
3600.13
3608.54
4497462
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
SAT (TO)
115
3600.13
3611.72
4509234
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
SAT (TO)
28775293
3600.13
3609.18
4505532
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
SAT (TO)
1052
3600.13
3610.05
4522544
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_84.opb
SAT (TO)
-1764
3600.14
3609.28
4521210
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT (TO)
34
3600.14
3608.98
4490236
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
SAT (TO)
18798609
3600.14
3609.47
4505302
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 (TO)
-7184
3600.14
3609.55
4483934
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
SAT (TO)
36
3600.14
3608.46
4503008
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT (TO)
42
3600.14
3611.09
4502870
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_1.std.opb
SAT (TO)
93
3600.14
3608.18
4499896
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
SAT (TO)
-118198
3600.15
3609.36
4523188
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb
SAT (TO)
496
3600.15
3609.74
4519462
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
SAT (TO)
-361595
3600.15
3611.09
4505624
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.01-3.opb
SAT (TO)
6
3600.15
3608.9
4506498
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
SAT (TO)
1573
3600.15
3610.07
4485406
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
SAT (TO)
211
3600.15
3608.53
4489500
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb
SAT (TO)
750
3600.16
3610.71
4522498
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 (TO)
-1892
3600.16
3611.59
4521072
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb
SAT (TO)
23
3600.16
3608.73
4497370
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
SAT (TO)
1592597
3600.16
3607.41
4508728
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
SAT (TO)
33
3600.16
3610.41
4497646
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
SAT (TO)
244
3600.17
3608.93
4489638
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
SAT (TO)
64
3600.17
3609.61
4503054
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
SAT (TO)
60
3600.17
3611.22
4502824
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12055_1.std.opb
SAT (TO)
102
3600.17
3609.19
4499988
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 (TO)
-1944
3600.18
3609.29
4520980
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
SAT (TO)
239
3600.18
3608.53
4489822
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
SAT (TO)
27991405
3600.18
3609.38
4505578
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
SAT (TO)
248
3600.18
3609.25
4489454
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
SAT (TO)
56
3600.18
3611.57
4502962
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb
SAT (TO)
728
3600.19
3610.48
4522820
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
SAT (TO)
34
3600.19
3609.1
4490144
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb
SAT (TO)
14044
3600.2
3609.85
4506590
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
SAT (TO)
258
3600.2
3608.43
4489684
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-3.opb
SAT (TO)
15415
3600.2
3609.54
4506544
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
SAT (TO)
239
3600.2
3609.43
4489546
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb
SAT (TO)
2453121
3600.2
3608.64
4508820
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
SAT (TO)
241
3600.2
3608.83
4489776
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb
SAT (TO)
330
3600.21
3610.19
4522682
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
SAT (TO)
220
3600.21
3609.03
4489868
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
SAT (TO)
246
3600.23
3608.43
4489592
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
SAT (TO)
242
3600.23
3609.24
4489730
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
SAT (TO)
74890
3600.25
3607.63
4523924
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-4.opb
SAT (TO)
17445
3600.26
3608.67
4506636
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
SAT (TO)
38
3600.26
3609.55
4489914
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
SAT (TO)
-166164
3600.27
3611.01
4505670
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.E.recomb10-0.20-11.opb
SAT (TO)
9591
3600.28
3609.62
4506314
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
SAT (TO)
44
3600.28
3610.37
4490190
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.20-11.opb
SAT (TO)
7
3600.28
3609.19
4506268
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb
SAT (TO)
-46015
3600.3
3610.55
4505716
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
SAT (TO)
37
3600.31
3610.56
4490052
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
SAT (TO)
42
3600.32
3611.19
4490006
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-rail507.opb
SAT (TO)
174
3600.33
3608.73
4485222
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
SAT (TO)
41
3600.33
3610.21
4489960
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
SAT (TO)
49
3600.41
3611.17
4490098
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height37_pigeons36_holes35.opb
SAT (TO)
741
3600.43
3612.26
4519416
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
SAT (TO)
595
3600.43
3610.43
4521946
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb
SAT (TO)
732
3600.46
3609.44
4522636
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
SAT (TO)
3521
3600.47
3609.73
4506682
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
SAT (TO)
-266275
3600.5
3609.4
4506176
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb
SAT (TO)
522
3600.57
3610.84
4522774
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-9.opb
SAT (TO)
47754
3600.57
3609.5
4506360
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
SAT (TO)
1131
3600.76
3612.6
4519370
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
SAT (TO)
-61540
3600.81
3610.74
4506084
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
SAT (TO)
0
3600.82
3611.84
4505900
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
SAT (TO)
54728
3600.85
3611.19
4506406
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-14.opb
SAT (TO)
5267
3600.9
3610.48
4506452
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
SAT (TO)
6142
3600.98
3612.52
4522728
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpm1.opb
SAT (TO)
562
3601.26
3611.08
4522222
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
SAT (TO)
304
3601.96
3612.69
4502916
Solver timed out (no solution given) (49 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
? (TO)
3600.01
3609.02
4498976
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand65d021.cudf.trendy.opb
? (TO)
3600.01
3607
4500448
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
? (TO)
3600.01
3609.3
4491202
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-557.cudf.trendy.opb
? (TO)
3600.01
3607.7
4501092
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb
? (TO)
3600.01
3608.6
4501184
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-121.cudf.trendy.opb
? (TO)
3600.02
3606.2
4501138
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
? (TO)
3600.02
3611.02
4491386
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa6288-047.opb
? (TO)
3600.03
3608.8
4486694
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_8_ic.opb
? (TO)
3600.03
3609.3
4505118
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb
? (TO)
3600.03
3607.7
4501230
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb
? (TO)
3600.03
3608.3
4501414
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-2-0_c24.opb
? (TO)
3600.04
3609.33
4524154
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb
? (TO)
3600.04
3607.71
4488396
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb
? (TO)
3600.04
3608.3
4501598
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
? (TO)
3600.05
3610.03
4485314
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
? (TO)
3600.05
3610.2
4499160
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand659e05.cudf.trendy.opb
? (TO)
3600.05
3608.8
4500586
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb
? (TO)
3600.05
3606.11
4500954
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
? (TO)
3600.06
3608.3
4485452
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-qnet1_o.opb
? (TO)
3600.06
3607.01
4486096
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
? (TO)
3600.06
3609.11
4485636
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-hanoi5.opb
? (TO)
3600.06
3609.01
4502686
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
? (TO)
3600.07
3612.02
4490650
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
? (TO)
3600.07
3609.02
4490880
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb
? (TO)
3600.07
3607.6
4501046
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-biella1.opb
? (TO)
3600.08
3607.67
4485498
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb
? (TO)
3600.08
3607.5
4486188
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos11.opb
? (TO)
3600.08
3608.5
4485176
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
? (TO)
3600.08
3609.44
4498608
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-AztecDiamondSym-mini-07_c24.opb
? (TO)
3600.09
3609.51
4523970
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
? (TO)
3600.09
3608.3
4485728
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
? (TO)
3600.09
3608.7
4486142
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1769397.opb
? (TO)
3600.09
3607.8
4522314
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot.opb
? (TO)
3600.09
3608.6
4485682
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
? (TO)
3600.09
3612.3
4499344
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
? (TO)
3600.09
3609.7
4490604
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
? (TO)
3600.1
3608.9
4490466
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
? (TO)
3600.1
3610.6
4499068
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
? (TO)
3600.1
3609.01
4507946
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
? (TO)
3600.1
3608.03
4523878
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
? (TO)
3600.1
3608.7
4504980
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
? (TO)
3600.11
3609.14
4524200
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
? (TO)
3600.11
3609.02
4490788
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-TestScheduling-t030m10r05-1_c24.opb
? (TO)
3600.12
3610.54
4524292
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-24_c24.opb
? (TO)
3600.24
3610.09
4524246
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-WordGolf-4-ogd2008-50-0_c24.opb
? (TO)
3600.3
3609.7
4524016
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
? (TO)
3600.39
3617.87
4521900
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
? (TO)
3600.74
3611.26
4485360
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab3.opb
? (TO)
3601.02
3609.84
4522406
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_6_mh.opb
? (MO)
80.609
80.862
4505486
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
? (MO)
80.7157
80.9595
4505394
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_mh.opb
? (MO)
80.7252
80.9759
4505440
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
? (MO)
102.324
102.604
4498562
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__256.opb
? (MO)
105.37
105.701
4498838
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb
? (MO)
106.896
107.207
4488212
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__256.opb
? (MO)
107.28
107.556
4498884
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb
? (MO)
107.777
108.034
4488442
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
? (MO)
124.018
124.336
4506130
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
? (MO)
184.437
184.892
4485774
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
285.585
286.234
4505808
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (MO)
286.92
287.707
4505992
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
? (MO)
287.06
287.816
4505946
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (MO)
288.047
288.775
4506038
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
288.472
289.3
4506222
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
? (MO)
291.705
292.493
4505854
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
? (MO)
1523.83
1527.79
4522866