PB'12 competition: satisfaction and optimization track: benchmarks results per solver
Result page for solver pwbo
2.02
(complete)
Category "optimisation, small integers, linear constraints" (OPT-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (19 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-diamond.opb
UNSAT
0.001998
0.00662407
3725757
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1125.cudf.paranoid.opb
UNSAT
0.002998
0.00637504
3726204
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/
datasets/caixa/normalized-1021.cudf.trendy.opb
UNSAT
0.002998
0.00658093
3726231
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-995.cudf.paranoid.opb
UNSAT
0.003998
0.00619093
3726207
/OPT-SMALLINT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-995.cudf.trendy.opb
UNSAT
0.005998
0.00650391
3726234
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-658.cudf.paranoid.opb
UNSAT
0.006998
0.00849291
3726205
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1034.cudf.paranoid.opb
UNSAT
0.015997
0.018059
3726201
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=521.opb
UNSAT
0.041992
0.0146181
3726075
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=29-Q=521.opb
UNSAT
0.041992
0.0153849
3726079
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc5b1f2.cudf.paranoid.opb
UNSAT
0.063989
0.0670839
3726226
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randaef248.cudf.paranoid.opb
UNSAT
0.078987
0.0801681
3726216
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand199fd6.cudf.paranoid.opb
UNSAT
0.085986
0.0873169
3726209
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand65d021.cudf.paranoid.opb
UNSAT
0.111982
0.086435
3726213
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randa491d5.cudf.paranoid.opb
UNSAT
0.115982
0.0916259
3726214
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randf7d077.cudf.paranoid.opb
UNSAT
0.127979
0.100856
3726217
/OPT-SMALLINT-LIN/heinz/
normalized-ns1745726.opb
UNSAT
14.2028
7.16122
3726318
/OPT-SMALLINT-LIN/heinz/
normalized-neos-785912.opb
UNSAT
105.209
52.6234
3726313
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
UNSAT
656.59
329.007
3726036
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_4.opb
UNSAT
734.347
367.858
3726038
Solver found optimum (OPTIMUM FOUND) (323 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
OPT
4
0.000999
0.00659406
3725868
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein15.opb
OPT
9
0.000999
0.0064279
3725766
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-b1.opb
OPT
128
0.000999
0.00660996
3725850
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
OPT
7
0.000999
0.00647497
3725870
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
OPT
12
0.000999
0.00656496
3725869
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1078.cudf.paranoid.opb
OPT
4
0.001998
0.00647903
3726202
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_4.opb
OPT
6
0.001998
0.00635906
3725974
/OPT-SMALLINT-LIN/leberre/opb-trendy/misc2010/
datasets/caixa/normalized-1078.cudf.trendy.opb
OPT
4
0.001998
0.00868504
3726232
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein9.opb
OPT
5
0.001998
0.00618793
3725769
normalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
OPT
13949
0.001998
0.0120681
3726134
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir04_area_partials.opb
OPT
30
0.001998
0.00652794
3726117
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0040.opb
OPT
62027
0.001998
0.00860509
3725763
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-1-c.opb
OPT
64
0.001998
0.00704309
3725830
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
OPT
3951
0.001998
0.00689189
3726168
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=7-Q=31.opb
OPT
1
0.001998
0.00621104
3726090
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb
OPT
100
0.001998
0.00929902
3725803
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_4.opb
OPT
6
0.001998
0.00658401
3725991
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir01_area_opers.opb
OPT
10
0.001998
0.00661097
3726105
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=487.opb
OPT
47
0.001998
0.013207
3726085
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-opus.r.opb
OPT
5
0.001998
0.00693003
3726029
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-1_6-yes1-1.opb
OPT
50
0.001999
0.00620804
3725810
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir01_area_delay.opb
OPT
5
0.001999
0.00648894
3726095
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
OPT
2
0.001999
0.00647199
3725867
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C17.opb
OPT
260
0.001999
0.0064879
3725848
/OPT-SMALLINT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-787.cudf.trendy.opb
OPT
14
0.001999
0.00619189
3726233
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=11-Q=53.opb
OPT
11
0.001999
0.00832889
3726066
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
OPT
5148
0.001999
0.012871
3726170
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-6_0-yes1-1.opb
OPT
100
0.002998
0.0110101
3725805
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-4.opb
OPT
100
0.002998
0.0111709
3725804
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir02_area_partials.opb
OPT
19
0.002998
0.00679108
3726115
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb
OPT
11
0.002998
0.00906201
3725992
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-100-2_0-yes1-2.opb
OPT
100
0.002998
0.00853306
3725802
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
OPT
36
0.002998
0.014845
3725835
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb
OPT
2
0.002998
0.0142181
3726025
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=409-Q=499.opb
OPT
409
0.003998
0.012671
3726083
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
OPT
11
0.003998
0.0131859
3725975
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-1pb.opb
OPT
36
0.003998
0.015371
3725832
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir07_area_partials.opb
OPT
33
0.003998
0.00653199
3726120
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_90_90.r.opb
OPT
2
0.003998
0.00792695
3726026
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_40_40.r.opb
OPT
2
0.003999
0.00668093
3726022
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh12.opb
OPT
94
0.004998
0.0140049
3725820
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1094.cudf.paranoid.opb
OPT
126
0.005998
0.0117121
3726203
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir02_area_delay.opb
OPT
8
0.006998
0.017387
3726096
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir05_area_partials.opb
OPT
36
0.006998
0.010573
3726118
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir03_area_partials.opb
OPT
18
0.012997
0.022515
3726116
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
OPT
200
0.022996
0.016524
3725806
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
OPT
34
0.022996
0.0151239
3725836
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=67-Q=191.opb
OPT
67
0.041992
0.016982
3726089
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=59-Q=419.opb
OPT
59
0.041992
0.015075
3726087
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
OPT
5867
0.041992
0.0169029
3726169
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=89-Q=317.opb
OPT
89
0.041992
0.0223221
3726094
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=197-Q=479.opb
OPT
197
0.041992
0.0175541
3726071
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-3pb.opb
OPT
36
0.042992
0.0153081
3725834
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=449.opb
OPT
83
0.042992
0.016152
3726092
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
OPT
36
0.043992
0.017031
3725833
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb
OPT
7
0.043992
0.0166529
3726027
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=23-Q=293.opb
OPT
23
0.043992
0.0158761
3726074
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh301.opb
OPT
95
0.044992
0.0174121
3725823
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh17.opb
OPT
95
0.044992
0.025285
3725821
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-4.opb
OPT
200
0.045992
0.0239911
3725809
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir06_area_partials.opb
OPT
24
0.046992
0.019938
3726119
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=61-Q=163.opb
OPT
61
0.051991
0.024128
3726088
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
OPT
47
0.052991
0.0252299
3726084
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=307-Q=347.opb
OPT
307
0.061989
0.0277779
3726080
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=113-Q=233.opb
OPT
113
0.061989
0.031309
3726067
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=101-Q=379.opb
OPT
101
0.061989
0.025926
3726065
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=257-Q=331.opb
OPT
257
0.061989
0.026173
3726077
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=131-Q=137.opb
OPT
131
0.061989
0.0252929
3726068
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=83-Q=89.opb
OPT
83
0.061989
0.0298381
3726093
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=347.opb
OPT
223
0.061989
0.0316871
3726073
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-mux.opb
OPT
872
0.062989
0.033015
3725855
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_30_30.r.opb
OPT
3
0.062989
0.031397
3726021
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=331-Q=347.opb
OPT
331
0.062989
0.0280799
3726081
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=347.opb
OPT
167
0.06299
0.028982
3726070
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
OPT
200
0.063989
0.027163
3725807
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
OPT
17
0.063989
0.0276889
3725976
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
OPT
36
0.065989
0.029664
3725845
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-6_0-yes1-1.opb
OPT
200
0.065989
0.0353449
3725808
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par8-2.opb
OPT
350
0.066989
0.0352551
3725831
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir02_area_opers.opb
OPT
18
0.069988
0.036058
3726106
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=431.opb
OPT
269
0.072988
0.0331201
3726078
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=223-Q=307.opb
OPT
223
0.081986
0.038735
3726072
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=53-Q=127.opb
OPT
53
0.081986
0.035721
3726086
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=251-Q=307.opb
OPT
251
0.081986
0.035386
3726076
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=167-Q=179.opb
OPT
167
0.082987
0.0359099
3726069
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb
OPT
17
0.085986
0.0415929
3725993
/OPT-SMALLINT-LIN/flexray/
normalized-fx57.opb
OPT
6
0.089986
0.0585041
3726194
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-sao2.b.opb
OPT
25
0.090985
0.043966
3725800
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=347-Q=379.opb
OPT
347
0.101983
0.052713
3726082
normalized-PB06/OPT-SMALLINT/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=79-Q=257.opb
OPT
79
0.101983
0.0459359
3726091
/OPT-SMALLINT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-990.cudf.paranoid.opb
OPT
273
0.105983
0.0600731
3726206
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir04_area_delay.opb
OPT
12
0.106982
0.055778
3726098
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir04_area_opers.opb
OPT
29
0.109982
0.054571
3726108
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
OPT
5852
0.12298
0.0586989
3726171
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cmb.opb
OPT
1053
0.12598
0.0632739
3725854
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
OPT
64
0.126979
0.0637121
3725839
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
OPT
66
0.126979
0.064874
3725843
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
OPT
62
0.12698
0.0643071
3725838
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
OPT
62
0.127979
0.0652921
3725840
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
OPT
60
0.127979
0.0643479
3725841
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
OPT
60
0.127979
0.065166
3725842
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
OPT
64
0.12798
0.0662089
3725844
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex6inp.r.opb
OPT
4
0.141977
0.064414
3726011
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
OPT
8034
0.141977
0.0656571
3726166
/OPT-SMALLINT-LIN/heinz/
normalized-neos18.opb
OPT
16
0.141978
0.0842481
3726316
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/routing/normalized-s4-4-3-10pb.opb
OPT
70
0.168973
0.0864699
3725837
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir03_area_delay.opb
OPT
10
0.169973
0.100189
3726097
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
OPT
20
0.182971
0.094553
3725858
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh1.opb
OPT
92
0.204968
0.0974931
3725819
/OPT-SMALLINT-LIN/flexray/
normalized-fx92.opb
OPT
9
0.219965
0.151669
3726199
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
OPT
8276
0.244961
0.121813
3725862
normalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb
OPT
68
0.289955
0.14873
3725846
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
OPT
8908
0.301953
0.150823
3726167
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j301_8.std.opb
OPT
53
0.373942
0.261138
3726236
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3020_9.std.opb
OPT
41
0.390939
0.274858
3726237
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j307_6.std.opb
OPT
35
0.392939
0.274495
3726247
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j308_4.std.opb
OPT
48
0.396938
0.277236
3726248
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3040_5.std.opb
OPT
65
0.404938
0.28378
3726242
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3039_1.std.opb
OPT
55
0.414936
0.291614
3726241
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3044_1.std.opb
OPT
50
0.423935
0.304219
3726243
/OPT-SMALLINT-LIN/flexray/
normalized-fx84.opb
OPT
8
0.429934
0.244788
3726198
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3047_1.std.opb
OPT
58
0.430933
0.307187
3726245
/OPT-SMALLINT-LIN/heinz/
normalized-acc-tight6.opb
OPT
0
0.455929
0.235837
3726295
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3010_3.std.opb
OPT
62
0.468927
0.31856
3726235
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
OPT
24
0.470927
0.258845
3726144
/OPT-SMALLINT-LIN/
heinz/normalized-bnatt350.opb
OPT
0
0.480926
0.253484
3726296
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3046_5.std.opb
OPT
57
0.496923
0.34034
3726244
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
OPT
25
0.506922
0.251678
3725977
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-bm23.opb
OPT
34
0.510921
0.256162
3725755
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir05_area_opers.opb
OPT
35
0.557914
0.294303
3726109
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-9sym.b.opb
OPT
5
0.596908
0.302732
3725786
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir03_area_opers.opb
OPT
17
0.662899
0.357543
3726107
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j602_4.std.opb
OPT
78
0.728888
0.520588
3726257
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_006_area_delay.opb
OPT
22
0.742886
0.376987
3726141
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
OPT
25
0.766882
0.389037
3725994
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j603_6.std.opb
OPT
57
0.769882
0.550236
3726259
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6019_2.std.opb
OPT
83
0.771882
0.561207
3726252
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j606_1.std.opb
OPT
60
0.790879
0.564568
3726263
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6043_1.std.opb
OPT
108
0.817875
0.603679
3726261
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_70_70.r.opb
OPT
3
0.835872
0.418976
3726018
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6012_9.std.opb
OPT
59
0.839871
0.610992
3726250
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6044_1.std.opb
OPT
84
0.842871
0.613887
3726262
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6027_6.std.opb
OPT
64
0.873866
0.638736
3726255
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6031_6.std.opb
OPT
72
0.894863
0.657176
3726258
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir06_area_delay.opb
OPT
15
0.923859
0.487716
3726100
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein27.opb
OPT
18
0.940856
0.468379
3725767
normalized-PB07/OPT-SMALLINT-LIN/
submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
OPT
24890
0.943855
0.47371
3726135
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
OPT
14
0.950855
0.485397
3726099
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-jnh217.opb
OPT
89
0.984849
0.496059
3725822
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9019_6.std.opb
OPT
136
1.05884
0.779438
3726268
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_020_area_delay.opb
OPT
23
1.09583
0.566591
3726155
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_003_area_delay.opb
OPT
26
1.10383
0.585126
3726138
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9036_4.std.opb
OPT
79
1.18382
0.858834
3726272
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6026_2.std.opb
OPT
66
1.18882
0.779873
3726254
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j603_9.std.opb
OPT
67
1.18882
0.751495
3726260
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9038_7.std.opb
OPT
85
1.23081
0.896209
3726273
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9027_6.std.opb
OPT
87
1.23981
0.909516
3726270
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9022_8.std.opb
OPT
97
1.24181
0.909072
3726269
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9010_6.std.opb
OPT
92
1.25881
0.93006
3726265
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9016_1.std.opb
OPT
85
1.26781
0.93477
3726267
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3021_10.std.opb
OPT
69
1.39779
0.77937
3726238
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir09_area_partials.opb
OPT
35
1.49477
0.777863
3726122
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos8.opb
OPT
-3719
1.56876
0.933601
3725784
/OPT-SMALLINT-LIN/
heinz/normalized-bnatt400.opb
OPT
1
1.61275
0.820256
3726297
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1205_7.std.opb
OPT
84
1.66675
1.18781
3726291
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9033_3.std.opb
OPT
108
1.67974
1.11981
3726271
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-par16-1-c.opb
OPT
317
1.68674
0.85016
3725824
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1204_10.std.opb
OPT
77
1.69074
1.19666
3726287
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-3.opb
OPT
1015
1.69774
0.857177
3725825
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
OPT
20
1.72174
0.862678
3725871
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12044_1.std.opb
OPT
100
1.77973
1.26038
3726284
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12055_4.std.opb
OPT
90
1.80472
1.31797
3726290
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randa2004a.cudf.paranoid.opb
OPT
1859
1.81172
0.94315
3726224
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3037_10.std.opb
OPT
81
1.85372
1.01679
3726240
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12015_5.std.opb
OPT
87
1.88371
1.3506
3726276
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randfd04d4.cudf.paranoid.opb
OPT
3511
1.89171
0.983396
3726230
/OPT-SMALLINT-LIN/heinz/
normalized-ex9.opb
OPT
81
1.90471
1.18129
3726300
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j305_3.std.opb
OPT
76
1.9617
1.06331
3726246
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12020_7.std.opb
OPT
81
1.9937
1.42933
3726278
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12060_6.std.opb
OPT
110
2.01369
1.47707
3726292
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos10.opb
OPT
-1135
2.05969
1.14706
3725780
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par16-5.opb
OPT
1015
2.29265
1.16241
3725826
/OPT-SMALLINT-LIN/oliveras/
j30opt/normalized-j309_7.std.opb
OPT
63
2.32565
1.24655
3726249
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randd7b2b4.cudf.paranoid.opb
OPT
4750
2.43163
1.25711
3726229
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12044_8.std.opb
OPT
108
2.45063
2.06491
3726285
/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3029_1.std.opb
OPT
85
2.46062
1.32425
3726239
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-3.opb
OPT
6
2.54261
1.85431
3725737
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
OPT
25
2.6326
1.33868
3726165
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1204_1.std.opb
OPT
74
2.71958
1.71709
3726286
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-clip.b.opb
OPT
15
2.73058
1.3775
3725790
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-14.opb
OPT
7
2.74658
1.75653
3725753
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-12.opb
OPT
349
2.74658
1.79595
3725751
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand18b530.cudf.paranoid.opb
OPT
6563
3.06353
1.57714
3726219
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-4.opb
OPT
7
3.07253
2.09522
3725738
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-5.opb
OPT
7
3.12152
2.12645
3725739
/OPT-SMALLINT-LIN/heinz/
normalized-neos-1440225.opb
OPT
36
3.20351
1.6138
3726307
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-2.opb
OPT
7
3.21151
2.23176
3725736
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.01-1.opb
OPT
7
3.34649
2.289
3725735
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_018_area_delay.opb
OPT
25
3.59745
1.8111
3726153
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-10.opb
OPT
6
3.75943
2.71816
3725740
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand3c03fd.cudf.paranoid.opb
OPT
4927
4.01339
2.05452
3726221
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-9.opb
OPT
7
4.09538
3.14986
3725744
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_027_area_delay.opb
OPT
25
4.12037
2.09939
3726162
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_021_area_delay.opb
OPT
24
4.29335
2.19789
3726156
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6021_5.std.opb
OPT
89
4.30435
2.33768
3726253
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ex4inp.r.opb
OPT
5
4.38833
2.20039
3726010
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_50_20_20.r.opb
OPT
5
4.50231
2.24963
3726020
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb
OPT
9465
4.70528
2.39681
3726228
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir07_area_opers.opb
OPT
32
4.74428
2.46833
3726111
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand5d20db.cudf.paranoid.opb
OPT
5106
4.91325
2.49984
3726222
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
OPT
6943
4.98624
2.543
3726218
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-8.opb
OPT
589
4.99824
4.09206
3725743
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc5fe62.cudf.paranoid.opb
OPT
1882
5.05223
2.57337
3726227
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randb54299.cudf.paranoid.opb
OPT
11142
5.07023
2.58079
3726225
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
OPT
24
5.07423
2.57724
3726154
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-6.opb
OPT
7
5.2522
3.70218
3725741
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_004_area_delay.opb
OPT
27
5.30819
2.69078
3726139
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_008_area_delay.opb
OPT
25
5.39218
2.71788
3726143
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_028_area_delay.opb
OPT
23
5.46017
2.91641
3726163
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.10-7.opb
OPT
588
5.54816
3.61322
3725742
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand27da90.cudf.paranoid.opb
OPT
11364
5.83711
2.96942
3726220
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-12.opb
OPT
7
6.00009
3.86229
3725746
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-11.opb
OPT
7
6.00309
3.92224
3725745
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-14.opb
OPT
7
6.14806
3.95355
3725748
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12020_8.std.opb
OPT
107
6.557
3.72766
3726279
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-13.opb
OPT
350
6.559
3.68969
3725752
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-ricks.r.opb
OPT
5
6.589
3.29645
3726032
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sentoy.opb
OPT
-7772
6.76197
3.39095
3725765
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-13.opb
OPT
7
6.86196
4.49194
3725747
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand71b131.cudf.paranoid.opb
OPT
5657
6.89895
3.50627
3726223
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand4bf850.cudf.paranoid.opb
OPT
10949
7.14091
3.62529
3726212
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand35d0c8.cudf.paranoid.opb
OPT
5656
7.28489
3.68059
3726211
OPT-SMALLINT-LIN/graca/
normalized-ped2.B.recomb1-0.20-15.opb
OPT
7
7.30689
4.82442
3725749
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand0c02bc.cudf.paranoid.opb
OPT
8730
7.40487
3.74569
3726208
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand2d8467.cudf.paranoid.opb
OPT
13125
7.83781
3.96553
3726210
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12041_1.std.opb
OPT
127
7.85781
4.32183
3726283
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_8.opb
OPT
34
7.97279
4.00038
3725978
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-11.opb
OPT
690
8.5227
4.65662
3725750
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-4000opt.opb
OPT
-82
8.5777
4.3418
3726186
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
OPT
34
8.86265
4.44296
3725995
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir06_area_opers.opb
OPT
23
9.1896
4.6309
3726110
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
OPT
24
9.1926
4.60455
3725791
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null50mast_rapportOE2.0_TMAX15_K67_cod2.opb
OPT
0
9.65753
4.97095
3726337
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
OPT
37
10.1375
6.76934
3725998
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-net12.opb
OPT
214
10.4844
5.59472
3725774
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
OPT
44
10.6024
7.05925
3725997
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
OPT
42
10.8873
7.47698
3726002
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-hanoi5.opb
OPT
1931
11.0763
5.55861
3725811
/OPT-SMALLINT-LIN/heinz/
normalized-pb-simp-nonunif.opb
OPT
42
11.3813
7.49635
3726323
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_015_area_delay.opb
OPT
25
11.9072
6.01051
3726150
/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-randa6997e.cudf.paranoid.opb
OPT
5898
11.9882
6.05562
3726215
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
OPT
41
12.1881
8.28686
3726001
/OPT-SMALLINT-LIN/flexray/
normalized-fx60.opb
OPT
6
12.3321
6.19572
3726195
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
OPT
24
12.7451
6.39465
3726137
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
OPT
52
13.6019
6.818
3726123
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
OPT
26
14.0209
7.04485
3726157
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
OPT
24
15.2957
7.68575
3726159
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
OPT
49
15.5286
10.3894
3725999
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-3000opt.opb
OPT
-81
18.0153
9.07227
3726185
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
OPT
34
18.3472
9.72811
3726004
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-10000opt.opb
OPT
-75
19.558
9.85107
3726182
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_50_50.r.opb
OPT
4
22.5806
11.3199
3726017
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_029_area_delay.opb
OPT
24
22.6306
11.5382
3726164
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
OPT
-70
23.3
11.7202
3726187
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_016_area_delay.opb
OPT
25
23.6244
11.8969
3726151
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
OPT
26
23.9474
12.1956
3726140
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_011_area_delay.opb
OPT
26
23.9574
12.0781
3726146
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-8000opt.opb
OPT
-76
24.9902
12.5673
3726190
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-1000opt.opb
OPT
-78
25.9101
13.0384
3726183
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_013_area_delay.opb
OPT
22
26.371
13.4495
3726148
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-2000opt.opb
OPT
-70
27.7498
13.9524
3726184
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-jac3.opb
OPT
15
28.8116
14.4618
3725796
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
OPT
304
29.3185
14.6999
3725949
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
OPT
34
31.1953
16.1416
3726003
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
OPT
-68
33.193
16.688
3726189
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
OPT
5
38.5641
19.3621
3726031
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
OPT
-79
42.04
21.1083
3726191
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-6000opt.opb
OPT
-74
44.7592
22.4883
3726188
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
OPT
27
47.5228
23.7879
3726149
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir08_area_partials.opb
OPT
49
49.8074
25.1789
3726121
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
OPT
25
51.6421
25.9978
3726160
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_023_area_delay.opb
OPT
22
56.1155
28.2719
3726158
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
OPT
-169
67
33.6396
3726177
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_10_10.r.opb
OPT
8
72.39
36.2393
3726024
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
OPT
-178
75.19
37.7794
3726173
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir10_area_delay.opb
OPT
27
81.2586
40.9754
3726104
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir07_area_delay.opb
OPT
16
82.7974
41.4835
3726101
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
OPT
-193
91.15
45.7538
3726181
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
OPT
191
100.293
50.1777
3725813
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
OPT
162
101.052
50.5413
3725815
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_9.opb
OPT
44
113.14
56.6773
3725979
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
OPT
28
115.288
57.724
3726161
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
OPT
38
125.11
64.305
3726000
normalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb
OPT
44
130.086
65.0737
3725996
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
OPT
1120
141.133
70.5797
3725760
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
OPT
-30
147.156
73.7106
3725920
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
OPT
-187
152.18
76.2318
3726175
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
OPT
-164
170.19
85.2358
3726172
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
OPT
-167
190.133
95.1614
3726174
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
OPT
-172
192.13
96.2361
3726179
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-stein45.opb
OPT
30
195.202
97.6249
3725768
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
OPT
-175
195.323
97.7946
3726178
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir09_area_opers.opb
OPT
34
200.903
100.567
3726113
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
OPT
28
209.54
104.845
3726136
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_012_area_delay.opb
OPT
27
255.17
127.783
3726147
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_30.r.opb
OPT
8
261.91
131.097
3726015
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-5xp1.b.opb
OPT
12
297.85
149.028
3725785
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_007_area_delay.opb
OPT
26
298.16
149.263
3726142
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
OPT
-30
302.291
151.202
3725919
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
OPT
-164
305.07
152.757
3726176
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_017_area_delay.opb
OPT
25
323.37
161.87
3726152
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
OPT
-30
381.379
190.722
3725917
/OPT-SMALLINT-LIN/heinz/
normalized-mspp16.opb
OPT
33
415.174
220.131
3726305
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
OPT
19
534.33
267.209
3725779
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
OPT
26
550.03
275.255
3726145
OPT-SMALLINT-LIN/graca/
normalized-ped3.D.recomb10-0.20-15.opb
OPT
689
562.284
281.596
3725754
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
OPT
1194
565.04
282.632
3725851
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
OPT
-35
580.695
290.44
3725922
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
OPT
-30
631.133
315.657
3725918
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
OPT
1
792.012
396.049
3726051
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-f51m.b.opb
OPT
18
1068.68
534.386
3725795
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
OPT
18
1145.47
572.981
3726132
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
OPT
1
1654.22
827.35
3726053
Solver timed out but found at least a solution (241 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null10mast_rapportOE1.0_TMAX120_K67_cod3.opb
SAT (TO)
-795
1800.01
900.434
3726340
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE2.0_TMAX15_K67_cod2.opb
SAT (TO)
-4935
1800.01
900.506
3726335
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-seymour.opb
SAT (TO)
465
1800.02
900.335
3725777
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12051_6.std.opb
SAT (TO)
233
1800.02
900.742
3726288
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null50mast_rapportOE2.0_TMAX15_K67_cod1.opb
SAT (TO)
0
1800.02
900.436
3726361
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
SAT (TO)
23
1800.02
900.573
3726133
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
SAT (TO)
-50
1800.02
900.544
3725943
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_30_30.r.opb
SAT (TO)
6
1800.02
900.226
3726016
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
SAT (TO)
21
1800.02
900.434
3726129
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-prom2.pi.opb
SAT (TO)
356
1800.03
900.328
3725798
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
SAT (TO)
-54
1800.03
900.469
3725944
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
SAT (TO)
12
1800.03
900.221
3726014
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT (TO)
13
1800.04
900.346
3725955
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
SAT (TO)
309
1800.04
900.215
3725761
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT (TO)
1160
1800.04
900.364
3725893
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT (TO)
25084
1800.04
900.236
3725863
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-my_adder.opb
SAT (TO)
5410
1800.04
900.233
3725856
/OPT-SMALLINT-LIN/heinz/
normalized-ex1010-pi.opb
SAT (TO)
511
1800.04
900.384
3726299
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
SAT (TO)
55
1800.05
900.216
3725963
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
SAT (TO)
207
1800.05
900.328
3725874
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
SAT (TO)
213
1800.05
900.345
3725876
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
SAT (TO)
-50
1800.05
900.542
3725940
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
SAT (TO)
-48
1800.05
900.56
3725938
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT (TO)
232
1800.05
900.323
3725958
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT (TO)
79721
1800.05
900.451
3725861
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT (TO)
1162
1800.05
900.271
3725889
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.a.opb
SAT (TO)
73
1800.05
900.322
3726005
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT (TO)
20
1800.05
900.327
3725956
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
SAT (TO)
1173
1800.05
900.453
3725894
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
SAT (TO)
-46
1800.05
900.47
3725935
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
SAT (TO)
-45
1800.05
900.555
3725933
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir09_area_delay.opb
SAT (TO)
21
1800.06
900.437
3726103
/OPT-SMALLINT-LIN/heinz/
normalized-go19.opb
SAT (TO)
95
1800.06
900.244
3726302
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
SAT (TO)
13
1800.06
900.253
3725954
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6013_4.std.opb
SAT (TO)
107
1800.07
900.535
3726251
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
SAT (TO)
-38
1800.07
900.433
3725924
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
SAT (TO)
1533
1800.07
900.227
3725764
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT (TO)
1
1800.07
900.324
3725952
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT (TO)
2045
1800.07
900.326
3725948
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT (TO)
47861
1800.08
900.319
3725864
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
SAT (TO)
-18460
1800.08
900.438
3726358
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null0mast_rapportOE1.0_TMAX15_K67_cod1.opb
SAT (TO)
-10
1800.08
900.528
3726338
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_13.opb
SAT (TO)
121
1800.08
900.316
3725983
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
SAT (TO)
-32115
1800.08
900.437
3726334
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
SAT (TO)
-9467
1800.08
900.421
3725773
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
SAT (TO)
196
1800.08
900.315
3725968
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8e1.opb
SAT (TO)
343
1800.08
900.433
3725818
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
SAT (TO)
156
1800.08
900.315
3725967
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
SAT (TO)
718
1800.09
900.426
3725962
/OPT-SMALLINT-LIN/heinz/
normalized-neos-1109824.opb
SAT (TO)
541
1800.09
900.425
3726306
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
SAT (TO)
189
1800.09
900.351
3725957
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_17.opb
SAT (TO)
281
1800.09
900.416
3725970
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
SAT (TO)
217
1800.09
900.321
3725877
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
SAT (TO)
8
1800.09
900.419
3726056
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
SAT (TO)
21
1800.09
900.514
3726126
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
SAT (TO)
-51
1800.09
900.501
3725945
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
SAT (TO)
21
1800.09
900.398
3726130
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
SAT (TO)
-24
1800.09
900.337
3725776
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
SAT (TO)
-33
1800.09
900.421
3725921
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
SAT (TO)
171
1800.1
900.442
3725801
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
SAT (TO)
5048
1800.1
900.322
3725847
/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
SAT (TO)
-38
1800.1
900.418
3726324
/OPT-SMALLINT-LIN/heinz/
normalized-iis-pima-cov.opb
SAT (TO)
43
1800.1
900.423
3726303
/OPT-SMALLINT-LIN/heinz/
normalized-neos-1616732.opb
SAT (TO)
162
1800.1
900.318
3726308
/OPT-SMALLINT-LIN/heinz/
normalized-methanosarcina.opb
SAT (TO)
3239
1800.1
900.34
3726304
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lp4l.opb
SAT (TO)
4017
1800.1
900.324
3725759
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
SAT (TO)
-45
1800.1
900.458
3725934
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_K67_cod1.opb
SAT (TO)
-2
1800.11
900.448
3726347
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir08_area_opers.opb
SAT (TO)
58
1800.11
901.174
3726112
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT (TO)
565
1800.11
900.426
3725960
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
SAT (TO)
-51
1800.11
900.554
3725942
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT (TO)
-49
1800.11
900.535
3725937
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
SAT (TO)
-46
1800.11
900.467
3725932
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
SAT (TO)
1166
1800.12
900.371
3725898
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null0mast_rapportOE1.0_TMAX300_K67_cod2.opb
SAT (TO)
-212
1800.12
900.454
3726354
/OPT-SMALLINT-LIN/heinz/
normalized-neos-538867.opb
SAT (TO)
127
1800.12
900.316
3726309
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
SAT (TO)
23
1800.12
900.317
3726062
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
SAT (TO)
103143
1800.12
900.316
3725756
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-max1024.r.opb
SAT (TO)
276
1800.12
900.326
3726028
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
SAT (TO)
284
1800.12
900.363
3725797
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-ex5.pi.opb
SAT (TO)
84
1800.12
900.351
3725793
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT (TO)
338
1800.12
900.544
3725857
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
SAT (TO)
1173
1800.12
900.442
3725892
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
SAT (TO)
5254
1800.12
901.282
3725915
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-C432.opb
SAT (TO)
5762
1800.13
900.32
3725849
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_13.opb
SAT (TO)
126
1800.13
900.314
3725966
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
SAT (TO)
16
1800.13
900.32
3726060
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
SAT (TO)
-42
1800.13
900.461
3725930
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
SAT (TO)
5382
1800.13
901.207
3725912
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
SAT (TO)
3618
1800.13
900.345
3725775
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-apex4.a.opb
SAT (TO)
809
1800.13
900.429
3725788
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT (TO)
216
1800.13
900.337
3725875
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
SAT (TO)
2
1800.13
900.321
3726052
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_10.r.opb
SAT (TO)
14
1800.14
900.319
3726013
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT (TO)
24
1800.14
900.318
3726061
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_36.opb.PB06.opb
SAT (TO)
1171
1800.14
900.339
3725896
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
SAT (TO)
-46
1800.14
900.554
3725936
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT (TO)
593
1800.14
900.453
3725961
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
SAT (TO)
68
1800.14
900.748
3726006
/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_4_shg.opb
SAT (TO)
22
1800.14
900.315
3726330
/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
SAT (TO)
-158
1800.14
900.439
3726180
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12026_4.std.opb
SAT (TO)
175
1800.15
900.75
3726280
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
SAT (TO)
5359
1800.15
901.329
3725911
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_11.opb
SAT (TO)
74
1800.15
900.316
3725981
/OPT-SMALLINT-LIN/heinz/
normalized-ns1853823.opb
SAT (TO)
368
1800.15
901.845
3726319
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT (TO)
3451
1800.15
900.324
3725950
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos16.opb
SAT (TO)
116
1800.15
900.423
3725781
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT (TO)
160
1800.16
900.432
3725860
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT (TO)
68
1800.16
900.32
3725859
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
SAT (TO)
7
1800.16
900.331
3725953
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
SAT (TO)
95
1800.16
900.315
3725965
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
SAT (TO)
-52
1800.16
900.675
3725946
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
SAT (TO)
67
1800.16
900.327
3726007
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
SAT (TO)
5299
1800.16
901.185
3725906
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
SAT (TO)
98
1800.16
900.318
3725982
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cm42a.opb
SAT (TO)
696
1800.16
900.314
3725853
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
SAT (TO)
1284
1800.17
900.424
3725812
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_2.opb
SAT (TO)
5
1800.17
900.321
3726055
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
SAT (TO)
5
1800.17
900.348
3725951
/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT (TO)
86
1800.17
901.676
3726329
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_14_shg.opb
SAT (TO)
111
1800.17
902.158
3726327
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
SAT (TO)
-33
1800.17
900.523
3725923
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_10null10mast_rapportOE1.0_TMAX120_K67_cod2.opb
SAT (TO)
-67106
1800.17
900.472
3726333
/OPT-SMALLINT-LIN/heinz/
normalized-p6b.opb
SAT (TO)
-59
1800.17
900.431
3726322
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
SAT (TO)
-8136
1800.17
900.434
3725772
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
SAT (TO)
5371
1800.18
901.46
3725905
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12018_6.std.opb
SAT (TO)
143
1800.18
900.858
3726277
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9013_1.std.opb
SAT (TO)
149
1800.18
900.743
3726266
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-test1.r.opb
SAT (TO)
138
1800.18
900.443
3726034
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-prom2.r.opb
SAT (TO)
324
1800.18
900.435
3726030
/OPT-SMALLINT-LIN/
kullmann/normalized-sbox_8_shg.opb
SAT (TO)
692
1800.18
929.494
3726331
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2.opb
SAT (TO)
-127
1800.18
900.444
3726351
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_16.opb
SAT (TO)
244
1800.18
900.416
3725986
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
SAT (TO)
13
1800.18
900.318
3726059
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
SAT (TO)
25
1800.18
900.687
3726124
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE1.0_TMAX300_K67_cod1.opb
SAT (TO)
-54
1800.19
900.535
3726355
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT (TO)
211
1800.19
900.338
3725884
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
SAT (TO)
5182
1800.19
901.393
3725914
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
SAT (TO)
214
1800.19
900.342
3725872
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12053_6.std.opb
SAT (TO)
111
1800.19
900.849
3726289
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb
SAT (TO)
-62
1800.2
900.545
3726339
/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6029_8.std.opb
SAT (TO)
106
1800.2
900.625
3726256
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
SAT (TO)
313
1800.2
900.716
3725988
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX120_K67_cod1.opb
SAT (TO)
-140
1800.2
900.533
3726343
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
SAT (TO)
8
1800.2
900.319
3726057
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
SAT (TO)
77
1800.2
900.314
3725964
/OPT-SMALLINT-LIN/oliveras/
j60opt/normalized-j609_6.std.opb
SAT (TO)
113
1800.2
900.53
3726264
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT (TO)
3056
1800.21
900.449
3725865
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
SAT (TO)
5404
1800.22
901.497
3725908
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
SAT (TO)
5498
1800.23
901.353
3725907
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
SAT (TO)
5436
1800.24
901.326
3725910
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
SAT (TO)
5168
1800.25
901.458
3725909
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
SAT (TO)
5332
1800.25
901.336
3725913
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
SAT (TO)
5282
1800.27
901.316
3725903
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE1.0_TMAX15_K192_cod2.opb
SAT (TO)
-1051
1800.29
901.934
3726373
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
SAT (TO)
5335
1800.3
901.363
3725902
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
SAT (TO)
139
1800.32
900.32
3725816
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
SAT (TO)
55
1800.32
900.336
3725792
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-mitre.opb
SAT (TO)
9250
1800.33
900.724
3725778
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
SAT (TO)
5342
1800.33
901.461
3725916
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX180_K67_cod1.opb
SAT (TO)
-273
1800.37
900.428
3726350
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT (TO)
1169
1800.38
900.327
3725888
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12037_6.std.opb
SAT (TO)
177
1800.38
900.751
3726281
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_8.opb.PB06.opb
SAT (TO)
1170
1800.39
900.327
3725901
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT (TO)
212
1800.39
900.326
3725882
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
SAT (TO)
16384
1800.39
900.214
3725783
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT (TO)
1158
1800.4
900.338
3725890
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT (TO)
1167
1800.4
900.357
3725900
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
SAT (TO)
276
1800.4
900.415
3725987
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
SAT (TO)
-42
1800.4
900.434
3725928
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
SAT (TO)
-37
1800.41
900.425
3725925
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
SAT (TO)
-41
1800.41
900.442
3725929
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT (TO)
220
1800.42
900.323
3725885
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
SAT (TO)
55
1800.42
900.213
3725980
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_15.opb
SAT (TO)
196
1800.42
900.314
3725985
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb
SAT (TO)
216
1800.42
900.317
3725880
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX180_K67_cod1.opb
SAT (TO)
-1753
1800.42
900.428
3726352
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_13_shg.opb
SAT (TO)
153
1800.42
902.195
3726326
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
SAT (TO)
218
1800.42
900.329
3725886
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
SAT (TO)
133
1800.42
900.326
3726012
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT (TO)
217
1800.42
900.336
3725883
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
SAT (TO)
25
1800.44
900.321
3726019
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
SAT (TO)
-50
1800.44
900.469
3725941
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT (TO)
216
1800.44
900.338
3725878
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
SAT (TO)
216
1800.45
900.337
3725873
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-alu4.b.opb
SAT (TO)
52
1800.45
900.329
3725787
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a4.opb
SAT (TO)
283
1800.46
900.345
3725817
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
SAT (TO)
21
1800.46
900.455
3726127
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
SAT (TO)
-20114
1800.47
900.434
3726360
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT (TO)
39
1800.47
900.317
3726064
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
SAT (TO)
7
1800.48
900.32
3726054
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_18.opb.PB06.opb
SAT (TO)
1160
1800.48
900.348
3725891
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
SAT (TO)
-1
1800.48
904.203
3725782
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT (TO)
276
1800.48
900.355
3725959
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
SAT (TO)
128
1800.48
900.426
3725799
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
SAT (TO)
14
1800.48
900.321
3726058
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
SAT (TO)
-11525
1800.48
900.884
3725771
normalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT (TO)
58
1800.49
900.322
3725866
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
SAT (TO)
98
1800.49
900.332
3726023
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir10_area_opers.opb
SAT (TO)
51
1800.49
900.69
3726114
/OPT-SMALLINT-LIN/oliveras/
j90opt/normalized-j909_4.std.opb
SAT (TO)
134
1800.49
900.638
3726275
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT (TO)
1170
1800.49
900.364
3725899
/OPT-SMALLINT-LIN/heinz/
normalized-neos-777800.opb
SAT (TO)
-80
1800.49
900.373
3726312
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-bench1.pi.opb
SAT (TO)
161
1800.49
900.435
3725789
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX120_K67_cod1.opb
SAT (TO)
-263
1800.5
900.445
3726346
/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9041_1.std.opb
SAT (TO)
150
1800.5
900.635
3726274
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1207_6.std.opb
SAT (TO)
126
1800.51
900.74
3726294
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
SAT (TO)
161
1800.51
900.316
3725984
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
SAT (TO)
-48
1800.51
900.564
3725939
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
SAT (TO)
240
1800.51
900.418
3725969
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
SAT (TO)
372
1800.51
900.342
3725814
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
SAT (TO)
89
1800.51
900.338
3725794
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT (TO)
209
1800.51
900.335
3725881
/OPT-SMALLINT-LIN/
kullmann/normalized-mul_8_3_shg.opb
SAT (TO)
49
1800.51
901.173
3726328
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
SAT (TO)
158
1800.51
900.438
3726008
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb
SAT (TO)
-17475
1800.52
900.436
3726336
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12038_4.std.opb
SAT (TO)
149
1800.53
900.858
3726282
normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
SAT (TO)
8616
1800.54
900.351
3725947
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
SAT (TO)
-41
1800.54
900.444
3725931
normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT (TO)
1595
1800.55
900.317
3725852
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_18.opb
SAT (TO)
315
1800.55
900.516
3725971
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-des.a.opb
SAT (TO)
1018
1800.56
900.45
3726009
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX300_K67_cod2.opb
SAT (TO)
-2892
1800.56
900.425
3726342
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT (TO)
44
1800.57
900.322
3726063
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
SAT (TO)
1179
1800.58
900.445
3725897
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
SAT (TO)
21
1800.59
900.584
3726131
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-fast0507.opb
SAT (TO)
307
1800.59
900.579
3725770
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir08_area_delay.opb
SAT (TO)
31
1800.6
901.261
3726102
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
SAT (TO)
5238
1800.61
901.232
3725904
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
SAT (TO)
-37
1800.61
900.443
3725926
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
SAT (TO)
7
1800.61
900.617
3726033
normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
SAT (TO)
-38
1800.62
900.529
3725927
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
SAT (TO)
1179
1800.62
900.447
3725887
/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1207_10.std.opb
SAT (TO)
121
1800.63
900.744
3726293
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
SAT (TO)
220
1800.63
900.353
3725879
normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT (TO)
1166
1800.65
900.363
3725895
/OPT-SMALLINT-LIN/heinz/
normalized-ns1696083.opb
SAT (TO)
47
1800.65
900.626
3726317
/OPT-SMALLINT-LIN/kullmann/
normalized-mul_8_11_shg.opb
SAT (TO)
171
1800.7
902.484
3726325
/OPT-SMALLINT-LIN/heinz/
normalized-neos-631710.opb
SAT (TO)
439
1800.71
900.929
3726311
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_10.opb
SAT (TO)
25
1800.78
900.88
3726125
normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
SAT (TO)
26
1800.83
901.166
3726128
Solver timed out (no solution given) (74 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_2.opb
? (TO)
1800.01
900.219
3726049
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
? (TO)
1800.02
900.221
3726042
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
? (TO)
1800.02
900.417
3726041
/OPT-SMALLINT-LIN/flexray/
normalized-fx97.opb
? (TO)
1800.04
900.348
3726200
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null10mast_rapportOE1.0_TMAX60_K67_cod3.opb
? (TO)
1800.05
900.426
3726353
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_19.opb
? (TO)
1800.05
900.514
3725972
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
1800.05
902.093
3726382
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE2.0_TMAX180_K67_cod2.opb
? (TO)
1800.05
900.441
3726332
/OPT-SMALLINT-LIN/heinz/
normalized-neos-807456.opb
? (TO)
1800.06
900.321
3726314
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_19.opb
? (TO)
1800.06
900.513
3725989
/OPT-SMALLINT-LIN/
heinz/normalized-datt256.opb
? (TO)
1800.06
902.063
3726298
/OPT-SMALLINT-LIN/flexray/
normalized-fx49.opb
? (TO)
1800.07
900.333
3726193
normalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_20.opb
? (TO)
1800.07
900.614
3725990
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.07
901.99
3726383
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb
? (TO)
1800.08
902.035
3726364
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
? (TO)
1800.08
900.328
3725762
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
1800.08
901.841
3726372
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX60_K67_cod2.opb
? (TO)
1800.08
900.437
3726357
/OPT-SMALLINT-LIN/heinz/
normalized-f2000.opb
? (TO)
1800.09
900.32
3726301
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null20mast_rapportOE2.0_TMAX120_K67_cod2.opb
? (TO)
1800.1
900.419
3726341
/OPT-SMALLINT-LIN/
heinz/normalized-ns894244.opb
? (TO)
1800.1
900.523
3726320
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (TO)
1800.1
902.025
3726378
normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
? (TO)
1800.1
900.372
3725758
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
? (TO)
1800.11
900.316
3726046
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_3.opb
? (TO)
1800.11
901.323
3726037
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
? (TO)
1800.11
900.821
3726040
/OPT-SMALLINT-LIN/
heinz/normalized-ns894788.opb
? (TO)
1800.11
900.318
3726321
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (TO)
1800.13
902.276
3726390
/OPT-SMALLINT-LIN/flexray/
normalized-fx75.opb
? (TO)
1800.13
900.427
3726197
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null50mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (TO)
1800.13
901.93
3726363
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX60_K67_cod1.opb
? (TO)
1800.13
900.442
3726344
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX300_K192_cod2.opb
? (TO)
1800.14
901.979
3726387
/OPT-SMALLINT-LIN/flexray/
normalized-fx30.opb
? (TO)
1800.15
900.319
3726192
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
1800.15
902.052
3726367
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-1.opb
? (TO)
1800.16
900.32
3725827
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.16
901.956
3726366
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb
? (TO)
1800.16
900.414
3726356
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
1800.16
902.139
3726368
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null20mast_rapportOE1.0_TMAX15_K192_cod2.opb
? (TO)
1800.17
901.984
3726389
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
? (TO)
1800.17
900.323
3726050
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-3.opb
? (TO)
1800.17
900.315
3725828
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.18
902.13
3726369
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null0mast_rapportOE2.0_TMAX15_K192_cod2.opb
? (TO)
1800.18
902.326
3726380
normalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-5.opb
? (TO)
1800.18
900.314
3725829
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.18
902.038
3726377
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
? (TO)
1800.19
900.319
3726047
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null0mast_rapportOE1.0_TMAX15_K192_cod2.opb
? (TO)
1800.19
902.123
3726374
/OPT-SMALLINT-LIN/flexray/
normalized-fx63.opb
? (TO)
1800.2
900.432
3726196
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
1800.2
902.029
3726391
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
? (TO)
1800.2
900.318
3726048
/OPT-SMALLINT-LIN/heinz/
normalized-neos-859770.opb
? (TO)
1800.36
900.517
3726315
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null0mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
1800.41
901.956
3726388
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_1.opb
? (TO)
1800.42
900.518
3726039
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX60_K67_cod3.opb
? (TO)
1800.42
900.432
3726348
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
? (TO)
1800.43
900.22
3726043
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
? (TO)
1800.46
902.024
3726371
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX60_K192_cod2.opb
? (TO)
1800.47
901.834
3726370
/OPT-SMALLINT-LIN/heinz/
normalized-neos-544324.opb
? (TO)
1800.48
900.93
3726310
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null0mast_rapportOE2.0_TMAX180_K192_cod2.opb
? (TO)
1800.49
902.176
3726384
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE1.0_TMAX60_K67_cod2.opb
? (TO)
1800.5
900.419
3726349
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null50mast_rapportOE1.0_TMAX180_K192_cod2.opb
? (TO)
1800.5
901.935
3726376
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_1.opb
? (TO)
1800.5
901.419
3726035
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_4.opb
? (TO)
1800.51
900.318
3726044
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE1.0_TMAX120_K192_cod2.opb
? (TO)
1800.51
901.999
3726385
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb
? (TO)
1800.52
900.529
3726345
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_20.opb
? (TO)
1800.55
900.613
3725973
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_50null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
? (TO)
1800.55
902.084
3726375
normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_1.opb
? (TO)
1800.56
900.32
3726045
/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2.opb
? (TO)
1800.57
900.44
3726359
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_10null20mast_rapportOE1.0_TMAX300_K192_cod2.opb
? (TO)
1800.6
902.095
3726381
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX60_K192_cod2.opb
? (TO)
1800.62
902.213
3726379
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null10mast_rapportOE1.0_TMAX15_K192_cod2.opb
? (TO)
1800.63
902.043
3726365
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX120_K192_cod2.opb
? (TO)
1800.65
902.174
3726362
/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX15_K192_cod2.opb
? (TO)
1800.66
902.336
3726386