PB'25 competition: benchmarks results per solver
Result page for solver NuPBO-DeepOpt+
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 (18 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.001251
0.00131306
4485957
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_004.opb.metafix.opb
SAT
23
0.001834
0.00193189
4508359
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_000.opb.metafix.opb
SAT
16
0.004621
0.00523099
4508497
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_000.opb.metafix.opb
SAT
30
0.007465
0.00757994
4508681
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
SAT
6
0.009959
0.0102559
4491247
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_005.opb.metafix.opb
SAT
26
0.010163
0.010634
4508589
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-6_0-yes1-3.opb
SAT
50
0.013329
0.0134121
4486923
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-randd6bc17.cudf.trendy.opb
SAT
0
0.107578
0.107903
4500355
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
SAT
6
0.279153
0.279998
4499251
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
SAT
32
0.364443
0.366561
4509601
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
SAT
8
0.991965
0.996509
4499021
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
SAT
9
1.57478
1.5786
4499205
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb
SAT
64
1.90131
1.91041
4509325
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
SAT
6
7.53407
7.57374
4499113
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-650.cudf.paranoid.opb
SAT
2
10.9888
11.0199
4501643
PB25/normalized-PB25/OPT-LIN/sakai/
PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_7_label9_adversarial_norm_inf.opb
SAT
1
220.2
220.714
4523601
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
SAT
1
269.952
270.621
4523693
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
SAT
7
361.243
362.009
4499297
Solver timed out but found at least a solution (472 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f13-ACDoubleLoss.seq-B-2-2-irEDCBA.opb
SAT (TO)
4479172802
3600
3608.8
4512747
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
SAT (TO)
3374791
3600
3609.11
4503783
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.01
3606.9
4521715
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-python-cairo.cudf.trendy.opb
SAT (TO)
2624808740457
3600.01
3606.2
4500861
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand902db1.cudf.trendy.opb
SAT (TO)
394243446
3600.01
3608.3
4500539
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_120_003.opb
SAT (TO)
-2565
3600.01
3609.3
4522957
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.01
3608.6
4520427
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-1.opb
SAT (TO)
50
3600.01
3607.3
4486831
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
179
3600.01
3608.11
4489223
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
SAT (TO)
24
3600.01
3607.7
4487521
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.01
3608.9
4484623
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.01
3608.2
4520151
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
SAT (TO)
5934755
3600.01
3609.3
4504197
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.01
3608.61
4519507
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat15_4_4_4_mh_ic.opb
SAT (TO)
2431655
3600.01
3608.7
4504795
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
181
3600.01
3608.3
4489315
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
SAT (TO)
4948043
3600.01
3608.7
4504841
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_2_mh.opb
SAT (TO)
6381086
3600.01
3608.7
4504519
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
SAT (TO)
16
3600.01
3607.2
4509509
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-kdessh.cudf.trendy.opb
SAT (TO)
2624864081545
3600.01
3606.8
4500631
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-sorrell8.opb
SAT (TO)
-350
3600.01
3608.71
4522083
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_36.opb
SAT (TO)
0
3600.02
3608.11
4519139
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_7.opb
SAT (TO)
9288353
3600.02
3610.02
4504013
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
3608.9
4521347
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c80.opb
SAT (TO)
120
3600.02
3607.9
4520473
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.opb
SAT (TO)
0
3600.02
3609.3
4518863
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_500_10000_2_-399276.opb
SAT (TO)
-527203
3600.02
3607.8
4518219
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
SAT (TO)
3992
3600.02
3609.3
4522451
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/
normalized-knapPI_14_10000_1000_2_-407357.opb
SAT (TO)
-539657
3600.02
3608.21
4518311
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=3.opb
SAT (TO)
7
3600.02
3608.01
4517667
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.02
3608.11
4484393
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
SAT (TO)
26
3600.02
3607.71
4496725
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
strongly_correlated/normalized-knapPI_3_50_1000_2_-1678.opb
SAT (TO)
-2197
3600.02
3607.8
4517943
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=8.opb
SAT (TO)
5
3600.02
3606.9
4517437
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-2-2-abcdeir.opb
SAT (TO)
7665992
3600.02
3607.01
4512701
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f1000.opb
SAT (TO)
925
3600.02
3607.11
4486601
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=10-t=9.opb
SAT (TO)
1
3600.02
3607.4
4517575
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
SAT (TO)
5867
3600.02
3606.1
4496265
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_007.opb.metafix.opb
SAT (TO)
96
3600.02
3608.2
4508267
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT (TO)
1567
3600.02
3607.4
4487659
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1040
3600.02
3606.9
4488855
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=71-Q=409.opb
SAT (TO)
71
3600.02
3606.2
4488165
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb
SAT (TO)
0
3600.02
3608.7
4519047
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_6.opb
SAT (TO)
13898637
3600.02
3607.7
4504151
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
SAT (TO)
3478799
3600.02
3608.4
4504243
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_5.opb
SAT (TO)
6659169
3600.02
3608.9
4503921
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__1024.opb
SAT (TO)
45008
3600.02
3607.92
4498791
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1098.cudf.trendy.opb
SAT (TO)
102017
3600.02
3607.01
4500999
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
3607.6
4519645
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
SAT (TO)
50
3600.02
3607.7
4487567
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.02
3609.2
4519921
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.02
3607.2
4521669
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=3.opb
SAT (TO)
5
3600.02
3608.11
4517759
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-159.opb
SAT (TO)
1327
3600.02
3607.3
4487015
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_4_mh.opb
SAT (TO)
3932597
3600.03
3608.13
4504611
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-randf794d2.cudf.paranoid.opb
SAT (TO)
8228
3600.03
3607.41
4501367
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
SAT (TO)
-81
3600.03
3607.81
4499389
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
3607.5
4519553
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
SAT (TO)
25
3600.03
3608.11
4487613
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
SAT (TO)
4
3600.03
3606.8
4487981
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-ab51-40-100.opb
SAT (TO)
-1284791
3600.03
3608.31
4522267
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT (TO)
25
3600.03
3608.1
4490695
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_6_mh.opb
SAT (TO)
4048247
3600.03
3608.82
4504473
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-mono-gac.cudf.trendy.opb
SAT (TO)
2625011657753
3600.03
3607.4
4500769
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_05.opb
SAT (TO)
21
3600.03
3608.7
4521991
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.03
3607.21
4484347
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c50.opb
SAT (TO)
76
3600.03
3608.3
4520519
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT (TO)
1035
3600.03
3606.7
4488947
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=7.opb
SAT (TO)
6
3600.03
3607.4
4517713
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
SAT (TO)
47342
3600.03
3609.01
4497093
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_4_mh.opb
SAT (TO)
4164341
3600.03
3608.9
4504565
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=277.opb
SAT (TO)
131
3600.03
3607.4
4488349
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.3
4485865
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
SAT (TO)
70311
3600.03
3606.72
4496909
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
64
3600.03
3608.11
4486417
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm25p-opt.opb.negationfix.opb
SAT (TO)
7
3600.03
3607.4
4509555
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
SAT (TO)
304
3600.03
3606.5
4484163
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
SAT (TO)
10818283612
3600.03
3607.4
4500401
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.03
3607.91
4485083
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_03.opb
SAT (TO)
0
3600.03
3608.1
4519277
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
SAT (TO)
101
3600.03
3607.02
4507899
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
SAT (TO)
-169
3600.03
3607.61
4499803
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=7-t=3.opb
SAT (TO)
4
3600.03
3607.2
4517805
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.03
3609.81
4523463
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT (TO)
47
3600.03
3606.11
4490327
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_08.opb
SAT (TO)
0
3600.03
3607.4
4519093
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1616732.opb
SAT (TO)
159
3600.03
3607.8
4502731
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
SAT (TO)
-48992
3600.03
3608.7
4518173
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f50-DC_side2.seq-B-3-1-EDCBAir.opb
SAT (TO)
-1860222646
3600.03
3608.11
4512517
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
SAT (TO)
20
3600.03
3607.2
4487797
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
SAT (TO)
50162
3600.03
3607.3
4496863
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.03
3608.01
4521531
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_1.opb
SAT (TO)
4179263
3600.03
3608.6
4503875
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
SAT (TO)
4
3600.03
3606.3
4491109
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f47-DC_Side1.seq-B-2-2-irabcde.opb
SAT (TO)
19643303820
3600.03
3607.8
4512563
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
SAT (TO)
11
3600.03
3607.5
4491155
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
SAT (TO)
20
3600.03
3608.2
4486463
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.04
3608.6
4520197
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
182
3600.04
3607.11
4489039
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
SAT (TO)
22
3600.04
3608.2
4502777
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1036
3600.04
3606.11
4488625
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_9.std.opb
SAT (TO)
49
3600.04
3607.52
4500171
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.trendy.opb
SAT (TO)
2703872689618
3600.04
3607.11
4500677
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.04
3607.2
4520013
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=229-Q=239.opb
SAT (TO)
229
3600.04
3606.5
4488257
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-990.cudf.trendy.opb
SAT (TO)
277042
3600.04
3607.2
4501275
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_8.opb
SAT (TO)
8783657
3600.04
3609.5
4503967
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_50.opb
SAT (TO)
0
3600.04
3607.9
4519185
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
SAT (TO)
1
3600.04
3607.4
4518633
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/9orless/normalized-kfilereplace.cudf.trendy.opb
SAT (TO)
2624845634522
3600.04
3606.7
4500723
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-15.lin.opb
SAT (TO)
-10944
3600.04
3608.01
4508911
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
SAT (TO)
-178
3600.04
3607.41
4499527
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_000.opb.metafix.opb
SAT (TO)
66
3600.04
3608.01
4508543
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT (TO)
813
3600.04
3609.8
4484025
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/
normalized-knapPI_12_1000_1000_3_-17136.opb
SAT (TO)
-17178
3600.04
3606.9
4518265
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT (TO)
4
3600.04
3607.01
4490373
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
SAT (TO)
27
3600.04
3609.3
4509417
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_400.opb
SAT (TO)
1834
3600.04
3608.01
4520703
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
SAT (TO)
23978
3600.04
3608.4
4497001
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45.opb
SAT (TO)
45008
3600.04
3607.8
4498929
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_430.opb
SAT (TO)
2080
3600.04
3607.71
4520657
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.04
3608.12
4520105
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.04
3608.21
4523509
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.04
3607.6
4519599
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.04
3607.51
4519737
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
SAT (TO)
17
3600.04
3607.8
4491293
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
SAT (TO)
36
3600.04
3607.11
4487245
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT (TO)
1038
3600.04
3606.8
4488579
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb
SAT (TO)
-866472921
3600.04
3607.01
4512655
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT (TO)
180
3600.04
3607.6
4489269
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir04_area_partials.opb
SAT (TO)
30
3600.04
3607.3
4497277
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_160.opb
SAT (TO)
404
3600.04
3609.5
4520795
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.1
4519691
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_091.opb
SAT (TO)
1
3600.04
3607.5
4518541
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
SAT (TO)
20
3600.04
3607.31
4497737
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.05
3607.8
4484301
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__16.opb
SAT (TO)
95378
3600.05
3608.31
4498653
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
SAT (TO)
-70
3600.05
3607.51
4499435
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-libgnokii4.cudf.paranoid.opb
SAT (TO)
146081
3600.05
3607.33
4501459
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
186
3600.05
3607.4
4489131
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f3-DataDisplay_1_order6.seq-B-2-2-irabcde.opb
SAT (TO)
13739245
3600.05
3608.6
4512609
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
SAT (TO)
5148
3600.05
3607.11
4496357
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2536-691.opb
SAT (TO)
708
3600.05
3609.71
4485589
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randbccf2d.cudf.trendy.opb
SAT (TO)
20582076120
3600.05
3607.3
4500493
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
SAT (TO)
2
3600.05
3607.6
4490281
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT (TO)
69974
3600.05
3607.61
4486555
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell3a.opb
SAT (TO)
104604771118000
3600.05
3608.5
4486049
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.4
4484485
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.4
4521163
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-mini-24-2_c24.opb
SAT (TO)
20328
3600.05
3607.51
4524061
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun6.5.opb
SAT (TO)
67
3600.05
3606.41
4508221
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.05
3607.9
4520289
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
SAT (TO)
245
3600.05
3609.01
4490925
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null20mast_rapportOE2.0_TMAX60_K67_cod2.opb
SAT (TO)
-50549
3600.05
3608.33
4505761
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_002.opb.metafix.opb
SAT (TO)
42
3600.05
3606.8
4508635
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
SAT (TO)
-175
3600.05
3607.12
4499665
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
SAT (TO)
20733371
3600.05
3608.61
4505071
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.05
3608.11
4512333
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/
normalized-knapPI_9_5000_1000_1_-48768.opb
SAT (TO)
-48768
3600.05
3608.6
4518081
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_290.opb
SAT (TO)
1035
3600.05
3607.8
4520749
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.05
3607.5
4521393
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
3608.61
4520059
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT (TO)
-44
3600.05
3607.92
4484991
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT (TO)
42
3600.05
3607.7
4490419
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.05
3607.8
4520381
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-40.lin.opb
SAT (TO)
1183
3600.05
3608.2
4509141
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament26.lin.opb
SAT (TO)
-167
3600.05
3607.11
4508865
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
SAT (TO)
13949
3600.05
3607.11
4496955
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT (TO)
53
3600.05
3606.2
4488027
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
SAT (TO)
36
3600.05
3608.3
4487475
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
SAT (TO)
8908
3600.05
3607.8
4496219
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
SAT (TO)
36
3600.06
3607.7
4487153
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core2586-950.opb
SAT (TO)
985
3600.06
3608.91
4485267
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-misc01.opb
SAT (TO)
1074317824
3600.06
3606.4
4486003
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
SAT (TO)
207
3600.06
3608.8
4486647
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.06
3607.31
4521485
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__512.opb
SAT (TO)
45008
3600.06
3607.52
4498515
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
SAT (TO)
25
3600.06
3608.5
4496541
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.06
3607.9
4520243
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_501.opb
SAT (TO)
1
3600.06
3607.7
4518679
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_111.opb
SAT (TO)
1
3600.06
3608.01
4518587
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
3608.3
4484255
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
SAT (TO)
8276
3600.06
3606.7
4486233
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
SAT (TO)
8034
3600.06
3606.7
4496449
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_2.opb
SAT (TO)
7
3600.06
3608.21
4523555
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
SAT (TO)
25
3600.06
3606.6
4490741
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
2076
3600.06
3606.51
4487751
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT (TO)
1028
3600.06
3607.01
4488901
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT (TO)
2
3600.06
3606.5
4490511
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-mono-mcs.cudf.paranoid.opb
SAT (TO)
141778
3600.06
3608.53
4501505
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_550.opb
SAT (TO)
3233
3600.06
3608.02
4520565
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-protfold.opb
SAT (TO)
-30
3600.06
3608.9
4502409
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.01
4489407
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_008.opb.metafix.opb
SAT (TO)
50
3600.06
3606
4508405
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT (TO)
1033
3600.06
3606.2
4488671
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.06
3608.51
4484439
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
3608.41
4484577
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=18-t=2.opb
SAT (TO)
16
3600.06
3607.31
4517529
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12.opb
SAT (TO)
46877
3600.06
3607.3
4498699
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
SAT (TO)
675
3600.06
3608.72
4502455
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_451.opb
SAT (TO)
1
3600.06
3607.4
4518725
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament18.lin.opb
SAT (TO)
-80
3600.06
3608.2
4508773
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.06
3609.61
4523647
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
SAT (TO)
21
3600.06
3608.32
4497507
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_001.opb
SAT (TO)
-13225
3600.06
3608.12
4523325
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
SAT (TO)
-167
3600.06
3607.41
4499573
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
SAT (TO)
29
3600.06
3605.7
4490557
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_0_mh_ic.opb
SAT (TO)
11730034
3600.06
3608.51
4504703
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
SAT (TO)
167
3600.06
3607.61
4508175
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.06
3608.71
4485129
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
SAT (TO)
4812377
3600.06
3608.22
4504657
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
SAT (TO)
4517
3600.06
3609.02
4487705
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
SAT (TO)
101
3600.06
3609.21
4507807
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_7_mh_ic.opb
SAT (TO)
14700725
3600.06
3609.14
4504933
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
SAT (TO)
64
3600.06
3606.7
4487199
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
SAT (TO)
3401513
3600.07
3608.52
4504335
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.07
3608.11
4521025
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)
-304891
3600.07
3608.52
4483979
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
SAT (TO)
2
3600.07
3608.01
4491017
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
SAT (TO)
12
3600.07
3605.8
4487889
PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/
instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_1.opb
SAT (TO)
2
3600.07
3608.41
4523739
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1034
3600.07
3607.6
4488809
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep5.5.opb
SAT (TO)
101
3600.07
3609.41
4507853
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=379.opb
SAT (TO)
331
3600.07
3607.8
4488119
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_031.opb
SAT (TO)
1
3600.07
3606.01
4518495
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
SAT (TO)
5243311
3600.07
3610.9
4503829
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.07
3606.6
4521577
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT (TO)
182
3600.07
3608.8
4489361
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-opm2-z7-s2.opb
SAT (TO)
-10280
3600.07
3609.81
4522359
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.07
3607.2
4519875
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.07
3607.41
4521439
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=109-Q=419.opb
SAT (TO)
109
3600.07
3607.11
4488303
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-g125.18.opb
SAT (TO)
2231
3600.07
3607.12
4486877
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
SAT (TO)
1111
3600.07
3610.36
4485543
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
SAT (TO)
2
3600.07
3606.3
4487843
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb
SAT (TO)
346
3600.07
3608.86
4522911
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT (TO)
-54
3600.07
3608.93
4484761
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.07
3607.8
4484531
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
SAT (TO)
36
3600.07
3608.1
4487061
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
SAT (TO)
24890
3600.07
3607.3
4497047
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rande89f80.cudf.trendy.opb
SAT (TO)
2979398
3600.07
3609.6
4500309
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-538867.opb
SAT (TO)
122
3600.07
3609.02
4502593
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib3/normalized-mitre.opb
SAT (TO)
7991
3600.07
3608.01
4522037
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
SAT (TO)
20
3600.08
3607.41
4497783
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
SAT (TO)
2477
3600.08
3606.61
4501321
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-methanosarcina.opb
SAT (TO)
2723
3600.08
3608.21
4502363
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1037
3600.08
3606.01
4488763
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_101.opb
SAT (TO)
1
3600.08
3606.8
4518449
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.08
3610.13
4484899
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.08
3608.97
4483795
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
comppebvc/normalized-comppebvc_opt_75.opb
SAT (TO)
2889
3600.08
3606.21
4518817
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Charlotte-06-2_c24.opb
SAT (TO)
5612
3600.08
3608.9
4524107
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
SAT (TO)
18
3600.08
3609.62
4517483
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT (TO)
2642
3600.08
3608.7
4484117
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.8
4485819
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
SAT (TO)
5900212
3600.08
3608.3
4505025
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm85p-opt.opb.negationfix.opb
SAT (TO)
54
3600.08
3607.71
4509371
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_380.opb
SAT (TO)
1651
3600.08
3608.4
4520611
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_04.opb
SAT (TO)
0
3600.08
3606.4
4518909
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.08
3609.01
4521301
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.08
3607.1
4519829
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_9.opb
SAT (TO)
6188155
3600.08
3607.6
4504105
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.08
3608.01
4519967
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
SAT (TO)
28
3600.08
3607.02
4496679
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
SAT (TO)
34
3600.08
3606.4
4487291
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
SAT (TO)
3951
3600.08
3606.1
4496403
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.08
3609.01
4484669
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
SAT (TO)
5852
3600.08
3606.2
4496311
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=509.opb
SAT (TO)
149
3600.08
3606.4
4488073
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
SAT (TO)
36
3600.08
3607.3
4487383
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
SAT (TO)
165
3600.08
3607.6
4490971
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j3046_8.std.opb
SAT (TO)
58
3600.08
3608.82
4500125
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
180
3600.08
3607.9
4489085
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
SAT (TO)
-187
3600.08
3607.71
4499757
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
SAT (TO)
62
3600.08
3607.5
4487107
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated_span/
normalized-knapPI_11_1000_1000_5_-23276.opb
SAT (TO)
-109060
3600.08
3608.01
4518035
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT (TO)
40509
3600.08
3607.51
4486325
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_230_000.opb
SAT (TO)
-7236
3600.08
3609.12
4523141
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_680_004.opb
SAT (TO)
-30810
3600.08
3608.73
4523371
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_06.opb
SAT (TO)
28
3600.08
3608.5
4521853
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
SAT (TO)
25
3600.08
3609.04
4497599
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
SAT (TO)
3031
3600.08
3608.11
4484071
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
176
3600.08
3608.9
4489177
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.08
3606.8
4521623
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.08
3607.11
4520335
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.08
3606.2
4485911
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
SAT (TO)
100
3600.08
3607.11
4486739
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
SAT (TO)
1584
3600.08
3608.06
4485405
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.paranoid.opb
SAT (TO)
146116
3600.08
3607.43
4501551
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb
SAT (TO)
134256128
3600.08
3607.11
4512425
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_071.opb
SAT (TO)
1
3600.08
3607.2
4518357
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_390.opb
SAT (TO)
1787
3600.08
3607.8
4520841
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_60_004.opb
SAT (TO)
-874
3600.09
3608.9
4523279
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT (TO)
136
3600.09
3609.71
4486279
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
SAT (TO)
3657570890335
3600.09
3609.6
4500815
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_6_mh.opb
SAT (TO)
7586846
3600.09
3608.7
4504427
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1036
3600.09
3608.11
4488717
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_4_mh_ic.opb
SAT (TO)
12002308
3600.09
3609.41
4504749
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=8.opb
SAT (TO)
3
3600.09
3607.6
4517621
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
SAT (TO)
20
3600.09
3607.21
4497415
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.09
3606.7
4521807
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f12-ACDoubleLoss.seq-B-3-combined-EDCBAir.opb
SAT (TO)
-277299793
3600.09
3608.01
4512379
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
4523417
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
SAT (TO)
26
3600.09
3607.51
4496633
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-sp98ar.opb
SAT (TO)
847206
3600.09
3608.31
4522129
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
SAT (TO)
50769
3600.09
3607.7
4497185
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
SAT (TO)
92
3600.09
3607.6
4490833
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
SAT (TO)
64
3600.09
3607.2
4487429
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
SAT (TO)
939
3600.09
3607.31
4484209
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/
dominating_set/normalized-dominating_set_hexgrid_opt_r6_c60.opb
SAT (TO)
90
3600.09
3607.8
4520887
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_16.opb
SAT (TO)
0
3600.09
3607.7
4519231
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
SAT (TO)
-70
3600.09
3607.41
4522175
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_20.r.opb
SAT (TO)
17
3600.09
3606.5
4491063
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0055-0055.lin.opb
SAT (TO)
-20
3600.09
3607.8
4509003
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_021.opb
SAT (TO)
1
3600.09
3606.9
4518403
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_200_10000_5_-93992.opb
SAT (TO)
-141992
3600.09
3607.4
4517989
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.09
3608.7
4519783
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f17-DCdoubleLoss.seq-B-2-2-irEDCBA.opb
SAT (TO)
55266778085
3600.09
3607.3
4512471
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT (TO)
34
3600.09
3607.09
4490235
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_009.opb.metafix.opb
SAT (TO)
115
3600.09
3608.2
4508451
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
23916
3600.09
3607.6
4486509
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_36.opb
SAT (TO)
0
3600.09
3608.9
4518955
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
SAT (TO)
28
3600.09
3608.75
4497461
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-Clique-c0125-9_c24.opb
SAT (TO)
-34
3600.09
3608.6
4524383
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
SAT (TO)
6335307
3600.1
3608.01
4504059
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_3.std.opb
SAT (TO)
89
3600.1
3607.37
4499849
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.1
3608.21
4523785
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/
normalized-knapPI_15_2000_1000_5_-50838.opb
SAT (TO)
-17191
3600.1
3608.91
4518127
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
SAT (TO)
-162
3600.1
3607.41
4499481
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
SAT (TO)
-164
3600.1
3609.41
4499619
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
SAT (TO)
0
3600.1
3608.5
4519001
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_351.opb
SAT (TO)
1
3600.1
3607.4
4518771
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir05_area_opers.opb
SAT (TO)
35
3600.1
3607.2
4497231
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-synaptic.cudf.trendy.opb
SAT (TO)
2624698058321
3600.1
3606.7
4500907
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
SAT (TO)
22
3600.1
3608.91
4497829
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.1
3606.9
4521761
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.1
3607.84
4521117
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
SAT (TO)
132
3600.1
3607.5
4491339
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_004.opb.metafix.opb
SAT (TO)
51
3600.1
3606
4508313
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
SAT (TO)
73810
3600.1
3607.22
4496771
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0088-0888.lin.opb
SAT (TO)
-55
3600.1
3607.4
4509095
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.1
3608.82
4484853
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-macrophage.opb
SAT (TO)
374
3600.1
3608.4
4502547
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
SAT (TO)
200
3600.1
3606.6
4486969
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
SAT (TO)
41202
3600.1
3607.4
4497139
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir04_area_delay.opb
SAT (TO)
12
3600.1
3607.8
4497323
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=383.opb
SAT (TO)
223
3600.1
3606.2
4488487
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX180_K67_cod3.opb
SAT (TO)
-43052
3600.1
3608.54
4505715
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d2.opb
SAT (TO)
785
3600.1
3607.01
4486785
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-edgecross14-019.lin.opb
SAT (TO)
4
3600.1
3608.3
4509049
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
SAT (TO)
60
3600.1
3608.8
4487337
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
SAT (TO)
-76
3600.1
3608.71
4499711
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT (TO)
1030
3600.1
3606.5
4488533
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_450_009.opb
SAT (TO)
-14768
3600.1
3608.12
4523095
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm90p-opt.opb.negationfix.opb
SAT (TO)
29
3600.1
3607.3
4509463
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_2_mh.opb
SAT (TO)
6002935
3600.1
3608.9
4504289
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
SAT (TO)
5496335
3600.11
3608.52
4504381
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
SAT (TO)
7
3600.11
3606.6
4487935
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
SAT (TO)
18
3600.11
3608.31
4497691
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=2.opb
SAT (TO)
12
3600.11
3607.6
4517851
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
SAT (TO)
33456
3600.11
3608.8
4496817
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
SAT (TO)
48
3600.11
3608.51
4508129
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
SAT (TO)
36
3600.11
3610.09
4503007
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
SAT (TO)
61
3600.11
3608.53
4509187
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6045_4.std.opb
SAT (TO)
112
3600.11
3608.54
4500079
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_610_007.opb
SAT (TO)
-26371
3600.11
3608.05
4523003
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
SAT (TO)
43
3600.11
3607.61
4507991
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_260_007.opb
SAT (TO)
-7928
3600.11
3608.5
4523233
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb
SAT (TO)
22
3600.11
3607.74
4496587
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
SAT (TO)
22
3600.11
3607.52
4497553
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.11
3609.11
4523831
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.11
3609.92
4484945
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.11
3607.61
4485037
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
SAT (TO)
79
3600.11
3608.31
4508037
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
187
3600.11
3609.01
4488993
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
SAT (TO)
25
3600.11
3607.23
4496495
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_5000_1000_4_-199683.opb
SAT (TO)
-296283
3600.11
3608.91
4517897
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
SAT (TO)
145
3600.11
3608.71
4508083
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_2_mh_ic.opb
SAT (TO)
8989328
3600.11
3608.51
4504887
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-SameQueensKnights-b-35_c24.opb
SAT (TO)
-40
3600.11
3607.24
4524337
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.11
3608.03
4520933
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT (TO)
310
3600.11
3607.61
4486371
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
SAT (TO)
87132
3600.11
3608.42
4498745
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.12
3608.32
4484807
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-opt.opb.negationfix.opb
SAT (TO)
115
3600.12
3607.85
4509233
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1202_6.std.opb
SAT (TO)
92
3600.12
3607.37
4499941
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.12
3607.52
4521255
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.01-3.opb
SAT (TO)
6
3600.12
3608.51
4506497
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
SAT (TO)
-56
3600.12
3607.63
4484715
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.12
3608.81
4519323
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-544324.opb
SAT (TO)
16
3600.13
3608.64
4502317
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z9-s14.opb
SAT (TO)
-23764
3600.13
3608.14
4502501
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)
-5904
3600.13
3608.95
4483933
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_3_0.95_1.opb
SAT (TO)
1176
3600.13
3608.53
4522589
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern60-45.lin.opb
SAT (TO)
-119129
3600.14
3607.34
4508957
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
SAT (TO)
34232881
3600.14
3610.58
4505347
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i2_pp_94.opb
SAT (TO)
1052
3600.14
3608.46
4522543
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.14
3608.56
4483887
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
SAT (TO)
22545811
3600.14
3608.5
4505163
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-013.opb
SAT (TO)
-115990
3600.14
3608.1
4523187
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12042_6.std.opb
SAT (TO)
120
3600.15
3609.08
4500033
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
SAT (TO)
56
3600.15
3610.04
4502961
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
SAT (TO)
34
3600.15
3608.99
4490143
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_10000_10_0.85_3.opb
SAT (TO)
330
3600.15
3609.69
4522681
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_ic.opb
SAT (TO)
28775293
3600.15
3608.57
4505531
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.15
3608.51
4520979
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9033_7.std.opb
SAT (TO)
109
3600.15
3607.26
4500217
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j906_2.std.opb
SAT (TO)
86
3600.15
3607.96
4500263
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12055_1.std.opb
SAT (TO)
102
3600.15
3607.58
4499987
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
SAT (TO)
-336132
3600.16
3608.9
4505623
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay70.lin.opb
SAT (TO)
1592597
3600.16
3607.61
4508727
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
SAT (TO)
18798609
3600.16
3609.97
4505301
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
SAT (TO)
211
3600.16
3609.15
4489499
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
SAT (TO)
126
3600.16
3607.87
4509279
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
SAT (TO)
28814713
3600.16
3608.57
4505209
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
SAT (TO)
241
3600.17
3607.73
4489775
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
SAT (TO)
64
3600.17
3607.65
4503053
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-017.opb
SAT (TO)
-117096
3600.17
3609.11
4523049
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)
-74962
3600.17
3609.09
4483749
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
SAT (TO)
244
3600.17
3609.03
4489637
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_ic.opb
SAT (TO)
28386861
3600.17
3608.57
4505255
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
SAT (TO)
239
3600.18
3610.15
4489545
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
SAT (TO)
246
3600.18
3608.93
4489591
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
SAT (TO)
248
3600.18
3608.25
4489453
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.18
3608.48
4521209
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12024_1.std.opb
SAT (TO)
93
3600.18
3607.38
4499895
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.B.recomb1-0.20-11.opb
SAT (TO)
7
3600.18
3608.36
4506267
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
SAT (TO)
60
3600.18
3608.55
4502823
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.18
3608.7
4521071
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT (TO)
42
3600.18
3611.11
4502869
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)
-1040
3600.19
3609.1
4483841
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.2
3609.02
4519461
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
SAT (TO)
35
3600.2
3607.01
4497645
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
SAT (TO)
220
3600.21
3608.93
4489867
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay75.lin.opb
SAT (TO)
2453121
3600.21
3607.33
4508819
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb
SAT (TO)
14044
3600.21
3609.17
4506589
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
SAT (TO)
239
3600.21
3608.53
4489821
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
SAT (TO)
242
3600.22
3609.43
4489729
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb
SAT (TO)
25
3600.22
3608.26
4497369
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
SAT (TO)
-155828
3600.22
3608.99
4505669
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.75_3.opb
SAT (TO)
728
3600.22
3609.19
4522819
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
SAT (TO)
258
3600.23
3609.33
4489683
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-4.opb
SAT (TO)
17446
3600.24
3608.95
4506635
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-3.opb
SAT (TO)
15416
3600.25
3608.76
4506543
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_92.opb
SAT (TO)
750
3600.26
3608.79
4522497
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master.opb
SAT (TO)
74890
3600.27
3607.13
4523923
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_33.opb
SAT (TO)
595
3600.29
3608.1
4521945
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
SAT (TO)
27991405
3600.3
3609.52
4505577
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.E.recomb10-0.20-11.opb
SAT (TO)
9591
3600.31
3608.91
4506313
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
SAT (TO)
42
3600.36
3610.45
4490005
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
SAT (TO)
44
3600.36
3609.7
4490189
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
SAT (TO)
38
3600.36
3609.09
4489913
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.37
3608.39
4519415
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
SAT (TO)
37
3600.39
3608.3
4490051
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
SAT (TO)
41
3600.45
3609.38
4489959
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
SAT (TO)
49
3600.47
3608.23
4490097
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.75_2.opb
SAT (TO)
732
3600.52
3608.82
4522635
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.95_10.opb
SAT (TO)
462
3600.53
3609.4
4522865
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-rail507.opb
SAT (TO)
181
3600.54
3609.99
4485221
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
SAT (TO)
3521
3600.58
3608.81
4506681
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
SAT (TO)
-252745
3600.58
3608.66
4506175
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-9.opb
SAT (TO)
47744
3600.62
3610.37
4506359
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
SMTI/SMTI_PBO/SMTI_25000_10_0.85_7.opb
SAT (TO)
522
3600.66
3609.69
4522773
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/
normalized-composed_pebbling_php_opt_pyramid_height46_pigeons45_holes44.opb
SAT (TO)
1128
3600.7
3608.78
4519369
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
SAT (TO)
-49991
3600.7
3610.33
4506083
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_0null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
SAT (TO)
-25
3600.73
3610.28
4505899
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
SAT (TO)
54728
3600.79
3608.89
4506405
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-14.opb
SAT (TO)
5267
3600.93
3609.37
4506451
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
SAT (TO)
6142
3601.01
3611.09
4522727
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-scpm1.opb
SAT (TO)
562
3601.18
3609.33
4522221
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
SAT (TO)
1559
3601.42
3609.26
4521899
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
SAT (TO)
304
3601.76
3611.05
4502915
Solver timed out (no solution given) (49 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa6288-047.opb
? (TO)
3600.01
3606.8
4486693
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1077.cudf.trendy.opb
? (TO)
3600.01
3605.6
4500953
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
? (TO)
3600.01
3607.7
4507945
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-greenbeb.opb
? (TO)
3600.01
3609.3
4485727
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-557.cudf.trendy.opb
? (TO)
3600.02
3606.7
4501091
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand65d021.cudf.trendy.opb
? (TO)
3600.02
3607.6
4500447
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
? (TO)
3600.02
3605.7
4490465
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1021.cudf.trendy.opb
? (TO)
3600.02
3606.6
4501045
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-rand659e05.cudf.trendy.opb
? (TO)
3600.02
3607.2
4500585
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
? (TO)
3600.03
3608.11
4485635
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
? (TO)
3600.03
3606.9
4491201
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
? (TO)
3600.03
3606.8
4490603
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum2.opb
? (TO)
3600.04
3607.8
4486187
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
? (TO)
3600.04
3608.5
4490787
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
? (TO)
3600.04
3607.4
4498975
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-pilot.opb
? (TO)
3600.04
3608.8
4485681
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1769397.opb
? (TO)
3600.04
3608.6
4522313
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
? (TO)
3600.05
3609.2
4499067
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-bnatt350.opb
? (TO)
3600.05
3607.7
4502639
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
? (TO)
3600.05
3605.9
4490649
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
? (TO)
3600.06
3607.9
4490879
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-121.cudf.trendy.opb
? (TO)
3600.06
3606.4
4501137
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
? (TO)
3600.06
3608.5
4499159
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-FoolSolitaire-table-2-0_c24.opb
? (TO)
3600.06
3608.33
4524153
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-TestScheduling-t030m10r05-1_c24.opb
? (TO)
3600.06
3610.74
4524291
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08aCUTS.opb
? (TO)
3600.06
3607.2
4486141
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1378.cudf.trendy.opb
? (TO)
3600.06
3607.2
4501229
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-AztecDiamondSym-mini-07_c24.opb
? (TO)
3600.07
3609.01
4523969
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
? (TO)
3600.07
3609.8
4485313
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
? (TO)
3600.08
3609.2
4499343
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_8_ic.opb
? (TO)
3600.08
3609.11
4505117
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-GolombRuler-a3v18-15_c18.opb
? (TO)
3600.08
3607.8
4524199
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
? (TO)
3600.08
3607.9
4504979
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos11.opb
? (TO)
3600.09
3608
4485175
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-qnet1_o.opb
? (TO)
3600.09
3607.01
4486095
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-hanoi5.opb
? (TO)
3600.09
3609.5
4502685
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-584.cudf.paranoid.opb
? (TO)
3600.09
3607.7
4501597
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
? (TO)
3600.09
3606.8
4491385
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb
? (TO)
3600.1
3607.71
4488395
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
? (TO)
3600.11
3608.01
4485451
PB25/normalized-PB25/OPT-LIN/sakai/dobutsu-shogi-master-PB25-20250424/
normalized-dobutsu-shogi-master-noopt.opb
? (TO)
3600.11
3608.65
4523877
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1336.cudf.trendy.opb
? (TO)
3600.11
3608
4501183
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand271a0d.cudf.paranoid.opb
? (TO)
3600.11
3607.01
4501413
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__64.opb
? (TO)
3600.13
3610.24
4498607
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-biella1.opb
? (TO)
3600.17
3608.68
4485497
PB25/normalized-PB25/OPT-LIN/wallon/
normalized-WordGolf-4-ogd2008-50-0_c24.opb
? (TO)
3600.2
3608.08
4524015
PB25/normalized-PB25/OPT-LIN/
wallon/normalized-Cargo-24_c24.opb
? (TO)
3600.24
3609.68
4524245
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-siena1.opb
? (TO)
3600.52
3609.22
4485359
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2010/normalized-bab3.opb
? (TO)
3600.82
3610.37
4522405
Solver exceeded the memory limit (no solution given) (16 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.447
80.7542
4505485
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_mh.opb
? (MO)
82.0022
82.2508
4505393
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_4_mh.opb
? (MO)
83.2285
83.4626
4505439
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
? (MO)
102.442
102.766
4498561
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=480-sizeP=241-sizeQ=480-57455727.opb
? (MO)
105.927
106.204
4488211
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=440-sizeP=221-sizeQ=440-726468498.opb
? (MO)
106.46
106.711
4488441
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__256.opb
? (MO)
106.892
107.197
4498837
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__256.opb
? (MO)
106.934
107.222
4498883
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE2.0_TMAX15_K192_cod1.opb
? (MO)
124.1
124.439
4506129
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-d6cube.opb
? (MO)
185.06
185.524
4485773
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
287.283
288.172
4505807
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
? (MO)
287.393
288.081
4506221
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX120_K192_cod1.opb
? (MO)
287.872
288.6
4505945
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null50mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (MO)
288.392
289.107
4505991
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX180_K192_cod1.opb
? (MO)
288.658
289.392
4506037
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
? (MO)
289.98
290.725
4505853