PB'24 competition: benchmarks results per solver
Result page for solver Hybrid-LSMabSP+CASHWMaxSATDisjCom
2024-07-11
(incomplete)
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (130 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.010758
0.020199
4442453
PB24/normalized-PB10/DEC-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb
SAT
0
0.013175
0.0218941
4445873
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
0.013491
0.0227099
4442243
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
0
0.026903
0.0362591
4442183
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
SAT
0
0.027056
0.0365339
4442423
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.032691
0.041822
4443143
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
0.045554
0.055048
4442153
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
0
0.05289
0.062315
4442123
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
SAT
0
0.062246
0.0717599
4442063
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.082974
0.09229
4442963
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
SAT
0
0.089246
0.0988971
4442483
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.092904
0.113628
4443383
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577000.opb
SAT
0
0.100172
0.112962
4444343
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566263.opb
SAT
0
0.101263
0.123618
4444463
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
0.136166
0.145957
4442213
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3044_7-sat.opb
SAT
0
0.144986
0.153855
4445663
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3018_2-sat.opb
SAT
0
0.160486
0.169206
4445633
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j304_8-sat.opb
SAT
0
0.165916
0.176577
4445723
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566270.opb
SAT
0
0.168857
0.181581
4444403
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221953.opb
SAT
0
0.181767
0.19298
4444553
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
0.260725
0.273664
4442093
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
SAT
0
0.262586
0.276135
4445123
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3048_4-sat.opb
SAT
0
0.274228
0.283473
4445753
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217374.opb
SAT
0
0.306904
0.327216
4444703
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6042_1-sat.opb
SAT
0
0.431185
0.440988
4445453
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.438904
0.450377
4442033
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553606.opb
SAT
0
0.452064
0.462498
4444163
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
0
0.484611
0.495503
4442333
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222248.opb
SAT
0
0.573573
0.586899
4444883
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
0.587411
0.598434
4441883
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
0.593024
0.604
4441973
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
0.617375
0.629983
4445183
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
SAT
0
0.712421
0.728444
4444823
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6048_7-sat.opb
SAT
0
0.758009
0.773417
4445423
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.799555
0.811098
4443053
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K80.opb
SAT
0
1.27219
1.2851
4447223
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K77.opb
SAT
0
1.42113
1.43779
4447253
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
SAT
0
1.43826
1.46018
4444793
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
1.46252
1.47482
4443353
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K70.opb
SAT
0
2.05744
2.07412
4447193
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2/normalized-air01.0.s.opb
SAT
0
2.09999
2.11976
4452613
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971097.opb
SAT
0
2.14313
2.16311
4444853
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
0
2.85923
2.87698
4442303
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
3.22118
3.24352
4445363
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos808444.opb
SAT
0
3.78272
3.81529
4445903
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12060_6-sat.opb
SAT
0
4.01699
4.05314
4445843
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round21-6.opb
SAT
0
4.3035
4.32534
4450963
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
4.62107
4.64867
4443203
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
6.18249
6.21482
4443473
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K105.opb
SAT
0
6.62136
6.65018
4447163
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round21-3.opb
SAT
0
7.17281
7.21594
4450693
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K72.opb
SAT
0
8.35536
8.38753
4447313
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
9.99607
10.0358
4443233
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
10.3445
10.3827
4445153
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round21-1.opb
SAT
0
10.412
10.4504
4450753
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
11.05
11.0848
4443263
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
SAT
0
12.2622
12.3038
4447283
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
12.6711
12.7231
4441613
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-35.opb
SAT
0
13.2999
13.3494
4446233
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K106.opb
SAT
0
16.459
16.5155
4447133
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
20.5897
20.6507
4443593
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
20.8055
20.8661
4443923
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
21.1067
21.1638
4443803
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
21.3712
21.4583
4443563
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
21.7217
21.785
4443833
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
22.9863
23.0894
4445963
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-33.opb
SAT
0
26.9823
27.091
4446443
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
26.9878
27.0617
4443323
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
31.7388
31.8317
4443683
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
31.8859
31.982
4443083
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
32.6517
32.7657
4443503
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K107.opb
SAT
0
33.3719
33.4989
4447103
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
33.3767
33.5135
4443533
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
33.7982
33.9311
4443893
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
37.3212
37.447
4444073
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
SAT
0
37.3516
37.497
4443983
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
43.0344
43.1548
4445033
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-24.opb
SAT
0
48.7218
48.9273
4446083
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
49.3148
49.4912
4444043
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
51.4164
51.5553
4443713
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
63.549
63.7511
4443173
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
78.2257
78.4368
4443023
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
89.8704
90.114
4441943
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K197.opb
SAT
0
103.9
104.32
4446563
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
111.079
111.455
4443743
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
111.291
111.549
4443443
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
112.365
112.66
4443773
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
120.786
121.168
4443653
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
122.309
122.64
4448993
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
124.231
124.679
4443623
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
127.758
128.143
4443863
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round22-3.opb
SAT
0
132.4
132.841
4450663
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round21-4.opb
SAT
0
136.388
136.788
4450783
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
SAT
0
138.082
138.456
4446983
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K68.opb
SAT
0
139.727
140.151
4447343
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
142.164
142.616
4443293
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K185.opb
SAT
0
157.164
157.613
4446503
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-20.opb
SAT
0
193.971
194.578
4446113
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-139.opb
SAT
0
206.08
206.821
4446383
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb
SAT
0
319.292
320.116
4448963
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb
SAT
0
407.463
408.558
4449023
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
SAT
0
472.402
473.592
4449203
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
SAT
0
473.637
474.711
4445093
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
SAT
0
542.861
544.287
4449323
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm90p-dec.opb.negationfix.opb
SAT
0
544.552
545.948
4449053
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
SAT
0
560.204
562.063
4449143
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
673.673
675.561
4443413
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
SAT
0
704.376
706.18
4449293
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-rmine21.0.d.opb
SAT
0
723.436
725.474
4452493
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K193.opb
SAT
0
727.266
729.735
4446773
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
SAT
0
839.055
841.535
4446893
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
SAT
0
994.534
996.789
4445213
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
SAT
0
1009.9
1012.5
4444013
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
SAT
0
1043.38
1046.71
4446923
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
1091.96
1094.46
4445333
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
SAT
0
1109
1112.48
4448933
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
1219.84
1223.84
4445393
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K179.opb
SAT
0
1248.65
1252.06
4446743
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-8.opb
SAT
0
1344.42
1347.86
4450903
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
SAT
0
1401.84
1405.85
4449173
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
SAT
0
1434.66
1438.26
4449083
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-2.opb
SAT
0
1545.57
1550.67
4450873
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
1792.48
1798.06
4445003
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-app2-2.0.u.opb
SAT
0
1793.95
1799.96
4452313
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
1805.08
1809.48
4445063
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
SAT
0
1826.12
1830.83
4445273
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
SAT
0
1898.03
1903.86
4445243
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-mine-90-10.0.u.opb
SAT
0
2409.1
2416.15
4452463
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
SAT
0
2689.11
2697.96
4441913
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
SAT
0
2690.51
2697.95
4442003
Solver didn't decide (UNKNOWN) (267 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid6_07.shuf-3.opb
?
0.012886
0.032359
4453303
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n18-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
?
0.017025
0.043189
4447373
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x10split.cnf-extracted.pb.metafix.opb
?
0.018199
0.041538
4450033
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP005.shuf-2.opb
?
0.021196
0.0525669
4452913
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity3pyramidP0016.opb
?
0.024147
0.0457571
4450423
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n24-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
?
0.024438
0.057085
4447553
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-3_4_10.opb
?
0.025927
0.051773
4452103
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l010-r010-n1.cnf-plain.pb.metafix.opb
?
0.026786
0.0485179
4450093
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n36-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
?
0.027217
0.0521829
4447613
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_4_8.opb
?
0.028404
0.0547989
4452013
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-4_5_1.opb
?
0.029782
0.0479321
4451893
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_4_4.opb
?
0.032097
0.0554009
4451833
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-4_6_6.opb
?
0.037689
0.0603731
4452133
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-10.shuf-3.opb
?
0.0401
0.065105
4453423
PB24/normalized-PB16/DEC-LIN/elffers/vertexcover-instances/
normalized-vertexcover-grid10x29.opb
?
0.047305
0.0732081
4451473
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-6.ucl.opb
?
0.047808
0.0699519
4441673
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x10split.opb
?
0.048202
0.065639
4448873
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l020-r019-n1.cnf-plain.pb.metafix.opb
?
0.050487
0.075249
4450303
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v1/normalized-grid4_81.opb
?
0.060319
0.0822919
4453243
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity3pyramidP0032.opb
?
0.060332
0.08148
4450453
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_12.opb
?
0.067604
0.0929681
4451863
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3048_8-unsat.opb
?
0.073318
0.098662
4445693
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl.opb
?
0.074333
0.0949781
4441763
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x40split.opb
?
0.076965
0.112247
4448543
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v030-n1.opb
?
0.092515
0.11522
4451173
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x20split.opb
?
0.098173
0.121651
4448843
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-plain.pb.metafix.opb
?
0.105414
0.138136
4447883
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_15.opb
?
0.106896
0.130227
4451923
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l040-r039-n1.opb
?
0.107766
0.133163
4449973
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
?
0.130085
0.150847
4441463
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978334.opb
?
0.141841
0.166768
4444913
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x30split.opb
?
0.14459
0.171495
4448753
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x70split.cnf-extracted.pb.metafix.opb
?
0.193556
0.228116
4448183
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb
?
0.20084
0.236642
4448003
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid6_13.shuf-2.opb
?
0.205521
0.23283
4452973
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb
?
0.210613
0.238054
4447913
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
?
0.224997
0.244809
4441583
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb
?
0.225248
0.251017
4448243
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-11array_ineq5.opb
?
0.237967
0.258722
4453933
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression16_8.opb
?
0.243814
0.274572
4451803
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
?
0.244704
0.277523
4448903
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9048_1-unsat.opb
?
0.261081
0.282767
4445483
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j902_8-unsat.opb
?
0.263715
0.295924
4445513
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226368.opb
?
0.270277
0.298842
4444763
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9027_4-unsat.opb
?
0.270714
0.294208
4445543
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j903_2-unsat.opb
?
0.27285
0.300969
4445573
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
?
0.319382
0.348287
4441703
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9040_5-unsat.opb
?
0.330016
0.353721
4445603
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-ash608gpia-3col.0.d.opb
?
0.339942
0.370234
4452403
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity4pyramidP0064.opb
?
0.360348
0.39048
4450513
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-25s.smv.opb
?
0.369428
0.395257
4441853
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12060_2-unsat.opb
?
0.374133
0.401839
4445813
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x70split.opb
?
0.407383
0.436207
4448633
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-22s.smv.opb
?
0.440363
0.49853
4441823
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x100split.cnf-extracted.pb.metafix.opb
?
0.448328
0.475215
4448303
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
?
0.458218
0.489397
4441793
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x100split.opb
?
0.48121
0.503768
4448693
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217392.opb
?
0.516385
0.550586
4444943
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-12array_alg_ineq10.opb
?
0.529323
0.555878
4453783
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
?
0.595358
0.626944
4448723
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP045.opb
?
0.784169
0.81861
4452733
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
?
0.785338
0.844511
4450213
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-18-1.cnf.gz-extracted.pb.metafix.opb
?
0.80819
0.82988
4447433
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221624.opb
?
0.811129
0.845712
4444643
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212272.opb
?
0.945783
0.974481
4444733
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111228076.opb
?
1.06086
1.09325
4444613
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226680.opb
?
1.11814
1.14284
4444973
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281.opb
?
1.12594
1.16188
4444433
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
?
1.15722
1.18003
4447643
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
?
1.1826
1.20504
4444673
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP075.shuf-1.opb
?
1.28076
1.30518
4452643
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
?
1.30007
1.32194
4441643
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
?
1.47448
1.49321
4450123
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity4pyramidP0125.opb
?
1.54613
1.59083
4450483
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967523.opb
?
1.57062
1.60681
4444583
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
?
1.60034
1.62658
4441553
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-8_6_19.opb
?
1.63356
1.66728
4451953
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900568706.opb
?
1.64515
1.68717
4444493
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900552735.opb
?
1.79702
1.84158
4444313
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834.opb
?
2.00778
2.04504
4444223
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
?
2.15673
2.1856
4452703
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n62-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
?
2.22269
2.25663
4447733
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x10split.opb
?
2.24812
2.28591
4448483
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP055.shuf-3.opb
?
2.37004
2.40519
4452853
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-3.opb
?
2.71413
2.7512
4452673
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557957.opb
?
2.81894
2.85924
4444133
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP065.shuf-3.opb
?
3.03902
3.077
4452823
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900566157.opb
?
3.07113
3.11013
4444283
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l040-r039-n1.opb
?
3.23455
3.26869
4451533
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity4houseP128.opb
?
3.25844
3.30011
4450393
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l080-r079-n1.cnf-plain.pb.metafix.opb
?
4.44598
4.51601
4450273
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574864.opb
?
4.46459
4.50231
4444193
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-11-10.opb
?
4.60031
4.64343
4442663
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900573901.opb
?
4.94332
4.99539
4444523
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb
?
5.57135
5.6192
4448333
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_20.opb
?
6.19974
6.2406
4452043
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l100-r099-n1.cnf-plain.pb.metafix.opb
?
6.20019
6.65885
4450333
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-extracted.pb.metafix.opb
?
6.72428
6.77607
4448213
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900545610.opb
?
6.76421
6.82446
4444373
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
?
7.18575
7.3468
4441523
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132.opb
?
7.60411
7.64896
4444253
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
?
7.62963
7.66957
4441733
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid6_19.shuf-1.opb
?
9.05906
9.10455
4453273
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676.opb
?
9.76645
9.82469
4444103
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-15array_ineq10.opb
?
11.0775
11.1299
4453843
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.opb
?
11.2387
11.2947
4452793
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x30split.opb
?
13.4079
13.4673
4450363
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-86.opb
?
14.6743
14.7406
4446173
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_alg_ineq8.opb
?
15.7571
15.8218
4453873
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
?
17.7823
17.8545
4441493
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb
?
17.9972
18.079
4452763
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-8_6_25.opb
?
20.2538
20.3367
4452163
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x40split.cnf-extracted.pb.metafix.opb
?
20.2775
20.355
4448093
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x40split.cnf-plain.pb.metafix.opb
?
21.1154
21.2002
4448273
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v040-n1.opb
?
23.7269
23.8276
4451263
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x40split.opb
?
24.4848
24.5806
4448783
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-16array_alg_ineq10.opb
?
25.7922
25.8828
4453813
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x50split.opb
?
39.1522
39.2768
4448603
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_28.opb
?
41.5071
41.662
4452073
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
?
44.5438
44.6993
4441433
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-21.opb
?
59.1953
59.4234
4446413
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v050-n1.opb
?
66.454
66.6121
4451383
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-2.opb
?
66.6654
66.8954
4452883
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-55.opb
?
66.8438
67.1401
4446353
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-plain.pb.metafix.opb
?
78.6637
78.8617
4447763
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x70split.opb
?
82.3857
82.6323
4448813
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
?
85.9356
86.2361
4448153
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-plain.pb.metafix.opb
?
86.6624
86.8693
4450003
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-20array_alg_ineq5.opb
?
88.1409
88.3954
4453963
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-plain.pb.metafix.opb
?
109.897
110.212
4448123
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
?
114.014
114.314
4447973
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
?
118.956
119.363
4448513
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x90split.opb
?
120.066
120.39
4448573
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-tanglegram6.0.u.opb
?
129.952
130.477
4452253
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
?
133.097
133.468
4448063
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
?
149.27
149.635
4451563
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-15-10.opb
?
159.611
160.144
4442813
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
?
181.415
181.878
4451053
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
?
204.917
205.418
4451023
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_11.opb
?
206.891
207.476
4451743
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
?
217.109
217.643
4451083
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l055-r054-n1.opb
?
240.026
240.566
4451503
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
?
252.01
252.643
4451113
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-92.cnf.gz-plain.pb.metafix.opb
?
256.595
257.378
4447493
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
?
266.303
266.949
4450993
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-70.shuf-2.opb
?
331.3
332.213
4453753
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-506428.0.u.opb
?
576.681
578.196
4452553
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb
?
792.756
794.451
4449353
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb
?
804.007
806.202
4449263
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
?
815.919
818.414
4449233
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v021-n1.opb
?
946.267
949.138
4451233
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_32.opb
?
1192.11
1194.82
4451983
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-11diag_spec_less.opb
?
1239.97
1243.22
4454143
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-777800.0.u.opb
?
1353.25
1357.61
4452373
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-11diag_spec_greater.opb
?
1365.09
1368.2
4454203
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/
normalized-hw256-vm100p-dec.opb.negationfix.opb
?
2282
2287.46
4449113
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid6_61.shuf-3.opb
?
3582.14
3596.03
4453153
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
?
3583.47
3596.04
4442993
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb
?
3583.62
3596.03
4442783
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-96.opb
?
3583.7
3596.08
4446143
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-3.opb
?
3583.71
3596.02
4450723
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
?
3583.78
3596.03
4451773
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K139.opb
?
3584.1
3596.03
4446833
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
?
3584.1
3596.03
4445993
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
?
3584.2
3596.03
4446473
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-ns903616.0.u.opb
?
3584.27
3596.03
4452433
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K151.opb
?
3584.48
3596.03
4446593
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
?
3584.82
3596.02
4450183
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
?
3584.89
3596.02
4442603
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
?
3584.91
3596.03
4447073
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
?
3585.22
3596.03
4447703
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-2.opb
?
3585.25
3596.02
4450543
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
?
3585.47
3596.02
4451293
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K165.opb
?
3585.52
3596.03
4446683
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2003/normalized-stp3d.0.s.opb
?
3585.54
3596.53
4452193
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-133.opb
?
3585.66
3596.05
4446023
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_less.opb
?
3585.79
3596.02
4454023
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
?
3585.87
3596.02
4442393
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-121.opb
?
3585.87
3596.06
4446263
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid6_67.shuf-3.opb
?
3585.88
3596.03
4453003
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3250.shuf-1.opb
?
3586.12
3596.02
4453543
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-948346.0.s.opb
?
3586.13
3596.42
4452283
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K135.opb
?
3586.16
3596.03
4446653
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n236-d3-i2-f.cnf.gz-plain.pb.metafix.opb
?
3586.17
3596.04
4447793
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
?
3586.17
3596.03
4442723
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
?
3586.17
3596.02
4450153
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
?
3586.2
3596.03
4445933
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K172.opb
?
3586.22
3596.03
4446803
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
?
3586.23
3596.03
4443113
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb
?
3586.32
3596.03
4453633
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-116.opb
?
3586.33
3596.05
4446203
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_59.shuf-2.opb
?
3586.48
3596.03
4453033
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K85.opb
?
3586.53
3596.03
4447043
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
?
3586.54
3596.03
4452523
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-60.opb
?
3586.58
3596.04
4446053
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round23-5.opb
?
3586.62
3596.03
4450603
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
?
3586.66
3596.03
4442903
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-15diag_spec_greater.opb
?
3586.66
3596.02
4454173
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-45-40.opb
?
3586.69
3596.05
4442753
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
?
3586.73
3596.03
4446623
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K143.opb
?
3586.77
3596.04
4446533
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
?
3586.79
3596.03
4443953
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-50.shuf-1.opb
?
3586.85
3596.03
4453393
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-77.opb
?
3586.87
3596.03
4446323
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
?
3586.94
3596.02
4442633
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb
?
3586.94
3596.04
4442933
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
?
3586.95
3596.03
4446863
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb
?
3586.96
3596.05
4442843
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-172.opb
?
3586.97
3596.31
4446293
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n106-d3-i3-f.cnf.gz-plain.pb.metafix.opb
?
3586.99
3596.03
4447673
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-eq-random4regular-75.opb
?
3587.01
3596.02
4451443
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-9.opb
?
3587.09
3596.02
4450633
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-9.opb
?
3587.1
3596.02
4450573
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab69-40-100.0.s.opb
?
3587.14
3596.1
4452343
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n188-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
?
3587.15
3596.02
4447583
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K162.opb
?
3587.18
3596.03
4446713
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
?
3587.24
3596.04
4442873
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.opb
?
3587.26
3596.03
4452583
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-1.opb
?
3587.27
3596.02
4450813
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rmine11.0.u.opb
?
3587.3
3596.24
4452223
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-21arraycomm_teq_tvars_greater.opb
?
3587.33
3596.02
4454083
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
?
3587.35
3596.02
4450063
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
?
3587.36
3596.02
4442363
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_1-unsat.opb
?
3587.42
3596.03
4445783
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-3.opb
?
3587.52
3596.03
4453663
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n1.opb
?
3587.59
3596.03
4451713
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-17arraycomm_teq_tvars_greater.opb
?
3587.66
3596.02
4454053
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
?
3587.67
3596.02
4454113
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K83.opb
?
3587.71
3596.03
4447013
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-8.opb
?
3587.72
3596.02
4450933
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n270-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
?
3587.78
3596.03
4447463
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-61-60.opb
?
3587.79
3596.02
4442513
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
?
3587.79
3596.01
4450843
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
?
3587.8
3596.02
4450243
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-85-80.opb
?
3587.8
3596.02
4442693
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
?
3587.82
3596.02
4451143
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
?
3587.85
3596.02
4442543
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n94-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
?
3587.86
3596.02
4447523
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n3.opb
?
3587.98
3596.02
4451623
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.shuf-3.opb
?
3588
3596.03
4453093
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid4_97.shuf-1.opb
?
3588.01
3596.03
4452943
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1500.shuf-2.opb
?
3588.04
3596.02
4453603
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K82.opb
?
3588.05
3596.03
4446953
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
?
3588.11
3596.03
4445303
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v2_shuffle/normalized-grid8_59.shuf-3.opb
?
3588.11
3596.02
4453333
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-81-80.opb
?
3588.13
3596.02
4442573
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid4_85.shuf-1.opb
?
3588.13
3596.02
4453183
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
?
3588.18
3596.02
4442273
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n148-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
?
3588.19
3596.03
4447403
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-40.shuf-2.opb
?
3588.29
3596.03
4453513
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-15array_diag_greater.opb
?
3588.34
3596.01
4453993
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_55.shuf-1.opb
?
3588.38
3596.02
4453123
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n2.opb
?
3588.52
3596.01
4451683
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid6_121.shuf-3.opb
?
3588.59
3596.02
4453063
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-1.opb
?
3588.72
3596.03
4453693
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid8_45.shuf-3.opb
?
3588.75
3596.03
4453213
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-3.opb
?
3588.79
3596.03
4453453
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1250.shuf-2.opb
?
3588.85
3596.02
4453573
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-2.opb
?
3588.91
3596.03
4453723
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v100-n1.opb
?
3589.1
3596.02
4451353
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n1.opb
?
3589.23
3596.01
4451653
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v110-n1.opb
?
3589.39
3596.02
4451413
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v071-n1.opb
?
3589.43
3596.02
4451203
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-30.shuf-2.opb
?
3589.45
3596.02
4453363
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-35.shuf-1.opb
?
3589.57
3596.03
4453483
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v080-n1.opb
?
3589.72
3596.02
4451323
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v111-n3.opb
?
3589.79
3596.02
4451593
Category "optimization problem, linear constraints, no OPT/UNSAT certificate" (OPT-LIN)
Solver found a solution (SATISFIABLE) but this may not be the optimal solution (439 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g2x2.opb
SAT
2
0.009631
0.0399369
4436652
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g4x4.opb
SAT
4
0.009959
0.0284499
4436653
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-50-2_0-yes1-4.opb
SAT
50
0.011186
0.0415809
4436615
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-5_10.opb
SAT
3951
0.011409
0.0522651
4436782
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-6_12.opb
SAT
5867
0.014938
0.0448789
4436783
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir01_trarea_ac.opb
SAT
13949
0.015222
0.035971
4436770
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-7_14.opb
SAT
5148
0.015786
0.055754
4436784
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_001.opb.metafix.opb
SAT
17
0.019083
0.0415331
4436939
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=149-Q=487.opb
SAT
149
0.0198
0.037237
4436715
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-maincont.r.opb
SAT
7
0.019815
0.0579461
4436640
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-2.opb
SAT
200
0.02044
0.041906
4436613
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-3_4-yes1-3.opb
SAT
200
0.021434
0.0334711
4436614
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2g-0044-1601.lin.opb
SAT
-954077
0.021642
0.037554
4436956
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/area_partials/normalized-fir05_area_partials.opb
SAT
36
0.021814
0.039014
4436753
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-4pb.opb
SAT
36
0.022461
0.0420069
4436623
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.023262
0.052549
4436610
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament08.lin.opb
SAT
-12
0.02508
0.050202
4436960
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g7x7.opb
SAT
12
0.026287
0.0440749
4436654
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_6x6_003.opb.metafix.opb
SAT
19
0.027368
0.0465421
4436940
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f26-ACDoubleLoss.seq-A-2-combined-abcdeir.opb
SAT
37833
0.028002
0.040153
4436974
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=5-t=3.opb
SAT
2
0.028055
0.0512649
4449663
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x3.opb
SAT
7
0.029097
0.046415
4436655
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-787.cudf.trendy.opb
SAT
14
0.0293
0.037324
4436834
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_8x8_006.opb.metafix.opb
SAT
37
0.032085
0.0474191
4436941
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
logic_synthesis/normalized-m50_100_70_70.r.opb
SAT
2
0.032181
0.048998
4436639
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-8_16.opb
SAT
5852
0.033364
0.0591581
4436785
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_5.opb
SAT
11
0.034547
0.0527749
4436695
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f27-DC2Loss.seq-A-2-1-irabcde.opb
SAT
737472
0.035166
0.059689
4436975
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f27-DC2Loss.seq-B-2-combined-irabcde.opb
SAT
721792
0.036096
0.0524879
4436976
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir02_trarea_ac.opb
SAT
24890
0.037582
0.0605211
4436771
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
SAT
8034
0.039158
0.057181
4436780
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb
SAT
9663726592
0.040144
0.0598321
4436611
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=41-Q=347.opb
SAT
41
0.041322
0.0578771
4436718
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f1-DataDisplay_0_order4.seq-A-3-2-irabcde.opb
SAT
5873715
0.042683
0.06754
4436973
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-cc.opb
SAT
1567
0.04403
0.069818
4436633
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-fout.r.opb
SAT
38
0.044996
0.0626129
4436637
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_5.opb
SAT
11
0.045314
0.069154
4436689
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/factor/
normalized-factor-sizeN=20-sizeP=11-sizeQ=20-900543-max.opb
SAT
-1281
0.0483
0.0676629
4436720
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_003.opb.metafix.opb
SAT
50
0.051513
0.0690031
4436932
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1037.cudf.trendy.opb
SAT
51573
0.053214
0.0712871
4436829
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
SAT
20
0.054217
0.0683431
4436656
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=397-Q=449.opb
SAT
397
0.054876
0.0787239
4436717
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir04_area_opers.opb
SAT
29
0.054892
0.07245
4436751
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-2.opb
SAT
200
0.056055
0.0746291
4436612
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=47-Q=197.opb
SAT
47
0.056768
0.07401
4436719
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1094.cudf.trendy.opb
SAT
25090
0.057534
0.0724479
4436830
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-2pb.opb
SAT
36
0.060405
0.0797759
4436622
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f14-DC2Loss.seq-A-2-combined-abcdeir.opb
SAT
139840229
0.060673
0.0793131
4436972
PB24/normalized-PB06/OPT-LIN/submitted-PB06/roussel/
factor/normalized-factor-size=9-P=269-Q=359.opb
SAT
269
0.062923
0.0809821
4436716
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ4_3.opb
SAT
20
0.069469
0.0817111
4436643
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f54-DCTotalLoss.seq-B-3-combined-EDCBAir.opb
SAT
-3789806
0.073437
0.0865259
4436979
PB24/normalized-PB07/OPT-LIN/submittedPB07/
poldner/PB/testset/normalized-11_22.opb
SAT
8908
0.07467
0.0948409
4436781
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir05_trarea_ac.opb
SAT
47342
0.076351
0.097543
4436774
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s3-3-3-5pb.opb
SAT
34
0.080242
0.155045
4436624
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_6.opb
SAT
17
0.08541
0.105689
4436690
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__8.opb
SAT
45008
0.090419
0.106085
4436795
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f35-AC_Side2.seq-B-2-combined-EDCBAir.opb
SAT
-81068948
0.09119
0.115191
4436977
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
SAT
304
0.095252
0.136999
4436737
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
SAT
23978
0.105494
0.130833
4436772
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data4_3.opb
SAT
8276
0.109991
0.133419
4436647
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir04_trarea_ac.opb
SAT
41202
0.146049
0.175041
4436773
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-acc-tight5.opb
SAT
0
0.171566
0.187774
4459518
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-m4.r.opb
SAT
90
0.199991
0.213305
4436638
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=6-t=4.opb
SAT
2
0.21724
0.248454
4449908
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand49e642.cudf.trendy.opb
SAT
39641230
0.235026
0.263759
4436843
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
SAT
36
0.251345
0.271752
4436630
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-4000opt.opb
SAT
-82
0.334688
0.352417
4436803
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f37-AC_TotalLoss.seq-B-3-1-irEDCBA.opb
SAT
6872712975
0.353091
0.384581
4436978
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
SAT
24
0.382268
0.404135
4436756
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand1958fb.cudf.trendy.opb
SAT
15832587875
0.382892
0.405981
4436842
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb
SAT
2256
0.397864
0.417439
4436839
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.smallist/normalized-randa13f2d.cudf.paranoid.opb
SAT
2477
0.429921
0.45413
4436840
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand18b530.cudf.paranoid.opb
SAT
6563
0.438281
0.455291
4436837
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_10x10_006.opb.metafix.opb
SAT
40
0.460545
0.485515
4436933
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.biglist/normalized-randaefc7c.cudf.trendy.opb
SAT
394243446
0.491864
0.51022
4436841
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0066-0066.lin.opb
SAT
-29
0.493102
0.525541
4436957
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f6-ACTotalLoss.seq-A-2-2-irEDCBA.opb
SAT
4208467707
0.500198
0.5301
4436981
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
SAT
-178
0.53758
0.559737
4436797
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
inverse_strongly_correlated/normalized-knapPI_4_50_1000_1_-994.opb
SAT
-994
0.545889
0.565428
4457802
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand362510.cudf.paranoid.opb
SAT
1964
0.5601
0.571588
4436838
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.newlist/normalized-rand0a62b6.cudf.paranoid.opb
SAT
6943
0.564291
0.586743
4436836
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-7000opt.opb
SAT
-172
0.608212
0.633802
4436802
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-4pb.opb
SAT
60
0.614885
0.639897
4436627
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_20_1000_2_-948.opb
SAT
-318
0.690515
0.716654
4457529
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
SAT
-169
0.698932
0.722104
4436801
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
SAT
813
0.701748
0.735164
4436736
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-9pb.opb
SAT
68
0.724145
0.745787
4436631
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-1468.cudf.trendy.opb
SAT
5
0.77363
0.805659
4436831
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_opers/normalized-fir06_area_opers.opb
SAT
23
0.808565
0.833098
4436752
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
SAT
-187
0.818102
0.848233
4436799
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
SAT
-164
0.836386
0.866895
4436800
PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-ssa7552-038.opb
SAT
1448
0.841386
0.87156
4436621
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-5000opt.opb
SAT
-70
0.84627
0.876256
4436804
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-6pb.opb
SAT
66
0.95499
0.9789
4436629
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_026_area_delay.opb
SAT
28
1.00991
1.03597
4436759
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir07_trarea_ac.opb
SAT
50162
1.01161
1.04785
4436776
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-1pb.opb
SAT
62
1.05001
1.07679
4436625
PB24/normalized-PB06/OPT-LIN/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
SAT
25
1.05509
1.08123
4436696
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_001_area_delay.opb
SAT
28
1.06398
1.09032
4436754
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_5_ic.opb
SAT
2624620
1.07641
1.10169
4436903
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-7000opt.opb
SAT
-68
1.24172
1.26516
4436805
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
SAT
-167
1.24718
1.2737
4436798
PB24/normalized-PB09/OPT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-10000opt.opb
SAT
-164
1.33351
1.35836
4436796
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-libpango-perl.cudf.paranoid.opb
SAT
176205
1.38683
1.40605
4436816
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-5pb.opb
SAT
60
1.59335
1.64838
4436628
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
SAT
34
1.68245
1.6977
4436703
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e4.opb
SAT
364
1.70625
1.73105
4436619
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
SAT
34
1.7343
1.76643
4436704
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/10orplus/normalized-codebreaker.cudf.trendy.opb
SAT
3577362783187
1.81083
1.84118
4436818
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
SAT
18
1.89672
1.92468
4436768
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libnspr4-dev.cudf.trendy.opb
SAT
3656703476375
1.91766
1.94443
4436820
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx57.opb
SAT
6
1.95184
1.97302
4436808
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-pidgin-plugin-pack.cudf.trendy.opb
SAT
3258634294888
1.97449
2.01278
4436823
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-libpango-perl.cudf.trendy.opb
SAT
3256361088356
2.0695
2.09238
4436821
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/datasets/
10orplus/normalized-libtemplate-provider-encoding-perl.cudf.trendy.opb
SAT
3263183881226
2.11348
2.1543
4436822
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-hal-cups-utils.cudf.paranoid.opb
SAT
141814
2.1537
2.18392
4436815
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/10orplus/normalized-libnkf-perl.cudf.trendy.opb
SAT
3258634294888
2.21854
2.24949
4436819
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-gpc-4.1.cudf.trendy.opb
SAT
2705390294033
2.24135
2.2712
4436824
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb
SAT
141778
2.24443
2.26565
4436817
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.01-5.opb
SAT
7540
2.28505
2.31814
4436878
PB24/normalized-PB10/OPT-LIN/oliveras/
j30opt/normalized-j302_9.std.opb
SAT
54
2.34256
2.37022
4436849
PB24/normalized-PB06/OPT-LIN/
submitted-PB05/manquinho/routing/normalized-s4-4-3-2pb.opb
SAT
64
2.34501
2.36995
4436626
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-addm4.r.opb
SAT
165
2.38717
2.42033
4436634
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_025_area_delay.opb
SAT
25
2.49144
2.5248
4436758
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_009.opb.metafix.opb
SAT
70
3.22651
3.25938
4436936
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_080.opb
SAT
140
3.36682
3.41034
4458660
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb
SAT
-180
3.44549
3.47589
4458894
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.11.opb
SAT
38
3.5291
3.56035
4436700
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-5.opb
SAT
14043
3.56955
3.61718
4436881
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_072.opb
SAT
2664
3.64503
3.6802
4458933
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.02.opb
SAT
44
3.703
3.73328
4436697
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.G.recomb10-0.01-1.opb
SAT
15748
3.75185
3.78603
4436880
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_023_area_delay.opb
SAT
22
3.75423
3.78626
4436757
PB24/normalized-PB07/OPT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_010_area_delay.opb
SAT
26
4.0394
4.07287
4436755
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.14.opb
SAT
42
4.05644
4.10471
4436702
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped3.F.recomb10-0.20-11.opb
SAT
4807
4.18407
4.21308
4436879
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j6033_9.std.opb
SAT
108
4.21565
4.24957
4436850
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
SAT
41
4.27726
4.34426
4436701
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9018_7.std.opb
SAT
73
4.28932
4.33151
4436852
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat15_5_3_3_ic.opb
SAT
5900212
4.31051
4.34427
4436902
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
SAT
1120
4.46182
4.50821
4436592
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_076.opb
SAT
2964
4.56353
4.59959
4458972
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir06_trarea_ac.opb
SAT
33456
4.62372
4.65972
4436775
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.07.opb
SAT
37
4.66111
4.69729
4436698
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c3.opb
SAT
261
4.76286
4.80851
4436618
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
SAT
49
5.0136
5.08736
4436699
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_4_shg.opb
SAT
22
5.62947
5.66944
4436870
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.01-5.opb
SAT
3521
7.06247
7.12405
4436873
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_08.opb
SAT
0
7.27862
7.3168
4458387
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx84.opb
SAT
8
7.38099
7.42096
4436812
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-neos-3437289-erdre.opb
SAT
0
7.44267
7.47865
4459323
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__64.opb
SAT
46877
7.52501
7.57444
4436792
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12023_6.std.opb
SAT
106
7.94753
7.99801
4436845
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_3000_5__126_2812.opb
SAT
60720
9.97602
10.0253
4436793
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r11_c22_a6.opb
SAT
1419
10.031
10.0861
4458543
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/www.csit.fsu.edu/
~burkardt/datasets/mps/normalized-mps-v2-20-10-maros.opb
SAT
344750
11.7707
11.825
4436609
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
SAT
43
13.5231
13.611
4436947
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_100.opb
SAT
5100
14.0583
14.1006
4459011
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb5-0.10-9.opb
SAT
31445
18.521
18.5977
4436877
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb1-0.20-12.opb
SAT
8175
19.4471
19.5249
4436876
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.10-8.opb
SAT
55874
23.161
23.2602
4436872
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx92.opb
SAT
9
24.6888
24.783
4436813
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12039_5.std.opb
SAT
106
27.0365
27.1605
4436846
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb
SAT
409600
27.9688
28.1032
4436604
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat15_5_3_4_mh.opb
SAT
3608846
28.3919
28.5092
4436922
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_004.opb.metafix.opb
SAT
61
28.6197
28.7195
4436935
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx60.opb
SAT
6
30.1927
30.3031
4436809
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=8-t=6.opb
SAT
2
31.5964
31.6963
4449698
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-12.opb
SAT
54713
35.0107
35.1231
4436874
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j9021_10.std.opb
SAT
109
42.4948
42.6523
4436853
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul5.5.opb
SAT
189
43.3265
43.4598
4436945
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE2.0_TMAX15_K67_cod3.opb
SAT
-7752
44.3754
44.5519
4436584
PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/
area_delay/normalized-fir08_area_delay.opb
SAT
23
44.5604
44.701
4436750
PB24/normalized-PB10/OPT-LIN/oliveras/
j60opt/normalized-j609_2.std.opb
SAT
82
45.32
45.4938
4436851
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_3.opb
SAT
21
48.123
48.2559
4436763
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct6.5.opb
SAT
101
48.3685
48.5256
4436949
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_luby_20null20mast_rapportOE2.0_TMAX15_K67_cod2_pbEq1_newVersion_product.opb
SAT
-100
52.3546
52.5705
4436582
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__128.opb
SAT
46877
53.6419
53.8347
4436789
PB24/normalized-PB12/OPT-LIN/graca/
normalized-ped2.G.recomb10-0.20-13.opb
SAT
40755
55.7137
55.8921
4436875
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_5.opb
SAT
20
55.9651
56.1426
4436765
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
SAT
19
57.4035
57.5699
4436762
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb
SAT
13
75.6464
75.9381
4436969
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-pdc.r.opb
SAT
94
77.7371
77.9879
4436641
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16a2.opb
SAT
1164
86.6798
86.9929
4436616
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
SAT
21
94.8003
95.1757
4436767
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-oct5.5.opb
SAT
167
98.7491
99.1529
4436948
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_160.opb
SAT
12960
113.67
113.956
4459050
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.opb
SAT
6627
152.9
153.34
4458621
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jun5.5.opb
SAT
145
175.065
175.586
4436946
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_10.opb
SAT
0
186.697
187.165
4458231
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__256.opb
SAT
46877
208.219
208.828
4436790
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__8.opb
SAT
70998
228.87
229.439
4436787
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
SAT
20
285.413
286.084
4436766
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__512.opb
SAT
46877
301.74
302.844
4436791
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_3pm-0334-0334.lin.opb
SAT
-36
328.674
329.591
4436958
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_12x12_001.opb.metafix.opb
SAT
70
378.805
379.778
4436934
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod2_pbEq1_newVersion_ladder.opb
SAT
-5433
420.992
422.631
4436580
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g15x15.opb
SAT
53
612
613.763
4436651
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_9.opb
SAT
21
1173.68
1176.53
4436769
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r33_c65_a6.opb
SAT
12675
1470.44
1474.06
4458582
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__32.opb
SAT
95378
1532.6
1537.43
4436794
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm99p-opt.opb.negationfix.opb
SAT
32
1812.09
1817.31
4436968
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_3_mh.opb
SAT
1090295800
1868.92
1875.47
4436916
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_50null0mast_rapportOE2.0_TMAX300_K192_cod1.opb
SAT
-21282
1974.73
1981.09
4436887
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
SAT
126
1995.07
1999.98
4436964
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb
SAT
127
2000.3
2007.3
4436965
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-opt.opb.negationfix.opb
SAT
95
2192.23
2197.94
4436963
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-rmine15.opb
SAT
-217489893
2261.96
2267.34
4459284
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx75.opb
SAT
7
3052.71
3061.98
4436811
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_410_004.opb
SAT
-13862
3273.92
3281.07
4462138
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern50-06.lin.opb
SAT
-270
3582.37
3596.04
4436954
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_14_shg.opb
SAT
56
3582.97
3596.21
4436867
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_3.opb
SAT
23
3583.15
3596.04
4436714
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_9_shg.opb
SAT
42
3583.2
3596.13
4436869
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_1_mh_ic.opb
SAT
2874037
3583.39
3596.06
4436908
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
SAT
2
3583.6
3596.03
4436709
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
SAT
1037
3583.63
3596.04
4436670
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX15_K67_cod3.opb
SAT
-4036
3583.64
3596.15
4436587
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_92_merged.opb
SAT
390
3583.73
3596.07
4462058
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null0mast_rapportOE1.0_TMAX180_K192_cod2.opb
SAT
-341080
3583.82
3596.74
4436883
PB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb
SAT
7763615304
3583.88
3596.08
4436980
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
SAT
4389888
3583.89
3596.08
4436596
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-bg512142.opb
SAT
1339290309018
3583.93
3596.03
4436599
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
SAT
84
3583.94
3596.04
4436857
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
SAT
16
3583.98
3596.04
4436966
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=19-t=2.opb
SAT
17
3584.01
3596.04
4449873
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j12051_4.std.opb
SAT
227
3584.05
3596.12
4436847
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_4.opb
SAT
3851385
3584.05
3596.02
4436898
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ns1853823.opb
SAT
46
3584.09
3596.35
4436861
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
SAT
-32
3584.21
3596.02
4458465
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
SAT
27
3584.21
3596.04
4436713
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir10_trarea_ac.opb
SAT
73649
3584.23
3596.05
4436779
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
SAT
4448951
3584.29
3596.03
4436897
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_9_ic.opb
SAT
36208997
3584.29
3596.41
4436921
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_3_mh.opb
SAT
3406196
3584.29
3596.13
4436928
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:100.opb
SAT
3
3584.36
3596.25
4436748
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
SAT
-58
3584.36
3596.07
4436734
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
SAT
48748023
3584.37
3596.02
4436607
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_ic.opb
SAT
30595005
3584.38
3596.49
4436914
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_1.opb
SAT
28
3584.39
3596.06
4436761
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_5.opb
SAT
6325421
3584.43
3596.04
4436893
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_block/
normalized-maxcut_opt_complete_5-partite_block_nvert_55.opb
SAT
-726
3584.46
3596.04
4458777
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.10-021.opb
SAT
-114300
3584.52
3596.64
4462218
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_0null50mast_rapportOE2.0_TMAX180_K192_cod2.opb
SAT
-207131
3584.53
3596.93
4436882
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb
SAT
1038
3584.57
3596.04
4436669
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_1_mh_ic.opb
SAT
4954808
3584.67
3596.15
4436910
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
SAT
179
3584.7
3596.02
4436665
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir08_trarea_ac.opb
SAT
70311
3584.76
3596.04
4436777
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
SAT
1036
3584.78
3596.05
4436675
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
SAT
183
3584.83
3596.02
4436664
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
SAT
0
3584.83
3596.07
4436742
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=11-t=5.opb
SAT
6
3584.84
3596.02
4449768
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
SAT
1035
3584.88
3596.03
4436676
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2017/normalized-iis-glass-cov.opb
SAT
21
3584.9
3596.02
4459206
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
SAT
-35
3584.91
3596.13
4436727
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
SAT
1135869952
3584.95
3596.04
4436603
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns903616.opb
SAT
22
3584.95
3596.03
4459401
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/
normalized-knapPI_5_2000_10000_5_-952740.opb
SAT
-1487946
3584.97
3596.07
4457568
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
SAT
-48992
3584.99
3596.03
4457646
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
SAT
186
3585.07
3596.04
4436666
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
SAT
181
3585.18
3596.02
4436657
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_block/
normalized-maxcut_opt_complete_6-partite_block_nvert_72.opb
SAT
-1296
3585.29
3596.07
4458816
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_50null20mast_rapportOE2.0_TMAX300_K67_cod1.opb
SAT
-40161
3585.35
3596.18
4436588
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i4_pp_80_merged.opb
SAT
344
3585.37
3596.12
4462018
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_3_shg.opb
SAT
36
3585.38
3596.12
4436868
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
SAT
5
3585.4
3596.06
4436710
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
SAT
132096
3585.51
3596.02
4436608
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_460.opb
SAT
2300
3585.52
3596.04
4458699
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_2_mh_ic.opb
SAT
4981926
3585.57
3596.23
4436911
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
SAT
7
3585.59
3596.03
4436711
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
SAT
0
3585.64
3596.03
4458153
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=9.opb
SAT
5
3585.65
3596.03
4449803
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
SAT
60
3585.66
3596.15
4436866
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2/normalized-lp4l.opb
SAT
2967
3585.67
3596.02
4459557
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm98p-opt.opb.negationfix.opb
SAT
63
3585.7
3596.17
4436971
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_binary/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX300_K67_cod2_pbEq1_newVersion_binary.opb
SAT
-206432
3585.74
3596.13
4436579
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
SAT
64
3585.78
3596.2
4436865
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm75p-opt.opb.negationfix.opb
SAT
47
3585.81
3596.09
4436970
PB24/normalized-PB10/OPT-LIN/oliveras/
j90opt/normalized-j909_1.std.opb
SAT
108
3585.86
3596.09
4436854
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_340_006.opb
SAT
-10524
3585.86
3596.9
4462378
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/
normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb
SAT
-1089
3585.9
3596.06
4458855
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_1_mh.opb
SAT
3402522
3585.97
3596.05
4436923
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ10_3.opb
SAT
318
3586.01
3596.06
4436642
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
SAT
8691
3586.03
3596.02
4436594
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb
SAT
-2592
3586.04
3596.39
4436585
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_clique-50.lin.opb
SAT
2312
3586.09
3596.05
4436959
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_8.opb
SAT
5214451
3586.1
3596.04
4436894
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/logic-synthesis/normalized-exam.pi.opb
SAT
63
3586.11
3596.03
4436632
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i5_pp_93.opb
SAT
750
3586.12
3596.15
4461818
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_14x14_000.opb.metafix.opb
SAT
95
3586.16
3596.04
4436937
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
SAT
50769
3586.21
3596.02
4436778
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_8_mh.opb
SAT
2579304
3586.25
3596.09
4436930
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null50mast_rapportOE2.0_TMAX60_K192_cod2.opb
SAT
-1
3586.26
3596.72
4436888
PB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
SAT
31
3586.27
3596.14
4436764
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null20mast_rapportOE2.0_TMAX60_K192_cod2.opb
SAT
-124964
3586.27
3596.97
4436886
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb
SAT
1
3586.3
3596.04
4457997
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_12.opb
SAT
127
3586.35
3596.04
4436691
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-neos-631710.opb
SAT
203
3586.35
3596.18
4436860
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.opb
SAT
1
3586.38
3596.04
4457919
PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_5_mh_ic.opb
SAT
3380811
3586.39
3596.05
4436909
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2/
normalized-BA_RDC4.dot_unif_10null0mast_rapportOE2.0_TMAX60_K67_cod2_pbEq1_newVersion.opb
SAT
-18634
3586.39
3596.05
4436581
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-ex1010-pi.opb
SAT
239
3586.42
3596.03
4436856
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
SAT
-52
3586.44
3596.08
4436733
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_3_mh.opb
SAT
5133595
3586.45
3596.03
4436924
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=20-t=2.opb
SAT
18
3586.47
3596.04
4449733
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
SAT
85
3586.49
3596.05
4436687
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod2.opb
SAT
-877
3586.52
3596.67
4436891
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
SAT
176
3586.52
3596.04
4436659
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=24-t=2.opb
SAT
22
3586.53
3596.07
4449628
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_10000_5_0.85_3.opb
SAT
132
3586.53
3596.14
4461938
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_9_mh.opb
SAT
4722313
3586.53
3596.12
4436931
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb
SAT
27
3586.54
3596.12
4436962
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_5.opb
SAT
4732827
3586.56
3596.03
4436899
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
SAT
241
3586.56
3596.17
4436684
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data10_3.opb
SAT
70504
3586.59
3596.04
4436646
PB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_10null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
SAT
-39777
3586.6
3596.37
4436586
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_5_mh.opb
SAT
3913945
3586.62
3596.12
4436929
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
SAT
298
3586.66
3596.04
4436855
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
SAT
180
3586.69
3596.02
4436658
PB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-graph20-20-1rand.opb
SAT
-9
3586.69
3596.02
4459245
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_1_ic.opb
SAT
37725475
3586.7
3596.41
4436913
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug6.5.opb
SAT
48
3586.71
3596.04
4436944
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_4.opb
SAT
5723533
3586.74
3596.04
4436901
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb
SAT
-354
3586.76
3596.02
4457490
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=9-t=5.opb
SAT
4
3586.79
3596.02
4449943
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_8_mh.opb
SAT
7232165
3586.8
3596.04
4436925
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
SAT
23954
3586.8
3596.04
4436648
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_ic.opb
SAT
23617331
3586.8
3596.38
4436917
PB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1207_5.std.opb
SAT
136
3586.83
3596.1
4436848
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_0.opb
SAT
5451859
3586.83
3596.03
4436900
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x1/Init-x1-i3_pp_87_merged.opb
SAT
346
3586.83
3596.1
4461978
PB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
SAT
29
3586.85
3596.08
4436760
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug5.5.opb
SAT
111
3586.86
3596.03
4436943
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_250_005.opb
SAT
-7323
3586.86
3596.1
4462178
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
SAT
7756190
3586.86
3596.06
4436597
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
SAT
928
3586.86
3596.03
4436617
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
SAT
220
3586.89
3596.15
4436680
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
SAT
176
3586.9
3596.02
4436662
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_3_ic.opb
SAT
20733371
3586.91
3596.05
4436905
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-bench1.r.opb
SAT
121
3586.91
3596.04
4436635
PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_product/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE2.0_TMAX180_K67_cod2_pbEq1_newVersion_product.opb
SAT
-39598
3586.92
3596.09
4436583
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i9_pp_96.opb
SAT
1406
3586.94
3596.05
4461778
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_5_ic.opb
SAT
21868131
3586.95
3596.07
4436906
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/logic_synthesis/normalized-ex1010.pi.opb
SAT
241
3586.97
3596.05
4436636
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
SAT
241
3586.97
3596.17
4436682
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_ic.opb
SAT
32856397
3586.97
3596.4
4436912
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
SAT
9
3586.98
3596.25
4436747
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
SAT
13
3587
3596.02
4436712
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g100x100.opb
SAT
2076
3587.02
3596.03
4436650
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
SAT
1033
3587.04
3596.02
4436672
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_5.opb.PB06.opb
SAT
1036
3587.04
3596.04
4436674
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
SAT
1
3587.05
3596.07
4436743
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-seymour1.opb
SAT
431522
3587.05
3596.07
4436598
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
SAT
246
3587.05
3596.17
4436677
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
SAT
42524
3587.07
3596.03
4436649
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
uncorrelated/normalized-knapPI_1_50_1000_4_-4888.opb
SAT
-12104
3587.08
3596.02
4457724
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:98.opb
SAT
1
3587.09
3596.08
4436741
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_5.opb
SAT
5707555
3587.09
3596.02
4436896
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-2.opb
SAT
939
3587.1
3596.13
4436735
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern35-09.lin.opb
SAT
-1270
3587.13
3596.02
4436953
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
SAT
1030
3587.13
3596.04
4436671
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_25000_5_0.95_7.opb
SAT
530
3587.14
3596.41
4461898
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
SAT
2
3587.17
3596.06
4436744
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
SAT
-45
3587.18
3596.06
4436730
PB24/normalized-PB11/OPT-LIN/heinz/
normalized-neos-1620770.opb
SAT
9
3587.18
3596.04
4436859
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat100_4_32_1.opb
SAT
6714781
3587.19
3596.03
4436892
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-sctap3.opb
SAT
3219666
3587.19
3596.06
4436590
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_0_mh.opb
SAT
4812377
3587.2
3596.18
4436926
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-sporttournament50.lin.opb
SAT
-595
3587.22
3596.04
4436961
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-aug4.5.opb
SAT
204
3587.24
3596.04
4436942
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
SAT
-30
3587.28
3596.14
4436725
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat50_6_9_9_ic.opb
SAT
19022347
3587.3
3596.07
4436907
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb
SAT
182
3587.3
3596.02
4436661
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
SAT
-40
3587.31
3596.08
4436729
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
SAT
307
3587.31
3596.03
4436593
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
SAT
0
3587.32
3596.13
4436740
PB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_4.opb
SAT
3988789
3587.34
3596.02
4436895
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
SAT
246
3587.35
3596.15
4436679
PB24/normalized-PB15eval/OPT-LIN/
minlplib2-pb-0.1.0/opb/normalized-faclay60.lin.opb
SAT
1538218
3587.35
3596.2
4436955
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
multiple_strongly_correlated/normalized-knapPI_14_50_1000_5_-3237.opb
SAT
-5737
3587.37
3596.04
4457841
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
SAT
183
3587.38
3596.02
4436660
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-5.opb
SAT
2642
3587.39
3596.13
4436739
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/
normalized-knapPI_6_5000_10000_1_-246112.opb
SAT
-246112
3587.41
3596.04
4457685
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep6.5.opb
SAT
43
3587.42
3596.03
4436951
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
SAT
180
3587.43
3596.03
4436663
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_2000_1000_1_-110625.opb
SAT
-110625
3587.44
3596.04
4457763
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
SAT
-49
3587.45
3596.24
4436731
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
SAT
1028
3587.48
3596.03
4436668
PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern30-04.lin.opb
SAT
-81
3587.48
3596.03
4436952
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i8_pp_100.opb
SAT
2252
3587.53
3596.03
4461698
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:70:4.5:0.95:98.opb
SAT
12
3587.53
3596.06
4436749
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z7-s2.opb
SAT
-10280
3587.53
3596.03
4436862
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ6_3.opb
SAT
64
3587.56
3596.03
4436644
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_0.opb.PB06.opb
SAT
1037
3587.56
3596.04
4436667
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_43.opb.PB06.opb
SAT
1036
3587.6
3596.04
4436673
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
SAT
1103
3587.62
3596.04
4436601
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:98.opb
SAT
4
3587.63
3596.06
4436746
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
SAT
228
3587.65
3596.16
4436681
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
SAT
239
3587.65
3596.15
4436683
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
SAT
211
3587.65
3596.15
4436685
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
unit/normalized-evencolouring_opt_unit_random6regular_nvert_751.opb
SAT
1
3587.66
3596.04
4457958
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
SAT
-40
3587.67
3596.24
4436728
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nw04.opb
SAT
8431
3587.68
3596.25
4436595
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
SAT
-52
3587.69
3596.08
4436732
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_140_005.opb
SAT
-3559
3587.73
3596.03
4462298
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_ic.opb
SAT
30608005
3587.73
3596.57
4436919
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_34.opb
SAT
630
3587.73
3596.43
4459089
PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm75p-opt.opb.negationfix.opb
SAT
24
3587.8
3596.05
4436967
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxfirst_lastlayerdiv2/
normalized-injcomp_opt_3layers_maxfirst_lastlayerdiv2_size_31.opb
SAT
-15
3587.82
3596.02
4458504
PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=11.opb
SAT
2
3587.82
3596.03
4449838
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_300_003.opb
SAT
-7399
3587.84
3596.29
4462258
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
SAT
248
3587.86
3596.15
4436678
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
SAT
136
3587.87
3596.04
4436645
PB24/normalized-PB11/OPT-LIN/
kullmann/normalized-sbox_8_shg.opb
SAT
315
3587.87
3598.24
4436871
PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
SAT
254
3587.87
3596.17
4436686
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
SAT
0
3587.92
3596.03
4458309
PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_2000_1000_4_-39215.opb
SAT
-39215
3587.94
3596.03
4457607
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp98ic.opb
SAT
3026372748
3587.95
3596.06
4436606
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-Generated_notes_20140709_1000_0.05-000.opb
SAT
-122892
3587.98
3596.3
4462338
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_630_002.opb
SAT
-26056
3587.99
3596.24
4462418
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
SAT
2
3588
3596.07
4436745
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/
linear/normalized-evencolouring_opt_linear_random6regular_nvert_051.opb
SAT
1
3588.05
3596.03
4457880
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_15.opb
SAT
0
3588.05
3596.02
4458075
PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ws97-3.opb
SAT
3031
3588.05
3596.07
4436738
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/dominating_set/
hexgrid_nrowsdiv30add5/normalized-domset_opt_hexgrid_nrowsdiv30add5_ncols_340.opb
SAT
1360
3588.07
3596.04
4458738
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.95_1.opb
SAT
6112
3588.08
3596.96
4461858
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_3layers_maxall_lastlayerdecr1/
normalized-injcomp_opt_3layers_maxall_lastlayerdecr1_size_50.opb
SAT
-98
3588.13
3596.02
4458426
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_24.opb
SAT
0
3588.17
3596.03
4458114
PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
SAT
-30
3588.25
3596.13
4436726
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
SAT
0
3588.33
3596.03
4458192
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-1109824.opb
SAT
378
3588.34
3596.03
4459362
PB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat50_6_9_2_mh.opb
SAT
4504214
3588.38
3596.08
4436927
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__64.opb
SAT
121012
3588.49
3596.14
4436786
PB24/normalized-PB15eval/OPT-LIN/dt-problems/
normalized-lo_16x16_001.opb.metafix.opb
SAT
125
3588.58
3596.03
4436938
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_400_008.opb
SAT
-12612
3588.65
3596.85
4462458
PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/
KidneyTransplantBenchmarks/normalized-KE_690_001.opb
SAT
-30339
3588.65
3596.21
4462098
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_18.opb
SAT
0
3588.67
3596.03
4458270
PB24/normalized-PB24/OPT-LIN/pettersson/
StableMatchings/SMTI/x2/Init-x2-i10_pp_100.opb
SAT
2232
3588.79
3596.04
4461738
PB24/normalized-PB11/
OPT-LIN/heinz/normalized-mspp16.opb
SAT
33
3588.86
3597.23
4436858
Solver didn't decide (UNKNOWN) (38 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-658.cudf.trendy.opb
?
0.050819
0.0669941
4436833
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1077.cudf.paranoid.opb
?
0.076058
0.112917
4436825
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1336.cudf.paranoid.opb
?
0.238886
0.260652
4436826
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/
random/rand.smallist/normalized-rand936b0d.cudf.trendy.opb
?
0.28168
0.303219
4436844
PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/
misc2010/datasets/caixa/normalized-519.cudf.trendy.opb
?
0.374276
0.397636
4436832
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-581.cudf.paranoid.opb
?
0.378464
0.407706
4436828
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-522.cudf.paranoid.opb
?
0.404567
0.427148
4436827
PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/
random/rand.biglist/normalized-rand5c0b12.cudf.paranoid.opb
?
0.435543
0.456118
4436835
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-ganges.opb
?
0.55538
0.589312
4436589
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-ns1745726.opb
?
6.52895
6.58507
4459479
PB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-sep4.5.opb
?
15.1611
15.2245
4436950
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
?
50.4671
50.5927
4436705
PB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__512.opb
?
600.161
601.738
4436788
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_5_mh.opb
?
1868.66
1875.59
4436918
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_8_mh.opb
?
1868.97
1875.82
4436920
PB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_mh.opb
?
1869.61
1875.78
4436915
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
?
1974.9
1980.88
4436890
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
?
1977.71
1984.18
4436885
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
?
1979.24
1985.48
4436889
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_50.opb
?
3582.06
3596.58
4459167
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
?
3584.06
3596.02
4436688
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ir98.opb
?
3584.5
3596.02
4436600
PB24/normalized-PB11/OPT-LIN/
heinz/normalized-stp3d.opb
?
3584.53
3596.03
4436864
PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/
normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
?
3584.65
3596.68
4459128
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
?
3584.74
3596.02
4436693
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
?
3584.85
3596.03
4436694
PB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
?
3585.5
3596.02
4436692
PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/
opt/miplib2010/normalized-neos-859770.opb
?
3585.54
3596.05
4459440
PB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_5_ic.opb
?
3585.76
3596.02
4436904
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx30.opb
?
3585.89
3596.02
4436806
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
?
3585.99
3596.02
4436810
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
?
3586.24
3596.02
4436807
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
?
3586.29
3596.02
4436706
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
?
3586.36
3596.02
4436708
PB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
?
3586.47
3596.02
4436814
PB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-par32-2.opb
?
3586.72
3596.03
4436620
PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-standgub.opb
?
3587.25
3596.04
4436591
PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_3.opb
?
3587.64
3596.03
4436707
No recognized solution line (1 run)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null50mast_rapportOE2.0_TMAX15_K192_cod1.opb
? (problem)
859.012
861.806
4436884